Paxos (computer Science) - History

History

The topic predates the protocol. In 1988, Lynch, Dwork and Stockmeyer had demonstrated the solvability of consensus in a broad family of "partially synchronous" systems. Paxos has strong similarities to a protocol used for agreement in viewstamped replication, first published by Oki and Liskov in 1988, in the context of distributed transactions. Notwithstanding this prior work, Paxos offered a particularly elegant formalism, and included one of the earliest proofs of safety for a fault-tolerant distributed consensus protocol.

Reconfigurable state machines have strong ties to prior work on reliable group multicast protocols that support dynamic group membership, for example Birman's virtually synchronous gbcast protocol. However, it should be noted that gbcast is unusual in supporting durability and addressing partitioning failures. Most reliable multicast protocols lack these properties, which are required for implementations of the state machine replication model. This point is elaborated in a paper by Lamport, Malkhi and Zhou.

Read more about this topic:  Paxos (computer Science)

Famous quotes containing the word history:

    Let it suffice that in the light of these two facts, namely, that the mind is One, and that nature is its correlative, history is to be read and written.
    Ralph Waldo Emerson (1803–1882)

    A people without history
    Is not redeemed from time, for history is a pattern
    Of timeless moments.
    —T.S. (Thomas Stearns)

    While the Republic has already acquired a history world-wide, America is still unsettled and unexplored. Like the English in New Holland, we live only on the shores of a continent even yet, and hardly know where the rivers come from which float our navy.
    Henry David Thoreau (1817–1862)