戈卡纳·沙尔马;布希，科斯塔斯 平衡事务性内存工作负载的竞争分析。 （英语） Zbl 1236.68018号 算法 63，编号1-2，296-322（2012）. 摘要：我们在平衡工作负载的上下文中考虑事务性内存争用管理，其中，如果事务正在写入，那么它执行的写入操作数是其总读取和写入数的固定分数。通过介绍和分析两种新的多项式时间竞争管理算法，我们从最坏情况的角度探讨了平衡工作负载中竞争管理的理论性能边界。通过与最佳离线竞争管理算法进行比较，我们分析了竞争管理算法的性能，以提供竞争比率。第一种算法偷窥狂是\（O（\sqrt{s}）\）-竞争，其中\（s\）是共享资源的数量。该算法依赖于在执行的每个时间步显式地知道冲突图。第二种算法非屈光不正是\（O（\sqrt{s}\cdot\log n）\）-竞争，具有高概率，这只是一个\（O）（\log n）\）因子更差，但不需要冲突图的知识，其中\（n）是事务数。这两种算法都是贪婪的。我们还证明了偷窥狂是接近最优的，因为对于平衡事务调度问题，没有多项式时间争用管理算法比任何常数竞争的（O（（sqrt{s}）^{1-\varepsilon}）更好，除非是（mathsf{NP}\subseteq\textsf{ZPP}）。据我们所知，这些结果是对之前已知的最佳竞争比界限的显著改进。 引用于7文件 MSC公司： 64岁以下 分布式系统 68平方米 计算机系统环境下的性能评估、排队和调度 关键词：事务性存储器;争用管理;平衡的工作负载;事务调度;竞争比率;并发控制 软件：STM台架7;印章 PDF格式BibTeX公司 XML格式引用 \textit{G.Sharma}和\textit{C.Busch}，Algorithmica 63，No.1--2296--322（2012；Zbl 1236.68018） 全文： 内政部 arXiv公司 参考文献： [1] Ansari，M.，Kotselidis，C.，Lujan，M.，Kirkham，C.，Watson，I.：关于争用管理器在复杂事务内存基准测试中的性能。摘自：第八届并行与分布式计算国际研讨会（ISPDC）论文集，第83-90页。IEEE计算机协会，华盛顿（2009）。http://doi.ieecomputersociety.org/10.1109/ISPDC.2009.18 [2] Ansari，M.、Luján，M.，Kotselidis，C.、Jarvis，K.、Kirkham，C.和Watson，I.：Steal-on-abort：通过动态事务重新排序提高事务内存性能。摘自：Seznec，A.、Emer，J.、O'Boyle，M.和Martonosi，M.以及Ungerer，T.（编辑）《高性能嵌入式体系结构和编译器》。计算机科学课堂讲稿，第5409卷，第4-18页。施普林格，柏林（2009）。http://dx.doi.org/10.1007/978-3-540-92990-1_3 [3] Attiya，H.：事务性内存的固有复杂性及其解决方法。摘自：第29届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集，第1-5页。ACM，纽约（2010年）。http://doi.acm.org/10.1145/1835698.1835699 [4] Attiya，H.、Epstein，L.、Shachnai，H.和Tamir，T.：作为非洞察力调度问题的事务争用管理。《算法》57（1），44–61（2010）。http://dx.doi.org/10.1007/s00453-008-9195-x ·Zbl 1184.68118号 ·doi:10.1007/s00453-008-9195-x [5] Attiya，H.，Milani，A.：以读为主的工作负载的事务调度。收录：Abdelzaher，T.、Raynal，M.、Santoro，N.（编辑）《分布式系统原理》。计算机科学课堂讲稿，第5923卷，第3-17页。施普林格，柏林（2009）。http://dx.doi.org/10.1007/978-3642-10877-8_3 [6] Attiya，H.、Shachnai，H.和Tamir，T.：使用预处理进行本地标记和资源分配。SIAM J.计算。28(4), 1397–1414 (1999). http://dx.doi.org/10.1137/S0097539795285643 ·Zbl 0940.68035号 ·doi:10.1137/S0097539795285643 [7] Awerbuch，B.，Saks，M.：具有多项式响应时间的用餐哲学家算法。摘自：第31届计算机科学基础年度研讨会论文集，第一卷，第65-74页。IEEE计算机学会，华盛顿（1990年）。doi:10.1109/FSCS.1990.89525 [8] Baker，B.S.，Coffman，E.G.Jr.：互斥调度。西奥。计算。科学。162(2), 225–243 (1996). http://dx.doi.org/10.1016/0304-3975（96）00031-X·Zbl 0877.68007号 ·doi:10.1016/0304-3975（96）00031-X [9] Bodlaender，H.L.，Jansen，K.：图划分问题的限制，第一部分理论。计算。科学。148(1), 93–109 (1995). http://dx.doi.org/10.1016/0304-3975(95)00057-4 ·Zbl 0873.68158号 ·doi:10.1016/0304-3975（95）00057-4 [10] Cao Minh，C.、Chung，J.、Kozyrakis，C.、Olukotun，K.：STAMP：斯坦福大学用于多处理的事务应用程序。载：《IEEE国际工作负载表征研讨会论文集》，第35-46页。IEEE，纽约（2008）。doi:10.1109/IISWC.4636089 [11] Dice，D.，Shalev，O.，Shavit，N.：事务锁定ii。收录：Dolev，S.（编辑）《分布式计算》。计算机科学课堂讲稿，第4167卷，第194-208页。施普林格，柏林（2006）。http://dx.doi.org/10.1007/11864219_14 [12] Dolev，S.、Hendler，D.、Suissa，A.：CAR-STM：基于调度的软件事务内存冲突避免和解决。摘自：第27届ACM分布式计算原理研讨会论文集，第125-134页。ACM，纽约（2008）。http://doi.acm.org/10.1145/1400751.1400769 [13] Dragojević，A.，Guerraoui，R.，Singh，A.V.，Sing，V.：预防与治疗：避免事务性记忆中的冲突。摘自：第28届ACM分布式计算原理研讨会论文集，第7-16页。ACM，纽约（2009年）。http://doi.acm.org/10.1145/1582716.1582725 [14] Even，G.，Hallórsson，M.M.，Kaplan，L.，Ron，D.：冲突调度：在线和离线算法。J.Sched。12(2), 199–224 (2009). http://dx.doi.org/10.1007/s10951-008-0089-1 ·Zbl 1170.90390号 ·doi:10.1007/s10951-008-0089-1 [15] Feige，U.，Kilian，J.：零知识和色数。J.计算。系统。科学。57(2), 187–199 (1998). doi:10.1006/jcss.1998.1587·Zbl 0921.68089号 ·doi:10.1006/jcss.1998.1587 [16] Felber，P.，Fetzer，C.，Riegel，T.：基于文字的软件事务性内存的动态性能调优。摘自：第13届ACM SIGPLAN并行编程原理与实践研讨会（PPoPP）会议记录，第237–246页。ACM，纽约（2008）。http://doi.acm.org/10.1145/1345206.1345241 [17] Garey，M.R.，Grahams，R.L.：具有资源约束的多处理器调度的边界。SIAM J.计算。4(2), 187–200 (1975). http://dx.doi.org/10.1137/0204015 ·Zbl 0333.68041号 ·doi:10.1137/0204015 [18] Garey，M.R.，Johnson，D.S.：计算机与难治性；NP-完备性理论指南。弗里曼，纽约（1990年）·Zbl 0411.68039号 [19] Guerraoui，R.、Herlihy，M.、Kapalka，M.、Pochon，B.：软件事务内存中的健壮争用管理。在：OOPSLA 2005面向对象语言同步与并发研讨会论文集（SCOOL）（2005）。http://infoscience.epfl.ch/getfile.py？recid=64479&模式=最佳·Zbl 1314.68088号 [20] Guerraoui，R.，Herlihy，M.，Pochon，B.：多态竞争管理。收录：Fraignaud，P.（编辑）《分布式计算》。计算机科学课堂讲稿，第3724卷，第303–323页。施普林格，柏林（2005）。http://dx.doi.org/10.1007/11561927_23 ·Zbl 1314.68088号 [21] Guerraoui，R.，Herlihy，M.，Pochon，B.：走向事务争用管理器理论。摘自：第24届ACM分布式计算原理研讨会论文集，第258-264页。ACM，纽约（2005年）。http://doi.acm.org/10.1145/1073814.1073863 ·Zbl 1314.68088号 [22] Guerraoui，R.，Kapalka，M.，Vitek，J.：Stmbench7：软件事务内存的基准。SIGOPS操作。系统。第41版（3），315–324（2007）。http://doi.acm.org/10.1145/1272998.1273029 ·数字对象标识代码：10.1145/1272998.1273029 [23] Halldórsson，M.M.、Kortsarz，G.、Proskurowski，A.、Salman，R.、Shachnai，H.、Telle，J.A.：多色树。Inf.计算。180(2), 113–129 (2003). http://dx.doi.org/10.1016/S0890-5401(02)00032-9 ·Zbl 1054.68016号 ·doi:10.1016/S0890-5401（02）00032-9 [24] Harris，T.，Fraser，K.：轻量级事务的语言支持。ACM SIGPLAN非。38(11), 388–402 (2003). http://doi.acm.org/10.1145/949343.949340 ·数字对象标识代码：10.1145/949343.949340 [25] Harris，T.、Marlow，S.、Jones，S.P.、Herlihy，M.：可组合内存事务。Commun公司。ACM 51（8），91–100（2008）。http://doi.acm.org/10.1145/1378704.1378725 ·数字对象标识代码：10.1145/1378704.1378725 [26] Hasenfratz，D.，Schneider，J.，Wattenhofer，R.：事务性内存：如何以简单和分布式的方式执行负载自适应。摘自：《2010年高性能计算与仿真国际会议论文集》，第163-170页。IEEE，华盛顿（2010）。doi:10.1109/HPCS.5547141。 [27] Herlihy，M.，Luchangco，V.，Moir，M.：无障碍同步：以双端队列为例。摘自：《第23届分布式计算系统国际会议论文集》，第522-529页。IEEE计算机协会，华盛顿（2003）。doi:10.1010/ICDCS.2003.1203503 [28] Herlihy，M.，Luchangco，V.，Moir，M.，Scherer，W.N.III：用于动态大小数据结构的软件事务存储器。摘自：第22届ACM分布式计算原理研讨会论文集，第92-101页。ACM，纽约（2003年）。http://doi.acm.org/10.1145/872035.872048 [29] Herlihy，M.，Moss，J.E.B.：事务内存：无锁数据结构的架构支持。SIGARCH计算。阿基特。新闻21（2），289-300（1993）。http://doi.acm.org/10.1145/173682.165164 ·数字对象标识代码：10.1145/173682.165164 [30] Hochbaum，D.S.（编辑）：Np-Hard问题的近似算法。PWS，波士顿（1997）·Zbl 1368.68010号 [31] Irani，S.，Leung，V.：冲突调度及其在交通信号控制中的应用。摘自：第七届ACM-SIAM离散算法（SODA）年会论文集，第85-94页。费城工业和应用数学学会（1996年）。http://doi.acm.org/10.1145/313852.313892 ·Zbl 0845.90072号 [32] Khot，S.：改进的maxclique、色数和近似图着色的不可逼近性结果。收录于：第42届IEEE计算机科学基础研讨会（FOCS）论文集，第600-609页。IEEE计算机协会，华盛顿（2001）。doi:10.1109/SFCS.2001.959936 [33] Marathe，V.J.，Spear，M.F.，Heriot，C.，Acharya，A.，Eisenstat，D.，Scherer，W.N.III，Scott，M.L.：降低软件事务性内存的开销。罗切斯特大学计算机科学系技术代表TR 893（2006）。http://www.cs.rochester.edu/u/scott/papers/2006_TR893_RSTM.pdf [34] Motwani，R.、Phillips，S.、Torn，E.：非常规调度。西奥。计算。科学。130(1), 17–47 (1994). doi:10.1016/0304-3975（94）90151-1·Zbl 0820.90056号 ·doi:10.1016/0304-3975（94）90151-1 [35] Pugh，W.：跳过列表：平衡树的概率替代方法。Commun公司。ACM 33（6），668–676（1990）。http://doi.acm.org/10.1145/78973.78977 ·数字对象标识代码：10.1145/78973.78977 [36] Ramadan，H.E.，Rossbach，C.J.，Porter，D.E.，Hofmann，O.S.，Bhandari，A.，Witchel，E.：Metatm/txlinux：操作系统的事务性内存。SIGARCH计算。阿基特。新闻35（2），92–103（2007）。http://doi.acm.org/10.1145/1273440.1250675 ·数字对象标识代码：10.1145/1273440.1250675 [37] Scherer，W.N.III，Scott，M.L.：动态软件事务内存的高级争用管理。摘自：第24届ACM分布式计算原理研讨会论文集，第240-248页。ACM，纽约（2005年）。http://doi.acm.org/10.1145/1073814.1073861 [38] Schneider，J.，Wattenhofer，R.：竞争管理算法的界限。In：Dong，Y.，Du，D.Z.，Ibarra，O.（编辑）算法与计算。《计算机科学讲义》，第5878卷，第441–451页。施普林格，柏林（2009）。http://dx.doi.org/10.1007/978-3642-10631-6_46 ·Zbl 1273.68070号 [39] Sharma，G.和Busch，C.：平衡事务性内存工作负载的竞争分析。收录于：Lu，C.，Masuzawa，T.，Mosbah，M.（编辑）《分布式系统原理》。计算机科学课堂讲稿，第6490卷，第348-363页。施普林格，柏林（2010）。http://dx.doi.org/10.1007/978-3-642-17653-1_26 [40] Sharma，G.，Busch，C.：关于基于窗口的事务内存争用管理器的性能。摘自：第13届IPDPS并行和分布式计算模型（APDCM）进展研讨会论文集，第554-563页。IEEE计算机协会，华盛顿（2011年）。doi:10.1109/IPDPS.2011.207 [41] Sharma，G.、Estrade，B.、Busch，C.：基于窗口的事务性内存贪婪争用管理。收录：Lynch，N.、Shvartsman，A.（编辑）《分布式计算》。计算机科学课堂讲稿，第6343卷，第64-78页。施普林格，柏林（2010）。http://dx.doi.org/10.1007/978-3642-15763-9_7 ·Zbl 1290.68032号 [42] Shavit，N.，Touitou，D.：软件事务性内存。分布计算。10(2), 99–116 (1997). http://dx.doi.org/10.1007/s004460050028 ·Zbl 1373.68178号 ·doi:10.1007/s004460050028 [43] Yoo，R.M.，Lee，H.H.S.：事务性内存系统的自适应事务调度。摘自：第20届算法与架构并行性年度研讨会论文集，第169-178页。ACM，纽约（2008）。http://doi.acm.org/10.1145/1378533.1378564 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。