×
阿纳伊斯·杜兰德;米歇尔·雷纳尔;加迪·陶本费尔德

在存在争议的撞车事故时达成共识。 （英语） Zbl 1522.68063号

Devismes，Stéphane（编辑）等人，《分布式系统的稳定、安全和保障》。第24届国际研讨会，SSS 2022，法国克莱蒙特-弗莱德，2022年11月15日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13751, 193-205 (2022).
摘要：虽然共识是容易导致进程崩溃的异步分布式系统中许多协调问题的核心，但事实证明，在这样的系统中，进程通过消息传递或读写共享内存进行通信是不可能解决的。因此，必须用额外的计算能力来丰富这些系统，以便在它们之上解决共识。本文提出了对经典基本计算模型的一种新的限制，该限制结合了进程参与和对仅在尚未绕过预定义争用阈值时才会发生的故障的限制。这种类型的故障称为\（\lambda\）-受限碰撞，其中\（\lambda\）定义了考虑的争用阈值。看起来，当假设此类与争议相关的崩溃故障并用一致数为（k\ge 1）的对象丰富系统时，对于任何（k\gek）假设最多为（k\）的故障，都可以解决（n\）进程的一致性问题。文章逐渐展开。它首先提出了一种算法，如果在绕过争用阈值\（\lambda=n-1 \）之前最多发生一次崩溃，则该算法可以解决读/写寄存器顶部的一致性问题。然后，它表明，如果系统富含一致数为\（k\ge1\）的对象，那么
●
当\（\lambda=n-k\）时，对于任何\（n\ge k\），尽管存在多达\（k\）\（\lambda\）约束的崩溃，但可以解决一致性，并且
●
当\（lambda=n-2k+1）时，即使有多达\（2k-1 \lambda \）约束的崩溃，假设\（k \）除法\（n \），也可以解决一致性问题。
最后，给出了可容忍的（lambda）约束失效数的不可能性结果。
有关整个系列，请参见[Zbl 1511.68015号].

MSC公司：

68米14 分布式系统
68米15 网络和计算机系统的可靠性、测试和容错
68宽15 分布式算法

关键词：

一致性算法;异步系统;原子寄存器;并发;共识数字;争论;\（\lambda\）-约束故障;参与过程;进程崩溃失败;读/写寄存器
PDF格式BibTeX公司 XML格式引用
\textit{A.Durand}等人，Lect。注释计算。科学。13751193-205（2022；Zbl 1522.68063）
全文： 内政部 哈尔

参考文献：

[1] Attiya，H.，Welch，J.L.：分布式计算：基础、模拟和高级主题，第二版。，第414页。Wiley-Interscience，新泽西州（2004年）。国际标准图书编号0-471-45324-2·Zbl 0910.68077号
[2] Chaudhuri，S.，《更多选择允许更多错误：在完全异步系统中设置共识问题》，Inf.Comput。，105, 1, 132-158 (1993) ·兹比尔0776.68016 ·doi:10.1006/inco.1993.1043
[3] Cachin，Ch；Guerraoui，R。；罗德里格斯，L.，《可靠和安全的分布式编程》，367（2011），海德堡：施普林格·Zbl 1208.68001号 ·doi:10.1007/978-3642-15260-3
[4] 卡斯塔涅达，A。；Gonczarowski，YA；Moses，Y.，《无法战胜的共识》，《分配计算》。，35, 2, 123-143 (2022) ·兹比尔1483.68025 ·doi:10.1007/s00446-021-00417-3
[5] 杜兰德，A。；雷纳尔，M。；Taubenfeld，G.，《与冲突相关的碰撞失败：定义、协议算法和不可能结果》，Theoret。计算。科学。，909, 76-86 (2022) ·Zbl 07482356号 ·doi:10.1016/j.tcs.2022.01.029
[6] 费舍尔，MJ；美国北卡罗来纳州林奇；Paterson，MS，《一个错误过程不可能达成分布式共识》，J.ACM，32，2，374-382（1985）·Zbl 0629.68027号 ·数字对象标识代码：10.1145/3149.214121
[7] Guerraoui R.：纵容算法。摘自：第19届ACM分布式计算原理研讨会论文集（PODC 2000），第289-297页。ACM出版社（2000）·Zbl 1314.68378号
[8] Guerraoui，R。；Raynal，M.，《宽容共识的信息结构》，IEEE Trans。计算。，53, 4, 453-466 (2004) ·doi:10.1109/TC.2004.1268403
[9] Herlihy，MP，无等待同步，ACM Trans。程序。语言系统。，13, 1, 124-149 (1991) ·数字对象标识代码：10.1145/114005.102808
[10] 路易斯，M。；Abu-Amara，H.，不可靠异步进程之间协议的内存要求，高级计算。研究，4163-183，3-5（1987）
[11] Gafni E.：循环故障检测器：统一同步和异步。摘自：第17届ACM分布式计算原理研讨会论文集，第143-152页。ACM出版社（1998）·Zbl 1333.68056号
[12] Lamport，L.，非全日制议会，ACM Trans。计算。系统。，16, 2, 133-169 (1998) ·Zbl 1455.68033号 ·doi:10.1145/279227.279229
[13] 摩西，Y。；Rajsbaum，S.，《共识的分层分析》，SIAM J.Compute。，31, 4, 989-1021 (2002) ·兹比尔1015.68079 ·doi:10.1137/S0097539799364006
[14] Raynal，M.：《并行编程：算法原理与基础》，第515页。施普林格，海德堡（2013）。doi:10.1007/978-3642-32027-9。国际标准图书编号978-3-642-32026-2·Zbl 1276.68001号
[15] Raynal，M.：《容错消息传递分布式系统：算法方法》，第492页。斯普林格，海德堡（2018）。doi:10.1007/978-3-319-94141-7。国际标准图书编号978-3-319-94140-0·Zbl 1423.68011号
[16] Taubenfeld，G.，《同步算法和并发编程》，423（2006），霍博肯：培生教育/普伦蒂斯·霍尔，霍博克
[17] Taubenfeld G.：仔细研究容错性。西奥。计算。系统。62(5) :1085-1108 (2018). （2012年第261-270号《PODC会议录》第一版）·Zbl 1301.68167号
[18] Taubenfeld，G。；Podelski，A。；Taíani，F.，《弱故障：定义、算法和不可能性结果》，《网络系统》，51-66（2019），查姆：斯普林格，查姆·doi:10.1007/978-3-030-05529-54
[19] Taubenfeld，G。；Katz，S。；Moran，S.，《分布式计算中的初始失败》，《国际并行程序》。，18, 4, 255-276 (1989) ·Zbl 0702.68029号 ·doi:10.1007/BF01407859
[20] 温克勒，K。；Schmid，S.，《定向动态网络共识的最新结果概述》，布尔。欧洲协会。计算。科学。，2, 128, 30 (2019) ·Zbl 1428.68083号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。