×
迈克尔·奥肯;阿姆农·巴拉克;埃利·加夫尼

在拜占庭故障的同步消息传递系统中重命名。 （英语） Zbl 1266.68059号

分布计算。 20，第6号，403-413（2008）.
摘要：我们研究了拜占庭故障下全连接同步网络中的重命名问题。我们证明了当处理器的原始名称空间是无界的时，这个问题不能在先验有界的轮数中解决，其中，（n）是网络的大小，（t）是失败的次数。另一方面，对于（n>3t），我们提出了一种拜占庭重命名算法，该算法在（O（logn）轮中运行。此外，我们还为\（n>t）提出了一种快速、有效的强重命名算法，该算法在\（O（n\log^{2}\lceil n_{0}/n\rceil）轮中运行，其中\（n_0）是所有正确处理器中最高标识符的值。

引用于2文件

理学硕士：

64岁以下 分布式系统
68米15 网络和计算机系统的可靠性、测试和容错

关键词：

重命名问题;拜占庭式失败;同步消息传递模型
PDF格式BibTeX公司 XML格式引用
\textit{M.Okun}等人，分布计算。20，第6号，403--413（2008；Zbl 1266.68059）
全文： 内政部

参考文献：

[1] Afek，Y.、Attiya，H.、Fouren，A.、Stupp，G.、Touitou，D.：长期更名使其具有适应性。收录于：PODC，第91–103页（1999年）
[2] Afek，Y.，Merritt，M.：快速，无等待（2k 1）-重命名。收录于：PODC，第105–112页（1999年）
[3] Attiya H.、Bar Noy A.、Dolev D.、Peleg D.、Reischuk R.（1990年）。在异步环境中重命名。美国临床医学杂志37（3）：524–548·Zbl 0699.68034号 ·doi:10.1145/79147.79158
[4] Attiya H.、Djerasi-Sindel T.（2001年）。存在时间不确定性和失败的决策问题的时间界限。J.平行分布计算。61(8): 1096–1109 ·Zbl 0988.68172号 ·doi:10.1006/jpdc.2001.1730
[5] Attiya，H.，Fouren，A.：多项式和自适应长寿命（2k 1）-重命名。In:DISC，第149-163页（2000年）·Zbl 0987.68999号
[6] Attiya H.，Fouren A.（2001年）。格协议和重命名的自适应高效算法。SIAM J.计算。31(2): 642–664 ·Zbl 0994.68044号 ·doi:10.1137/S0097539700366000
[7] Attiya H.、Welch J.L.（1998年）。分布式计算：基础、模拟和高级主题。McGraw-Hill，纽约·Zbl 0910.68077号
[8] Bar-Noy A.、Dolev D.（1993）。异步故障停机分布式环境中共享内存和消息传递之间的部分等效。数学。系统。理论26（1）：21–39·Zbl 0766.68003号 ·doi:10.1007/BF01187073
[9] Bazzi R.A.、Neiger G.（2001年）。简化容错：提供崩溃故障的抽象。美国临床医学杂志48（3）：499–554·Zbl 1323.68040号 ·数字对象标识代码：10.1145/382780.382784
[10] Borowsky，E.，Gafni，E.：即时原子快照和快速重命名。收录于：PODC，第41–51页（1993年）·Zbl 1373.68078号
[11] Brodsky，A.，Ellen，F.，Woelfel，P.：长期重命名的完全自适应算法。收录于：DISC，第413-427页（2006年）·兹比尔1155.68325
[12] Chaudhuri S.、Herlihy M.、Tuttle M.R.（1999年）。消息传递系统中的无等待实现。理论。计算。科学。220(1): 211–245 ·兹比尔0916.68065 ·doi:10.1016/S0304-3975（98）00242-4
[13] Dijkstra，E.W.：关于弱终止和强终止。收录：Dijkstra，E.W.（ed）《计算机文选：个人视角》。海德堡施普林格，第355–357页
[14] Fich F.E.、Ruppert E.（2003）。分布式计算的数百个不可能结果。分布计算。16(2–3): 121–163 ·doi:10.1007/s00446-003-0091-y
[15] Fischer M.J.、Lynch N.A.和Paterson M.（1985年）。在一个错误的过程中不可能达成分布式共识。美国临床医学杂志32（2）：374–382·Zbl 0629.68027号 ·数字对象标识代码：10.1145/3149.214121
[16] Frederickson G.N.，Lynch N.A.（1987年）。在同步环中选举领导者。J.ACM 34（1）：98–115·Zbl 0631.68024号 ·doi:10.1145/7531.7919
[17] Graham R.L.、Rothschild B.L.、Spencer J.H.（1980）。拉姆齐理论。纽约威利
[18] Herlihy M.、Shavit N.（1999）。异步可计算性的拓扑结构。美国医学会期刊46（6）：858–923·Zbl 1161.68469号 ·数字对象标识代码：10.1145/331524.331529
[19] Lamport L.、Shostak R.E.、Pease M.C.（1982年）。拜占庭将军的问题。ACM事务处理。程序。语言系统。4(3): 382–401 ·Zbl 0483.68021号 ·doi:10.1145/357172.357176
[20] Lynch N.A.（1996）。分布式算法。摩根考夫曼，纽约·Zbl 0877.68061号
[21] Malkhi D.，Reiter M.K.（1998年）。拜占庭法定人数制度。分布计算。11(4): 203–213 ·Zbl 0963.68051号 ·doi:10.1007/s004460050050
[22] Moir M.、Anderson J.H.（1995年）。快速、长寿命重命名的无等待算法。科学。计算。程序。25(1): 1–39 ·Zbl 0838.68050号 ·doi:10.1016/0167-6423（95）00009-H
[23] Neiger G.、Toueg S.（1990年）。自动提高分布式算法的容错能力。J.算法11（3）：374–419·Zbl 0707.68013号 ·doi:10.1016/0196-6774（90）90019-B
[24] Okun，M.：陌生拜占庭将军之间的协议。摘自：DISC，第499-500页（2005年）
[25] Okun，M.，Barak，A.：匿名拜占庭协议的高效算法。理论计算。系统。（出现）·兹比尔1141.68057
[26] Okun，M.，Barak，A.：在拜占庭失败的消息传递系统中重命名。收录于：DISC，第16–30页（2006年）·Zbl 1155.68339号
[27] Pease M.C.、Shostak R.E.、Lamport L.（1980）。在出现故障时达成协议。美国临床医学杂志27（2）：228–234·Zbl 0434.68031号 ·doi:10.1145/322186.322188
[28] Raynal，M.：重命名问题简介。收录于：PRDC，第121-124页（2002年）
[29] Srikanth T.K.，Toueg S.（1987）。模拟经过身份验证的广播以导出简单的容错算法。分布计算。2(2): 80–94 ·doi:10.1007/BF01667080
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。