Title
Partition Approach to Failure Detectors for k-Set Agreement
Abstract
In k-set agreement problem, every process proposes a value and eventually at most k different values can be decided. When k > 1, different subset of processes may decide on different values, and thus it naturally exhibits partition among processes based on their decision values. In this paper, we propose the partition approach to dene failure detectors that capture the partition nature of k-set agreement. The power of the partition approach is to further weaken failure detectors that are already very weak in solving k-set agreement, and thus invalid the failure detectors as candidates for the weakest failure detectors for k-set agreement. Using the approach, we propose two new classes of failure detectors, statically partitioned failure detectors k and splittable partitioned failure detectors S k , both are strong enough to solve k-set agreement in the message passing model. However, we show that k is strictly weaker than k, the weakest failure detectors known so far for k-set agreement, and Sk is even weaker than k. The partition approach provides a new dimension to weaken failure detectors related to k-set agreement. It is an effective way to check whether a failure detector is the weakest one solving k-set agreement or not. Together with (4), we show that so far all candidates for the weakest failure detectors including k and in both the message-passing model and the shared-memory model have failed our partition test.
Year
DOI
Venue
2007
10.1145/1281100.1281145
principles of distributed computing
Keywords
Field
DocType
failure detector,k-set agreement,partition approach,message passing,shared memory
Failure detector,Computer science,Algorithm,Theoretical computer science,K-set,Partition (number theory),Detector,Message passing
Conference
Citations 
PageRank 
References 
2
0.37
16
Authors
4
Name
Order
Citations
PageRank
Wei Chen13416170.71
Jialin Zhang220.37
Yu Chen358541.84
Xuezheng Liu435222.72