×
普拉萨德·贾扬蒂;阿努普·乔希

具有可中止性的可恢复互斥。 （英语） Zbl 1506.68010号

计算 104，第10号，2225-252（2022）.
摘要：非易失性主存储器（NVM）技术的最新进展推动了对算法的研究，这些算法能够抵抗导致进程崩溃并随后重启的间歇性故障。在本文中，我们提出了一种支持可中止性的可恢复互斥（RME）算法。我们的算法保证了FCFS和强大的活性属性：即使在由无数次崩溃组成的运行中，只要进程在每次尝试中崩溃的次数最多是有限的，进程也不会饿死。在DSM和Relaxed-CC多处理器上，一个进程在一条通道中引起\（O（\min（k，\log n））\）RMR，在一次尝试中引起\在尝试过程中崩溃。在严格CC多处理器上，通过和尝试的复杂度分别是（O（n）和（O（f+n））。我们的算法只使用多处理器通常支持的读、写和CAS操作。H.阿提亚等证明了，在任何互斥算法中，如果算法只使用读、写和CAS操作，则进程在一段中至少会产生（varOmega（\log n））RMR[摘自：第34届ACM分布式计算原理研讨会论文集，PODC’15。纽约州纽约市：计算机协会（ACM）。173–182 (2015;Zbl 1333.68042号)]. 这个下限意味着我们算法的最坏情况RMR复杂性对于DSM和松弛CC多处理机是最优的。本文是我们会议论文【Lect.Notes Compute.Sci.11704，217–232（2019；数字对象标识代码：10.1007/978-3-030-31277-0_14)]提出了第一个支持可中止性的可恢复互斥（RME）算法。我们的会议论文[loc.cit.]中的这个算法在一次运行中有无穷多个中止时承认了饥饿。在本文中，我们解决了这个缺点，并通过识别一个归纳不变量来证明算法的性质。

引用于1文件

理学硕士：

64岁以下 分布式系统
2007年7月68日 计算机体系结构的数学问题
68米15 网络和计算机系统的可靠性、测试和容错
68宽15 分布式算法

关键词：

并发算法;同步;相互排斥;可恢复算法;容错;非易失性主存储器;共享内存;多核算法

引文：

Zbl 1333.68042号
PDF格式BibTeX公司 XML格式引用
\textit{P.Jayanti}和\textit{A.Joshi}，《计算》104，第10期，2225--2252（2022；Zbl 1506.68010）
全文： 内政部 arXiv公司
OA许可证

参考文献：

[1] Alon A，Morrison A（2018）具有亚对数自适应rmr复杂性的确定性可中止互斥。摘自：2018年美国计算机学会分布式计算原理研讨会论文集，美国纽约州纽约市，PODC’18，美国计算机学会，第27-36页·Zbl 1428.68364号
[2] Attiya H、Hendler D、Woelfel P（2008）《互斥和其他问题的紧密RMR下限》。In：程序。第四十届美国计算机学会计算理论研讨会，美国纽约州纽约市，STOC'08，美国计算机学会，第217-226页·Zbl 1231.68136号
[3] Chan DYC，Woelfel P（2020）标准基元具有恒定摊销rmr复杂性的可恢复互斥。摘自：第39届分布式计算原理研讨会论文集，美国纽约州纽约市，PODC’20，计算机协会，p.181-190·Zbl 07323186号
[4] Craig TS（1993年2月）从Atomic Swap构建FIFO和优先级队列旋转锁。华盛顿大学计算机科学系技术代表TR-93-02-02
[5] Dhoked S，Mittal N（2020）可恢复互斥的自适应方法。摘自：第39届分布式计算原理研讨会论文集，美国纽约州纽约市，PODC’20，计算机协会，第1-10页·Zbl 07323163号
[6] Dijkstra，EW，并发编程控制中一个问题的解决，Commun ACM，8，9，569-569（1965）·数字对象标识代码：10.1145/365559.365617
[7] Giakkopuis G，Woelfel P（2017）cc模型上具有恒定摊销rmr复杂性的随机可中止互斥。摘自：ACM分布式计算原理研讨会论文集，美国纽约州纽约市，PODC’17，ACM，第221-229页·Zbl 1380.68426号
[8] Golab W，Hendler D（2017），亚对数时间内的可恢复互斥。摘自：ACM分布式计算原理研讨会论文集，美国纽约州纽约市，PODC’17，ACM，第211-220页·Zbl 1380.68051号
[9] Golab W，Hendler D（2018）《系统级故障下的可恢复互斥》。摘自：2018年美国计算机学会分布式计算原理研讨会论文集，美国纽约州纽约市，PODC’18，美国计算机学会，第17-26页·兹比尔1428.68070
[10] Golab W，Ramaraju A（2016）可恢复互斥：[扩展摘要]。摘自：2016年美国计算机学会分布式计算原理研讨会论文集，美国纽约州纽约市，PODC’16，美国计算机学会，第65-74页·Zbl 1373.68177号
[11] 英特尔。英特尔^®\（Optane^{\rm TM}}\）DC持久内存产品简介。https://www.intel.com/content/dam/www/public/us/en/documents/product-briefs/optane-dc-persistent-memory-briefs/pdf2019年（2020年11月26日访问）
[12] Jayanti（P（2002）f）-数组：实现和应用。载：《第二十一届分布式计算原理研讨会论文集》，美国纽约州纽约市，PODC'02，ACM，第270-279页·兹比尔1292.68028
[13] Jayanti P（2003）自适应和高效可中止互斥。摘自：《第二十二届分布式计算原理年度研讨会论文集》，美国纽约州纽约市，PODC’03，ACM，第295-304页·Zbl 1321.68471号
[14] Jayanti P、Jayanti S、Joshi A（2018）仅使用FASAS的最佳可恢复互斥。In:第六届网络系统国际会议，2018年
[15] Jayanti P，Jayanti S，Joshi A（2019）一种在cc和dsm上都具有次对数rmr的可恢复互斥算法。摘自：2019年美国计算机学会分布式计算原理研讨会论文集，美国纽约州纽约市，PODC’19，计算机协会，p.177-186·Zbl 07298672号
[16] Jayanti P，Jayanti SV（2019）CC和DSM模型的恒定摊销RMR复杂性确定性可中止互斥算法。In：接受PODC’19出版·Zbl 07298671号
[17] Jayanti P，Joshi A（2017）可恢复FCFS互斥，无需等待恢复。摘自：第31届分布式计算国际研讨会，DISC 2017，第30:1-30:15页·Zbl 1515.68068号
[18] Jayanti，P。；Joshi，A。；阿提格，MF；Schwarzmann，AA，可恢复的可中止互斥，网络系统，217-232（2019），商会：施普林格国际出版，商会·数字对象标识代码：10.1007/978-3-030-31277-0_14
[19] Jayanti P，Joshi A（2020）可恢复互斥与可操作性
[20] Katzan D，Morrison A（2020）《亚对数RMR复杂性的可恢复、可中止和自适应互斥》。摘自：分布式系统原理国际会议（OPODIS 2020）会议记录
[21] Lamport，L.，Dijkstra并发编程问题的一种新解决方案，Commun ACM，17，8，453-455（1974）·Zbl 0281.68004号 ·doi:10.1145/361082.361093
[22] Lee H（2010）有界空间的快速局部旋转可中止互斥。摘自：《第十四届分布式系统原理国际会议论文集》，柏林，海德堡，OPODIS’10，Springer-Verlag，第364-379页
[23] 梅勒·库梅伊，JM；Scott，ML，共享内存多处理器上可伸缩同步的算法，ACM Trans-Comput Syst，9，1，21-65（1991）·数字对象标识代码：10.1145/103727.103729
[24] A.帕雷克。；Woelfel，P。；阿奎莱拉（Aguilera），MK，Rmr-efficient随机化可流产互斥，分布式计算，267-281（2012），柏林，海德堡：施普林格-柏林-海德堡，柏林·Zbl 1377.68043号 ·doi:10.1007/978-3-642-33651-5_19
[25] Ramaraju A（2015）RGLock：非易失性主存储器系统的可恢复互斥。滑铁卢大学硕士论文
[26] 劳克斯，S。；毛边，GW；MJ布莱特维什；雷特纳，CT；陈，Y-C；谢尔比，RM；萨林加，M。；克雷布斯，D。；陈，S-H；Lung，H-L，《相变随机存取存储器：一种可扩展技术》，IBM J Res Dev，52，4-5，465（2008）·doi:10.1147/rd.524.0465
[27] Scott ML（2002）《基于可伸缩队列的自旋锁中的非阻塞超时》。摘自：《第二十届分布式计算原理年度研讨会论文集》，美国纽约州纽约市，PODC’02，ACM，第31-40页·Zbl 1292.68036号
[28] Scott ML、Scherer WN（2001）《带超时的可伸缩基于队列的自旋锁》。摘自：美国纽约州纽约市第八届ACM SIGPLAN并行编程原理与实践研讨会论文集，PPoPP'01，ACM，第44-52页
[29] Scott ML，Scherer WN（2001）《带超时的可扩展基于队列的自旋锁》。摘自：美国纽约州纽约市第八届ACM SIGPLAN并行编程原理与实践研讨会论文集，PPoPP'01，ACM，第44-52页
[30] 斯特鲁科夫，DB；斯奈德，GS；斯图尔特，博士；威廉姆斯，RS，《发现丢失的忆阻器》，《自然》，453，7191，80（2008）·doi:10.1038/nature06932
[31] Tehrani，S。；屠宰，吉咪；Deherrera，M。；恩格尔，BN；Rizzo，ND；Salter，J。；杜拉姆，M。；Dave，RW；Jansky，J。；Butcher，B.，使用磁性隧道结的磁阻随机存取存储器，IEEE程序，91，5，703-714（2003）·doi:10.1109/JPROC.2003.811804
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。