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

从贝佐特的身份到匿名存储系统中的空间最优选择

出版:2020年7月31日出版历史

摘要

匿名共享内存规则可以看作是原子寄存器的数组,因此进程之间没有关于寄存器名称的先验协议。例如,相同的物理寄存器可以称为规则[x个]通过进程第页和作为规则[](其中x个)通过另一个过程问:。此外,注册名为规则[]通过进程第页注册名为规则[b条]通过进程q个可以是同一个物理寄存器。假设每个进程都有一个唯一的标识符,只能进行相等比较。本文是关于解决d-选举要求至少选择一个且最多选择一个的问题d日领导者,在这样一个匿名共享存储系统中。我们注意到,1-选举问题就是我们熟悉的领导人选举问题。n个是进程数匿名内存的大小(原子寄存器的数量)。文章显示了条件gcd(m、 n个) ≤d日对于解决d日-选举问题,通信是通过读/写或读+修改+写入寄存器进行的。用于证明充分条件的算法依赖于贝佐特的身份-根据最大公因数将数字联系起来的丢番图方程。此外,在证明充分条件的过程中,证明了仅使用单一的读/写寄存器(驳斥了1989年的一个猜想,即需要三个非匿名寄存器),并且精确d-选举问题,具体在哪里d日领导人必须选举产生,只有在gcd的情况下才能解决(m、 n个)划分d。

工具书类

  1. Z.Aghazadeh、D.Imbs、M.Raynal、G.Taubenfeld和P.Woelfel。最优记忆匿名对称无死锁互斥。2019年PODC第38届ACM分布式计算原理研讨会论文集,第157-166页。ACM,2019年。谷歌学者谷歌学者数字图书馆数字图书馆
  2. D.安格鲁因。处理器网络中的局部和全局属性(扩展抽象)。1980年STOC第十二届ACM计算理论年会论文集,第82-93页。ACM,1980年。谷歌学者谷歌学者数字图书馆数字图书馆
  3. H.Attiya、A.Gorbach和S.Moran。在完全匿名的异步共享内存系统中进行计算。信息与计算, 173(2):162--183, 2002.谷歌学者谷歌学者数字图书馆数字图书馆
  4. F.Bonnet和M.Raynal。匿名异步系统:故障检测器的情况。分布式计算, 26(3):141--158, 2013.谷歌学者谷歌学者数字图书馆数字图书馆
  5. Z.Bouzid、M.Raynal和P.佛经。匿名无障碍(n、 k个)-与达成协议n&减号;k个+1个原子读/写寄存器。分布式计算, 31(2):99--117, 2018.谷歌学者谷歌学者数字图书馆数字图书馆
  6. J.E.Burns和N.A.Lynch。共享内存上的互斥边界。信息与计算,107(2):171-1841993年。谷歌学者谷歌学者数字图书馆数字图书馆
  7. T.D.Chandra、V.Hadzilacos和S.Toueg。解决共识的最弱故障检测器。美国医学会杂志,43(4):685--7221996年。谷歌学者谷歌学者数字图书馆数字图书馆
  8. E.Godard、D.Imbs、M.Raynal和G.Taubenfeld。匿名读/写记忆:领导人选举和非匿名化。第26届结构信息与通信复杂性国际学术讨论会论文集,SIROCCO 2019,LNCS 11639,第246--261页。斯普林格,2019年。谷歌学者谷歌学者数字图书馆数字图书馆
  9. R.Guerraoui和E.Ruppert。匿名和容错共享内存计算。分布式计算, 20(3):165--177, 2007.谷歌学者谷歌学者数字图书馆数字图书馆
  10. L.Lamport。进程间通信。第一部分:基本形式主义。分布式计算, 1(2):77--85, 1986.谷歌学者谷歌学者交叉引用交叉引用
  11. S.Navlakha和Z.Bar-Joseph。自然算法:系统生物学与计算思维的融合。分子系统生物学, 7:546, 2011.谷歌学者谷歌学者
  12. S.Navlakha和Z.Bar-Joseph。生物和计算系统中的分布式信息处理。ACM的通信, 58(1):94--102, 2015.谷歌学者谷歌学者数字图书馆数字图书馆
  13. S.Rashid、G.Taubenfeld和Z.Bar-Joseph。基因组范围的表观遗传修饰是一个共享记忆共识问题。CoRR公司,abs/2005.065022020。此外,在第六届生物分布式算法研讨会,BDA 2018伦敦,2018年。谷歌学者谷歌学者
  14. M.Raynal先生。并发编程:算法、原理和基础。施普林格,2013年。515页,ISBN 978-3-642-32026-2。谷歌学者谷歌学者交叉引用交叉引用
  15. M.Raynal先生。消息传递系统的分布式算法。施普林格,2013年。510页,ISBN 978-3-642-38122-5。谷歌学者谷歌学者交叉引用交叉引用
  16. M.Raynal先生。容错消息传递分布式系统——一种算法方法。施普林格,2018年。492页,ISBN 978-3-319-94140-0。谷歌学者谷歌学者交叉引用交叉引用
  17. M.Raynal和G.Taubenfeld。完全匿名共识和集合协议算法。第八届网络系统国际会议论文集,NETYS 2020,LNCS。斯普林格,2020年6月。谷歌学者谷歌学者
  18. M.Raynal和G.Taubenfeld。完全匿名共享内存系统中的互斥。信息处理信件, 158:105938, 2020.谷歌学者谷歌学者交叉引用交叉引用
  19. E.Styer和G.L.Peterson。共享内存对称互斥问题的紧边界。第八届ACM分布式计算原理年会论文集,PODC 1989,第177-191页。ACM,1989年。谷歌学者谷歌学者数字图书馆数字图书馆
  20. G.陶本菲尔德。同步算法和并发编程。Prentice-Hall公司,2006年。423页,ISBN 0-131-97259-6。谷歌学者谷歌学者
  21. G.陶本菲尔德。未经事先同意进行协调。2017年PODC第36届ACM分布式计算原理研讨会论文集,第325-334页。ACM,2017年。谷歌学者谷歌学者数字图书馆数字图书馆
  22. M.Yamashita和T.Kameda。匿名网络上的计算:第一部分描述可解情况。IEEE并行和分布式系统汇刊, 7(1):69--89, 1996.谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 从贝佐特的身份到匿名存储系统中的空间最优选择

        建议

        评论

        登录选项

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

        登录

        完全访问权限

        PDF格式

        以PDF文件查看或下载。

        PDF格式

        电子阅读器

        使用eReader联机查看。

        电子阅读器