Advertisement

Consensus: Power and Implementability Limit in Crash-Prone Asynchronous Systems

  • Michel Raynal
Chapter

Abstract

This chapter first presents the TO-broadcast communication abstraction, the state machine replication paradigm, and the ledger object, and shows that they all are computationally equivalent. It also shows that any object (abstraction) defined by a sequential specification (sequential state machine, or ledger) can be implemented in CAMPn,t[CONS] (CAMPn,t\([\emptyset]\) enriched with consensus). In this sense the consensus agreement abstraction is universal. It provides the computability power needed to implement any object – defined by a sequential specification – despite asynchrony and the crash of any minority of processes.

Keywords

Consensus abstraction Consensus number FLP Impossibility Non-determinism Process crash Sequential specification State machine replication Total order broadcast Universal object (abstraction) 

Preview

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