×

一种快速、可扩展的互斥算法。 (英语) Zbl 1448.68171号

摘要:本文研究共享内存多处理器中读/写原子性下的同步。我们提出了一种新的(N)进程互斥算法,该算法只需要读写操作,具有(O(log N)时间复杂性,其中“时间”是通过计算远程内存引用来度量的。该算法的时间复杂度优于基于原子读写指令的互斥问题的所有先前解决方案;事实上,大多数先验解的时间复杂性是无限的。性能研究表明,我们的互斥算法在严重竞争下表现出可扩展的性能。事实上,它的性能可以与基于强大原语(如compare-and-swap和fetch-and-add)的最快的基于队列的自旋锁相媲美。我们还提供了一个改进版本的算法,该算法在没有争用的情况下只生成\(O(1)\)内存引用。

理学硕士:

64岁以下 分布式系统
68宽15 分布式算法

软件:

联合
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Agarwal A,Cherian M:自适应退避同步技术。第16届计算机体系结构国际研讨会,第396-406页(1989年)
[2] Anderson J:互斥问题的细粒度解决方案。《信息学报》30(3):249-265(1993)·Zbl 0790.68048号
[3] Anderson T:共享内存多处理器自旋锁替代方案的性能。IEEE跨并行配电系统1(1):6-16(1990)
[4] BBN高级计算机,TC2000计算机内部,1990年2月
[5] Chandy K,Misra J:并行程序设计:基础。Addison-Wesley 1988年·Zbl 0717.68034号
[6] Dijkstra E:并发编程控制中一个问题的解决方案。美国通信协会8(9)569(1965)
[7] Graunke G,Thakkar S:共享内存多处理器的同步算法。IEEE计算。23: 60-69 (1990)
[8] Kessels J:无通用可修改变量的仲裁。《信息学报》17:135-141(1982)·Zbl 0468.90006号
[9] Lamport L:一种快速互斥算法。ACM跨计算机系统5(1):1-11(1987)
[10] 兰波特L:如何写校样。研究报告94,数字设备公司系统研究中心,1993年2月·Zbl 1041.00501号
[11] Mellor-Crummey J,Scott M:共享内存多处理器上可伸缩同步的算法。ACM事务计算系统9(1):21-65(1991)
[12] Michael M,Scott M:快速互斥,即使存在争议。技术报告,罗切斯特大学,1993年6月
[13] Peterson G,Fischer M:分布式系统中关键部分问题的经济解决方案。第九届ACM计算机理论研讨会,第91-97页(1977年)
[14] Styer E:改进快速互斥。1992年第11届ACM分布式计算原理年会,第159-168页·Zbl 1369.68058号
[15] Yang J,Anderson J:快速、可扩展的同步,硬件支持最少(扩展抽象)。Proc第12届ACM分布式计算原理年会,pp 171-182(1993)·Zbl 1373.68126号
[16] 杨J,安德森J:互斥的时限和相关问题。第26届ACM计算机理论年会,pp 224-233(1994)·Zbl 1344.68102号
[17] 杨杰,
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。