Correctness of Paxos with Replica-Set-Specific Views

Jon Howell, Jacob Lorch, and John Douceur

Abstract

We present a specification and proof of correctness for the Paxos replicated state machine consensus protocol in which replica-set-change is implemented with replica-set-specific views.

Details

Publication typeTechReport
NumberMSR-TR-2004-45
Pages125
InstitutionMicrosoft Research
> Publications > Correctness of Paxos with Replica-Set-Specific Views