A Timely Distributed Consensus Solution in a Crash/Omission-Fault Environment
作者： Alan Burns , George M. A. Lima
DOI:
关键词:
摘要: Abstract A timely protocol to solve the distributed consensusproblem that tolerates process crashes and message omis-sions is described. The optimal in terms of thenumber communication steps needed achieve consen-sus. model on which based relies apriority-based network, a kind networkcommonly used practice support real-time systems.Keywords: Distributed Consensus, Fault Tolerance,Hard Real-Time System 1. Introduction Background consensus, fundamental problem dis-tributed systems, can be formulated as follows: all correctprocesses from set processes propose value thenthey have decide common value. con-sensus server provide basic building block imple-ment other fault-tolerant services [8, 3, 13, 9].More formally, consensus specifiedin following properties [12]:Termination: Every correct eventually decidessome value.Validity: If decides
researchgate.net 参考文章(11)
Vassos Hadzilacos, On the Relationship Between the Atomic Commitment and Consensus Problems Proceedings of the Asilomar Workshop on Fault-Tolerant Distributed Computing. pp. 201- 208 ,(1990) , 10.1007/BFB0042336
Gil Neiger, Sam Toueg, Automatically increasing the fault-tolerance of distributed algorithms Journal of Algorithms. ,vol. 11, pp. 374- 419 ,(1990) , 10.1016/0196-6774(90)90019-B
Tushar Deepak Chandra, Vassos Hadzilacos, Sam Toueg, Bernadette Charron-Bost, None, On the impossibility of group membership principles of distributed computing. pp. 322- 330 ,(1996) , 10.1145/248052.248120
Michael J. Fischer, Nancy A. Lynch, Michael S. Paterson, Impossibility of distributed consensus with one faulty process Journal of the ACM. ,vol. 32, pp. 374- 382 ,(1985) , 10.1145/3149.214121
Marcos Kawazoe Aguilera, Wei Chen, Sam Toueg, Using the heartbeat failure detector for quiescent reliable communication and consensus in partitionable networks Theoretical Computer Science. ,vol. 220, pp. 3- 30 ,(1999) , 10.1016/S0304-3975(98)00235-7
P. Verissimo, A. Casimiro, C. Fetzer, The timely computing base: Timely actions in the presence of uncertain timeliness dependable systems and networks. pp. 533- 542 ,(2000) , 10.1109/ICDSN.2000.857587
Tushar Deepak Chandra, Sam Toueg, None, Unreliable failure detectors for reliable distributed systems Journal of the ACM. ,vol. 43, pp. 225- 267 ,(1996) , 10.1145/226643.226647
Danny Dolev, Roy Friedman, Idit Keidar, Dahlia Malkhi, Failure detectors in omission failure environments principles of distributed computing. pp. 286- ,(1997) , 10.1145/259380.259501
Keith Marzullo, Laura S. Sabel, Election Vs. Consensus in Asynchronous Systems Cornell University. ,(1995)
F. Cristian, C. Fetzer, The timed asynchronous distributed system model IEEE Transactions on Parallel and Distributed Systems. ,vol. 10, pp. 642- 657 ,(1999) , 10.1109/71.774912