文件Open Access徽标

拓扑知识和中继深度对异步近似共识的影响

作者 迪米特里斯·萨卡瓦拉斯, 刘易斯·曾荫权（Lewis Tseng）, 尼丁·H·瓦迪亚

PDF格式
缩略图PDF

文件

LIPIcs公司。OPODIS.2018.14.pdf
  • 文件大小：0.56 MB
  • 16页

文件标识符

作者详细信息

迪米特里斯·萨卡瓦拉斯
  • 美国波士顿学院
刘易斯·曾荫权（Lewis Tseng）
  • 美国波士顿学院
尼丁·H·瓦迪亚
  • 美国乔治敦大学

基金

  • 尼汀·瓦迪娅（Nitin H.Vaidya）。：这项研究部分得到了1421918年国家科学基金会奖的支持。此处表达的任何意见、调查结果、结论或建议均为作者的意见、调查结论或建议，并不一定反映资助机构或美国政府的意见。

引用为获取BibTex

Dimitris Sakavalas、Lewis Tseng和Nitin H.Vaidya。拓扑知识和中继深度对异步近似共识的影响。第22届分布式系统原理国际会议（OPODIS 2018）。莱布尼茨国际信息学论文集（LIPIcs），第125卷，第14:1-14:16页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2019）
https://doi.org/10.4230/LIPIcs.OPODIS.2018.14

摘要

考虑一个点到点的消息传递网络。我们对不完全网络中的异步容错一致性问题感兴趣。我们研究了在拓扑知识和中继深度（即任何消息可以中继的最大跳数）的不同限制下，近似一致性的可行性和效率。这两个约束在大规模网络中很常见，分别用于避免内存过载和网络拥塞。具体来说，对于正整数值k和k'，我们认为每个节点最多知道其k跳距离的所有邻居（k跳拓扑知识），并且中继深度为k'。我们考虑有向图和无向图。更具体地说，我们在异步系统中回答了以下问题：“如果每个节点只有k跳拓扑知识和中继深度k’，那么底层通信图上实现近似一致性的紧条件是什么？”，我们开发了算法，在满足这些条件的图形中实现一致性：-第一类算法需要k跳拓扑知识和中继深度k。与以前的算法不同，这些算法不会淹没网络，并且每个节点都不需要完整的拓扑知识。我们展示了这些算法的收敛时间和消息复杂性如何受到k的影响，并提供了相应的上界。-第二组算法只需要一跳邻域知识，即直接传入和传出邻域，但需要淹没网络（即，中继深度为n，其中n是节点数）。一个可能会引起独立兴趣的结果是一种拓扑发现机制，用于学习和“估计”具有崩溃故障的异步定向网络中的拓扑。

主题分类

ACM科目分类
  • 计算机系统组织→ 容错网络拓扑
关键词
  • 异步
  • 崩溃
  • 共识
  • 不完全图
  • 拓扑知识

韵律学

相关版本

工具书类

  1. 爱德华多。P.Alchieri、Alysson-Neves Bessani、Joni Silva Fraga和Fabíola Greve。未知参与者的拜占庭共识。《分布式系统原理》，计算机科学讲义第5401卷，第22-40页。施普林格-柏林-海德堡，2008年。网址：http://dx.doi.org/10.1007/978-3-540-92221-6_4.
  2. 约翰·奥古斯丁（John Augustine）、戈帕尔·潘杜拉根（Gopal Pandurangan）和彼得·罗宾逊（Peter Robinson）。动态网络中的快速拜占庭协议。《2013年ACM分布式计算原理研讨会论文集》，PODC’13，第74-83页，美国纽约州纽约市，2013年。ACM公司。网址：http://dx.doi.org/10.1145/2484239.2484275.
  3. Piyush Bansal、Prasant Gopal、Anuj Gupta、Kannan Srinathan和Pranav Kumar Vasishta。使用部分认证的拜占庭协议。《第25届分布式计算国际会议论文集》，DISC’11，第389-403页，柏林，海德堡，2011年。施普林格出版社。网址：http://dl.acm.org/citation.cfm？id=2075029.2075079.
  4. 马丁·比利（Martin Biely）、彼得·罗宾逊（Peter Robinson）和乌尔里希·施密德（Ulrich Schmid）。定向动态网络协议。Guy Even和Magnüs M.Halldórsson主编，《结构信息和通信复杂性》，第73-84页，柏林，海德堡，2012年。施普林格-柏林-海德堡。谷歌学者
  5. 马丁·比利、彼得·罗宾逊、乌尔里希·施密德、曼弗雷德·施瓦兹和凯里尔·温克勒。有向动态网络中一致性和k-Set协议的优雅降级。在Ahmed Bouajjani和Hugues Fauconnier，网络系统编辑，第109-124页，Cham，2015年。施普林格国际出版公司。谷歌学者
  6. 马丁·比利、彼得·罗宾逊、乌尔里希·施密德、曼弗雷德·施瓦兹和凯里尔·温克勒。有向动态网络中一致性和k集一致性的优雅退化。理论计算机科学，726:41-772018。网址：http://dx.doi.org/10.1016/j.tcs.2018.02.019.
  7. Bernadette Charron-Bost、Matthias Függer和Thomas Nowak。高度动态网络中的近似一致性。CoRR，abs/1408.06202014年。网址：http://arxiv.org/abs/1408.0620,
  8. 伯纳黛特·查伦·博斯特、马蒂亚斯·弗格和托马斯·诺瓦克。高度动态网络中的近似共识：平均算法的作用。《第42届国际自动化、语言和编程学术讨论会论文集》第二部分，第9135卷，ICALP 2015，第528-539页，美国纽约州纽约市，2015年。Springer-Verlag纽约公司网址：http://dx.doi.org/10.1007/978-3-662-47666-6_42.
  9. 埃蒂安·库卢马和艾曼纽尔·戈达尔。共识可解的动态网络的特征。Thomas Moscibroda和Adele A.Rescigno，《结构信息和通信复杂性》编辑，第24-35页，Cham，2013年。施普林格国际出版公司。谷歌学者
  10. S.M.Dibaji、H.Ishii和R.Tempo。弹性随机量化共识。IEEE自动控制汇刊，PP（99）：1-12017。网址：http://dx.doi.org/10.1109/TAC.2017.2771363.
  11. 丹尼·多列夫。拜占庭将军再次罢工。《算法杂志》，3（1），1982年3月。谷歌学者
  12. Danny Dolev、Nancy A.Lynch、Shlomit S.Pinter、Eugene W.Stark和William E.Weihl。在存在故障的情况下达成大致一致。J.ACM，33:499-5161986年5月。网址：http://dx.doi.org/10.1145/5925.5931.
  13. Michael J.Fischer、Nancy A.Lynch和Michael Merritt。分布式一致性问题的简单不可能性证明。《第四届ACM分布式计算原理研讨会论文集》，PODC’85，第59-70页，美国纽约州纽约市，1985年。ACM。网址：http://dx.doi.org/10.1145/323596.323602.
  14. Heath LeBlanc、Haotian Zhang、Xenofon D.Koutsoukos和Shreyas Sundaram。鲁棒网络中的弹性渐近一致性。IEEE通讯选定领域杂志，31（4），2013年。网址：http://dx.doi.org/10.109/JSAC.2013.130413.
  15. 南希·A·林奇。分布式算法。Morgan Kaufmann，1996年。谷歌学者
  16. 亚历山大·莫雷尔（Alexandre Maurer）、塞巴斯蒂安·蒂谢尔（Sébastien Tixeuil）和泽维尔·德法戈（Xavier Défago）。拜占庭断层存在时动态网络中的可靠通信。CoRR，abs/1402.0121，2014年。网址：http://arxiv.org/abs/1402.0121,
  17. 米哈伊尔·内斯特伦科和塞巴斯蒂安·蒂谢伊。发现拜占庭断层存在时的网络拓扑。《结构信息和通信复杂性》，第212-226页，柏林，海德堡，2006年。施普林格-柏林-海德堡。谷歌学者
  18. 阿里斯·帕古尔茨（Aris Pagortzis）、乔戈斯·帕纳乔塔科斯（Giorgos Panagiotakos）和迪米特里斯·萨卡瓦拉斯（Dimitris Sakavalas）。关于拓扑知识的可靠广播。分布式计算，30（2）：87-1022017。网址：http://dx.doi.org/10.1007/s00446-016-0279-6.
  19. 阿里斯·帕古尔茨（Aris Pagortzis）、乔戈斯·帕纳乔塔科斯（Giorgos Panagiotakos）和迪米特里斯·萨卡瓦拉斯（Dimitris Sakavalas）。通过部分知识的半格性质进行可靠通信。Ralf Klasing和Marc Zeitoun主编，《计算理论基础-第21届国际研讨会》，2017年9月11日至13日，法国波尔多，FCT 2017，会议录，计算机科学讲稿第10472卷，第367-380页。施普林格，2017年。网址：http://dx.doi.org/10.1007/978-3-662-55751-8_29.
  20. M.Pease、R.Shostak和L.Lamport。出现故障时达成协议。J.ACM，27（2）：228-2341980年4月。网址：http://dx.doi.org/10.1145/322186.322188.
  21. Dimitris Sakavalas、Lewis Tseng和Nitin H.Vaidya。有向图中的异步容错近似共识：拓扑知识。CoRR，abs/1803.04512018年。网址：http://arxiv.org/abs/11803.04513.
  22. 莉莉·苏和尼汀·维迪娅。通过多跳通信达成近似拜占庭共识。Andrzej Pelc和Alexander A.Schwarzmann，《分布式系统的稳定、安全和安全》编辑，计算机科学讲义第9212卷，第21-35页。施普林格国际出版公司，2015年。网址：http://dx.doi.org/10.1007/978-3-319-21741-3_2.
  23. Lewis Tseng和Nitin H.Vaidya。有向图中的容错一致性。2015年ACM分布式计算原理研讨会论文集，PODC’15，第451-460页，美国纽约州纽约市，2015年。ACM公司。网址：http://dx.doi.org/10.1145/2767386.2767399.
  24. Lewis Tseng和Nitin H.Vaidya。广义断层模型下的迭代近似拜占庭共识。2013年1月，在分布式计算和网络国际会议（ICDCN）上。谷歌学者
  25. Nitin H.Vaidya、Lewis Tseng和Guanfeng Liang。任意有向图中的迭代近似拜占庭共识。《第三十一届ACM分布式计算原理研讨会论文集》，PODC’12。ACM，2012年。谷歌学者
  26. H.Zhang和S.Sundaram。分布式算法对局部有界对手的鲁棒性。《2012年ACC会议记录》，第31届美国控制会议，2012年。谷歌学者
问题/备注/反馈
X（X）

Dagstuhl出版社反馈


感谢您的反馈！

提交的反馈

无法发送消息

请稍后再试或发送电子邮件
© 2023-2024Schloss Dagstuhl–LZI股份有限公司 印记 隐私 联系人