詹姆斯·阿斯彭斯 异步共识的随机协议。 （英语） 兹比尔1448.68063 分布计算。 16，编号2-3，165-175（2003）. 摘要：著名的Fischer、Lynch和Paterson不可能性证明表明，即使单个进程都可能失败，也不可能解决异步分布式系统自然模型中的一致性问题。自发表以来，二十年来，容错异步一致性算法的研究工作通过使用扩展模型避免了这种不可能的结果，这些扩展模型提供了（a）随机化，（b）额外的时序假设，（c）故障检测器，或（d）比基本模型中可用的更强的同步机制。集中于第一种方法，我们通过对几种此类协议的详细描述来说明随机异步共识协议的历史和结构。 引用于9文件 MSC公司： 64岁以下 分布式系统 68米15 网络和计算机系统的可靠性、测试和容错 关键词：共识；协议；随机化；异步 PDF格式BibTeX公司 XML格式引用 \textit｛J.Aspnes｝，分布式计算。16，编号2--3，165-175（2003；Zbl 1448.68063） 全文： 内政部 arXiv公司 参考文献： [1] Afek Y、Greenberg DS、Merritt M、Taubenfeld G（1995）《使用错误共享对象进行计算》。联合计算机杂志42:1231-1274·Zbl 0890.68019号 [2] Afek Y、Merritt M、Taubenfeld G（1999）《多物体的力量》。通知计算机153（1）:117-138·Zbl 1045.68501号 [3] Aguilera MK，Toueg S（1998）《故障检测和随机化：解决共识的混合方法》。SIAM J计算28（3）：890-903·Zbl 0918.68041号 [4] Aguilera MK，Chen W，Toueg S（2000）碰撞恢复模型中的故障检测和共识。分布计算13（2）:99-125·Zbl 1448.68124号 [5] Aguilera MK，Toueg S（1998）Ben-Or随机一致性算法的正确性证明。技术报告TR981682，康奈尔大学，计算机科学，5月17日·Zbl 1256.68159号 [6] Alur R，Attiya H，Taubenfeld G（1997）用于同步的时间自适应算法。SIAM J计算26（2）：539-556·Zbl 0874.68130号 [7] Anderson JH，Moir M（1999）多道程序系统中的无等待同步：基于优先级和基于数量的调度的集成。致：第十八届年度会议记录·Zbl 1321.68112号 [8] Aspnes J（1993）《时空效率随机共识》。J算法14（3）：414-431·Zbl 0825.68186号 [9] Aspnes J（1998）分布式货币流动和随机共识的下限。联合计算机杂志45（3）：415-450·Zbl 1065.68571号 [10] Aspnes J噪音环境中的快速确定性共识。摘自：2000年7月俄勒冈州波特兰市第十九届ACM分布式计算原理年会论文集，第299-309页，《算法杂志》·Zbl 1314.68364号 [11] Aspnes J，Herlihy M（1990）使用共享记忆快速随机共识。J算法11（3）：441-461·Zbl 0705.68016号 [12] Aspnes J、Shah G、Shah J无需等待，人数有限。摘自：2002年5月19日至21日第34届ACM计算机理论年会论文集，第524-533页·Zbl 1192.68850号 [13] Aspnes J，Waarts O（1996）每个处理器预期O（Nlog2N）操作的随机共识。SIAM J计算25（5）：1024-1044·Zbl 0861.68039号 [14] Attiya H，Dolev D，Shavit N有界多项式随机化共识。摘自：1989年8月14日至16日，加拿大艾伯塔省埃德蒙顿市，第八届ACM分布式计算原理年度研讨会论文集，第281-293页 [15] Attiya H、Dwork C、Lynch N、Stockmeyer L（1994）《在时间不确定性存在的情况下达成协议的时间界限》。计算机协会期刊41（1）：122-152·Zbl 0807.68042号 [16] Attiya H，Welch J（1998）《分布式计算：基础、模拟和高级主题》。纽约州纽约市：McGraw-Hill·Zbl 0910.68077号 [17] Yonatan Aumann Ef高效异步与弱对手调度器达成一致。摘自：1997年8月21日至24日，加利福尼亚州圣巴巴拉市，第十六届ACM分布式计算原理研讨会论文集，第209-218页·兹比尔1373.68072 [18] Aumann Y，Bender MA Ef efficient异步共识与价值明确的对手调度程序。收件人：Meyer auf der Heide M，Monien（eds）Automata，语言与编程，第23届国际学术讨论会，计算机科学讲稿，第1099卷，第622-633页，德国帕德博恩，1996年7月8日至12日，柏林-海德堡，纽约：施普林格·Zbl 1046.68504号 [19] Ben-OrM自由选择的另一个优点：完全异步协议协议（扩展抽象）。收录：第二届ACM SIGACT-SIGOPS分布式计算原理年度研讨会论文集，第27-30页，加拿大魁北克省蒙特利尔，1983年8月 [20] Bracha G，Rachman O近似计数器和随机一致性。技术报告662，Technion，1990 [21] Bracha G，Rachman O预期O（n2logn）手术中的随机共识。收录于：Toueg S，Spirakis PG，Kirousis LM（eds）Distributed Algorithms，第五届国际研讨会，计算机科学讲稿第579卷，第143-150页，希腊德尔福，1991年10月7-9日，柏林-海德堡纽约：施普林格1992 [22] Bracha G，Toueg S（1985）异步共识和广播协议。联合计算机杂志32（4）：824-840·Zbl 0628.68024号 [23] Buhrman H、Panconesi A、Silvestri R、Vitanyi PMB（2000）关于拥有身份的重要性或共识真的是普遍的吗？摘自：《第十四届分布式计算国际研讨会论文集》，第134-148页，西班牙托莱多，10月4日至6日·Zbl 0987.68507号 [24] Canetti R，Rabin T（1993）《具有最佳弹性的快速异步拜占庭协议》（扩展摘要）。摘自：美国计算机学会第二十五届年度计算理论研讨会论文集，第42-51页，加利福尼亚州圣地亚哥，5月16-18日·Zbl 1310.68038号 [25] Chandra TD（1996）Polylog随机化无等待共识。摘自：第十五届ACM分布式计算原理年度研讨会论文集，第166-175页，美国宾夕法尼亚州费城，5月23-26日·Zbl 1321.68066号 [26] Chandra TD、Hadzilacos V、Toueg S（1996）解决共识的最弱故障检测器。美国计算机学会杂志43（4）：685-722·Zbl 0885.68022号 [27] Chandra TD，Toueg S（1996）可靠分布式系统的不可靠故障检测器。联合计算机器杂志43（2）：225-267·Zbl 0885.68021号 [28] Chor B，Dwork C（1989）《拜占庭协议中的随机化》。收录于：《计算研究进展5：随机性和计算》，第443-497页。康涅狄格州格林威治：JAI出版社 [29] Chor B、Israel A、Li M（1994），使用异步硬件的无等待共识。SIAM J计算23（4）：701-712 [30] Dolev D、Dwork C、Stockmeyer L（1987）《分布式共识所需的最小同步性》。联合计算机杂志34（1）：77-97·Zbl 0631.68022号 [31] Dolev D，Friedman R，Keidar I，Malkhi D（1997）遗漏故障环境中的故障检测器。摘自：第十六届ACM分布式计算原理年会论文集，第286页 [32] Dwork C、Herlihy M、Plotkin S、Waarts O（1999）《时间推移快照》。SIAM J计算28（5）：1848-1874·Zbl 0928.68135号 [33] Dwork C，Lynch N，Stockmeyer L（1988）部分同步存在下的一致性。联合计算机杂志35（2）：288-323 [34] Feldman P，Micali S（1997）同步拜占庭协议的最优概率协议。SIAM J计算26（4）：873-933·Zbl 0885.68077号 [35] Feller W（1970）概率论导论及其应用。纽约：Wiley，第三版 [36] Fischer MJ、Lynch NA、Paterson MS（1985）《一个错误过程中不可能达成分布式共识》。联合计算机杂志32（2）：374-382·Zbl 0629.68027号 [37] Goldreich O，Petrank E（1990）《两全其美：保证快速随机拜占庭协议协议的终止》。通知流程Lett 36（1）：45-49·Zbl 0703.68020号 [38] Graham RL，Yao AC（1989）《关于达成拜占庭协议的可能性》。摘自：第21届ACM计算机理论年会论文集，第467-478页，5月15-17日 [39] Herlihy M（1991）无等待同步。ACM Trans程序语言系统13（1）：124-149 [40] Herlihy M（1993）实现高度并发数据对象的方法。ACM Trans Program Lang Syst语言系统15（5）：745-770 [41] Jayanti P（1997）《稳健的无等待层次结构》。联合计算机器杂志44（4）：592-614·Zbl 0891.68007号 [42] Jayanti P、Chandra TD、Toueg S（1998）容错无等待共享对象。联合计算机杂志45（3）：451-500·Zbl 1065.68503号 [43] Loui MC，Abu-Amara HH（1987）不可靠异步进程之间协议的内存要求。In:Preparia FP（ed）Advances In Computing Research，Vol 4，Greenwich，Connecticut:JAI出版社 [44] Pease M、Shostak R、Lamport L（1980）在存在断层的情况下达成协议。联合计算机杂志27（2）：228-234·Zbl 0434.68031号 [45] Plotkin SA（1989）《粘性比特与共识的普遍性》。摘自：第八届ACM分布式计算原理年会论文集，第159-176页，纽约州纽约市： [46] 拉宾MO（1983）《拜占庭将军随机化》。收录：第24届IEEE计算机科学基础研讨会，第403-409页 [47] Ruppert E（1997）确定一致数。摘自：第十六届ACM分布式计算原理年会论文集，第93-99页·Zbl 1373.68121号 [48] Ruppert E（1998）多目标共识数。摘自：第十七届ACM分布式计算原理年会论文集，第211-217页·兹比尔1333.68070 [49] Ruppert E（1999）交易对象的共识数。摘自：分布式计算国际研讨会，第312-326页 [50] Saks M、Shavit N、Woll H（1991）最佳时间随机共识——使弹性算法在实践中更快。摘自：第二届ACM-SIAM离散算法年度研讨会论文集，第351-362页，加利福尼亚州旧金山，1月28日至30日·兹比尔0800.68463 [51] Shavit N，Touitou D（1995）软件事务性内存。摘自：第十四届ACM分布式计算原理研讨会论文集，第204-213页·兹比尔1373.68178 [52] Zamsky A（1996）一种随机拜占庭协议协议，具有恒定的预期时间和保证在最佳（确定性）时间终止。摘自：第十五届ACM分布式计算原理年会论文集·Zbl 1321.68095号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。