Title :
Failure Detectors and Extended Paxos for k-Set Agreement
Author :
Chen, Wei ; Zhang, Jialin ; Chen, Yu ; Liu, Xuezheng
Author_Institution :
Microsoft Res. Asia, Beijing
Abstract :
Failure detector class Omegakappa has been defined in (G. Neiger, 1995) as an extension to failure detector Omega, and an algorithm has been given in (A. Mostefaoui et al., 2005) to solve k-set agreement using Omegakappa 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 Omegakappa \´ and Omegakappa ",which are new ways of extending Omega and show that they are equivalent to Omegakappa. Class Omegakappa \´ is more flexible than Omegakappa in that it does not require the outputs to stabilize eventually, while class Omegakappa " does not refer to other processes in its outputs. Second, we present a new algorithm that solves k-set agreement using Omegakappa " when a majority of processes do not crash. The algorithm is a faithful extension of the Paxos algorithm (L. Lamport, 1998), and thus it inherits the efficiency, flexibility, and robustness of the Paxos algorithm. In particular, it has better message complexity than the algorithm in (A. Mostefaoui et al., 2005). Both the new failure detectors and the new algorithm enrich our understanding of the k-set agreement problem.
Keywords :
communication complexity; fault diagnosis; message passing; radio links; set theory; Paxos algorithm; asynchronous message-passing systems; failure detectors; k-set agreement; message complexity; Algorithm design and analysis; Asia; Computer crashes; Detectors; Distributed computing; Robustness;
Conference_Titel :
Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on
Conference_Location :
Melbourne, Qld.
Print_ISBN :
0-7695-3054-0
DOI :
10.1109/PRDC.2007.20