Practically Self-stabilizing Paxos Replicated State-Machine

  • Peva BlanchardEmail author
  • Shlomi Dolev
  • Joffroy Beauquier
  • Sylvie Delaët
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8593)


We present the first (practically) self-stabilizing replicated state machine for asynchronous message passing systems. The scheme is based on a variant of the Paxos algorithm and ensures that starting from an arbitrary configuration, the replicated state-machine eventually exhibits the desired behaviour for a long enough execution regarding all practical considerations.


Failure Detector Unique Leader Consensus Problem Transient Fault Crash Failure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Abraham, U.: Self-stabilizing timestamps. Theor. Comput. Sci. 308(1–3), 449–515 (2003)CrossRefzbMATHMathSciNetGoogle Scholar
  2. 2.
    Alon, N., Attiya, H., Dolev, S., Dubois, S., Potop-Butucaru, M., Tixeuil, S.: Pragmatic self-stabilization of atomic memory in message-passing systems. In: Défago, X., Petit, F., Villain, V. (eds.) SSS 2011. LNCS, vol. 6976, pp. 19–31. Springer, Heidelberg (2011) CrossRefGoogle Scholar
  3. 3.
    Blanchard, P., Dolev, S., Beauquier, J., Delaët, S.: Self-stabilizing Paxos. CoRR, abs/1305.4263 (2013)Google Scholar
  4. 4.
    Castro, M., Liskov, B.: Practical byzantine fault tolerance. In: Proceedings of the Third Symposium on Operating Systems Design and Implementation, OSDI’99, Berkeley, CA, USA, pp. 173–186. USENIX Association (1999)Google Scholar
  5. 5.
    Chandra, T.D., Griesemer, R., Redstone, J.: Paxos made live: an engineering perspective. In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC’07, New York, USA, pp. 398–407. ACM (2007)Google Scholar
  6. 6.
    Dolev, D., Shavit, N.: Bounded concurrent time-stamping. SIAM J. Comput. 26(2), 418–455 (1997)CrossRefzbMATHMathSciNetGoogle Scholar
  7. 7.
    Dolev, S.: Self-stabilization. MIT Press, Cambridge (2000)zbMATHGoogle Scholar
  8. 8.
    Dolev, S., Hanemann, A., Schiller, E.M., Sharma, S.: Self-stabilizing end-to-end communication in (bounded capacity, omitting, duplicating and non-FIFO) dynamic networks. In: Richa, A.W., Scheideler, C. (eds.) SSS 2012. LNCS, vol. 7596, pp. 133–147. Springer, Heidelberg (2012) CrossRefGoogle Scholar
  9. 9.
    Dolev, S., Kat, R.I., Schiller, E.M.: When consensus meets self-stabilization. J. Comput. Syst. Sci. 76, 884–900 (2010)CrossRefzbMATHMathSciNetGoogle Scholar
  10. 10.
    Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. J. ACM 32, 374–382 (1985)CrossRefzbMATHMathSciNetGoogle Scholar
  11. 11.
    Herlihy, M.P., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst. 12(3), 463–492 (1990)CrossRefGoogle Scholar
  12. 12.
    Israeli, A., Li, M.: Bounded time-stamps. Distrib. Comput. 6(4), 205–209 (1993)CrossRefzbMATHGoogle Scholar
  13. 13.
    Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558–565 (1978)CrossRefzbMATHGoogle Scholar
  14. 14.
    Lamport, L.: The part-time parliament. ACM Trans. Comput. Syst. 16(2), 133–169 (1998)CrossRefGoogle Scholar
  15. 15.
    Lamport, L.: Paxos made simple. ACM SIGACT News 32(4), 18–25 (2001)Google Scholar
  16. 16.
    Lamport, L.: Generalized consensus and Paxos. Technical report MSR-TR-2005-33, Microsoft Research (2005)Google Scholar
  17. 17.
    Lamport, L.: Fast Paxos. Distrib. Comput. 19(2), 79–103 (2006)CrossRefzbMATHMathSciNetGoogle Scholar
  18. 18.
    Lamport, L.: Byzantizing Paxos by refinement. In: Peleg, D. (ed.) Distributed Computing. LNCS, vol. 6950, pp. 211–224. Springer, Heidelberg (2011) CrossRefGoogle Scholar
  19. 19.
    Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann Publishers Inc., San Francisco (1996)zbMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Peva Blanchard
    • 1
    Email author
  • Shlomi Dolev
    • 2
  • Joffroy Beauquier
    • 1
  • Sylvie Delaët
    • 1
  1. 1.LRIParis-Sud XI UniversityOrsayFrance
  2. 2.Department of Computer ScienceBen-Gurion University of the NegevBeer-ShevaIsrael

Personalised recommendations