software transactional memory
GPTKB entity
Statements (38)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
concurrency control mechanism
|
| gptkbp:abbreviation |
gptkb:STM
|
| gptkbp:alternativeTo |
gptkb:personal_computer
mutex semaphore |
| gptkbp:category |
gptkb:programming_language
concurrent computing transaction processing |
| gptkbp:enables |
composable memory transactions
lock-free data structures speculative execution |
| gptkbp:feature |
isolation
consistency atomicity serializability |
| https://www.w3.org/2000/01/rdf-schema#label |
software transactional memory
|
| gptkbp:implementedIn |
gptkb:Java
gptkb:Clojure gptkb:Haskell gptkb:C++ gptkb:.NET |
| gptkbp:proposedBy |
gptkb:Nir_Shavit
gptkb:Dan_Touitou 1995 |
| gptkbp:purpose |
avoid locks
improve scalability simplify concurrent programming |
| gptkbp:relatedTo |
database transactions
lock-free programming optimistic concurrency control |
| gptkbp:usedIn |
computer science
multithreaded programming parallel programming |
| gptkbp:bfsParent |
gptkb:Maurice_Herlihy
gptkb:Clojure gptkb:Nir_Shavit gptkb:Victor_Luchangco |
| gptkbp:bfsLayer |
5
|