Glossary

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, https://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.
