Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Stoppable Paxos

Leslie Lamport, Dahlia Malkhi, and Lidong Zhou

Abstract

A stoppable state machine is one whose execution can be terminated by a special stopping command. Stoppable state machines can be used to imple- ment recon¯guration in a replicated state machine; a recon¯gurable state machine is implemented by a sequence of stoppable state machines, each running in a ¯xed con¯guration. Stoppable Paxos, a variant of the ordinary Paxos algorithm, implements a replicated stoppable state machine.

Details

Publication typeTechReport
PublisherMicrosoft
> Publications > Stoppable Paxos