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. Reports, Documentation, and Standards
  4. In Search of Lost Time
 
report

In Search of Lost Time

Charron-Bost, Bernadette
•
Hutle, Martin  
•
Widder, Josef
2008

Dwork, Lynch, and Stockmeyer (1988) and Lamport (1998) showed that, in order to solve Consensus in a distributed system, it is sufficient that the system behaves well during a finite period of time. In sharp contrast, Chandra, Hadzilacos, and Toueg (1996) proved that a failure detector that, from some time on, provides "good" information forever is necessary. We explain that this apparent paradox is due to the two-layered structure of the failure detector model. This structure also has impacts on comparison relations between failure detectors. In particular, we make explicit why the classic relation is neither reflexive nor extends the natural history-wise inclusion. Although not technically difficult, the point we make helps understanding existing models like the failure detector model.

  • Files
  • Details
  • Metrics
Type
report
Author(s)
Charron-Bost, Bernadette
Hutle, Martin  
Widder, Josef
Date Issued

2008

Subjects

models of computation

•

failure detectors

•

asynchronous system

•

Consensus

Written at

EPFL

EPFL units
LSR-IC  
Available on Infoscience
October 10, 2008
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/30221
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