Issue No. 05 - May (1986 vol. 12)
T. V. Lakshman , Systems Design and Analysis Group, Department of Computer Science, University of Maryland, College Park, MD 20742
Ashok K. Agrawala , Systems Design and Analysis Group, Department of Computer Science, University of Maryland, College Park, MD 20742
Decentralized consensus protocols are characterized by successive rounds of message interchanges. Protocols which achieve a consensus in one round of message interchange require O(N2) messages, where N is the number of participants. In this paper, we present a communication scheme, based on finite projective planes, which requires only O(N√N) messages for each round. Using this communication scheme, we develop decentralized consensus protocols which achieve a consensus within two rounds of message interchange. The protocols are symmetric, and the communication scheme does not impose any hierarchical structure. We illustrate our scheme using blocking and nonblocking commit protocols, decentralized extrema finding, and computation of the sum function.
Protocols, Clocks, Checkpointing, Concurrent computing, Distributed databases, Computer science, transaction management, Commit protocols, crash recovery, distributed database systems, distributed systems, fault tolerance, message complexity
T. V. Lakshman and A. K. Agrawala, "Efficient decentralized consensus protocols," in IEEE Transactions on Software Engineering, vol. 12, no. , pp. 600-607, 1986.