The Community for Technology Leaders
Pacific Rim International Symposium on Dependable Computing, IEEE (2007)
Melbourne, Victoria, Australia
Dec. 17, 2007 to Dec. 19, 2007
ISBN: 0-7695-3054-0
pp: 69-76
Failure detector class k has been defined in [18] as an extension to failure detector , and an algorithm has been given in [16] to solve k-set agreement using k in asynchronous message-passing systems. In this paper, we extend these previous work in two directions. First, we define two new classes of failure detectors k and k, which are new ways of extending , and show that they are equivalent to k. Class k is more flexible than k in that it does not require the outputs to stabilize eventually, while class k does not refer to other processes in its outputs. Second, we present a new algorithm that solves k-set agreement using k when a majority of processes do not crash. The algorithm is a faithful extension of the Paxos algorithm [12], and thus it inherits the efficiency, flexibility, and robustness of the Paxos algorithm. In particular, it has better message complexity than the algorithm in [16]. Both the new failure detectors and the new algorithm enrich our understanding of the k-set agreement problem.

X. Liu, W. Chen, J. Zhang and Y. Chen, "Failure Detectors and Extended Paxos for k-Set Agreement," Pacific Rim International Symposium on Dependable Computing, IEEE(PRDC), Melbourne, Victoria, Australia, 2007, pp. 69-76.
85 ms
(Ver 3.3 (11022016))