Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. The weakest failure detector for eventual consistency
 
research article

The weakest failure detector for eventual consistency

Dubois, Swan
•
Guerraoui, Rachid  
•
Kuznetsov, Petr
Show more
December 1, 2019
Distributed Computing

In its classical form, a consistent replicated service requires all replicas to witness the same evolution of the service state. If we consider an asynchronous messagepassing environment in which processes might fail by crashing, and assume that a majority of processes are correct, then the necessary and sufficient information about failures for implementing a general state machine replication scheme ensuring consistency is captured by the Omega failure detector. This paper shows that in such a message-passing environment, Omega is also the weakest failure detector to implement an eventually consistent replicated service, where replicas are expected to agree on the evolution of the service state only after some (a priori unknown) time. In fact, we show that Omega is the weakest to implement eventual consistency in any message-passing environment, i.e., under any assumption on when and where failures might occur. Ensuring (strong) consistency in any environment requires, in addition to Omega, the quorum failure detector S. Our paper thus captures, for the first time, an exact computational difference between building a replicated state machine that ensures consistency and one that only ensures eventual consistency.

  • Details
  • Metrics
Type
research article
DOI
10.1007/s00446-016-0292-9
Web of Science ID

WOS:000496323800003

Author(s)
Dubois, Swan
Guerraoui, Rachid  
Kuznetsov, Petr
Petit, Franck
Sens, Pierre
Date Issued

2019-12-01

Published in
Distributed Computing
Volume

32

Issue

6

Start page

479

End page

492

Subjects

Computer Science, Theory & Methods

•

Computer Science

•

eventual consistency

•

failure detectors

•

consensus

•

total-order broadcast

•

consensus

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
DCL  
Available on Infoscience
November 28, 2019
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/163434
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés