May 1998

Leslie Lamport publishes Paxos

Leslie Lamport's May 1998 ACM TOCS paper 'The Part-Time Parliament' formally published the Paxos consensus algorithm — building on his 1989 DEC technical report.

What it was for

Leslie LamportPaxos and Lamport's later work on logical clocks underpin KafkaApache Kafka — a distributed event streaming platform for high-throughput real-time data pipelines., etcd, ZooKeeper, and every system that must agree across failures. Programmers encounter his ideas whenever they design replicated state machines.

People

  • Leslie Lamportresearcher

Why it's here

Paxos is the theoretical backbone of practical distributed consensus.

Why it mattered

It formalized how unreliable nodes can agree on a single value.

What it solved

Distributed services needed provable agreement despite crashes and partitions.

Media

  • Leslie Lamport
    ImageLeslie Lamport

    Leslie Lamport, Copyrighted free use, via Wikimedia Commons