金永吉;詹姆斯·安德森。 自适应互斥的时间复杂度下限。 (英语) Zbl 1291.68178号 分布计算。 24,第6期,271-297(2012). 摘要:我们考虑了自适应互斥算法的时间复杂性,其中“时间”是通过计算每次关键部分访问所需的远程内存引用数来衡量的。对于支持(仅)读、写和比较原语(例如\(compare\)-(和\)-\(swap \))的系统,我们建立了一个下限,它排除了具有\(o(k)\)时间复杂性的确定性算法,其中\(k)是点争用。特别是,不可能基于此类原语构建确定性的(O(\log k))算法。 引用于2文件 理学硕士: 65年第68季度 算法和问题复杂性分析 2017年第68季度 问题的计算难度(下限、完备性、近似难度等) 64岁以下 分布式系统 关键词:自适应互斥;算法下限;远程内存引用;共享内存系统 PDF格式BibTeX公司 XML格式引用 \textit{Y.-J.Kim}和\textit{J.H.Anderson},分布式计算。24,第6号,271--297(2012;Zbl 1291.68178) 全文: 内政部 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不声称其完整性或完全匹配。