×
奥斯卡隆德斯特伦;米歇尔·雷纳尔;Elad M.席勒。

自我稳定宽容的零分解二进制共识。 （英语） Zbl 07807461号

西奥。计算。科学。 989，文章ID 114387，21 p.（2024）.
摘要：Guerraoui为二元共识问题提出了一个宽容的解决方案。也就是说，他表明，故障检测器的任意行为永远不会违反安全要求，即使它会影响活性。共识实现经常被重复使用。Dutta和Guerraoui提出了一种零降解的解决方案，即。，在故障检测器表现良好的系统运行期间，一个一致实例中的节点故障不会影响未来实例的性能。我们的研究侧重于宽容的零分解二进制一致性，旨在设计一个更健壮的通信抽象。我们这样做是通过自稳定–非常强烈的容错概念。除了节点和通信故障，自稳定算法可以在以下情况发生后恢复任意瞬态故障; 这些故障表示违反了系统设计运行所依据的假设（只要算法代码保持不变）。就我们所知，这项工作提出了第一种自稳定算法，用于容易检测到进程故障的无时间消息传递系统的宽容零分解二进制一致性。该算法在最后一次任意暂态故障发生后的有限时间内恢复。由于所提出的解决方案使用\（\Omega\）故障检测器，据我们所知，我们还提出了第一个自稳定异步\（\Omega\）故障检测器，它是Mostéfaoui、Mourgaya和Raynal的一个变体。

MSC公司：

68季度xx 计算理论

关键词：

复制系统;容错;自稳定
PDF格式BibTeX公司 XML格式引用
\textit｛O.Lundström｝等人，Theor。计算。科学。989，文章ID 114387，21 p.（2024；Zbl 07807461）
全文： 内政部 arXiv公司
OA许可证

参考文献：

[1] 费舍尔，M.J。；北卡罗来纳州林奇。；Paterson，M.，一个错误过程中分布式共识的不可能性。J.ACM，2374-382（1985）·Zbl 0629.68027号
[2] Raynal，M.，容错消息传递分布式系统——算法方法（2018），Springer·Zbl 1423.68011号
[3] 哈齐拉科斯，V。；Toueg，S.，《容错广播和相关问题的模块化方法》（1994年），康奈尔大学：康奈尔州立大学伊萨卡分校，纽约，技术代表。
[4] Chandra，T.D。；Toueg，S.，可靠分布式系统的不可靠故障检测器。J.ACM，2225-267（1996）·Zbl 0885.68021号
[5] Guerraoui，R.，纵容算法，289-297·Zbl 1314.68378号
[6] 杜塔，P。；Guerraoui，R.，《零退化的快速纵容共识》，191-208年
[7] Lundström等人。；雷纳，M。；Schiller，E.M.，简短声明：自我稳定的全方位广播，358-363
[8] Lamport，L.，兼职议会。ACM事务处理。计算。系统。，2, 133-169 (1998)
[9] van Renesse，R。；Altinbuken，D.，Paxos制作得相当复杂。ACM计算机。调查。，3 (2015)
[10] Chandra，T.D。；哈齐拉科斯，V。；Toueg，S.，解决共识的最弱故障检测器。J.ACM，4685-722（1996）·兹伯利0885.68022
[11] Mostéfaoui，A。；Mourgaya，E。；Raynal，M.，故障检测器的异步实现，351-360
[12] 阿奎莱拉，M.K。；Delport-Gallet，C。；Fauconnier，H。；Toueg，S.，关于在弱可靠性和同步性假设下实现omega，306-314·Zbl 1321.68099号
[13] 阿奎莱拉，M.K。；Delport-Gallet，C。；Fauconnier，H。；Toueg，S.，《通信高效领导者选举和有限链接同步共识》，328-337·Zbl 1321.68098号
[14] Guerraoui，R。；林奇，N.A.，《放纵的一般特征》，16-34
[15] Guerraoui，R。；Raynal，M.，《宽容共识的信息结构》。IEEE传输。计算。，4, 453-466 (2004)
[16] Guerraoui，R。；Raynal，M.，宽容共识的阿尔法。计算。J.，153-67（2007）
[17] 基达尔，I。；Rajsbaum，S.，一致一致同步下限的简单证明。信息处理。莱特。，1, 47-52 (2003) ·Zbl 1042.68010号
[18] Hurfin，M。；Mostéfaoui，A。；Raynal，M.，基于Chandra-Toueg的不可靠故障检测器的通用一致性协议系列。IEEE传输。计算。，4, 395-408 (2002)
[19] Wu，W。；曹，J。；杨，J。；Raynal，M.，《使用异步和零降级加速宽容的共识协议》。J.平行分布计算。，7, 984-996 (2008) ·Zbl 1243.68091号
[20] O·伦德斯特罗姆。；雷纳，M。；Schiller，E.M.，自我稳定宽容零分解二进制共识，106-115
[21] Dijkstra，E.W.，《分布式控制下的自我稳定系统》。公社。ACM，1643-644（1974年）·Zbl 0305.68048号
[22] Dolev，S.，《自我稳定》（2000），麻省理工学院出版社·Zbl 1026.93001号
[23] Altisen，K。；Devismes，S。；Dubois，S。；Petit，F.，《分布式自稳定算法导论》，《分布式计算理论综合讲座》（2019），Morgan&Claypool出版社·Zbl 1416.68001号
[24] 布兰查德，P。；多列夫，S。；Beauquier，J。；Delaét，S.，《Paxos复制的状态机的实际自我稳定》，99-121
[25] Beauquier，J。；Kekkonen-Moneta，S.，《容错和自稳定：使用自稳定故障检测器的不可能性结果和解决方案》。国际期刊系统。科学。，11, 1177-1187 (1997) ·Zbl 0897.68011号
[26] Delport-Gallet，C。；Devismes，S。；Fauconnier，H.，稳健稳定领导人选举，219-233
[27] Hutle，M。；Widder，J.，关于消息驱动的自稳定故障检测的可能性和不可能性，153-170·Zbl 1172.68365号
[28] Hutle，M。；Widder，J.，自我稳定故障检测器算法，485-490
[29] 比莉，M。；Hutle，M。；彭索，L.D。；Widder，J.，《关于稳定性定时假设与稳定性故障检测器的可解性和效率》，4-20
[30] 多列夫，S。；Kat，R.I。；Schiller，E.M.，当共识达到自我稳定时。J.计算。系统。科学。，8, 884-900 (2010) ·Zbl 1209.68053号
[31] Alon，N。；阿提亚，H。；多列夫，S。；Dubois，S。；波托普·布图卡鲁，M。；Tixeuil，S.，在消息传递系统中实际稳定SWMR原子存储器。J.计算。系统。科学。，4, 692-701 (2015) ·Zbl 1320.68042号
[32] 塞勒姆，I。；Schiller，E.M.，在缺乏执行公平性的情况下实现自我稳定的向量时钟，318-333
[33] 多列夫，S。；乔治奥，C。；马库利斯，I。；Schiller，E.M.，《实际自我稳定虚拟同步》。J.计算。系统。科学。，50-73 (2018) ·Zbl 1393.68029号
[34] 伯曼，K.P。；Joseph，T.A.，《故障情况下的可靠沟通》。ACM事务处理。计算。系统。，1, 47-76 (1987)
[35] 多列夫，S。；Schiller，E.，通信自适应自稳定团体会员服务。IEEE传输。并行分配系统。，7, 709-720 (2003)
[36] 多列夫，S。；Schiller，E.，定向网络中的自我稳定群通信。信息学报。，9, 609-636 (2004) ·Zbl 1086.68012号
[37] 多列夫，S。；席勒，E。；Welch，J.L.，ad hoc网络中自稳定组通信的随机行走。IEEE传输。暴徒。计算。，7, 893-905 (2006)
[38] 乔治乌，C。；O·伦德斯特罗姆。；Schiller，E.M.，异步防故障网络系统的自我稳定快照对象，113-130
[39] O·伦德斯特罗姆。；雷纳，M。；Schiller，E.M.，自我稳定统一可靠广播，296-313，CoRR
[40] O·伦德斯特罗姆。；雷纳，M。；Schiller，E.M.，《自我稳定集约束交付广播》，617-627
[41] O·伦德斯特罗姆。；雷纳，M。；Schiller，E.M.，异步易崩溃系统中的自稳定多值一致性，111-118
[42] 多列夫，S。；佩蒂格，T。；Schiller，E.M.，《罕见公平消息传递网络中的自我稳定和私有分布式共享原子内存》（2018），CoRR
[43] 多列夫，S。；Welch，J.L.，拜占庭断层存在时的自我稳定时钟同步。J.ACM，5780-799（2004）·兹比尔1204.68094
[44] Ben-Or，M。；多列夫，D。；Hoch，E.N.，《快速自稳定拜占庭容错数字时钟同步》，385-394·Zbl 1301.68060号
[45] Maurer，A。；蒂谢伊，S.，拜占庭自我稳定广播，152-160
[46] 杜维诺（Duvignau，R.）。；雷纳，M。；Schiller，E.M.，自我稳定拜占庭容错重复可靠广播。西奥。计算。科学。(2023) ·Zbl 07735118号
[47] 乔治奥，C。；马库利斯一世。；雷纳，M。；Schiller，E.M.，《无信号消息传递系统的容错二进制一致性的Loosely-self-stabilizing byzantine》，36-53
[48] 杜维诺（Duvignau，R.）。；雷纳，M。；Schiller，E.M.，自我稳定拜占庭多值共识（2023），ICDCN 2024和CoRR
[49] 乔治奥，C。；雷纳，M。；Schiller，E.M.，《自我稳定拜占庭式耐受回收》，518-535
[50] Binun，A。；库帕伊，T。；多列夫，S。；Kassi-Lahlou，M。；鳄鱼，M。；Palesandro，A。；Yagel，R。；Yankulin，L.，自我稳定拜占庭容错分布式复制状态机，36-53·Zbl 1425.68028号
[51] 多列夫，S。；乔治乌，C。；马库利斯一世。；Schiller，E.M.，基于故障检测器的拜占庭容错复制状态机自稳定，84-100
[52] 多列夫，S。；O·利巴。；Schiller，E.M.，自我稳定拜占庭弹性拓扑发现和消息传递，42-57
[53] Tel，G.，《分布式算法导论》（2000），剑桥大学出版社·兹比尔0961.68157
[54] Lynch，N.A.，《分布式算法》（1996），Morgan Kaufmann·Zbl 0877.68061号
[55] O·伦德斯特罗姆。；雷纳，M。；席勒，E.M.，《自我稳定的全方位广播》，358-363
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。