Dan Alistarh;詹姆斯·阿斯彭斯;克伦·希尔审查员;塞斯·吉尔伯特;拉希德·格拉乌伊 异步重命名的严格限制。 （英语） Zbl 1295.68118号 J.ACM公司 第61号第3条第18条第51页（2014年）. 引用于2文件 理学硕士： 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 68米15 网络和计算机系统的可靠性、测试和容错 68第05页 数据结构 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68瓦40 算法分析 关键词：分布式计算;并发数据结构;下限;重命名;共享内存 PDF格式BibTeX公司 XML格式引用 \textit{D.Alistarh}et al.，J.ACM 61，No.3，Article No.18，51 p.（2014；Zbl 1295.68118） 全文： 内政部 链接 参考文献： [1] Yehuda Afek、Hagit Attiya、Danny Dolev、Eli Gafni、Michael Merritt和Nir Shavit。1993.共享内存的原子快照。美国临床医学杂志40、4、873–890·Zbl 0783.68029号 ·数字对象标识代码：10.1145/153724.153741 [2] Yehuda Afek、Hagit Attiya、Arie Fouren、Gideon Stupp和Dan Touitou。1999年。长期重命名使其具有适应性。在第18届ACM分布式计算原理研讨会（PODC）的会议记录中。美国医学会，91–103。DOI（操作界面）：http://dx.doi.org/10.1145/301308.301335 ·doi:10.1145/301308.301335 [3] Yehuda Afek、Eli Gafni、John Tromp和Paul M.B.Vitá；纽约。1992年，无需等待测试和设置。第六届分布式算法国际研讨会论文集（扩展摘要）。斯普林格·弗拉格，85-94。 [4] Yehuda Afek和Michael Merritt。1999.快速、无等待（2k-1）-重命名。在第18届ACM分布式计算原理研讨会（PODC）的会议记录中。ACM，105–112。DOI（操作界面）：http://dx.doi.org/10.1145/301308.301338 ·数字对象标识代码：10.1145/301308.301338 [5] Miklos Ajtai，Janos Komló；s、 以及Endre Szemeré；第。1983年，AnO（nlogn）分类网络，第15届ACM计算理论研讨会论文集。ACM，1-9。DOI（操作界面）：http://dx.doi.org/10.1145/800061.808726 ·数字对象标识代码：10.1145/800061.808726 [6] Dan Alistarh和James Aspnes。2011年，针对弱小对手进行亚算术测试。第25届分布式计算国际会议（DISC）论文集。施普林格·弗拉格，97-109·Zbl 1302.68310号 [7] Dan Alistarh、James Aspnes、Keren Censor-Hillel、Seth Gilbert和Morteza Zadimoghaddam。2011年a。最佳时间自适应强重命名，应用于计数。第30届ACM分布式计算原理研讨会论文集。美国医学会，239-248·Zbl 1321.68454号 [8] Dan Alistarh、James Aspnes、Seth Gilbert和Rachid Guerraoui。2011年b。重命名的复杂性。第52届IEEE计算机科学基础研讨会（FOCS）论文集。IEEE，718–727·Zbl 1292.68151号 [9] Dan Alistarh、Hagit Attiya、Seth Gilbert、Andrei Giurgiu和Rachid Guerraoui。2010年，快速随机测试集和重命名。第24届分布式计算国际会议（DISC）论文集。斯普林格·弗拉格，94-108。http://portal.acm.org/citation.cfm?id等于；1888781.1888794 ·兹比尔1302.68311 [10] Dan Alistarh、Hagit Attiya、Rachid Guerraoui和Corentin Travers。2012年，提前更名（O（logf）轮或更短轮）。第19届结构信息与通信复杂性国际学术讨论会会议记录（SIROCCO’12）。斯普林格·弗拉格。 [11] 詹姆斯·安德森和马克·莫尔。1997年。使用本地旋转k-排除算法改进无等待对象实现。分布计算。11, 1, 1–20. DOI（操作界面）：http://dx.doi.org/10.1007/s004460050039 ·doi:10.1007/s004460050039 [12] James Aspnes、Hagit Attiya和Keren Censor。2012年a。来自单调电路的多对数并发数据结构。美国临床医学杂志59，1，2:1–2:24·兹比尔1281.68086 [13] 詹姆斯·阿斯彭斯（James Aspnes）、哈吉特·阿提亚（Hagit Attiya）、科伦·塞索尔·希尔（Keren Censor-Hillel）和费斯·艾伦（Faith Ellen）。2012年b。快于最佳快照（暂时）：初步版本。在ACM分布式计算原理研讨会（PODC’12）的会议记录中。ACM，纽约，375-384。DOI（操作界面）：http://dx.doi.org/10.1145/2332432.2332507 ·Zbl 1301.68086号 ·数字对象标识代码：10.1145/2332432.2332507 [14] 詹姆斯·阿斯彭斯（James Aspnes）、莫里斯·赫利希（Maurice Herlihy）和尼尔·沙维特（Nir Shavit）。1994年，计算网络。美国临床医学杂志41、5、1020–1048·Zbl 0813.68050号 ·数字对象标识代码：10.1145/185675.185815 [15] Hagit Attiya、Amotz Bar-Noy、Danny Dolev、David Peleg和Ruediger Reischuk。1990.在异步环境中重命名。美国临床医学杂志37、3、524–548·Zbl 0699.68034号 ·doi:10.1145/79147.79158 [16] Hagit Attiya和Vita Bortnikov。2002.适应性和高效互斥。分布计算。15, 3, 177–189. ·Zbl 1314.68366号 ·doi:10.1007/s004460100068 [17] 哈吉特·阿提亚和塔利·杰拉西·辛德尔。2001.存在时间不确定性和失败的决策问题的时限。J.帕拉尔。分布计算。61, 8, 1096–1109. ·Zbl 0988.68172号 ·doi:10.1006/jpdc.2001.1730 [18] Hagit Attiya和Arie Fouren。2001.格协议和重命名的自适应高效算法。SIAM J.计算。31, 2, 642–664. DOI（操作界面）：http://dx.doi.org/10.1137/S0097539700366000 ·Zbl 0994.68044号 ·doi:10.1137/S0097539700366000 [19] 哈吉特·阿提亚和丹尼·亨德勒。2010.使用k-CAS实施的时间和空间下限。IEEE传输。帕拉尔。分销系统。21, 2, 162–173. DOI（操作界面）：http://dx.doi.org/10.109/TPDS.2009.60 ·兹比尔1171.68363 ·doi:10.1109/TPDS.2009.60 [20] Hagit Attiya、Danny Hendler和Philipp Woelfel。2008年，由于互斥和其他问题，RMR下限很窄。在第40届美国计算机学会计算理论年度研讨会（STOC）上发表。美国医学会，217–226。DOI（操作界面）：http://dx.doi.org/10.1145/1374376.1374410 ·Zbl 1231.68136号 ·数字对象标识代码：10.1145/1374376.1374410 [21] 哈吉特·阿提亚（Hagit Attiya）、莫里斯·赫利希（Maurice Herlihy）和奥菲尔·拉赫曼（Ophir Rachman）。1995.使用晶格协议的原子快照。分布计算。8, 3, 121–132. DOI（操作界面）：http://dx.doi.org/10.1007/BF02242714 ·doi:10.1007/BF02242714 [22] Hagit Attiya、Fabian Kuhn、C.Greg Plaxton、Mirjam Wattenhofer和Roger Wattenhoffer。2006.使用随机化的高效自适应采集。分布式计算18、3、179–188。DOI（操作界面）：http://dx.doi.org/10.1007/s00446-005-0143-6 ·Zbl 1264.68212号 ·文件编号：10.1007/s00446-005-0143-6 [23] Hagit Attiya和Jennifer Welch。1998年，分布式计算。基础、模拟和高级主题。麦格劳-希尔·Zbl 0910.68077号 [24] 阿莫茨·巴诺伊和丹尼·多列夫。1989.异步分布式环境中的共享内存与消息传递。在第八届ACM分布式计算原理研讨会（PODC）的会议记录中。美国医学会，307–318。DOI（操作界面）：http://dx.doi.org/10.1145/72981.73003 ·Zbl 0766.68003号 ·doi:10.1145/72981.73003 [25] 迈克尔·本德和赛斯·吉尔伯特。2011.与O的互斥（log<；sup>；2<；/sup>；logn）摊销工作。第52届IEEE计算机科学基础研讨会（FOCS）会议记录。IEEE，728–737·Zbl 1292.68106号 [26] 伊丽莎白·博罗夫斯基（Elizabeth Borowsky）和伊莱·加夫尼（Eli Gafni）。1993年。即时原子快照和快速重命名。第十二届ACM分布式计算原理研讨会论文集。ACM，41–51岁。DOI（操作界面）：http://dx.doi.org/10.1145/1164051.164056 ·Zbl 1373.68078号 ·数字对象标识代码：10.1145/164051.164056 [27] Alex Brodsky、Faith Ellen和Philipp Woelfel。2006.用于长期重命名的完全自适应算法。第20届分布式计算国际研讨会论文集。413–427. ·兹比尔1155.68325 [28] 詹姆斯·伯恩斯和加里·彼得森。1989年选择的模糊性。PODC’89：第八届ACM分布式计算原理年会论文集。ACM，纽约，145-157。DOI（操作界面）：http://dx.doi.org/10.1145/72981.72991 ·数字对象标识代码：10.1145/72981.72991 [29] 阿曼多·卡斯塔；eda和Sergio Rajsbaum。2010.用于重命名的新组合拓扑边界：下限。分布计算。22, 5–6, 287–301. ·Zbl 1231.68068号 [30] 阿曼多·卡斯塔；eda和Sergio Rajsbaum。2012.用于重命名的新组合拓扑边界：上限。美国临床医学杂志59，1，3·Zbl 1281.68159号 [31] 索马·乔杜里（Soma Chaudhuri）、莫里斯·赫利希（Maurice Herlihy）和马克·塔特尔（Mark R.Tuttle）。1999.消息传递系统中的无等待实现。理论。计算。科学。220, 1, 211–245. ·兹比尔0916.68065 ·doi:10.1016/S0304-3975（98）00242-4 [32] Bogdan S.Chlebus和Dariusz R.Kowalski。2008.异步独选。2008年PODC：第27届ACM分布式计算原理研讨会论文集。ACM，纽约，375-384。DOI（操作界面）：网址：http://dx.doi.org/10.1145/14007511.1400801 ·Zbl 1301.68125号 ·doi:10.1145/1400751.1400801 [33] 斯蒂芬·库克、辛西娅·德沃克和Rü；diger Reischuk公司。1986.没有同时写入的并行随机访问机器的上下限。SIAM J.计算。15, 1, 87–97. ·Zbl 0591.68049号 [34] 托马斯·科尔曼（Thomas H.Cormen）、查尔斯·雷瑟森（Charles E.Leiserson）、罗纳德·里维斯特（Ronald L.Rivest）和克利福德·斯坦（Clifford Stein）。2009年，《算法导论》第三版，麻省理工学院出版社·Zbl 1187.68679号 [35] Edgser W.Dijkstra。1965.并发编程控制问题的解决。Commun公司。顶点8，9569。DOI（操作界面）：http://dx.doi.org/10.1145/365559.365617 ·数字对象标识代码：10.1145/365559.365617 [36] 韦恩·埃伯利、丽莎·海姆和乔兰塔·瓦佩乔夫斯卡·格鲁卡。1998.使用寿命长、速度快、无等待的重命名，具有最佳名称空间和高吞吐量。DISC会议记录。149–160. [37] 阿兰·大卫·费科特（Alan David Fekete）。1990.近似一致的渐近最优算法。分布计算。4, 9–29. ·doi:10.1007/BF01783662 [38] 费斯·埃伦·菲奇、丹尼·亨德勒和尼尔·沙维特。2005.并发对象的实际实现的线性下限。第46届IEEE计算机科学基础研讨会（FOCS）论文集。IEEE，165–173·Zbl 1266.68116号 [39] 埃利·加夫尼。2009年，BG扩展模拟和可靠性表征。第41届ACM计算机理论研讨会论文集。ACM，85–92·Zbl 1304.68133号 [40] Wojciech Golab、Lisa Higham和Philipp Woelfel。2011.线性化实现不足以进行随机分布式计算。第43届ACM计算机理论研讨会（STOC）会议记录。美国医学会，373–382。DOI（操作界面）：http://dx.doi.org/10.1145/199336.1993687 ·Zbl 1288.68027号 ·doi:10.1145/1993636.1993687 [41] Wojciech M.Golab、Vassos Hadzilacos、Danny Hendler和Philipp Woelfel。2007.使用读写操作的CAS和其他同步原语的Constant-RMR实现。在第26届ACM分布式计算原理研讨会（PODC）的会议记录中。3–12. ·Zbl 1283.68095号 [42] 杨在宪（Jae-heon Yang）和詹姆斯·安德森（James H.Anderson）。1995.一种快速、可扩展的互斥算法。分布计算。9, 51–60. ·doi:10.1007/BF01784242 [43] 莫里斯·赫利希（Maurice Herlihy）。1991.等待免费同步。ACM事务处理。掠夺。语言系统。13, 1, 123–149. ·Zbl 1314.68380号 ·数字对象标识代码：10.1145/114005.102808 [44] 莫里斯·赫利希和尼尔·沙维特。1999.异步可计算性的拓扑结构。美国医学会期刊46、6、858–923·Zbl 1161.68469号 ·数字对象标识代码：10.1145/331524.331529 [45] 莫里斯·赫利希（Maurice Herlihy）和珍妮特·温格（Jeannette M.Wing）。线性化：并发对象的正确条件。ACM事务处理。掠夺。语言系统。12, 3, 463–492. ·数字对象标识代码：10.1145/78969.78972 [46] 普拉萨德·贾扬蒂（Prasad Jayanti）。1998.一些共享对象的随机实现的时间复杂性下限。第17届ACM分布式计算原理研讨会论文集。ACM，201-210年。DOI（操作界面）：http://dx.doi.org/10.1145/277697.277735 ·Zbl 1333.68124号 ·数字对象标识代码：10.1145/277697.277735 [47] Prasad Jayanti、King Tan和Sam Toueg。2000.非阻塞实现的时间和空间下限。SIAM J.计算。30, 2, 438–456. ·Zbl 0968.68064号 ·doi:10.1137/S0097539797317299 [48] 金永吉（Yong-Jik Kim）和詹姆斯·安德森（James H.Anderson）。2012.自适应互斥的时间复杂度下限。分布计算。24, 6, 271–297. ·兹比尔1291.68178 ·doi:10.1007/s00446-011-0152-6 [49] 唐纳德·科努特（Donald E.Knuth）。1998年，《计算机编程的艺术》，第3卷：分类和搜索第2版。艾迪生·卫斯理·朗曼出版公司，加利福尼亚州红木市。 [50] 谢·库滕（Shay Kutten）、拉斐尔·奥斯特罗夫斯基（Rafail Ostrovsky）和波阿斯·帕特·沙米尔（Boaz Patt-Shamir）。2000.Las-Vegas处理器身份问题（如何以及何时保持唯一）。J.阿尔戈。37, 2, 468–494. ·Zbl 0964.68001号 ·doi:10.1006/jagm.2000.1110 [51] 莱斯利·兰波特。1987。快速互斥算法。ACM事务处理。计算。系统。5, 1, 1–11. DOI（操作界面）：http://dx.doi.org/10.1145/7351.7352 ·doi:10.1145/7351.7352 [52] 理查德·利普顿（Richard J.Lipton）和阿文·帕克（Arvin Park），1990年。处理器标识问题。信息处理。莱特。36, 2, 91–94. DOI（操作界面）：http://dx.doi.org/10.1016/0020-0190(90)90103-5 ·Zbl 0704.68007号 ·doi:10.1016/0020-0190（90）90103-5 [53] 南希·A·林奇。1996年，分布式算法。摩根-考夫曼·Zbl 0877.68061号 [54] 马克·莫尔和詹姆斯·安德森。1995.快速、长寿命重命名的无等待算法。科学。计算。程序。25, 1, 1–39. DOI（操作界面）：http://dx.doi.org/10.1016/0167-6423（95）00009-H·Zbl 0838.68050号 ·doi:10.1016/0167-6423（95）00009-H [55] 马克·莫尔和胡安·加雷。1996.快速、长寿命的重命名得到了改进和简化。第十届分布式算法国际研讨会（WDAG）论文集。施普林格·弗拉格，287–303。 [56] 迈克尔·奥肯。2010.同步消息传递模型中的强订单预留重命名。理论。计算。科学。411, 40–42, 3787–3794. ·Zbl 1206.68355号 ·doi:10.1016/j.tcs.2010.06.001 [57] Alessandro Panconesi、Marina Papatriatafilou、Philippas Tsigas和Paul M.B.Vitá；纽约。1998.使用无等待共享变量的随机命名。分布计算。11, 3, 113–124. [58] 马歇尔·皮斯（Marshall Pease）、罗伯特·肖斯塔克（Robert Shostak）和莱斯利·兰波特（Leslie Lamport）。1980.在存在缺陷的情况下达成协议。美国临床医学杂志27、2、228–234·Zbl 0434.68031号 ·doi:10.1145/322186.322188 [59] 约翰·特隆普和保罗·维特；纽约。2002年。随机两个过程的免费等待测试和设置。分布计算。15, 3, 127–135. DOI（操作界面）：http://dx.doi.org/10.1007/s004460200071 ·doi:10.1007/s004460200071 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。