阿曼多·卡斯塔涅达;达米安·伊姆斯;塞尔吉奥·拉杰斯鲍姆;米歇尔·雷纳尔 广义对称破缺任务与并发对象中的不确定性。 （英语） Zbl 1338.68020号 SIAM J.计算。 45，第2号，379-414（2016）. 概要：并发系统中的进程需要使用底层共享内存或消息传递系统进行协调，以解决一致性任务，例如共识或集合协议。然而，通常需要协调来打破最初处于相同状态的流程的对称性，例如，独占访问共享资源、获得不同的名称或选举领导。本文介绍并研究了广义对称破缺（GSB）任务族，包括选举、重命名和许多其他对称破缺任务，并研究了对象求解任务的不确定性如何影响GSB任务的可计算性。目的是加深对对称破缺任务及其与协议任务的关系的理解，研究对象求解任务的不确定性，以及这些属性如何影响对称破缺工作的可计算能力。在描述GSB任务系列的各种结果中显示了完美重命名，即\（n，n）\）-重命名，对于所有GSB任务都是通用的。本文还表明，存在一大类GSB任务，其中包括完全重命名，它严格地比（n，n-1）-集协议更强大。其中一些任务相当于完美重命名，而其他任务则严格介于完美重命名和（n，n+1）重命名之间。证明了重命名和集合一致性的比较结果，并且本文的结果补充了已知的结果。本文对集合一致性与对称性破缺之间的关系进行了新的探讨。这些证明基于组合拓扑技术和关于可与共享对象关联的不同不确定性概念的新思想。 引用于2文件 MSC公司： 64岁以下 分布式系统 关键词：协议;异步读/写模型;协调;并发对象;碰撞故障;决策任务;分布式可计算性;不确定性;问题层次结构;重命名;设定协议;对称性破坏;等待自由 PDF格式BibTeX公司 XML格式引用 \textit{A.Castañeda}等人，SIAM J.Compute。45，第2号，379--414（2016；Zbl 1338.68020） 全文： 内政部 参考文献： [1] Y.Afek、H.Attiya、D.D olev、E.Gafni、M.Merritt和N.Shavit，《共享内存的原子快照》，J.ACM，40（1993），第873-890页·Zbl 0783.68029号 [2] Y.Afek、E.Gafni和O.Lieber，{紧群在大小为（g）的群上重命名等价于（g）-共识}，载于第23届分布式计算国际研讨会（DISC'09）论文集，《计算讲义》。科学。5805，柏林施普林格出版社，2009年，第111-126页·Zbl 1261.68015号 [3] Y.Afek、I.Gamzu、I.Levy、M.Merritt和G.Taubenfeld，{\it Group renaming}，《第十二届分布式系统原理国际会议论文集》（OPODIS’08），《计算讲义》。科学。5401，柏林施普林格出版社，2008年，第58-72页。 [4] Y.Afek、E.Gafni、S.Rajsbaum、M.Raynal和C.Travers，《（k）-同时共识问题》，分布式计算，22（2010），第185-195页·Zbl 1267.68054号 [5] D.Angluin，{处理器网络中的局部和全局属性}，第12届ACM计算理论研讨会论文集（STOC'80），ACM，纽约，1980年，第82-93页。 [6] H.Attiya、A.Bar-Noy、D.Dolev、D.Koller、D.Peleg和R.Reischuk，{异步环境中的可实现案例（扩展摘要）}，第28届IEEE计算机科学基础年会论文集（FOCS’87），IEEE，华盛顿特区，1987年，第337-346页。 [7] H.Attiya、A.Bar-Noy、D.Dolev、D.Peleg和R.Reischuck，《异步环境中的重命名》，J.ACM，37（1990），第524-548页·兹比尔0699.68034 [8] H.Attiya、A.Bar-Noy和D.Dolev，《在消息传递系统中稳健地共享内存》，J.ACM，42（1995），第124-142页·Zbl 0886.68018号 [9] H.Attiya、A.Gorbach和S.Moran，《完全匿名异步共享内存系统中的计算》，Inform。和计算。，173（2002），第162-183页·Zbl 1009.68012号 [10] H.Attiya和S.Rajsbaum，《无等待可解任务的组合结构》，SIAM J.Comput。，31（2002），第1286-1313页，http://dx.doi.org/10.1137/S0097539797330689doi:10.1137/S0097539797930689·Zbl 1015.68080号 [11] H.Attiya和A.Paz，{基于计数的重命名和集合一致性不可能性证明}，第26届分布式计算国际研讨会论文集（DISC’12），计算讲义。科学。7611，柏林施普林格出版社，2012年，第356-370页·Zbl 1377.68031号 [12] H.Attiya和J.Welch，《分布式计算：基础、模拟和高级主题》，第2版，Wiley Interscience，纽约，2004年·Zbl 0910.68077号 [13] M.Armoni和M.Ben-Ari，《不确定性的概念：其发展及其对教学的影响》，ACM SIGCSE公报。，41（2009），第141-160页。 [14] E.Borowsky、E.Gafni、N.L.Lynch和S.Rajsbaum，《BG分布式仿真算法》，分布式计算，14（2001），第127-146页·Zbl 1448.68467号 [15] J.Burns，《异步过程系统中的对称性》，第22届IEEE计算机科学基础研讨会论文集（FOCS’81），IEEE，华盛顿特区，1981年，第169-174页。 [16] E.Borowsky和E.Gafni，{t弹性异步计算的广义FLP不可能性结果}，第25届ACM计算理论研讨会论文集（STOC'93），ACM，纽约，1993年，第91-100页·Zbl 1310.68078号 [17] A.Castan͂eda，《弱对称破缺和重命名的无等待可解性研究》，博士论文，Posgrado en Ciencia e IngenieriéA de la Computacioén，墨西哥联合国援助团，2010年。 [18] A.Castan͂eda和S.Rajsbaum，{新组合拓扑重命名的上下限：下限}，分布式计算，22（2010），第287-301页·Zbl 1231.68068号 [19] A.Castan͂eda和S.Rajsbaum，{新组合拓扑重命名的上下限：上界}，J.ACM。，59 (2012), 3. ·Zbl 1281.68159号 [20] A.Castan͂eda、S.Rajsbaum和M.Raynal，《共享内存系统中的重命名问题：简介》，计算。科学。第5版（2011年），第229-251页·Zbl 1298.68049号 [21] A.Castan͂eda、S.Rajsbaum和M.Raynal，{通过对称破缺达成协议：弱次连续任务的结构}，第27届IEEE并行与分布式处理国际研讨会（IPDPS’13）论文集，IEEE，华盛顿特区，2013年，第1147-1158页。 [22] A.Castan͂eda、D.Imbs、S.Rajsbaum和M.Raynal，{it Renaming is weaker than set agreement but for perfective Renaming:A map of sub-consensistent tasks}，载于《第十届拉丁美洲理论信息学研讨会论文集》（拉丁语2012），《计算机课堂讲稿》。科学。7256，柏林施普林格出版社，2012年，第145-156页·Zbl 1353.68198号 [23] S.Chaudhuri，{\it更多选择允许更多错误：在完全异步系统中设置共识问题}，Inform。和计算。，105（1993），第132-158页·Zbl 0776.68016号 [24] S.Chaudhuri和P.Reiners，{使用Borowsky-Gafni模拟理解集合一致偏序（扩展抽象）}，《第十届分布式算法国际研讨会论文集》（WDAG'96），《计算讲义》。科学。1171年，柏林施普林格出版社，1996年，第362-379页。 [25] T.Chandra和S.Toueg，{可靠分布式系统的不可靠故障检测器}，J.ACM，43（1996），第225-267页·Zbl 0885.68021号 [26] E.W.Dijkstra，{\it并发编程控制问题的解决}，Commun。ACM，8（1965），569。 [27] D.Dolev、N.Lynch、S.Pinter、E.Stark和W.Weihl，《在断层存在的情况下达成近似协议》，J.ACM，33（1986），第499-516页·Zbl 0627.68027号 [28] Y.Dinitz、S.Moran和S.Rajsbaum，｛\it链和环中破坏和实现对称的比特复杂性｝，J.ACM，55（2008），3（32页）·Zbl 1326.68035号 [29] M.J.Fischer、N.A.Lynch和M.S.Paterson，《一个错误过程不可能达成分布式共识》，J.ACM，32（1985），第374-382页·Zbl 0629.68027号 [30] E.Gafni，{用（k）集合共识重命名：（n+k-1）槽}中的最优算法，《第十届分布式系统原理国际会议论文集》（OPODIS’06），《计算讲义》。科学。4305，施普林格，柏林，2006年，第36-44页。 [31] E.Gafni，《第12届分布式系统原理国际会议论文集》（OPODIS'08），《计算机讲义》。科学。5401，柏林施普林格出版社，2008年，第246-258页。 [32] E.Gafni和M.P.Herlihy，{零星解决零位排除任务}，《自动化、语言和编程学报》（ICALP 2014），《计算机课堂讲稿》。科学。8572，施普林格，柏林，2014年，第1-10页·Zbl 1409.68186号 [33] E.Gafni和P.Kuznetsov，{it Relating L-resility and wait-freedom via hitting sets}，《分布式计算与网络》，M.Aguilera，H.Yu，N.Vaidya，V.Srinivasan，and R.Choudhury，eds.，《计算讲义》。科学。6522，柏林施普林格出版社，2011年，第191-202页。 [34] E.Gafni和P.Kuznetsov，{\it On-set consensus numbers}，分布式计算，24（2011），第149-163页·Zbl 1231.68075号 [35] E.Gafni和S.Rajsbaum，《音乐长椅》，摘自《第19届分布式计算国际研讨会论文集》（DISC'05），《计算讲义》。科学。3724，柏林施普林格出版社，2005年，第63-77页·Zbl 1171.68373号 [36] E.Gafni和S.Rajsbaum，{\it Distributed programming with tasks}，《第十届分布式系统原理国际会议论文集》（OPODIS’10），《计算讲义》。科学。6490，柏林施普林格出版社，2010年，第205-218页。 [37] E.Gafni、S.Rajsbaum和M.Herlihy，{it Subconsensus tasks:重命名弱于集合协议}，《第20届分布式计算国际研讨会论文集》（DISC’06），《计算讲义》。科学。4167，施普林格，柏林，2006年，第329-338页·Zbl 1155.68329号 [38] E.Gafni、S.Rajsbaum、M.Raynal和C.Travers，{委员会决策问题}，《拉丁美洲理论信息学研讨会论文集》（拉丁文'06），《计算机课堂讲稿》。科学。3887，柏林施普林格出版社，2006年，第502-514页·Zbl 1145.68354号 [39] E.Gafni、M.Raynal和C.Travers，{it Test&Set，自适应重命名和集合协议：异步可计算性导览}，摘自第26届IEEE可靠分布式系统国际研讨会论文集（SRDS 2007），IEEE，华盛顿特区，2007年，第93-103页。 [40] E.Gafni、M.Mosteífaoui、M.Raynal和C.Travers，{\it From adaptive renaming to set agreement}，理论。计算。科学。，410（2009），第1328-1335页·Zbl 1163.68371号 [41] M.P.Herlihy、D.Kozlov和S.Rajsbaum，《通过组合拓扑进行分布式计算》，Elsevier-Morgan Kaufmann，纽约，2013年·Zbl 1341.68004号 [42] M.P.Herlihy和S.Rajsbaum，{使用任意对象达成共识（初步版本）}，《第13届ACM分布式计算原理研讨会论文集》（PODC’94），ACM，纽约，1994年，第324-333页·Zbl 1373.68101号 [43] M.P.Herlihy和S.Rajsbaum，{分布式决策任务的可判定性}，第29届美国计算机学会计算理论研讨会论文集（STOC'97），美国计算机学会，纽约，1997年，第589-598页·Zbl 0963.68013号 [44] M.P.Herlihy和S.Rajsbaum，《无等待循环协议任务的分类》，Theoret。计算。科学。，291（2003），第55-77页·Zbl 1026.68011号 [45] M.P.Herlihy和S.Rajsbaum，《共享内存对手的拓扑结构》，《第29届美国计算机学会分布式计算原理研讨会论文集》，美国计算机学会，纽约，2010年，第105-113页·Zbl 1315.68028号 [46] M.P.Herlihy和N.Shavit，《异步可计算性的拓扑结构》，J.ACM，46（1999），第858-923页·Zbl 1161.68469号 [47] D.Imbs、S.Rajsbaum和M.Raynal，{对称破缺任务的宇宙}，第18届结构信息与通信复杂性国际学术讨论会（SIROCCO’11）会议记录，《计算机课堂讲稿》。科学。6796，柏林施普林格出版社，2011年，第66-77页。 [48] P.Jayanti和S.Toueg，{\it Wakeup under read/write atomicity}，《第四届分布式算法国际研讨会论文集》（WDAG'90），《计算讲义》。科学。486，柏林施普林格出版社，1990年，第277-288页。 [49] L.Lamport，《快速互斥算法》，ACM Trans。计算。系统。，5（1987），第1-11页。 [50] L.Lamport，《兼职议会》，ACM Trans。计算。系统。，16（1998），第133-169页。 [51] N.A.Lynch，{\it Distributed Algorithms}，Morgan Kaufmann，加利福尼亚州旧金山，1996年·Zbl 0877.68061号 [52] M.Moir和J.Anderson，{快速、长寿命重命名的无等待算法}，科学。计算。程序。，25（1995），第1-39页·Zbl 0838.68050号 [53] M.Mosteífaoui、M.Raynal和C.Travers，《探索Gafni的还原土地：从（Ω^k）到无等待自适应（（2p-⌈frac{p}{k}⌉）-通过（k\）-set agreement}重命名》，《第20届分布式计算国际研讨会论文集》（DISC'09），计算讲稿。科学。4167，施普林格，柏林，2006年，第1-15页·Zbl 1155.68337号 [54] S.Moran和Y.Wolfsthal，{异步完整网络的扩展不可能性结果}，Inform。过程。莱特。，26（1987），第141-151页。 [55] M.Raynal，《互斥算法》，麻省理工学院出版社，马萨诸塞州剑桥，1986年。 [56] M.Raynal，{容错异步分布式系统的通信和协议抽象}，Morgan&Claypool，2010年。 [57] M.Raynal，《并行编程：算法、原理和基础》，纽约施普林格出版社，2012年。 [58] E.Styer和G.L.Peterson，{共享内存对称互斥问题的紧边界}，《第八届ACM分布式计算原理研讨会论文集》（PODC’89），ACM，纽约，1989年，第177-192页。 [59] M.Saks和F.Zaharoglou，{无等待k-集协议是不可能的：公共知识的拓扑}，SIAM J.Compute。，29（2000），第1449-1483页，http://dx.doi.org/10.1137/S0097539796307698doi:10.1137/S0097539796307698·Zbl 0952.68159号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。