跳到主要内容
10.1145/3583668.3594599acm会议文章/章节视图摘要出版物页面播客会议记录会议集合
研究论文
公共访问

线性时间和通信中的确定性容错分布式计算

出版:2023年6月16日出版历史

摘要

我们开发了确定性算法来解决一致性、闲聊和检查点问题,节点容易失败。分布式系统被建模为同步完整网络。故障表现为崩溃或带有身份验证的拜占庭故障。算法的目标是使线性运行时间和线性通信量达到最大上限t吨与节点数相关的故障数n.(名词)。对于碰撞故障,这些优化界限是t吨=O(运行)(n/(对数n个))达成共识t吨=O(运行)(n/(对数2 n个))闲聊和检查点。对于带有认证的拜占庭故障模型,我们展示了如何在线性运行时间和通信方面达成一致t吨=O(运行)(√n)。我们展示了如何在单端口模型中实现针对崩溃故障的一致性算法,例如保持t吨运行时间和通信都是最佳的。我们证明了一个下界Ω(t吨+日志n个)每个考虑问题的算法的运行时间。

工具书类

  1. Ittai Abraham、T.-H.Hubert Chan、Danny Dolev、Kartik Nayak、Rafael Pass、Ling Ren和Elaine Shi。2019.拜占庭协议的通信复杂性,重新审视。2019年ACM分布式计算原理研讨会论文集。顶点,317-326。谷歌学者谷歌学者数字图书馆数字图书馆
  2. Dan Alistarh、James Aspnes、Valerie King和Jared Saia。2018年,有效沟通的随机共识。分布式计算31, 6 (2018), 489--501.谷歌学者谷歌学者数字图书馆数字图书馆
  3. James Aspnes和Orli Waarts。1996年预期随机共识O(运行)(n个日志2 n个)每个处理器的操作数。SIAM计算机杂志25, 5 (1996), 1024--1044.谷歌学者谷歌学者数字图书馆数字图书馆
  4. Hagit Attiya和Keren Censor-Hillel。2010年,弱对手下随机共识的下限。SIAM计算机杂志39, 8 (2010), 3885--3904.谷歌学者谷歌学者数字图书馆数字图书馆
  5. Hagit Attiya和Faith Ellen。2014分布式计算的不可能结果。Morgan&Claypool出版社。谷歌学者谷歌学者
  6. Hagit Attiya和Jennifer Welch。2004分布式计算:基础、模拟和高级主题(第二版)。威利。谷歌学者谷歌学者数字图书馆数字图书馆
  7. 齐夫·巴尔·约瑟夫和迈克尔·本·奥尔。1998年。随机同步共识的严格下限。会议记录17第届ACM分布式计算原理研讨会(PODC)。193--199.谷歌学者谷歌学者数字图书馆数字图书馆
  8. Amotz Bar-Noy、Danny Dolev、Cynthia Dwork和H.Raymond Strong。1992.换挡:动态改变算法以加快拜占庭协议。信息与计算97, 2 (1992), 205--233.谷歌学者谷歌学者数字图书馆数字图书馆
  9. Piotr Berman、Juan A.Garay和Kenneth J.Perry。1992.分布式共识中的最优提前停止(扩展摘要)。会议记录6第七届分布式算法国际研讨会(WDAG)(计算机科学讲义,第647卷)。施普林格,221-237。谷歌学者谷歌学者
  10. 博格丹·S·克莱布斯(Bogdan S.Chlebus)、莱斯泽克·盖西涅克(Leszek Gasieniec)、达里奥什·科瓦尔斯基(Dariusz R.Kowalski)和亚历山大·施瓦兹曼(Alexander A.Schwarzmann)。2017年,行动起来——所有这些都是有限制的工作和沟通。信息与计算254 (2017), 1--40.谷歌学者谷歌学者交叉引用交叉引用
  11. Bogdan S.Chlebus和Dariusz R.Kowalski。2006.稳健的八卦与共识应用。计算机系统与科学杂志72, 8 (2006), 1262--1281.谷歌学者谷歌学者数字图书馆数字图书馆
  12. Bogdan S.Chlebus和Dariusz R.Kowalski。2006.碰撞故障的时间和通信效率共识。会议记录20第届分布式计算国际研讨会(DISC)(《计算机科学讲义》,第4167卷)。施普林格,314--328。谷歌学者谷歌学者
  13. Bogdan S.Chlebus和Dariusz R.Kowalski。2009年。同步碰撞故障的本地可扩展随机共识。会议记录21第1届ACM算法与体系结构并行性研讨会(SPAA)。美国医学会,290-299。谷歌学者谷歌学者
  14. Bogdan S.Chlebus、Dariusz R.Kowalski和Jan Olkowski。2023.线性时间和通信中的确定性容错分布式计算。CoRR公司abs/2305.11644(2023)。谷歌学者谷歌学者
  15. 博格丹·S·克莱布斯(Bogdan S.Chlebus)、达留什·R·科瓦尔斯基(Dariusz R.Kowalski)和米查·斯特罗诺夫斯基(MichałStrojnowski)。2009年。针对碰撞故障的快速可扩展确定性共识。ACM分布式计算原理研讨会论文集。美国医学会,111-120。谷歌学者谷歌学者数字图书馆数字图书馆
  16. 博格丹·S·克莱布斯(Bogdan S.Chlebus)、达留什·R·科瓦尔斯基(Dariusz R.Kowalski)和米查·斯特罗诺夫斯基(MichałStrojnowski)。2010年,碰撞故障的可扩展量子共识。会议记录24第届分布式计算国际研讨会(DISC)(计算机科学讲稿,第6343卷)。施普林格,236--250。谷歌学者谷歌学者交叉引用交叉引用
  17. Benny Chor、Michael Merritt和David B.Shmoys。1989.实际故障模型中的简单一致时间协议。J.ACM公司36, 3 (1989), 591--614.谷歌学者谷歌学者数字图书馆数字图书馆
  18. 布莱恩·科恩(Brian A.Coan)。1993年。使用故障诊断达成有效协议。分布式计算7, 2 (1993), 87--98.谷歌学者谷歌学者数字图书馆数字图书馆
  19. 朱利安娜·大卫杜夫、彼得·萨纳克和阿兰·瓦莱特。2003初等数论、群论和Ramanujan图。剑桥大学出版社。谷歌学者谷歌学者
  20. Roberto De Prisco、Alain J.Mayer和Moti Yung。1994.出现故障时的时间最优信息效率工作性能。会议记录13第届ACM分布式计算原理研讨会(PODC)。161--172.谷歌学者谷歌学者数字图书馆数字图书馆
  21. Danny Dolev和Christoph Lenzen。2013年。提前达成共识代价高昂。ACM分布式计算原理研讨会论文集。美国医学会,270--279。谷歌学者谷歌学者数字图书馆数字图书馆
  22. Danny Dolev和Rüdiger Reischuk。1985年《拜占庭协议信息交换的限制》。J.ACM公司32, 1 (1985), 191--204.谷歌学者谷歌学者数字图书馆数字图书馆
  23. Danny Dolev、Rüdiger Reischuk和H.Raymond Strong。1990年拜占庭协议提前终止。美国医学会杂志37, 4 (1990), 720--741.谷歌学者谷歌学者数字图书馆数字图书馆
  24. 丹尼·多列夫和H.雷蒙德·斯特朗。1983.拜占庭协议的认证算法。SIAM J.计算。12, 4 (1983), 656--666.谷歌学者谷歌学者数字图书馆数字图书馆
  25. Zvi Galil、Alain J.Mayer和Moti Yung。1995.解决拜占庭协议及其他协议的信息复杂性。会议记录36第届IEEE计算机科学基础研讨会(FOCS)。IEEE,724--733。谷歌学者谷歌学者交叉引用交叉引用
  26. 克里斯西斯·乔治奥(Chryssis Georgiou)、达里奥斯·科瓦尔斯基(Dariusz R.Kowalski)和亚历山大·施瓦茨曼(Alexander A.Shvartsman)。2005.高效的八卦和健壮的分布式计算。理论计算机科学347, 1--2 (2005), 130--166.谷歌学者谷歌学者数字图书馆数字图书馆
  27. 塞斯·吉尔伯特(Seth Gilbert)、拉希德·格拉乌伊(Rachid Guerraoui)和达里奥什·科瓦尔斯基(Dariusz R.Kowalski)。2007.关于宽容共识的信息复杂性。会议记录21第一届分布式计算国际研讨会(DISC)(计算机科学讲义,第4731卷)。施普林格,283-297。谷歌学者谷歌学者
  28. 塞斯·吉尔伯特(Seth Gilbert)和达瑞乌斯·科瓦尔斯基(Dariusz R.Kowalski)。2010年。具有最佳通信复杂性的分布式协议。第二十届ACM-SIAM离散算法(SODA)年会论文集。暹罗,965-977。谷歌学者谷歌学者
  29. Vassos Hadzilacos和Joseph Y.Halpern。1993年拜占庭协议的消息优化协议。数学系统理论26, 1 (1993), 41--102.谷歌学者谷歌学者交叉引用交叉引用
  30. 莫里斯·赫利希和尼尔·沙维特。2012.多处理机编程的艺术。摩根·考夫曼。谷歌学者谷歌学者
  31. Shlomo Hoory、Nathan Linial和Avi Wigderson。2006.扩展器图形及其应用。牛市。阿默尔。数学。Soc公司。43, 4 (2006), 439--561.谷歌学者谷歌学者交叉引用交叉引用
  32. 瓦莱丽·金和贾瑞德·赛亚。2011.打破O(运行)(n个2)比特屏障:与适应性对手达成的可扩展拜占庭协议。美国医学会杂志58, 4 (2011), 18:1--18:24.谷歌学者谷歌学者数字图书馆数字图书馆
  33. Dariusz R.Kowalski和Jaroslaw Mirek。2019.关于容错共识的复杂性。修订的论文选自7第届网络系统国际会议(NETYS)(计算机科学讲义,第11704卷)。施普林格,19-31。谷歌学者谷歌学者
  34. 迈克·克雷布斯和安东尼·沙欣。2011扩展族和凯利图:初学者指南。牛津大学出版社。谷歌学者谷歌学者
  35. 莱斯利·兰波特(Leslie Lamport)、罗伯特·肖斯塔克(Robert E.Shostak)和马歇尔·皮斯(Marshall C.Pease)。1982年,拜占庭将军问题。程序设计语言与系统学报4, 3 (1982), 382--401.谷歌学者谷歌学者数字图书馆数字图书馆
  36. 南希·A·林奇。1996分布式算法。摩根·考夫曼出版社。谷歌学者谷歌学者数字图书馆数字图书馆
  37. 马歇尔·皮斯(Marshall C.Pease)、罗伯特·肖斯塔克(Robert E.Shostak)和莱斯利·兰波特(Leslie Lamport)。1980.在出现失误的情况下达成协议。美国医学会杂志27, 2 (1980), 228--234.谷歌学者谷歌学者数字图书馆数字图书馆
  38. 米歇尔·雷纳。2010同步消息传递系统中的容错协议。Morgan&Claypool出版社。谷歌学者谷歌学者
  39. 彼得·罗宾逊(Peter Robinson)、克里斯蒂安·谢德勒(Christian Scheidler)和亚历山大·塞泽尔(Alexander Setzer)。2018.打破[等式]障碍:在已故对手的支持下迅速达成共识。第30届算法与体系结构并行性研讨会论文集。美国医学会,173-182。谷歌学者谷歌学者

索引术语

  1. 线性时间和通信中的确定性容错分布式计算

      建议

      评论

      登录选项

      检查您是否可以通过登录凭据或您的机构访问本文。

      登录

      完全访问权限

      • 发布于

        封面图片ACM会议
        PODC’23:2023年ACM分布式计算原理研讨会论文集
        2023年6月
        392页
        国际标准图书编号:9798400701214
        内政部:10.1145/3583668

        版权所有©2023 ACM

        如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重作者以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护].

        出版商

        计算机协会

        美国纽约州纽约市

        出版历史

        • 出版:2023年6月16日

        权限

        请求有关此文章的权限。

        请求权限

        检查更新

        限定符

        • 研究论文

        接受率

        PODC’23纸张接受率29属于110提交文件,26%总体验收率740属于2,477提交文件,30%

      PDF格式

      以PDF文件查看或下载。

      PDF格式

      电子阅读器

      使用eReader联机查看。

      电子阅读器