Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Computer Science Concept
|
| gptkbp:canBe |
examination
Read Write Swap Modify |
| gptkbp:contrastsWith |
Locks
Critical Sections Non-Atomic Operations |
| gptkbp:definedIn |
All-or-Nothing Semantics
No Intermediate State Visible |
| gptkbp:example |
Exchange
Increment Decrement Compare-and-Swap Fetch-and-Add Test-and-Set |
| gptkbp:guarantees |
Consistency
|
| https://www.w3.org/2000/01/rdf-schema#label |
Atomic Operations
|
| gptkbp:importantFor |
Distributed Systems
High-Performance Computing Parallel Computing Real-Time Systems |
| gptkbp:prevention |
Race Conditions
|
| gptkbp:property |
Indivisibility
Uninterruptibility |
| gptkbp:relatedTo |
Concurrency
Synchronization Thread Safety |
| gptkbp:standardizedBy |
gptkb:POSIX
gptkb:C++11 ISO/IEC Standards Java Memory Model |
| gptkbp:supportedBy |
gptkb:personal_computer
Programming Languages Python threading module C++ std::atomic CPU Instructions Go sync/atomic package Java Atomic Classes |
| gptkbp:usedFor |
Transactional Memory
Implementing Mutexes Lock-Free Programming Reference Counting Wait-Free Algorithms |
| gptkbp:usedIn |
gptkb:Database_Systems
Operating Systems Multithreading |
| gptkbp:bfsParent |
gptkb:Titan_Studios
|
| gptkbp:bfsLayer |
7
|