Implementable Agreement Abstractions Despite Asynchrony and a Minority of Process Crashes
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.
KeywordsAgreement 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.