文件Open Access徽标

关于确定性线性化集合一致对象

作者 菲利佩·德·阿泽夫多·皮奥维赞, 瓦索斯·哈齐拉科斯, 萨姆·图格



PDF格式
缩略图PDF

文件

LIPIcs公司。OPODIS.2019.16.pdf
  • 文件大小:0.83 MB
  • 15页

文件标识符

作者详细信息

菲利佩·德·阿泽夫多·皮奥维赞
  • 加拿大多伦多大学计算机科学系
瓦索斯·哈齐拉科斯
  • 加拿大多伦多大学计算机科学系
萨姆·图格
  • 加拿大多伦多大学计算机科学系

引用为获取BibTex

费利佩·德·阿泽韦多·皮奥维赞(Felipe de Azevedo Piovezan)、瓦索斯·哈齐拉科斯(Vassos Hadzilacos)和萨姆·图伊格(Sam Toueg)。关于确定性线性化集合一致对象。第23届分布式系统原理国际会议(OPODIS 2019)。莱布尼茨国际信息学论文集(LIPIcs),第153卷,第16:1-16:15页,达格斯图尔-莱布尼兹-泽特鲁姆信息学院(2020)
https://doi.org/10.4230/LIPIcs.OPODIS.2019.16

摘要

最近的一项工作表明,对于所有n和k,存在一个线性化的(n,k)集协议对象O_L,它等价于(n,k)集协议任务[David Yu Cheng Chan等人,2017]:给定O_L,就有可能求解(n,k]集协议任务,并且给定任何解算(n,k-集协议任务(和寄存器)的算法,实现O_L是可能的。然而,这个线性化对象O_L是不确定的。结果表明,还有一个确定性(n,k)集协议对象O_D,它等价于(n,k)集协议任务,但这个确定性对象O_D是不可线性化的。这就提出了一个问题,即是否存在一个与(n,k)集合协议任务等价的确定性和线性化(n,k)集合协议对象。这里我们证明了答案通常是否定的:具体来说,我们证明了对于所有n≥4,每个确定性线性化的(n,2)-集一致性对象都严格强于(n,2中)-集的一致性任务。我们证明了这一点,因为对于所有n≥4,每个确定性和线性化的(n,2)集协议对象(连同寄存器)都可以用来解决2-一致性问题,而众所周知,(n,2中)集协议任务不能这样做。对于(n,2-集协议对象的一个自然子集,我们证明了即使在n=3的情况下,这个结果也是成立的。

主题分类

ACM科目分类
  • 计算理论→并发
  • 计算理论→并行计算模型
  • 计算理论→分布式计算模型
关键词
  • 异步共享内存系统
  • 共识
  • 设定协议
  • 确定性对象

韵律学

工具书类

  1. 伊丽莎白·博罗夫斯基(Elizabeth Borowsky)和伊莱·加夫尼(Eli Gafni)。Borowsky-Gafni模拟对集合consensus层次结构的影响。CSD(系列)。加州大学洛杉矶分校计算机科学系,1993年。网址:https://books.google.ca/books?id=gpNeGwAACAAJ.
  2. 伊丽莎白·博罗夫斯基(Elizabeth Borowsky)、伊莱·加夫尼(Eli Gafni)和耶胡达·阿菲克(Yehuda Afek)。共识力量有一定意义!(扩展摘要)。《第十三届ACM分布式计算原理研讨会论文集》,PODC’94,第363-372页,美国纽约州纽约市,1994年。ACM公司。网址:https://doi.org/10.1145/197917.198126.
  3. 阿曼多·卡斯塔涅达(Armando Castañeda)、米歇尔·雷纳尔(Michel Raynal)和塞尔吉奥·拉杰斯鲍姆(Sergio Rajsbaum)。指定并发问题:超越线性化。CoRR,abs/1507.000732015年。网址:http://arxiv.org/abs/1507.00073.
  4. David Yu Cheng Chan、Vassos Hadzilacos和Sam Toueg。关于具有不同幂的对象数和集合一致对象的线性化。2017年,德国达格斯图尔,莱布尼茨国际信息学论文集(LIPIcs)第91卷,第31届分布式计算国际研讨会(DISC 2017)编辑安德里亚·里查(Andraéa W.Richa),12:12:14页。Dagstuhl-Leibniz-Zentrum fuer Informatik宫。网址:https://doi.org/10.4230/LIPIcs.DISC.2017.12.
  5. 更多的选择允许更多的错误:在完全异步系统中设置共识问题。信息计算。,105(1):132-1581993年7月。网址:https://doi.org/10.1006/inco.1993.1043.
  6. Soma Chaudhuri和Paul Reiners。使用Borowsky-Gafni模拟理解集合一致性偏序(扩展抽象)。《第十届分布式算法国际研讨会论文集》,WDAG'96,第362-379页,英国伦敦,英国,1996年。斯普林格·弗拉格。网址:http://dl.acm.org/citation.cfm?id=645953.675630.
  7. 莫里斯·赫利希和尼尔·沙维特。异步可计算性的拓扑结构。J.ACM,46(6):858-9231999年11月。网址:https://doi.org/10.1145/331524.331529.
  8. 莫里斯·赫利希和珍妮特·温格。线性化:并发对象的正确条件。ACM事务处理。程序。语言系统。,12(3):463-4921990年7月。网址:https://doi.org/10.1145/78969.78972.
  9. 吉尔·内格尔(Gil Neiger)。设置线性化。《第十三届ACM分布式计算原理研讨会论文集》,PODC’94,第396页,美国纽约州纽约市,1994年。ACM公司。网址:https://doi.org/10.1145/1997197.18176.
  10. 迈克尔·萨克斯(Michael Saks)和福蒂奥斯·扎哈罗格鲁(Fotios Zaharoglou)。无等待K-set协议是不可能的:公共知识的拓扑结构。1993年,美国纽约州纽约市,STOC'93,第101-110页,第二十五届ACM计算机理论年会论文集。ACM公司。网址:https://doi.org/10.1145/167088.167122.
问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

提交的反馈

无法发送消息

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