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

1. Consistency Models, https://jepsen.io/consistency.

2. 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.

Its structure and content are based on my knowledge of the subject and are therefore likely to change quite frequently.

If you believe that a post contains mistakes or can be improved please reach out. The quality of the content is my primary objective.

I hope that this resource helps you in some small way ✌🏾.

• Jordan