Continuous consensus via common knowledge
作者： Tal Mizrahi , Yoram Moses
DOI: 10.1007/S00446-007-0049-6
关键词:
摘要: Continuous consensus is the problem of having each process i maintain at time k an up-to-date core Mi[k] information about past, so that cores are guaranteed to be identical. A simple algorithm for continuous in fault-prone systems called CONCON presented, based on a knowledge-based analysis. shown closely related common knowledge. Via this connection, characterization knowledge with crash and omission failures by Moses Tuttle used prove optimal---it produces largest possible any given time. Finally, we modify obtain uniform solution, which all processes (faulty nonfaulty) same
springer.com
sci-hub.se 参考文章(12)
Nathan Goodman, Philip A. Bernstein, Vassco Hadzilacos, Concurrency Control and Recovery in Database Systems ,(1987)
Nicolas Halbwachs, Synchronous programming of reactive systems ,(1992)
Joseph Y. Halpern, Yoram Moses, Knowledge and common knowledge in a distributed environment Journal of the ACM. ,vol. 37, pp. 549- 587 ,(1990) , 10.1145/79147.79161
Brian A. Coan, Danny Dolev, Cynthia Dwork, Larry Stockmeyer, The distributed firing squad problem SIAM Journal on Computing. ,vol. 18, pp. 990- 1012 ,(1989) , 10.1137/0218068
Leslie Lamport, The part-time parliament ACM Transactions on Computer Systems. ,vol. 16, pp. 133- 169 ,(1998) , 10.1145/279227.279229
Gil Neiger, Mark R. Tuttle, Common knowledge and consistent simultaneous coordination Distributed Computing. ,vol. 6, pp. 181- 192 ,(1993) , 10.1007/BF02242706
Gérard Berry, Georges Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation Science of Computer Programming. ,vol. 19, pp. 87- 152 ,(1992) , 10.1016/0167-6423(92)90005-V
Cynthia Dwork, Yoram Moses, Knowledge and common knowledge in a byzantine environment: crash failures Information & Computation. ,vol. 88, pp. 156- 186 ,(1990) , 10.1016/0890-5401(90)90014-9
Brian A Coan, A communication-efficient canonical form for fault-tolerant distributed protocols principles of distributed computing. pp. 63- 72 ,(1986) , 10.1145/10590.10596
Yoram Moses, Mark R. Tuttle, PROGRAMMING SIMULTANEOUS ACTION USING COMMON KNOWLEDGE Algorithmica. ,vol. 3, pp. 121- 169 ,(1987) , 10.1007/BF01762112