Post #1125814

Remarkable quote from Leslie Lamport about the history of Paxos on page 136 of his new book, A Science of Concurrent Programs: >The Paxos algorithm was invented (at least) twice, first by Barbara Liskov and Brian Oki [43] and then by me. Its consensus algorithm had been invented by Cynthia Dwork, Nancy Lynch, and Larry Stockmeyer [12]. The references resolve to "Viewstamped replication" (1988) by Oki & Liskov then "Consensus in the presence of partial synchrony" (1988) by Dwork, Lynch, and Stockmeyer. Lamport's paper introducing Paxos called "The part-time parliament" was published in 1998.