The Part-Time Parliament.

Lamport, L. (1998). The Part-Time Parliament. ACM Transactions on Computer Systems, 16(2), 133-169.

Type

Journal article

Intellectual base

Primary research

Year

1998

DOI

10.1145/279227.279229

Link

https://doi.org/10.1145/279227.279229

Cited from

cognitive_science, computer_science, linguistics_semiotics, systems_cybernetics

Cited by

5 citations across 5 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Adjacency Pair
  • The ritual mechanism that re-establishes a missed versicle/response transfers to liveness-preserving consensus protocols and their re-election machinery.

    This sourceDefines the Paxos consensus protocol; supports the analogy to liveness-preserving consensus and re-election machinery as repair.

• Common Ground
  • A consensus protocol like two-phase commit or Raft does not let a coordinator act on a value merely received by a majority; it requires an explicit acknowledgement round so the value is known to be known before it is committed, because acting on merely-mutually-known state risks a split-brain where two nodes commit conflicting values.

    This sourcePresents the Paxos consensus protocol, which uses acknowledgement rounds so a committed value is known-to-be-known by a quorum before action, guarding against split-brain.

• Consensus
  • The fault model is crash-stop with asynchronous messaging, and the threshold is that the system tolerates f failures with 2f + 1 replicas.
• Fault Tolerance
  • The quantified tolerance bound (N components, f failures, proof of (N,f)-fault-tolerance)

    This sourceIntroduces Paxos; proves consensus with forward progress in the presence of a majority, i.e. tolerance of up to f crash failures with N >= 2f+1.

• Redundancy
  • ). Data storage (RAID ⅕/6/10, erasure coding, multi-region replication in modern cloud storage, distributed backup). Distributed systems (replicated state machines, Paxos/Raft consensus, database replicas, quorum reads/writes, primary-secondary replication patterns

    This sourcePaxos consensus correlated-failure coverage.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:8da5421c7e04 · see in the full table