← ClaudeAtlas

consensus-and-quorumslisted

Crash-fault consensus and quorum reasoning: FLP, safety versus liveness, majority 2f+1, R + W > N intersection and its limits, voter/failure-domain placement, Raft terms and why external fencing still requires resource enforcement, plus the differing read/watch contracts of etcd, ZooKeeper and Consul. Use when a cluster size is being chosen, when nodes are spread across AZs or regions, when application data or a queue is being put in etcd or ZooKeeper, when a coordination store sits on the request path, when a watch is treated as a delivery guarantee, or when a fourth node is proposed for redundancy. Does not cover CAP and the model ladder (consistency-models), mutual exclusion built on top (distributed-locks-and-leases), electing a singleton worker (leader-election), or the fault model itself (failure-models).
robsonkades/agent-skills · ★ 2 · AI & Automation · score 75
Install: claude install-skill robsonkades/agent-skills
# Consensus And Quorums ## Purpose Consensus is a set of processes agreeing on **one value** with safety despite modeled crashes, loss and delay; progress additionally needs a quorum and timing assumptions such as eventual synchrony. Consensus can order a replicated log used for grants and configuration, but is not itself a lock or lease. Leases, locks, role election and shard ownership have distinct contracts; not every election uses a lease, and ownership can change dynamically. Route external stale-owner safety to `distributed-locks-and-leases` and role lifecycle to `leader-election`. The failure this prevents is a coordination store used as a traffic-scaled database. etcd, ZooKeeper and Consul are replicated metadata/coordination stores with different read contracts; writes pass through a leader/quorum log and durable storage, often batched/pipelined. Business rows, a work queue or a per-request job table in one makes every business write a consensus decision — and puts the store's availability in series with the service's, which is the arithmetic in `failure-models`. ## Workflow This skill is protocol-level and has no Java language minimum. For a Java integration inspect the project toolchain, resolved client version, deployed server version, read options and durability/failover policy. Product references here cover etcd 3.6 and ZooKeeper 3.8.4; verify Consul modes against the deployed version. Do not upgrade Java or the store to match a reference. Missing membershi