Foundations of Distributed Consistency

Classify and analyze trade-offs between linearizability, sequential, causal, and eventual consistency.

Explain how Lamport timestamps and vector clocks are used to establish causal ordering of events.

Compare single-leader, multi-leader, and leaderless replication architectures and their use cases.

Analyze the impact of quorum configurations (W + R > N) on consistency and availability.

Compare conflict resolution strategies, such as Last-Write-Wins and version vectors, in multi-leader and leaderless systems.