×
阿曼多·卡斯塔涅达;Gonczarowski，Yannai A。;摩西，约拉姆

无可争议的共识。 （英语） Zbl 1483.68025号

分布计算。 35，第2期，123-143（2022）.
摘要：无与伦比的共识协议，由J.Y.哈尔佩恩等[SIAM J.Compute.31，No.3，838–865（2001；Zbl 1017.68007号)], 是一个比公认的提前停止协议概念更强的优化概念。本文利用一种新的基于知识的分析方法，针对具有崩溃故障的标准同步消息传递模型，推导出了文献中第一个明确的不可击败的一致性协议。这些协议严格控制着统一和非统一共识的最佳Known协议，在某些情况下，这些协议在很大程度上得到了改进。该分析为共识的逻辑结构以及统一共识和非统一共识之间的区别提供了新的理解。本文中提出的所有协议都有非常简明的描述，并且被证明是有效的可实现的。

引用于三文件

理学硕士：

64岁以下 分布式系统

关键词：

共识;统一共识;最优性;知识

引文：

Zbl 1017.68007号
PDF格式BibTeX公司 XML格式引用
\textit{A.Castañeda}等人，《分布计算》。35，编号2，123--143（2022；Zbl 1483.68025）
全文： 内政部 arXiv公司

参考文献：

[1] A.Castañeda、Y.A.Gonczarowski和Y.Moses。通过拓扑和组合推理获得不可击败的集合一致性。在：2016年ACM分布式计算原理研讨会论文集，PODC 2016，美国伊利诺伊州芝加哥，7月25-28日，第107-116页，（2016）·Zbl 1373.68081号
[2] A.Castañeda、Y.Moses、M.Raynal和M.Roy。早期决策和同步共识中的停止：基于谓词的导游。收录：第五届国际会议网络系统会议记录，2017年5月17日至19日，摩洛哥马拉喀什，第206-221页，（2017）
[3] Charron-Bost，B。；Schiper，A.，《统一共识比共识更难》，J.Algorithms，51，1，15-37（2004）·Zbl 1078.68157号 ·doi:10.1016/j.jalgor.2003.11.001
[4] B.科恩。容错分布式协议的一种高效通信规范形式。摘自：第五届ACM分布式计算原理研讨会论文集，第63-72页，（1986）
[5] A.Dan、R.Manohar和Y.Moses。通过曲折因果关系使用无时钟时间。摘自：2017年7月25日至27日，美国华盛顿哥伦比亚特区，美国计算机学会分布式计算原理研讨会论文集，第241-250页，（2017）·Zbl 1380.68044号
[6] D.多列夫。蜂鸣协议（个人通信）
[7] 多列夫，D。；Reischuk，R。；Strong，HR，《拜占庭协议提前终止》，J.ACM，34，7，720-741（1990）·Zbl 0711.68008号 ·doi:10.1145/96559.96565
[8] D.Dolev和H.R.Strong。分布式系统中的协议要求。收录人：H.J.Schneider，《分布式数据库》编辑，第115-129页。北荷兰，（1982）
[9] Dutta，P。；Guerraoui，R。；Pochon，B.，分布式协议中局部决策的时间复杂性，SIAM J.Compute。，37, 3, 722-756 (2007) ·兹比尔1144.68028 ·doi:10.1137/S0097539704446220
[10] 德沃克，C。；Moses，Y.，《拜占庭环境中的知识和常识：崩溃故障》，Inf.Compute。，88, 2, 156-186 (1990) ·Zbl 0705.68019号 ·doi:10.1016/0890-5401（90）90014-9
[11] 费金，R。；JY Halpern；摩西，Y。；瓦迪，MY，《知识推理》（Reasoning about Knowledge）（2003），伦敦：麻省理工学院出版社，伦敦·Zbl 0839.68095号
[12] 费舍尔，MJ；美国北卡罗来纳州林奇；Paterson，MS，一个有故障的处理器不可能实现分布式共识，J.ACM，32，2374-382（1985）·Zbl 0629.68027号 ·数字对象标识代码：10.1145/3149.214121
[13] 加夫尼，E。；Guerraoui，R。；Pochon，B.，《早期决策集协议的复杂性》，SIAM J.Compute。，40, 1, 63-78 (2011) ·Zbl 1216.68128号 ·数字对象标识代码：10.1137/050640746
[14] 戈伦，G。；Moses，Y.，初版刊登在2018年《沉默》PODC上。J.ACM，67，1，1-26（2020年）·Zbl 1491.68025号
[15] V.哈齐拉科斯。关于原子承诺和共识问题之间的关系。摘自：容错分布式计算，第201-208页，（1986）
[16] JY Halpern；Moses，Y.，《分布式环境中的知识和常识》。初步版本发表于PODC，1984，J.ACM，37，3，549-587（1990）·Zbl 0699.68115号 ·doi:10.1145/79147.79161
[17] JY Halpern；摩西，Y。；Waarts，O.，《拜占庭协议的最终特征》，SIAM J.Compute。，31, 3, 838-865 (2001) ·Zbl 1017.68007号 ·doi:10.1137/S0097539798340217
[18] M.Herlihy、Y.Moses和M.R.Tuttle。将同时执行任务的最坏情况最优解转换为所有情况下的最优解。在PODC中，第231-238页，（2011年）·Zbl 1321.68048号
[19] 基达尔，I。；Rajsbaum，S.，一致一致性同步下限的简单证明，Inf.过程。莱特。，85, 1, 47-52 (2003) ·Zbl 1042.68010号 ·doi:10.1016/S0020-0190（02）00333-2
[20] Y.摩西。关联知识与协调行动：先决条件原则的知识。摘自：2015年6月4日至6日在美国匹兹堡卡内基梅隆大学举行的关于理性和知识理论方面的第十五届会议记录，TARK 2015，第231-245页，（2015）·Zbl 1483.68423号
[21] 摩西，Y。；Tuttle，MR，使用公共知识编程同时动作，Algorithmica，3121-169（1988）·Zbl 0646.68031号 ·doi:10.1007/BF0176212
[22] 皮斯，M。；肖斯塔克，R。；Lamport，L.，《断层存在时达成协议》，J.ACM，27，2，228-234（1980）·Zbl 0434.68031号 ·doi:10.1145/322186.322188
[23] M.Raynal先生。具有过程遗漏故障的同步系统中的最优提前停止一致一致性。收录于：SPAA，第302-310页。ACM出版社，（2004）
[24] 王，X。；Teo，YM；Cao，J.，统一共识下限的二价证明，Inf.Process。莱特。，96, 5, 167-174 (2005) ·Zbl 1184.68110号 ·doi:10.1016/j.ipl.2005.08.002
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。