Concepts

..Acquire-Release Semantics Atomic Instruction Consensus Hierarchy Consensus Number Consensus Problem Correctness Condition Fetch-and-Set Herlihy's Hierarchy Load-Link / Store-Conditional Memory Model Progress Guarantee Quiescent Consistency Relaxed Consistency SAGA pattern Sequential Consistency Serializability Snapshot Problem Synchronizes-With Relationship Universal Atomic Instruction