Implementable Agreement Abstractions Despite Asynchrony and a Minority of Process Crashes

  • Michel Raynal


This chapter addresses the implementation of agreement abstractions in asynchronous systems where the processes communicate by reading and writing atomic registers. We have seen in Chap. 5 that atomic registers can be built in asynchronous message-passing systems only if t < n/2. Implementations of read/write registers in the system model CAMPn,t[t < n/2] have been presented in Chap. 6 and Chap. 8.


Agreement abstraction Approximate agreement Asynchrony Crash failure Lower bound Majority of correct processes Read/write register Renaming Safe agreement Snapshot 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Michel Raynal
    • 1
  1. 1.IRISA-ISTIC Université de Rennes 1Institut Universitaire de FranceRennesFrance

Personalised recommendations