×
王贤兵;Teo，Yong Meng先生;曹建农

同步分布式系统的消息和高效时间一致性协议。 （英语） Zbl 1243.68046号

J.平行分布计算。 68，编号5641-654（2008）.
摘要：对于具有高达（t）个潜在故障和（f）个实际故障的（n）个进程组成的同步分布式系统，其中（（t<n-1，f\leq t）），协议达成共识的时间下限为（min（t+1，f+2）轮。目前，该领域的大多数研究都集中在一致性协议的时间效率上。本文提出了同步分布式系统的一致性协议，该协议可实现消息效率和时间效率。基于具有崩溃故障的同步分布式系统的提前停止一致性协议，我们提出了一种显著降低消息复杂性的旋转协调器方案。然而，该协议并不具有时间效率，因为它需要（min（t+1，f+3）轮才能达成共识。因此，为了实现时间和消息效率，我们提出了另一种协议，其中使用（t+1）协调器在每轮中发送消息。此外，我们还表明，所提出的具有崩溃故障的共识协议可以在具有有序崩溃故障的情况下进行修改，以提高消息效率。当一个进程能够在一轮中向另一个进程发送多条消息时，我们针对具有有序崩溃故障的同步分布式系统，提出了一个最优消息效率的提前停止共识协议。

引用于1审查

理学硕士：

68平方米 网络协议
64岁以下 分布式系统

关键词：

共识;同步分布式系统;高效消息;有序碰撞故障;提前停车
PDF格式BibTeX公司 XML格式引用
\textit{X.Wang}等人，J.平行分布计算。68，第5号，641--654（2008；Zbl 1243.68046）
全文： 内政部

参考文献：

[1] 阿奎莱拉，M.K。；Toueg，S.：一个简单的双价证明，t-resility共识需要t+1轮，Inform。过程。莱特。71，第3-4期，155-158（1999）·Zbl 0999.68018号 ·doi:10.1016/S0020-0190（99）00100-3
[2] 阿提亚，H。；Welch，J.：《分布式计算：基础》（1998）
[3] T.Chandra，S.Toueg，《时间和消息高效可靠广播》，载于《第四届分布式算法国际研讨会论文集》，意大利巴里，1990年9月。
[4] Chandra，T。；Toueg，S.：《可靠分布式系统的不可靠故障检测器》，J.ACM 43，No.2，225-267（1996）·Zbl 0885.68021号 ·数字对象标识代码：10.1145/226643.226647
[5] Charron-Bost，B。；Schiper，A.：统一共识比共识更难，J.算法51，15-37（2004）·Zbl 1078.68157号 ·doi:10.1016/j.jalgor.2003.11.001
[6] B.Charron Bost，S.Toueg，A.Basu，《在失败的背景下重新审视安全和活力》，载于《第11届并发理论国际会议论文集》，2000年，第552-565页·Zbl 0999.68152号
[7] Delport-Gallet，C。；Fauconnier，H。；霍恩，S.L。；Toueg，S.：快速容错协议算法，169-178（2005）·Zbl 1314.68370号
[8] 多列夫，D。；Reischuk，R。；斯特朗，R.：《拜占庭协议的提前终止》，J.ACM 37，No.4，720-741（1990）·Zbl 0711.68008号 ·doi:10.1145/96559.96565
[9] 德沃克，C。；林奇，N。；Stockmeyer，L.：部分同步存在下的共识，J.ACM 35，第2期，288-323（1988）
[10] 费舍尔，M。；林奇，N。；Paterson，M.：一个错误过程不可能达成分布式共识，J.ACM 32，No.2，374-382（1985）·Zbl 0629.68027号 ·数字对象标识代码：10.1145/3149.214121
[11] 基达尔，I。；Rajsbaum，S.：统一一致性同步下限的简单证明，Inform。过程。莱特。85，第1期，47-52（2003）·Zbl 1042.68010号 ·doi:10.1016/S0020-0190（02）00333-2
[12] L.Lamport，M.Fischer，拜占庭将军和交易提交协议，技术报告，SRI国际，1982年4月。
[13] Lynch，N.：分布式算法（1996）·Zbl 0877.68061号
[14] M.Merritt，《拜占庭协议的多列夫-斯特朗下界注释》，未出版手稿，1985年。
[15] 摩西，Y。；Rajsbaum，S.：共识的分层分析，SIAM J.Compute。31，第4期，989-1021（2002）·Zbl 1015.68079号 ·doi:10.1137/S0097539799364006
[16] A.Mostéfaoui，S.Rajsbaum，M.Raynal，《使用条件加速同步分布式系统共识》，分布式计算，载于《第17届国际会议论文集》，意大利索伦托，2003年10月1日至3日·Zbl 1180.68065号 ·doi:10.1007/b13831
[17] M.Raynal，《同步系统共识：简明导览》，载于《环太平洋可靠计算国际研讨会论文集》，日本筑波，2002年。
[18] Siewiorek，D.P。；Swarz，R.S.：《可靠的计算机系统：设计和评估》（1998）·Zbl 0987.68511号
[19] Tzeng，H。；Siu，K.：具有崩溃故障的分布式系统中容错广播/多播的消息优化协议，IEEE传输。计算。44，第2期，346-352（1995）·Zbl 1061.68508号 ·数字对象标识代码：10.1109/12.364545
[20] X.Wang，Y.M.Teo，J.Cao，《有序崩溃故障达成共识》，新加坡国立大学计算机科学系技术报告，2005年。
[21] 王，X。；Teo，Y.M。；曹，J.：统一共识下限的二元证明，Inform。过程。莱特。96，第5期，167-174（2005）·Zbl 1184.68110号 ·doi:10.1016/j.ipl.2005.08.002
[22] J.Xu，《达成共识和一致共识的最小时间复杂性的统一证明——基于口头的方法》，载于：IEEE第21届可靠分布式系统研讨会论文集，日本大阪，2002年10月。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。