Software Transactional Memory
E1314172
UNEXPLORED
Software Transactional Memory is a concurrency control mechanism that lets programmers manage shared memory using atomic transactions instead of explicit locks, simplifying the writing of correct concurrent programs.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Software Transactional Memory canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T18256021 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Software Transactional Memory Context triple: [GHC, hasFeature, Software Transactional Memory]
-
A.
The Theory of Database Concurrency Control
The Theory of Database Concurrency Control is a foundational book in computer science that rigorously analyzes the principles and algorithms ensuring correct and efficient concurrent access to databases.
-
B.
Verification of Concurrent Programs
"Verification of Concurrent Programs" is a foundational computer science text that presents formal methods and techniques for proving the correctness of programs that execute concurrently.
-
C.
Concurrency control in distributed database systems
"Concurrency control in distributed database systems" is a seminal work in computer science that systematically analyzes techniques for ensuring correct and efficient transaction processing across distributed databases.
-
D.
Cilk work-stealing scheduler
The Cilk work-stealing scheduler is a parallel runtime scheduling algorithm that efficiently balances dynamic multithreaded workloads by having idle processors "steal" tasks from busy ones, enabling scalable performance on multicore systems.
-
E.
Automatic Storage Management
Automatic Storage Management is Oracle's integrated volume manager and file system that simplifies and optimizes the management of database storage.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Software Transactional Memory Target entity description: Software Transactional Memory is a concurrency control mechanism that lets programmers manage shared memory using atomic transactions instead of explicit locks, simplifying the writing of correct concurrent programs.
-
A.
The Theory of Database Concurrency Control
The Theory of Database Concurrency Control is a foundational book in computer science that rigorously analyzes the principles and algorithms ensuring correct and efficient concurrent access to databases.
-
B.
Verification of Concurrent Programs
"Verification of Concurrent Programs" is a foundational computer science text that presents formal methods and techniques for proving the correctness of programs that execute concurrently.
-
C.
Concurrency control in distributed database systems
"Concurrency control in distributed database systems" is a seminal work in computer science that systematically analyzes techniques for ensuring correct and efficient transaction processing across distributed databases.
-
D.
Cilk work-stealing scheduler
The Cilk work-stealing scheduler is a parallel runtime scheduling algorithm that efficiently balances dynamic multithreaded workloads by having idle processors "steal" tasks from busy ones, enabling scalable performance on multicore systems.
-
E.
Automatic Storage Management
Automatic Storage Management is Oracle's integrated volume manager and file system that simplifies and optimizes the management of database storage.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.