研究论文

O（1）-障碍最优RMR互斥算法：扩展摘要

作者:

夏甲阿提亚,

丹尼亨德勒、和

斯马达尔征收作者信息和声明

PODC’13：2013年ACM分布式计算原理研讨会论文集

2013年7月

页220-229

https://doi.org/10.1145/2484239.2484255

出版:2013年7月22日出版历史

获取访问权限

摘要

互斥是一个基本的协调问题。过去20年来，共享内存互斥研究的重点是本地旋转算法并使用远程内存引用（RMR）指标。

为了确保并发算法（尤其是互斥算法）的正确性，通常需要通过插入记忆屏障说明。内存障碍会产生不可忽略的开销，并可能显著增加算法的时间复杂性。

本文提出了在RMR和屏障度量下具有渐近最优复杂度的第一个读/写互斥算法：每次通过临界段都会导致O（运行）（日志n个)RMR和恒定数量的屏障。该算法在流行的总店铺订单模型。

工具书类

[1]

S.V.Adve和K.Gharachorloo。共享内存一致性模型：教程。IEEE计算机，29（12）：66-761996。

数字图书馆

[2]

J.H.Anderson和Y.-J.Kim。具有局部旋转的自适应互斥。在DISC中，第29-432000页。

数字图书馆

[3]

H.Attiya、R.Guerraoui、D.Hendler、P.Kuznetsov、M.M.Michael和M.T.Vechev。顺序法则：并发算法中昂贵的同步无法消除。在POPL中，第487-498页，2011年。

数字图书馆

[4]

H.Attiya、D.Hendler和P.Woelfel。互斥和其他问题的严格RMR下限。在STOC中，第217--226页，2008年。

数字图书馆

[5]

T.克雷格。从原子交换构建FIFO和优先级排队旋转锁。技术报告，1993年。

[6]

R.Danek和W.M.Golab。缩小FCFS互斥和互斥之间的复杂性差距。在DISC中，第93-108页，2008年。

数字图书馆

[7]

D.骰子。个人通信，2013年5月。

[8]

W.M.Golab、V.Hadzilacos、D.Hendler和P.Woelfel。使用读写操作的比较原语的RMR高效实现。分布式计算，25（2）：109--1622012。

[9]

W.M.Golab、D.Hendler和P.Woelfel。一种O（1）rmrs领导人选举算法。SIAM J.计算。，39(7):2726--2760, 2010.

数字图书馆

[10]

D.Hendler和P.Woelfel。具有亚对数rmr复杂性的随机互斥。分布式计算，24（1）：3-192011。

数字图书馆

[11]

M.P.Herlihy和J.M.Wing。线性化：并发对象的正确条件。美国计算机学会程序设计语言与系统汇刊，12（3）：463-492990年。

数字图书馆

[12]

英特尔公司。英特尔&#xAE；64与IA-32体系结构软件开发人员手册。编号253669-033US。2009年12月。

[13]

P.贾扬蒂。自适应且高效的可中止互斥。在PODC中，第295--3042003页。

数字图书馆

[14]

P.Jayanti、S.Petrovic和N.Narula。基于读/写的快速路径转换，用于FCFS互斥。SOFSEM，第209-218页，2005年。

数字图书馆

[15]

Y.-J.Kim和J.Anderson。自适应互斥的时间复杂性。在DISC中，第1-15页，2001年。

数字图书馆

[16]

M.Kuperstein、M.Vechev和E.Yahav。记忆栅栏的自动推断。在FMCAD中，第111-119页，2010年。

数字图书馆

[17]

L.Lamport。dijkstra并发编程问题的一种新的解决方案。Commun公司。ACM，17（8）：453-4551974。

数字图书馆

[18]

L.Lamport。如何使正确的多进程程序在多处理器上正确执行。IEEE传输。计算机，46（7）：779-7821997。

数字图书馆

[19]

D.L.Weaver和T.Germond，编辑。SPARC体系结构手册。普伦蒂斯·霍尔，1994年。

数字图书馆

[20]

P.Magnusson、A.Landin和E.Hagersten。缓存相干多处理器上的队列锁。在IPPS中，第165-171页，1994年。

数字图书馆

[21]

J.M.Mellor-Crummey和M.L.Scott。共享内存多处理器上可伸缩同步的算法。ACM事务处理。计算。系统。，9(1):21--65, 1991.

数字图书馆

[22]

S.Owens、S.Sarkar和P.Sewell。更好的x86内存模型：x86-tso。《高阶逻辑中的定理证明》，第391-407页，2009年。

数字图书馆

[23]

S.Park和D.Dill。一种可执行的规范和验证器，用于宽松的内存顺序。计算机，IEEE汇刊，48（2）：227--2351999。

数字图书馆

[24]

G.L.彼得森。关于互斥问题的神话。Inf.流程。莱特。，12(3):115--116, 1981.

[25]

P.Sewell、S.Sarkar、S.Owens、F.Z.Nardelli和M.O.Myreen。x86-tso：用于x86多处理器的严格且可用的程序员模型。Commun公司。ACM，53（7）：89-972010年。

数字图书馆

[26]

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

数字图书馆

引用人

布尔P骰子DHesselink W公司(2018)电梯算法的高竞争互斥并行与计算：实践与经验10.1002/cpe.447530:18在线发布日期：2018年5月17日
https://doi.org/10.1002/cpe.4475
贾库普斯G沃尔费尔P席勒E施瓦茨曼A(2017)CC模型上具有常数摊销RMR复杂性的随机可中止互斥美国计算机学会分布式计算原理研讨会论文集10.1145/3087801.3087837(221-229)在线发布日期：2017年7月25日
https://dl.acm.org/doi/10.1145/3087801.3087837
Ben-Baruch O型亨德勒D乔治·CSpirakis P公司(2015)适应性的代价2015年ACM分布式计算原理研讨会论文集10.1145/2767386.2767428(183-192)在线发布日期：2015年7月21日
https://dl.acm.org/doi/10.1145/2767386.2767428
显示更多引用者

索引术语

一种O（1）-障碍最优RMR互斥算法：扩展抽象

建议

一种简单的局部旋群互斥算法

本文对Joung最近提出的群互斥问题提出了一种新的解决方案。在这个问题中，进程反复请求访问各种会话。要求不同的进程不在不同的会话中并发，。。。
阅读更多信息
安O（运行）（1） RMR领导人选举算法
PODC’06：第二十五届ACM分布式计算原理研讨会论文集

这个领导人选举问题是一个基本的分布式协调问题。我们提出了仅使用读写的缓存相干（CC）和分布式共享内存（DSM）模型的领导者选举算法，其中远程的数量。。。
阅读更多信息
O（log N/log N）RMR中的随机互斥
PODC’09：第28届ACM分布式计算原理研讨会论文集

互斥是一个基本的分布式协调问题。共享内存互斥研究重点本地旋转算法，并使用远程内存引用（RMR）指标。最近的证明[9]确定了Ω（logN个)…的下限。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

PODC’13：2013年ACM分布式计算原理研讨会论文集

2013年7月

422页

国际标准图书编号：9781450320658

DOI（操作界面）：10.1145/2484239

总主席：
帕纳吉奥塔·法图鲁
FORTH ICS&希腊克里特大学
,
项目主席：
加迪·塔本费尔德
IDC，以色列

版权所有©2013 ACM。

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

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2013年7月22日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

研究文章

会议

2013年PODC

赞助商：

PODC’13:ACM分布式计算原理研讨会

2013年7月22日至24日

魁北克，蒙特利尔，加拿大

接受率

PODC’13论文接受率145份提交文件中的37份，26%；

2477份提交文件的总体接受率为740，30%

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

6
引文总数
查看引文
171
总下载次数

下载量（最近12个月）2
下载次数（最近6周）0

其他指标

查看作者指标

引文

引用人

布尔P骰子DHesselink W公司(2018)电梯算法的高竞争互斥并行与计算：实践与经验10.1002/cpe.447530:18在线发布日期：2018年5月17日
https://doi.org/10.1002/cpe.4475
贾库普斯G沃尔费尔P席勒E施瓦茨曼A(2017)CC模型上具有常数摊销RMR复杂性的随机可中止互斥美国计算机学会分布式计算原理研讨会论文集10.1145/3087801.3087837(221-229)在线发布日期：2017年7月25日
https://dl.acm.org/doi/10.1145/3087801.3087837
Ben-Baruch O型亨德勒D乔治·CSpirakis P公司(2015)适应性的代价2015年ACM分布式计算原理研讨会论文集10.1145/2767386.2767428(183-192)在线发布日期：2015年7月21日
https://dl.acm.org/doi/10.1145/2767386.2767428
阿提亚·H亨德勒D沃尔费尔P乔治·CSpirakis P公司(2015)基于RMR和分离记忆模型的交易围栏2015年ACM分布式计算原理研讨会论文集10.1145/2767386.2767427(173-182)在线发布日期：2015年7月21日
https://dl.acm.org/doi/10.1145/2767386.2767427
Indyk P公司卡普拉洛夫M(2014)任意常数维的样本最优傅里叶采样2014年IEEE第55届计算机科学基础年会论文集10.1109/FOCS.2014.61(514-523)在线发布日期：2014年10月18日
https://dl.acm.org/doi/10.1109/FOCS.2014.61
贾库普斯G沃尔费尔P(2014)DSM上具有恒定摊销RMR复杂性的随机互斥2014年IEEE第55届计算机科学基础年会论文集10.1109/FOCS.2014.60(504-513)在线发布日期：2014年10月18日
https://dl.acm.org/doi/10.1109/FOCS.2014.60

视图选项

获取访问权限

登录选项

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

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子