STM (Software Transactional Memory)
GPTKB entity
Statements (39)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
concurrency control mechanism
|
| gptkbp:aimsTo |
simplify concurrent programming
|
| gptkbp:alternativeTo |
semaphores
monitors mutexes |
| gptkbp:compatibleWith |
durability
|
| gptkbp:contrastsWith |
lock-based synchronization
|
| gptkbp:enables |
atomic transactions in memory
composability of concurrent operations |
| gptkbp:handles |
rollback
commit conflict detection |
| https://www.w3.org/2000/01/rdf-schema#label |
STM (Software Transactional Memory)
|
| gptkbp:implementedIn |
gptkb:Java
gptkb:Clojure gptkb:Haskell gptkb:C++ |
| gptkbp:influencedBy |
database transaction theory
|
| gptkbp:prevention |
locks
|
| gptkbp:proposedBy |
gptkb:Nir_Shavit
gptkb:Dan_Touitou 1995 |
| gptkbp:provides |
isolation
consistency atomicity |
| gptkbp:relatedTo |
multithreading
parallel computing database transactions |
| gptkbp:subjectOf |
academic research
industrial applications open source projects |
| gptkbp:supports |
optimistic concurrency control
|
| gptkbp:usedFor |
managing shared memory
|
| gptkbp:usedIn |
computer science
functional programming software engineering research concurrent data structures |
| gptkbp:bfsParent |
gptkb:PyPy_project
|
| gptkbp:bfsLayer |
8
|