On a Unified Framework for the Evaluation of Distributed Quorum Attainment Protocols
IEEE Transactions on Software Engineering
Hard real-time communication in multiple-access networks
Real-Time Systems
The Ethernet management guide (3rd ed.)
The Ethernet management guide (3rd ed.)
Impossibility of distributed consensus with one faulty process
Journal of the ACM (JACM)
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Unreliable failure detectors for reliable distributed systems
Journal of the ACM (JACM)
TCP/IP and ONC/NFS: Internetworking in a UNIX Environment
TCP/IP and ONC/NFS: Internetworking in a UNIX Environment
User-Process Communication Performance in Networks of Computers
IEEE Transactions on Software Engineering
Consensus service: a modular approach for building agreement protocols in distributed systems
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Hi-index | 0.00 |
This paper presents an application of Hierarchical Coloured Timed Petri Nets to the modeling, the evaluation and the improvement of the performance of a distributed consensus algorithm. The asynchronous system model is augmented with Failure Suspectors, in order to overcome the impossibility of reaching consensus in the presence of crash failures. We consider here two different implementations of the Failure Suspectors: a general implementation that shows poor performances, and an implementation optimized for the execution of the consensus. The termination time of the consensus algorithm is determined by the communications cost, i.e., by the timing characteristics of the network used for exchanging messages. In other words, the network latency is taken into account in the system model. By simulating the consensus Petri net model it is possible to provide probabilistic guarantees on the termination time of the consensus and to compare the performances of the different imp! lementations of the Failure Suspectors.