Table of contents
- Acknowledgement
- All-Or-Nothing Atomicity
- Atomicity
- Atomic Broadcast
- Before-Or-After Atomicity
- Blocking Concurrency
- Coordination
- External Time Consistency
- Fail-Stop Failure
- Lease
- Locks
- Linearizability
- Lock-Free Concurrency
- Logical Clock
- Monotonic Reads
- Operation
- Partial Ordering
- Process
- Read-After-Write Consistency
- Repeatable Reads
- Serializability
- Sequential Time Consistency
- Snapshot Isolation
- Total Ordering
- Transaction
- Two-Phase Commit
- Two-Phase Locking
- Vector Clock
- Wait-Free Concurrency
- References
Acknowledgement
All-Or-Nothing Atomicity
Atomicity
Atomic Broadcast
Before-Or-After Atomicity
Blocking Concurrency
Coordination
The process of managing dependencies between events
External Time Consistency
Fail-Stop Failure
Lease
Locks
Linearizability
Lock-Free Concurrency
Logical Clock
Monotonic Reads
Operation
A transition from one state to another within a process [1].
Partial Ordering
Process
A logically single-threaded program [1]. Processes can do one thing at a time, which guarantees that the sequence of events within a process is totally ordered [2].
Read-After-Write Consistency
Repeatable Reads
Serializability
Sequential Time Consistency
Snapshot Isolation
Total Ordering
Transaction
Two-Phase Commit
Two-Phase Locking
Vector Clock
Wait-Free Concurrency
References
Consistency Models, jepsen.io/consistency.
Time, Clocks and the Ordering of Events in a Distributed System Communications of the ACM 21, 7 (July 1978), 558-565. Reprinted in several collections, including Distributed Computing: Concepts and Implementations, McEntire et al., ed. IEEE Press, 1984.