×

自适应互斥的时间复杂度下限。 (英语) Zbl 1291.68178号

摘要:我们考虑了自适应互斥算法的时间复杂性,其中“时间”是通过计算每次关键部分访问所需的远程内存引用数来衡量的。对于支持(仅)读、写和比较原语(例如\(compare\)-(和\)-\(swap \))的系统,我们建立了一个下限,它排除了具有\(o(k)\)时间复杂性的确定性算法,其中\(k)是点争用。特别是,不可能基于此类原语构建确定性的(O(\log k))算法。

理学硕士:

65年第68季度 算法和问题复杂性分析
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)
64岁以下 分布式系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Afek,Y.、Attiya,H.、Fouren,A.、Stupp,G.、Touitou,D.:长期更名使其具有适应性。摘自:第18届ACM分布式计算原理研讨会论文集,第91-103页。ACM,1999年5月
[2] Afek,Y.,Boxer,P.,Touitou,D.:对长寿命和自适应对象的共享内存需求的限制。摘自:第19届ACM分布式计算原理研讨会论文集,第81-89页。ACM,2000年7月·Zbl 1314.68140号
[3] Afek Y.,Stupp G.,Touitou D.:长寿命自适应分离器及其应用。分布计算。15(2),67-86(2002)·doi:10.1007/s004460100060
[4] Anderson J.,Kim Y.-J.:互斥时间复杂性的改进下限。分布计算。15(4), 221–253 (2003) ·doi:10.1007/s00446-002-0084-2
[5] Anderson J.、Kim Y.-J.、Herman T.:共享内存互斥:1986年以来的主要研究趋势。分布计算。16, 75–110 (2003) ·doi:10.1007/s00446-003-0088-6
[6] Anderson J.、Yang J.-H.:多处理器同步的时间/争用权衡。Inf.计算。124(1), 68–84 (1996) ·Zbl 0844.68042号 ·doi:10.1006/inco.1996.006
[7] Attiya H.,Bortnikov V.:适应性和高效互斥。分布计算。15, 177–189 (2002) ·Zbl 1314.68366号 ·doi:10.1007/s004460100068
[8] Attiya H.、Guerraoui R.、Hendler D.、Kuznetsov P.:无障碍实施的复杂性。美国医学杂志。56、1-33(2009年)(第24条)·数字对象标识代码:10.1145/1538902.1538908
[9] Attiya,H.,Hendler,D.,Woelfel,P.:互斥和其他问题的严格RMR下限。摘自:第40届ACM计算机理论研讨会论文集,第217-226页。ACM,2008年5月·Zbl 1231.68136号
[10] Bhatt,V.,Huang,C.-C.:O(log n)RMR中的群互斥。摘自:第29届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集,PODC’10,第45-54页。ACM(2010)
[11] Bhatt,V.,Jayanti,P.:读写器同步的恒定RMR解决方案。摘自:第29届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集,PODC’10,第468-477页。ACM(2010)·Zbl 1315.68014号
[12] Bhatt,V.,Jayanti,P.:相空读写器锁的规范和常量RMR算法。收录于:分布式计算和网络,《计算机科学讲义》第6522卷,第119-130页。柏林施普林格出版社(2011)
[13] Burns,J.,Lynch,N.:使用不可分割的读写进行互斥。摘自:《第18届Allerton通信、控制和计算年会论文集》,第833–842页(1980)
[14] Burns J.,Lynch N.:共享内存的相互排斥限制。Inf.计算。107(2)、171–184(1993)·Zbl 0794.68052号 ·doi:10.1006/inco.1993.1065
[15] Choy M.,Singh A.:互斥问题的自适应解决方案。分布计算。8(1),1-17(1994)·doi:10.1007/BF02283567
[16] Cypher,R.:互斥的通信要求。摘自:第七届ACM并行算法和架构研讨会论文集,第147-156页。ACM,1995年6月
[17] Danek,R.:k-bakery:使用非原子读写的本地自旋k-exclusion。摘自:第29届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集,PODC’10,第36-44页。ACM(2010)·Zbl 1315.68267号
[18] Danek R.,Golab W.:缩小FCFS互斥和互斥之间的复杂性差距。分布计算。23, 87–111 (2010) ·Zbl 1231.68168号 ·文件编号:10.1007/s00446-010-0096-2
[19] Danek,R.,Hadzilacos,V.:局部旋转群互斥算法。摘自:《第18届分布式计算国际研讨会论文集》,计算机科学讲稿第3274卷,第71-85页。施普林格,柏林(2004)·Zbl 1110.68335号
[20] Fan,R.,Lynch,N.:互斥成本的{\(\Omega\)}(N log N)下限。摘自:第二十五届ACM分布式计算原理研讨会论文集,PODC’06,第275-284页。ACM(2006)·Zbl 1314.68143号
[21] Golab,W.:缓存一致性和分布式共享内存模型之间的复杂性分离。摘自:第30届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集,PODC’11,第109-118页。ACM(2011)·兹比尔1321.68080
[22] Golab,W.,Hadzilacos,V.,Hendler,D.,Woelfel,P.:CAS和其他使用读写操作的同步原语的Constant-RMR实现。摘自:第26届ACM分布式计算原理研讨会论文集,PODC’07,第3-12页。ACM(2007)·Zbl 1283.68095号
[23] Golab W.,Hendler D.,Woelfel P.:O(1)RMR领导人选举算法。SIAM J.计算。39(7), 2726–2760 (2010) ·Zbl 1213.68124号 ·doi:10.1137/070686445
[24] Hendler,D.,Woelfel,P.:亚对数预期时间中的自适应随机互斥。摘自:第29届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集,PODC’10,第141-150页。ACM(2010)·Zbl 1315.68270号
[25] Hendler D.,Woelfel P.:具有亚对数RMR复杂性的随机互斥。分布式计算。24, 3–19 (2011) ·Zbl 1231.68081号 ·doi:10.1007/s00446-011-0128-6
[26] Herlihy,M.,Luchangco,V.,Moir,M.:无障碍同步:以双端队列为例。收录于:2003年5月第23届IEEE分布式计算系统国际会议记录,第522-529页
[27] Jayanti,P.:f数组:实现和应用。摘自:《分布式计算原理第二十届年度研讨会论文集》,PODC’02,第270-279页。ACM(2002)·Zbl 1292.68028号
[28] Jayanti,P.:适应性和高效的可流产互斥。摘自:第22届ACM分布式计算原理年会论文集,第295-304页。ACM(2003)·Zbl 1321.68471号
[29] Keane,P.,Moir,M.:一种简单的局部旋转组互斥算法。摘自:第18届ACM分布式计算原理研讨会论文集,第23-32页。ACM,1999年5月·Zbl 1321.68474号
[30] Kim,Y.-J.,Anderson,J.:自适应互斥的时间复杂性。摘自:《第十五届分布式计算国际研讨会论文集》,《计算机科学讲义》,第2180卷,第1-15页。斯普林格,2001年10月·Zbl 1024.68902号
[31] Kim Y.-J.、Anderson J.:局部旋转的自适应互斥。分布计算。19(3),197–236(2007年)·Zbl 1266.68216号 ·doi:10.1007/s00446-006-0009-6
[32] Lee,H.:互斥算法从缓存相干模型到分布式共享内存模型的转换。摘自:2005年IEEE第25届分布式计算系统国际会议论文集。ICDCS 2005。第261-270页,2005年6月
[33] Mellor-Crummey J.,Scott M.:共享内存多处理器上可伸缩同步的算法。ACM事务处理。计算。系统。9(1), 21–65 (1991) ·doi:10.1145/103727.103729
[34] Merritt M.,Taubenfeld G.:加速Lamport的快速互斥算法。信息处理。莱特。45, 137–142 (1993) ·Zbl 0796.68018号 ·doi:10.1016/0020-0190(93)90015-2
[35] Styer,E.:改善快速相互排斥。摘自:第11届ACM分布式计算原理研讨会论文集,第159-168页。ACM,1992年8月·Zbl 1369.68058号
[36] Styer,E.,Peterson,G.:共享内存对称互斥的紧边界。摘自:第八届ACM分布式计算原理年度研讨会论文集,第177-191页。ACM,1989年8月
[37] Taubenfeld,G.:黑白烘焙算法和相关的有界空间、自适应、局部旋转和FIFO算法。摘自:《第18届分布式计算国际研讨会论文集》,计算机科学讲稿第3274卷,第56-70页。施普林格,柏林(2004)·Zbl 1110.68546号
[38] 图兰·P:关于图论中的一个极值问题(匈牙利语)。材料Fiz。拉普克48、436–452(1941)
[39] Yang J.-H.,Anderson J.:一种快速、可扩展的互斥算法。分布计算。9(1), 51–60 (1995) ·doi:10.1007/BF01784242
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不声称其完整性或完全匹配。