Tag
linearizability
- Jan 30, 2026 The Linearizable Register Beneath Every Coordination Primitive Why locks, membership lists, and leader election all reduce to reads and writes of one small object, and what linearizability adds that sequential consistency does not. distributed systems
- Dec 24, 2024 Read Index and Leader Leases: Serving Reads Without a Log Entry Why a committed write is not yet a readable write, how a quorum heartbeat round establishes read freshness, and what a lease assumes about clocks. distributed systems