Title :
Quorum Based Mutual Exclusion in Asynchronous Systems with Unreliable Failure Detectors
Author :
Park, Sung-Hoon ; Kim, Yoon ; Han, Jong-Ho ; Park, Jong-Sul
Author_Institution :
Sch. of Electr. & Comput. Eng., Chungbuk Nat. Univ., Cheongju, South Korea
Abstract :
This paper defines the quorum-based fault-tolerant mutual exclusion problem in a message-passing asynchronous system and determines a failure detector to solve the problem. This failure detector, which we call the modal failure detector star, and which we denote by M*, is strictly weaker than the perfect failure detector P but strictly stronger than the eventually perfect failure detector ◇P. The paper shows that at any environment, the problem is solvable with M*.
Keywords :
message passing; software fault tolerance; message-passing asynchronous system; modal failure detector star; quorum-based fault-tolerant mutual exclusion problem; unreliable failure detectors; Clocks; Computer crashes; Detectors; Electrical fault detection; Electronic mail; Fault detection; Fault tolerance; Fault tolerant systems; Information technology; Resource management;
Conference_Titel :
Information Technology: New Generations (ITNG), 2010 Seventh International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
978-1-4244-6270-4
DOI :
10.1109/ITNG.2010.236