DocumentCode :
389501
Title :
Using coloured Petri nets to evaluate the impact of the QoS of failure detectors in the performance of a consensus protocol
Author :
De Figueiredo, Jorge C A ; Sampaio, Livia M R ; Brasileiro, Francisco V.
Author_Institution :
Departamento de Sistemas e Computacao, Univ. Fed. da Paraiba, Brazil
Volume :
3
fYear :
2002
fDate :
6-9 Oct. 2002
Abstract :
It has been proved that it is not possible to solve the consensus problem in an asynchronous distributed system subject to failures. The abstraction of unreliable failure detectors has been presented as a way to extend the pure asynchronous model in order to circumvent this impossibility result. In this paper, we present a hierarchical timed coloured Petri net model of a distributed consensus algorithm for an asynchronous distributed system augmented by an unreliable failure detector. By simulating this model, we evaluate the impact of the quality of service of failure detectors on the performance of the consensus protocol.
Keywords :
Petri nets; distributed algorithms; protocols; quality of service; QoS; asynchronous distributed system; coloured Petri nets; consensus protocol; distributed consensus algorithm; failure detectors; Buildings; Computer crashes; Detectors; Distributed computing; Fault tolerance; Fault tolerant systems; Petri nets; Protocols; Quality of service;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man and Cybernetics, 2002 IEEE International Conference on
ISSN :
1062-922X
Print_ISBN :
0-7803-7437-1
Type :
conf
DOI :
10.1109/ICSMC.2002.1176039
Filename :
1176039
Link To Document :
بازگشت