×

生成快速纵容算法。 (英语) Zbl 1253.68353号

摘要:同步分布式算法比允许异步的算法更容易设计和证明其正确性。然而,在现实世界中,网络会经历异步和其他计时异常。在本文中,我们讨论了如何有效地将依赖同步定时的算法转换为允许异步执行的算法的问题。我们引入了一种从同步算法到放纵算法的转换技术,该技术在性能良好的执行中仅在时间复杂性方面引入恒定的开销。
我们的技术基于一种新的抽象,我们称之为异步检测器,参与进程共同实现该抽象。由此产生的转换适用于无色的分布式任务类,包括共识和集合协议。有趣的是,我们还显示了我们的技术与有色任务相关,将其应用于重命名问题,以获得第一个宽容的重命名算法。

MSC公司:

68宽15 分布式算法
68米14 分布式系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Aguilera,M.K.,Chen,W.,Toueg,S.:心跳:用于静态可靠通信的无超时故障检测器。收录于:WDAG,第126-140页(1997年)
[2] Alistarh,D.,Gilbert,S.,Guerraoui,R.,Travers,C.:如何在最小的同步窗口中解决共识。摘自:DISC,第32–46页(2008年)·Zbl 1161.68327号
[3] Alistarh,D.,Gilbert,S.,Guerraoui,R.,Travers,C.:选择、失败和异步:集合协议的许多方面。载:《第20届算法与计算国际研讨会论文集》,ISAAC'09,第943–953页。柏林施普林格出版社(2009)·Zbl 1273.68065号
[4] Attiya,H.、Bar-Noy,A.、Dolev,D.、Peleg,D.、Reischuk,R.:在异步环境中重命名。J.ACM 37(3),524–548(1990)·Zbl 0699.68034号 ·doi:10.1145/79147.79158
[5] Chandra,T.D.,Toueg,S.:异步系统的不可靠故障检测器(初步版本)。In:ACM分布式计算原理研讨会,8月,pp.325-340(1991)·Zbl 1314.68022号
[6] Chaudhuri,S.、Herlihy,M.、Tuttle,M.R.:消息传递系统中的无等待实现。西奥。计算。科学。220(1), 211–245 (1999) ·Zbl 0916.68065号 ·doi:10.1016/S0304-3975(98)00242-4
[7] Delport-Gallet,C.,Fauconnier,H.,Guerraoui,R.,Tielmann,A.:对手的分歧力量。摘自:DISC,第8-21页(2009年)·Zbl 1261.68021号
[8] Dutta,P.,Guerraoui,R.:放纵的内在代价。收录:PODC’02:分布式计算原理年度ACM研讨会论文集,第88–97页(2002)·Zbl 1292.68084号
[9] Dutta,P.,Guerraoui,R.:放纵的内在代价。分布计算。18(1), 85–98 (2005) ·Zbl 1264.68085号 ·doi:10.1007/s00446-005-0124-9
[10] Dutta,P.,Guerraoui,R.,Keidar,I.:共识失败恢复的开销。分布计算。19(5–6), 373–386 (2007) ·Zbl 1266.68210号 ·doi:10.1007/s00446-006-0017-6
[11] Dwork,C.,Lynch,N.A.,Stockmeyer,L.:部分同步存在下的共识。J.ACM 35(2),288–323(1988)·数字对象标识代码:10.1145/42282.42283
[12] Gafni,E.:Round-by-Round故障检测器(扩展抽象):统一同步和异步。摘自:《第十七届ACM分布式计算原理研讨会论文集》,PODC’98,第143-152页。ACM,纽约(1998)·Zbl 1333.68056号
[13] Guerraoui,R.:纵容算法。收录于:PODC’2000年7月,第289-297页。ACM,纽约(2000年)·兹比尔1314.68378
[14] Herlihy,M.,Shavit,N.:异步可计算性的拓扑结构。J.ACM 46(2),858-923(1999)·Zbl 1161.68469号 ·数字对象标识代码:10.1145/331524.331529
[15] Keidar,I.、Shraer,A.:及时性、故障检测器和共识绩效。收录于:PODC,第169-178页(2006年)·Zbl 1314.68076号
[16] Lamport,L.:普遍共识和帕克索斯。微软研究技术报告MSR-TR-2005-33(2005)
[17] Lamport,L.:快速帕克索斯。分布计算。19(2), 79–103 (2006) ·Zbl 1266.68218号 ·数字对象标识代码:10.1007/s00446-006-0005-x
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。