研究论文

免费访问

线性化实现不足以进行随机分布式计算

作者:

沃伊切赫戈拉布,

丽莎海姆、和

菲利普韦尔费尔作者信息和声明

STOC’11：第四十三届ACM计算理论年会论文集

2011年6月

页373-382

https://doi.org/10.1145/1993636.1993687

出版:2011年6月6日出版历史

PDF格式电子阅读器

摘要

线性化是算法设计者的黄金标准，用于从使用相同对象的原子版本的相应算法的正确性中推断使用已实现共享对象的分布式算法的正确率。我们表明，当过程可以利用随机化时，线性化能力不足以实现这一目的，并且我们讨论了可选正确性条件的存在性。本文的贡献如下：1。各种例子表明，使用众所周知的对象（例如快照）的线性化实现来代替原子对象可以改变对手能够产生的结果的概率分布。在某些情况下，不经意的对手可以为具有已实现的线性化对象的算法生成结果的概率分布，即使是强大的对手也无法为具有原子对象的相同算法生成这种概率分布。2.共享对象实现的一个新的正确性条件，称为强线性化定义了。我们证明，当原子对象被强线性化的实现所取代时，强大的对手（即能立即看到每一枚硬币的结果的对手）不会获得额外的力量。通常，没有严格较弱的正确性条件足以确保这一点。我们还证明了强线性化能力是一个局部可组合的性质。3.与强对手的情况相反，对于自然较弱的对手（在对共享对象进行下一次操作之前，无法看到进程的硬币翻转），我们证明不存在相应的通用正确性条件。具体来说，计数器的任何线性化实现都称为终止。从原子寄存器和负载链接/存储条件对象，满足自然局部性属性，必然会给弱对手比原子计数器更大的权力。

补充材料

MP4文件（停止7a_2.mp4）

下载
120.66 MB

工具书类

[1]

K.R.亚伯拉罕森。关于使用共享记忆达成共识。程序中。第六届ACM分布式计算原理研讨会，第291-3021988页。

数字图书馆

谷歌学者

[2]

Y.Afek、H.Attiya、D.Dolev、E.Gafni、M.Merritt和N.Shavit。共享内存的原子快照。美国医学杂志，40（4）：873--8901993。

数字图书馆

谷歌学者

[3]

J.阿斯彭斯。异步共识的随机协议。分布式计算，16:165--1752003。

数字图书馆

谷歌学者

[4]

B.Chor、A.Israel和M.Li。关于使用异步硬件的处理器协调。程序中。第六届ACM分布式计算原理年度研讨会，第86-97页，1987年。

数字图书馆

谷歌学者

[5]

W.Golab、V.Hadzilacos、D.Hendler和P.Woelfel。使用读写操作的CAS和其他同步原语的Constant-RMR实现。程序中。第26届ACM分布式计算原理研讨会，第3-12页，2007年。

数字图书馆

谷歌学者

[6]

M.Herlihy先生。无需等待同步。ACM TOPLAS，13（1），1991年1月。

数字图书馆

谷歌学者

[7]

M.Herlihy、V.Luchangco和M.Moir。无障碍同步：以双队列为例。程序中。第23届分布式计算系统国际会议，第522-529页，2003年。

数字图书馆

谷歌学者

[8]

M.Herlihy和N.Shavit。多处理机编程的艺术。摩根考夫曼出版社，第一版，2008年。

数字图书馆

谷歌学者

[9]

M.Herlihy和J.M.Wing。线性化：并发对象的正确性条件。ACM TOPLAS，12（3）：463--4921990年7月。

数字图书馆

谷歌学者

[10]

A.以色列和M.李。有界时间戳。分布式计算，6（4）：205-2091993。

数字图书馆

谷歌学者

[11]

K.维迪亚桑卡。将Lamport的常规寄存器转换为原子寄存器。信息处理快报，28（6）：287--2901988年8月。

数字图书馆

谷歌学者

[12]

P.Vitanyi和B.Awerbuch。异步硬件对原子共享寄存器的访问。程序中。第27届计算机科学基础年度研讨会，第233-243页，1986年。

数字图书馆

谷歌学者

[13]

J.-H.Yang和J.Anderson。一种快速、可扩展的互斥算法。分布式计算，9（1）：51-601995年8月。

数字图书馆

谷歌学者

引用人

查看全部

Bencivenga D公司贾库普斯GWoelfel P公司库兹涅佐夫P凝胶R奥利维蒂D(2024)快速随机重复选择和DCAS第43届ACM分布式计算原理研讨会论文集10.1145/3662158.3662828(454-464)在线发布日期：2024年6月17日
https://dl.acm.org/doi/10.1145/3662158.3662828
纳德里·塞米罗米FWoelfel P公司库兹涅佐夫P凝胶R奥利维蒂D(2024)CAS的强线性LL/SC第43届ACM分布式计算原理研讨会论文集10.1145/3662158.3662800(443-453)在线发布日期：2024年6月17日
https://dl.acm.org/doi/10.1145/3662158.3662800
阿提亚·H锥栗AEnea C公司库兹涅佐夫P盖尔斯R奥利维蒂D(2024)使用一致数为2的基元的强线性化第43届ACM分布式计算原理研讨会论文集10.1145/3662158.3662790(432-442)在线发布日期：2024年6月17日
https://dl.acm.org/doi/10.1145/3662158.3662790
显示更多引用者

索引术语

线性化实现不足以进行随机分布式计算
1. 计算机系统组织
  1. 体系结构
    1. 分布式体系结构
2. 软件及其工程
  1. 软件组织和属性
    1. 软件系统结构
      1. 分布式系统组织原则

建议

强线性化实现：可能性和不可能性
PODC’12:2012年ACM分布式计算原理研讨会论文集

Herlihy和Wing[11]确定，当原子对象被其线性化实现所取代时，共享内存分布式算法的一组可能结果保持不变。从那时起，线性化一直是正确的。。。
阅读更多信息
需要时提供帮助，但不需要更多：高效的读/写部分快照

原子快照对象是易于崩溃的异步进程可以并发访问的对象。它由m个组件（基本原子寄存器）组成，由两个操作定义：一个允许进程。。。
阅读更多信息
寻找并发对象的高效实现
第11届并行计算技术国际会议论文集

正如Taubenfeld所介绍的，并发对象的争用敏感实现是这样一种实现，即在常见情况下，即在没有争用或操作。。。
阅读更多信息

信息和贡献者

问询处

发布于

STOC’11：第四十三届ACM计算理论年度研讨会论文集

2011年6月

840页

国际标准图书编号：9781450306911

内政部：10.1145/1993636

总主席：
兰斯·福特诺
西北大学
,
项目主席：
萨利尔·瓦丹
哈佛大学

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

赞助商

SIGACT:ACM算法和计算理论特别兴趣小组

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2011年6月6日

权限

请求对此文章的权限。

请求权限

检查更新

作者标记

限定符

研究文章

会议

2011年

赞助商：

SIGACT公司

STOC'11：计算理论研讨会

2011年6月6日至8日

加利福尼亚州圣何塞市，美国

接受率

STOC’11论文接受率304份中的84份，28%；

4586份提交文件的总体接受率为1469份，占32%

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

52
引文总数
查看引文
777
下载总量

下载次数（过去12个月）112
下载次数（最近6周）5

其他指标

查看作者指标

引文

引用人

查看全部

Bencivenga D公司贾库普斯G沃尔费尔P库兹涅佐夫P凝胶R奥利维蒂D(2024)快速随机重复选择和DCAS第43届ACM分布式计算原理研讨会论文集10.1145/3662158.3662828(454-464)在线发布日期：2024年6月17日
https://dl.acm.org/doi/10.1145/3662158.3662828
纳德里·塞米罗米F沃尔费尔P库兹涅佐夫P凝胶R奥利维蒂D(2024)CAS的强线性LL/SC第43届ACM分布式计算原理研讨会论文集10.1145/3662158.3662800(443-453)在线发布日期：2024年6月17日
https://dl.acm.org/doi/10.1145/3662158.3662800
阿提亚·H锥栗AEnea C公司库兹涅佐夫P凝胶R奥利维蒂D(2024)使用一致数为2的基元的强线性化第43届ACM分布式计算原理研讨会论文集10.1145/3662158.3662790(432-442)在线发布日期：2024年6月17日
https://dl.acm.org/doi/10.1145/3662158.3662790
胡X图伊格S(2024)在拜占庭故障系统中从SWSR寄存器实现SWMR寄存器分布式计算2007年10月10日/00446-024-00465-537:2(145-175)在线发布日期：2024年6月6日
https://doi.org/10.1007/s00446-024-00465-5
林贝格A基达尔一世(2023)中间值线性化：一个定量的正确性标准美国医学会杂志10.1145/358469970:2(1-21)在线发布日期：2023年4月18日
https://dl.acm.org/doi/10.1145/3584699
西里西BEnea C公司Mutluergil S公司(2023)协商一致协议的法定数树抽象编程语言和系统10.1007/978-3-031-30044-8_13(337-362)在线发布日期：2023年4月22日
https://dl.acm.org/doi/10.1007/978-3-031-30044-8_13
弯曲-弯曲N布列洛赫G米拉尼A沃尔费尔P(2022)快速公平的随机无等待锁2022年ACM分布式计算原理研讨会论文集10.1145/3519270.3538448(187-197)在线发布日期：2022年7月20日
https://dl.acm.org/doi/10.1145/3519270.3538448
阿提亚·HEnea C公司韦尔奇J米拉尼A沃尔费尔P(2022)用线性化实现消除随机并发程序的对手2022年ACM分布式计算原理研讨会论文集10.1145/3519270.3538446(209-219)在线发布日期：2022年7月20日
https://dl.acm.org/doi/10.1145/3519270.3538446
林贝格A斯皮格曼A博特尼科夫E希勒尔E基达尔一世罗德斯LServiansky H公司(2022)快速并发数据草图并行计算ACM事务10.1145/35127589:2(1-35)在线发布日期：2022年4月11日
https://dl.acm.org/doi/10.1145/3512758
阿提雅H卡斯塔涅达A亨德勒D佩林M(2022)在共识层次结构的每一层将锁自由与等待自由分开并行与分布式计算杂志10.1016/j.jpdc.2022.01.025163(181-197)在线发布日期：2022年5月
https://doi.org/10.1016/j.jpdc.2022.01.025
显示更多引用者

引用人

索引术语

建议

强线性化实现：可能性和不可能性

需要时提供帮助，但不需要更多：高效的读/写部分快照

寻找并发对象的高效实现

评论

发布于

赞助商

出版商

出版历史

权限

检查更新

作者标记

限定符

会议

接受率

其他指标

文章指标

其他指标

引用人

PDF格式

电子阅读器

登录选项

完全访问权限

摘要

补充材料

工具书类

引用人

索引术语

建议

强线性化实现：可能性和不可能性

需要时提供帮助，但不需要更多：高效的读/写部分快照

寻找并发对象的高效实现

评论

问询处

发布于

赞助商

出版商

出版历史

权限

检查更新

作者标记

限定符

会议

接受率

贡献者

其他指标

文献计量学

文章指标

其他指标

引文

引用人

查看选项

PDF格式

电子阅读器

获取访问权限

登录选项

完全访问权限

数字

其他

分享

共享此出版物链接

在社交媒体上分享

附属公司