Condition-Based Consensus in Synchronous Systems
The condition-based approach for solving problems in distributed systems consists of identifying sets of input vectors, called conditions, for which it is possible to design more efficient protocols. Recent work suggested using the condition based approach in asynchronous systems suffering from crashes, for solving various agreement problems [5,9,1,4,6]. This paper designs a fast condition-based consensus protocol for synchronous systems.
KeywordsInput Vector Correct Process Consensus Problem Partial View Consensus Protocol
Unable to display preview. Download preview PDF.
- 2.Attiya, H., Welch, J.: Distributed Computing: Fundamentals, Simulations, and Advanced Topics. McGraw-Hill, New York (1998)Google Scholar
- 3.Charron-Bost, B., Schiper, A.: Uniform consensus harder than consensus. Technical Report DSC/2000/028, Ecole Polytechnique Federate de Lausanne, Switzerland (May 2000)Google Scholar
- 5.Mostefaoui, A., Rajsbaum, S., Raynal, M.: Conditions on input vectors for consensus solvability in asynchronous distributed systems. In: Proceedings of the 33rd annual ACM symposium on Theory of computing, pp. 153–162. ACM Press, New York (2001)Google Scholar
- 7.Mostefaoui, A., Rajsbaum, S., Raynal, M., Roy, M.: Efficient condition-based consensus. In: Proceedings of the 8th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2001), pp. 275–291. Carleton Univ. Press, Ottawa (2001)Google Scholar
- 8.Mostefaoui, A., Rajsbaum, S., Raynal, M., Roy, M.: A hierarchy of conditions for consensus solvability. In: Proceedings of the 20th annual ACM symposium on Principles of distributed computing, pp. 151–160. ACM Press, New York (2001)Google Scholar