Failure detectors encapsulate fairness
Author(s)
Pike, Scott M.; Welch, Jennifer L.; Sastry, Srikanth
Download446_2012_Article_164.pdf (363.3Kb)
PUBLISHER_POLICY
Publisher Policy
Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.
Terms of use
Metadata
Show full item recordAbstract
Failure detectors have long been viewed as abstractions for the synchronism present in distributed system models. However, investigations into the exact amount of synchronism encapsulated by a given failure detector have met with limited success. The reason for this is that traditionally, models of partial synchrony are specified with respect to real time, but failure detectors do not encapsulate real time. Instead, we argue that failure detectors encapsulate the fairness in computation and communication. Fairness is a measure of the number of steps executed by one process relative either to the number of steps taken by another process or relative to the duration for which a message is in transit. We argue that failure detectors are substitutable for the fairness properties (rather than real-time properties) of partially synchronous systems. We propose four fairness-based models of partial synchrony and demonstrate that they are, in fact, the ‘weakest system models’ to implement the canonical failure detectors from the Chandra-Toueg hierarchy. We also propose a set of fairness-based models which encapsulate the G[subscript c] parametric failure detectors which eventually and permanently suspect crashed processes, and eventually and permanently trust some fixed set of c correct processes.
Date issued
2012-02Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence LaboratoryJournal
Distributed Computing
Publisher
Springer-Verlag
Citation
Pike, Scott M., Srikanth Sastry, and Jennifer L. Welch. "Failure detectors encapsulate fairness." Distributed Computing, vol. 25, issue 4, February 2012, pp. 313-333.
Version: Author's final manuscript
ISSN
0178-2770
1432-0452