跳到主要内容
研究论文

异步随机一致性的严格界限

出版:2008年11月5日出版历史
跳过抽象节

摘要

分布式一致性算法允许n个从单个输入开始实现公共决策值的过程。无需等待在异步共享内存系统中,一致性是不可能实现的,在一致性中,进程总是在其自身的有限步数内终止。然而,当进程只需以概率1终止时,使用随机化可以解决一致性问题。随机一致性算法通常由其总步长复杂度,是所有进程所采取的预期步骤总数。

本文证明了随机一致性的总步长复杂度是0(n个2)在使用多写多读寄存器的异步共享内存系统中。这个结果是通过改进这个问题的上下限来实现的。

除了通过对数因子改进之前已知的最佳结果之外2n个,下限的特点是一个大大简化的证明。这两个目标都是通过限制对一组分层的,分层的执行并使用等周不等式分析其行为。

匹配算法将预期的总步长复杂度降低了一个对数n个因素,通过利用共享寄存器的多写功能。通过将算法的每次执行视为一个随机过程并应用Kolmogorov不等式,可以方便地证明其正确性。

工具书类

  1. 亚伯拉罕森,K.1988。关于使用共享记忆达成共识。在第七届ACM分布式计算原理研讨会(PODC)的会议记录中。ACM,纽约,291--302。谷歌学者谷歌学者数字图书馆数字图书馆
  2. Alon,N.和Spencer,J.H.2000。《概率方法》,第二版,威利出版社,纽约。谷歌学者谷歌学者
  3. Aspnes,J.1990年。时空效率随机化共识。在第九届ACM分布式计算原理研讨会(PODC)的会议记录中。ACM,纽约,325-332。谷歌学者谷歌学者数字图书馆数字图书馆
  4. Aspnes,J.1998年。分布式重叠和随机一致性的下限。J.ACM 45,3(5月),415--450。谷歌学者谷歌学者数字图书馆数字图书馆
  5. Aspnes,J.2003年。随机协议用于达成一致意见。分布计算。2016年9月2日至3日,第165页至第176页。谷歌学者谷歌学者数字图书馆数字图书馆
  6. Aspnes,J.、Attiya,H.和Censor,K.,2008年。预期O(n log n)个人工作中的随机共识。第27届ACM分布式计算原理研讨会(PODC)论文集。ACM,纽约,325--334。谷歌学者谷歌学者数字图书馆数字图书馆
  7. Aspnes,J.和Herlihy,M.,1990年。使用共享内存快速随机达成共识。J.算法11,3,441--461。谷歌学者谷歌学者数字图书馆数字图书馆
  8. Aspnes,J.和Waarts,O.,1996年。预期O(n log中的随机化共识2n) 每个处理器的操作数。SIAM J.计算。25,51024-1044。谷歌学者谷歌学者数字图书馆数字图书馆
  9. Attiya,H.和Censor,K.,2008年。弱对手下随机共识的下限。第27届ACM分布式计算原理研讨会(PODC)论文集。ACM,纽约,315--324。谷歌学者谷歌学者数字图书馆数字图书馆
  10. Attiya,H.、Dolev,D.和Shavit,N.,1989年。有界多项式随机一致性。在第八届ACM分布式计算原理研讨会(PODC)的会议记录中。美国医学会,纽约,281--293。谷歌学者谷歌学者数字图书馆数字图书馆
  11. Attiya,H.和Welch,J.L.,2004年。分布式计算:基础、模拟和高级主题,第2版,威利出版社,纽约。谷歌学者谷歌学者交叉引用交叉引用
  12. Aumann,Y.1997年。与弱对手调度器的高效异步一致性。在第16届ACM分布式计算原理年度研讨会(PODC)上发表。ACM,纽约,209--218。谷歌学者谷歌学者数字图书馆数字图书馆
  13. Aumann,Y.和Bender,M.A.,2005年。高效的低争用异步共识与价值明确的对手调度器。分布计算。第17、3(3)、191-207页。谷歌学者谷歌学者数字图书馆数字图书馆
  14. Aumann,Y.和Kapah-Levy,A.,1999年。使用单读单写寄存器的合作共享和异步共识。在第十届ACM-SIAM离散算法年度研讨会论文集上。ACM,纽约,61-70。谷歌学者谷歌学者数字图书馆数字图书馆
  15. Bar-Joseph,Z.和Ben-Or,M.,1998年。随机同步共识的严格下限。第17届ACM分布式计算原理研讨会论文集。美国医学会,纽约,193-199。谷歌学者谷歌学者数字图书馆数字图书馆
  16. Ben-Or,M.、Pavlov,E.和Vaikuntanathan,V.,2006年。拜占庭协议中的o(logn)轮全信息模型。第28届美国计算机学会计算理论年会(STOC)论文集。美国医学会,纽约,179-186。谷歌学者谷歌学者数字图书馆数字图书馆
  17. Bracha,G.和Rachman,O.,1991年。预期O(n)中的随机共识2log n)操作。第五届分布式算法国际研讨会(WDAG)论文集。德国柏林/海德堡,斯普林格·弗拉格,143-150。谷歌学者谷歌学者数字图书馆数字图书馆
  18. Chandra,T.D.1996年。Polylog随机无等待共识。在第15届ACM分布式计算原理年度研讨会(PODC)上发表。ACM,纽约,166-175。谷歌学者谷歌学者数字图书馆数字图书馆
  19. Chor,B.、Israel,A.和Li,M.1987年。使用异步硬件进行处理器协调。第六届ACM分布式计算原理研讨会(PODC)论文集。ACM,纽约,86-97。谷歌学者谷歌学者数字图书馆数字图书馆
  20. Dolev,D.和Strong,H.R.1983年。拜占庭协议的认证算法。SIAM J.计算。12, 4, 656--666.谷歌学者谷歌学者数字图书馆数字图书馆
  21. Feller,W.1968年。概率论及其应用导论,第三版,第1卷。纽约威利。谷歌学者谷歌学者
  22. Fischer,M.J.和Lynch,N.A.,1982年。确保交互一致性的时间下限。信息处理。莱特。14, 4, 183--186.谷歌学者谷歌学者交叉引用交叉引用
  23. Fischer,M.J.、Lynch,N.A.和Paterson,M.S.,1985年。在一个错误的过程中不可能达成分布式共识。J.ACM 32,2(4月),374--382。谷歌学者谷歌学者数字图书馆数字图书馆
  24. Goldwasser,S.、Pavlov,E.和Vaikuntanathan,V.2006年。全信息网络中的容错分布式计算。第47届IEEE计算机科学基础年会(FOCS)论文集(华盛顿特区)IEEE计算机社会出版社,加利福尼亚州洛斯阿拉米托斯,15-26。谷歌学者谷歌学者数字图书馆数字图书馆
  25. Herlihy,M.,1991年。无需等待同步。ACM事务处理。程序。语言系统。13、1(1月)、124至149。谷歌学者谷歌学者数字图书馆数字图书馆
  26. Kapron,B.、Kempe,D.、King,V.、Saia,J.和Sanwalani,V.,2008年。快速异步拜占庭协议和充分信息的领导人选举。第19届ACM-SIAM离散算法(SODA)年会论文集。ACM,纽约,1038-1047。谷歌学者谷歌学者数字图书馆数字图书馆
  27. King,V.,Saia,J.,Sanwalani,V.和Vee,E.2006年a。可扩展的领导人选举。第17届ACM-SIAM离散算法(SODA)研讨会论文集。ACM,纽约,990-999。谷歌学者谷歌学者数字图书馆数字图书馆
  28. King,V.、Saia,J.、Sanwalani,V.和Vee,E.2006b。在对等网络中实现安全和可扩展的计算。第47届IEEE计算机科学基础年会(FOCS)论文集(华盛顿特区)IEEE计算机社会出版社,加利福尼亚州洛斯阿拉米托斯,87-98。谷歌学者谷歌学者数字图书馆数字图书馆
  29. Lamport,L.1998年。兼职议会。ACM事务处理。计算。系统。133-169年5月16日,2日。谷歌学者谷歌学者数字图书馆数字图书馆
  30. Loui,M.C.和Abu-Amara,H.H.1987。不可靠异步进程之间协议的内存要求。JAI出版社,康涅狄格州格林威治,163-183。谷歌学者谷歌学者
  31. 林奇,N.A.,1996年。分布式算法。加利福尼亚州圣马特奥市Morgan-Kaufmann。谷歌学者谷歌学者数字图书馆数字图书馆
  32. Moses,Y.和Rajsbaum,S.,2002年。对共识的分层分析。SIAM J.计算。31, 4, 989--1021.谷歌学者谷歌学者数字图书馆数字图书馆
  33. Motwani,R.和Raghavan,P.,1995年。随机算法。剑桥大学出版社,英国剑桥。谷歌学者谷歌学者数字图书馆数字图书馆
  34. Raynal,M.和Roy,M.,2005年。关于基于循环的同步和异步模型之间简单等价性的说明。第11届环太平洋地区可靠计算国际研讨会(PRDC)会议记录(华盛顿特区)IEEE计算机社会出版社,加利福尼亚州洛斯阿拉米托斯,387-392。谷歌学者谷歌学者数字图书馆数字图书馆
  35. Saks,M.、Shavit,N.和Woll,H.1991年。最佳时间随机化决策弹性算法在实践中快速实现。第二届ACM-SIAM离散算法年会论文集。ACM,纽约,351-362。谷歌学者谷歌学者数字图书馆数字图书馆
  36. Santoro,N.和Widmayer,P.1989。时间不是治愈者。第六届计算机科学理论方面年度研讨会论文集。德国柏林/海德堡Springer-Verlag 304-313。谷歌学者谷歌学者数字图书馆数字图书馆
  37. Schechtman,G.1981年。一类有限度量空间的Levy型不等式。数学课堂讲稿:调和分析和巴拿赫空间中的马丁格尔理论。第939卷。德国柏林/海德堡施普林格-弗拉格211-215。谷歌学者谷歌学者
  38. Schneider,F.B.1990年。使用状态机方法实现容错服务:教程。ACM计算。Surv公司。22、4(12月)、299--319。谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 异步随机一致性的严格界限

          建议

          评论

          登录选项

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

          登录

          完全访问权限

          • 发布于

            封面图片美国医学会杂志
            美国医学会杂志 第55卷第5期
            2008年10月
            164页
            国际标准编号:0004-5411
            EISSN公司:1557-735倍
            内政部:10.1145/1411509
            期刊目录

            版权所有©2008 ACM

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

            出版商

            计算机协会

            美国纽约州纽约市

            出版历史

            • 出版:2008年11月5日
            • 认可的:2008年7月1日
            • 收到:2007年10月1日
            发布于雅克第55卷第5期

            权限

            请求有关此文章的权限。

            请求权限

            检查更新

            限定符

            • 研究论文
            • 研究
            • 推荐

          PDF格式

          以PDF文件查看或下载。

          PDF格式

          电子阅读器

          使用eReader在线查看。

          电子阅读器