文件Open Access徽标

具有同步共享内存的匿名处理器:蒙特卡罗算法

作者 Bogdan S.Chlebus公司, 吉安卢卡·德马尔科, 穆罕默德·塔洛



PDF格式
缩略图PDF

文件

LIPIcs公司。OPODIS.2017.15.pdf
  • 文件大小:0.5 MB
  • 17页

文件标识符

作者详细信息

Bogdan S.Chlebus公司
吉安卢卡·德马尔科
穆罕默德·塔洛

引用为获取BibTex

Bogdan S.Chlebus、Gianluca De Marco和Muhammed Talo。具有同步共享内存的匿名处理器:蒙特卡罗算法。第21届分布式系统原理国际会议(OPODIS 2017)。《莱布尼茨国际信息学论文集》,第95卷,第15:1-15:17页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2018)
https://doi.org/10.4230/LIPIcs.OPODIS.2017.15

摘要

我们考虑同步分布式系统,其中处理器通过共享读写变量进行通信。处理器是匿名的,不知道自己的编号。目标是由所有处理器为自己分配个人名称。我们开发了算法来实现这四种情况,这四种情形由模型的以下独立属性决定:允许或不允许同时尝试将不同的值写入同一共享内存寄存器,共享变量的数量要么是常量,要么是无限的。对于每一种这样的情况,我们都给出了一个蒙特卡洛算法,该算法在最佳预期时间内运行,并使用预期数量的O(n log n)个随机位。我们的所有算法在终止时都会产生正确的输出,概率为1−n^{−Ω(1)},这在几乎可以肯定地终止并使用O(n log n)随机位时是最可能的。
关键词
  • 匿名处理器
  • 同步性
  • 共享内存
  • 读写寄存器
  • 命名
  • 门蒂卡罗算法

韵律学

参考文献

  1. Dan Alistarh、James Aspnes、Keren Censor-Hillel、Seth Gilbert和Rachid Guerraoui。异步重命名的严格限制。美国医学会杂志,61(3):18:1-18:512014。谷歌学者
  2. Dan Alistarh、Hagit Attiya、Seth Gilbert、Andrei Giurgiu和Rachid Guerraoui。快速随机测试集和重命名。第24届分布式计算国际研讨会(DISC)论文集,《计算机科学讲义》第6343卷,第94-108页。施普林格,2010年。谷歌学者
  3. 达娜·安格鲁因。处理器网络中的局部和全局属性。第12届ACM计算机理论研讨会(STOC)会议记录,第82-93页,1980年。谷歌学者
  4. 詹姆斯·阿斯彭斯(James Aspnes)、费斯·埃伦·菲奇(Faith Ellen Fich)和埃里克·鲁珀特(Eric Ruppert)。可靠匿名分布式系统中广播和共享内存之间的关系。分布式计算,18(3):209-2192006。谷歌学者
  5. 詹姆斯·阿斯彭斯(James Aspnes)、高利·沙阿(Gauri Shah)和贾丁·沙阿。无需等待的共识,无限次到达。2002年第34届ACM计算机理论研讨会(STOC)会议记录,第524-533页。谷歌学者
  6. Hagit Attiya、Amotz Bar-Noy、Danny Dolev、David Peleg和Rüdiger Reischuk。在异步环境中重命名。ACM期刊,37(3):524-5481990。谷歌学者
  7. Hagit Attiya、Alla Gorbach和Shlomo Moran。在完全匿名的异步共享内存系统中进行计算。信息与计算,173(2):162-1832002。谷歌学者
  8. Hagit Attiya和Jennifer Welch。分布式计算:基础、模拟和高级主题。约翰·威利,第二版,2004年。谷歌学者
  9. 保罗·博尔迪和塞巴斯蒂亚诺·维格纳。匿名网络中可计算性的有效表征。《第15届分布式计算国际会议(DISC)论文集》,《计算机科学讲义》第2180卷,第33-47页。斯普林格,2001年。谷歌学者
  10. 弗朗索瓦·博内和米歇尔·雷纳尔。匿名性的代价:尽管存在异步、崩溃和匿名性,但达成了最佳共识。ACM自治和自适应系统汇刊,6(4):232011年。谷歌学者
  11. 哈里·布尔曼、亚历山德罗·潘科内西、里卡多·西尔维斯特里和保罗·维坦伊。关于拥有身份的重要性,或者,共识真的是普遍的吗?分布式计算,18(3):167-1762006。谷歌学者
  12. Bogdan S.Chlebus、Gianluca De Marco和Muhammed Talo。具有同步共享内存的匿名处理器:拉斯维加斯算法。提交。谷歌学者
  13. 博格丹·S·克莱布斯(Bogdan S.Chlebus)、吉安卢卡·德马科(Gianluca De Marco)和穆罕默德·塔洛(Muhammed Talo)。具有同步共享内存的匿名处理器。CoRR,abs/1507.022722015年。谷歌学者
  14. Bogdan S.Chlebus和Dariusz R.Kowalski。异步独占选择。第27届ACM分布式计算原理研讨会(PODC)会议记录,第375-384页,2008年。谷歌学者
  15. 奥梅尔·埃西奥卢和安布杰·辛格。使用共享变量命名对称进程。分布式计算,8(1):19-381994。谷歌学者
  16. 彼得·范·埃姆德·博阿斯(Peter van Emde Boas)。机器模型和仿真。《理论计算机科学手册》A卷:算法和复杂性(A),第1-66页。麻省理工学院出版社,1990年。谷歌学者
  17. 尤瓦尔·埃梅克(Yuval Emek)、乔森·赛德尔(Jochen Seidel)和罗杰·瓦滕霍夫(Roger Wattenhofer)。匿名网络中的可计算性:可撤销与不可撤销输出。第41届国际自动化、语言和编程学术讨论会(ICALP)论文集,第二部分,计算机科学讲稿第8573卷,第183-195页。斯普林格,2014年。谷歌学者
  18. Faith E.Fich和Eric Ruppert。分布式计算有数百种不可能的结果。分布式计算,16(2-3):121-1632003。谷歌学者
  19. Rachid Guerraoui和Eric Ruppert。匿名和容错共享内存计算。分布式计算,20(3):165-1772007。谷歌学者
  20. 约瑟夫·贾贾(Joseph JáJá)。并行算法简介。Addison-Wesley,1992年。谷歌学者
  21. Prasad Jayanti和Sam Toueg。在读/写原子性下唤醒。《第四届分布式算法国际研讨会(WDAG)论文集》,《计算机科学讲义》第486卷,第277-288页。斯普林格,1990年。谷歌学者
  22. 谢·库滕(Shay Kutten)、拉斐尔·奥斯特罗夫斯基(Rafail Ostrovsky)和波阿斯·帕特·沙米尔(Boaz Patt-Shamir)。Las-Vegas处理器标识问题(如何以及何时实现唯一性)。《算法杂志》,37(2):468-4942000。谷歌学者
  23. 理查德·利普顿和阿文·帕克。处理器身份问题。《信息处理快报》,36(2):91-941990年。谷歌学者
  24. Alessandro Panconesi、Marina Papatriatafilou、Philippas Tsigas和Paul M.B.Vitányi。使用无等待共享变量的随机命名。分布式计算,11(3):113-1241998。谷歌学者
  25. 埃里克·鲁珀特。匿名共识层次结构和命名问题。《第十一届分布式系统原理国际会议论文集》(OPODIS),计算机科学讲义第4878卷,第386-400页。施普林格,2007年。谷歌学者
  26. 坂本直史。匿名网络上分布式算法的初始条件比较。第18届ACM分布式计算原理研讨会(PODC)会议记录,第173-179页,1999年。谷歌学者
问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件