DocumentCode :
1666542
Title :
Uniform agreement despite process omission failures
Author :
Parvedy, Philippe Raipin ; Raynal, Michel
Author_Institution :
IRISA, Rennes I Univ., France
fYear :
2003
Abstract :
A process fails by omission if it "forgets" to send or receive messages. Considering omission failures is crucial for distributed systems, as such failures model both crash failures and incorrect behavior of process input/output buffers (such as buffer overflow). So, designing protocols that cope not only with crash failures but also with omission failures is a real challenge as soon as one is interested in obtaining real-time dependable distributed systems. While the consensus problem has received a lot of attention in the crash failure model and in the Byzantine failure model, it has received less attention in the omission failure model. This paper presents a simple uniform consensus protocol for synchronous systems made up of n processes where up to t can commit crash or omission failures. This protocol requires t+1 communication steps. Interestingly, as this bound is tight for crash failures and those are included in omission failures, this shows that t+1 is a tight lower bound for protocols solving uniform consensus in synchronous systems prone to process omission failures. The protocol assumes t\n\n\t\t
Keywords :
fault tolerant computing; message passing; protocols; Byzantine failure model; buffer overflow; crash failures; interactive consistency problem; process omission failures; simple uniform consensus protocol; uniform agreement; Aerospace control; Books; Buffer overflow; Computer crashes; Costs; Distributed computing; Message passing; Proposals; Protocols; Real time systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Parallel and Distributed Processing Symposium, 2003. Proceedings. International
ISSN :
1530-2075
Print_ISBN :
0-7695-1926-1
Type :
conf
DOI :
10.1109/IPDPS.2003.1213388
Filename :
1213388
Link To Document :
بازگشت