皮埃尔·弗拉吉奥德;塞尔吉奥·拉杰斯鲍姆;科伦蒂·特拉弗斯 无等待计算中的位置和可检查性。 （英语） Zbl 1311.68026号 分布计算。 26，第4期，223-242（2013）. 摘要：本文通过识别从单个过程到整个系统的各种计算规模之间的基本关系，研究了分布式任务规范所固有的局部性概念。标识了一个名为projection-closed的locality属性。此属性完全描述了无等待可检查的任务，其中任务\（T=（mathcal I，\mathcal O，\varDelta）\）被称为可检查，如果存在一个分布式算法，该算法给定\（s在\ mathcal I\中）和\（T在\ mathcal O\中），确定\（T是否在\ varDelta（s）中），即\（T）是否是\（s）的有效输出根据\（T\）的规范。投影封闭任务被证明是一类丰富的任务。特别是，确定一个投影-关闭任务是否是无等待可解的是不可判定的。通过考虑输出与每个过程的输入“看起来相同”的任务，可以确定一个更强的局部性概念：如果任务（T=（mathcal I，mathcal O，varDelta）是一个覆盖复数（mathcal-I），则称任务为局部保持任务。我们表明，这种拓扑性质产生了与经典不可能性结果不同的无等待可解性障碍。另一方面，保留位置的任务是投影关闭的，因此它们是无等待检查的。根据相对计算能力对局部保持任务进行了分类。这是通过定义输入复合体和位置保持任务的edgepath组的子组之间的对应关系来实现的。这种对应关系能够证明位置保持任务的层次结构的存在，每个层次结构在顶部包含通用任务（由通用覆盖复合体诱导），在底部包含琐碎的身份任务。 引用于10文件 MSC公司： 68米14 分布式系统 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：检查;地区;拓扑;无等待计算 PDF格式BibTeX公司 XML格式引用 \textit{P.Fraignaud}等人，《分布计算》。26，第4号，223--242（2013；Zbl 1311.68026） 全文： 内政部 哈尔 参考文献： [1] Angluin，D.：处理器网络中的局部和全局属性。摘自：第十二届ACM计算机理论研讨会（STOC），第82-93页（1980）·Zbl 0795.68131号 [2] Afek，Y.，Merritt，M.，Taubenfeld，G.，Touitou，D.：解开多目标操作。摘自：第16届ACM分布式计算原理研讨会（PODC），第111-120页（1997）·Zbl 1373.68066号 [3] Aspnes，J.：共享内存共识的模块化方法，以及概率写入模型的应用。分布计算。25(2), 179-188 (2012) ·Zbl 1259.68015号 ·doi:10.1007/s00446-011-0134-8 [4] Attiya，H.，Bar Noy，A.，Dolev，D.，Peleg，D.，Reischuck，R.：异步环境下的重命名。J.ACM 37（3），524-548（1990）·Zbl 0699.68034号 ·doi:10.1145/79147.79158 [5] Aspnes，J.和Ellen F.：采用承诺对象的严格界限。理论计算。系统。（2013年，待发布）。2013年2月6日在线发布。doi:10.1007/s00224-013-9448-1·兹比尔1314.68365 [6] Awerbuch，B.、Patt-Shamir，B.、Varghese，G.：通过局部检查和校正实现自我稳定。摘自：第32届IEEE计算机科学基础年会（FOCS），第268-277页（1991） [7] Awerbuch，B.Varghese，G.：分布式程序检查：构建自稳定分布式协议的范例。摘自：IEEE第32届计算机科学基础年会（FOCS），第258-267页（1991）·Zbl 0886.68046号 [8] Attiya，H.，Welch，J.：分布式计算：基础、模拟和高级主题。威利，纽约（2004）·Zbl 0910.68077号 [9] Barenboim，L.，Elkin，M.：多对数时间内的确定分布顶点着色。J.ACM（JACM）58（5），1-25（2011）·Zbl 1281.68164号 ·doi:10.1145/2027216.2027221 [10] Borowsky，E.，Gafni，E.：即时原子快照和快速重命名。摘自：第12届ACM分布式计算原理研讨会（PODC），第41-51页（1993）·Zbl 1373.68078号 [11] Borowsky，E.，Gafni，E.，Lynch，N.，Rajsbaum，S.：BG分布式仿真算法。分布计算。14(3), 127-146 (2001) ·Zbl 1448.68467号 ·doi:10.1007/PL00008933 [12] Blum，M.，Kannan，S.：《设计检查其工作的程序》，J.ACM 42（1），269-291（1995）·Zbl 0886.68046号 ·doi:10.1145/200836.200880 [13] Blum，M.、Luby，M.和Rubinfeld，R.：数值问题应用的自我测试/修正。J.计算。系统。科学。47(3), 549-595 (1993) ·Zbl 0795.68131号 ·doi:10.1016/0022-0000（93）90044-W [14] Chalopin，J.、Godard，E.、Métiver，Y.：匿名网络中的本地终端和分布式可计算性。摘自：第22届分布式计算国际研讨会（DISC），计算机科学讲稿。第5218卷，第47-62页（2008年）·Zbl 1161.68329号 [15] Chalopin，J.，Métivier，Y.：关于两个相邻进程之间同步的力量。分布计算。23(3), 177-196 (2010) ·Zbl 1231.68167号 ·doi:10.1007/s00446-010-0115-3 [16] Chaudhuri，S.：更多的选择允许更多的错误：在完全异步的系统中设置一致性问题。Inf.计算。105(1), 132-158 (1993) ·Zbl 0776.68016号 ·文件编号：10.1006/inco.1993.1043 [17] Cole，R.，Vishkin，U.：确定性抛硬币，应用于最佳平行列表排名。信息控制70（1），32-53（1986）·Zbl 0612.68044号 ·doi:10.1016/S0019-9958（86）80023-7 [18] Das，S.A.、Holzer，S.、Kor，L.、Korman，A.、Nanongkai，D.、Pandurangan，G.、Peleg，D.、Wattenhofer，R.：分布式近似的分布式验证和硬度。SIAM J.计算。41(5), 1235-1265 (2012) ·Zbl 1259.68227号 ·数字对象标识码：10.1137/1085178X [19] Dolev，D.、Lynch，N.、Pinter，S.、Stark，E.、Weihl，W.：在存在断层的情况下达成大致一致。J.ACM 33（3），499-516（1986）·Zbl 0627.68027号 ·数字对象标识代码：10.1145/5925.5931 [20] Ergün，F.、Kannan，S.、Kumar，R.、Rubinfeld，R.和Viswanathan，M.：Spot-checkers。J.计算。系统。科学。60(3), 717-751 (2000) ·Zbl 0961.68036号 ·doi:10.1006/jcss.1999.1692 [21] Fischer，M.，Lynch，N.，Paterson，M.：通过一个错误的过程实现分布式共识是不可能的。J.ACM 32（2），374-382（1985）·Zbl 0629.68027号 ·数字对象标识代码：10.1145/3149.214121 [22] Fraignaud，P.，Ilcinkas，D.，Pelc，A.：具有建议的通信算法。J.计算。系统。科学。76(3-4), 222-232 (2010) ·Zbl 1201.68017号 ·doi:10.1016/j.jcss.2009.07.002 [23] Fraignaud，P.，Korman，A.，Peleg，D.：局部分布式决策。摘自：第52届IEEE计算机科学基础年会（FOCS），第708-717页（2011年）·Zbl 1292.68027号 [24] Fraignaud，P.，Rajsbaum，S.，Travers，C.：无等待计算中的位置性和可检查性。摘自：第25届分布式计算国际研讨会（DISC）。计算机科学课堂讲稿，第6950卷，第333-347页（2011年）·Zbl 1311.68025号 [25] Franklin，M.、Garay，J.A.、Yung，M.：自检/纠正协议。第十三届分布式计算国际研讨会（DISC）。计算机科学讲义，第1693卷，第269-284页（1999）·Zbl 0612.68044号 [26] Freund，Y.、Kearns，M.、Ron，D.、Rubinfeld，R.、Schapire，R.和Sellie，L.：从随机行走中有效学习典型的有限自动机。Inf.计算。138(1), 23-48 (1997) ·Zbl 0889.68131号 ·文件编号：10.1006/inco.1997.2648 [27] Gafni，E.：0-1-排除任务族。参加：第十二届分布式系统原理国际会议（OPODIS）。计算机科学课堂讲稿，第5401卷，第246-258页（2008） [28] Gafni E.：Round-by-Round故障检测器：统一同步和异步（扩展抽象）。摘自：第17届ACM分布式计算原理研讨会（PODC），第143-152页（1998年）·Zbl 1333.68056号 [29] Gafni，E.，Koutsopuias，E.：三个处理器任务是不可判定的。SIAM J.计算。28(3), 970-983 (1999) ·Zbl 0918.68027号 ·doi:10.1137/S0097539796305766 [30] Goldreich，O.，Goldwasser，S.，Ron，D.：属性测试及其与学习和近似的联系。J.ACM 45（4），653-750（1998）·Zbl 1065.68575号 ·数字对象标识代码：10.1145/285055.285060 [31] Goldwasser，S.、Gutfreund，D.、Healy，A.、Kaufman，T.、Rothblum，G.：程序检查的建设性方法。摘自：第40届ACM计算理论年会（STOC），第143-152页（2008）·兹比尔1231.68162 [32] Goos，M.，Suomela，J.：局部可检查证明。摘自：第30届ACM分布式计算原理研讨会（PODC），第159-168页（2011年）·Zbl 1321.68465号 [33] Herlihy，M.：无等待同步。ACM事务处理。程序。语言系统。13, 124-149 (1991) ·数字对象标识代码：10.1145/114005.102808 [34] Herlihy，M.，Rajsbaum，S.：分布式决策任务的可判定性（扩展抽象）。摘自：第29届ACM计算机理论年会（STOC），第589-598页（1997）·Zbl 0963.68013号 [35] Herlihy，M.，Rajsbaum，S.：无等待循环协议任务的分类。西奥。计算。科学。291(1), 55-77 (2003) ·Zbl 1026.68011号 ·doi:10.1016/S0304-3975（01）00396-6 [36] Herlihy，M.，Shavit，N.：异步可计算性的拓扑结构。J.ACM 46（6），858-923（1999）·Zbl 1161.68469号 [37] Korman，A.，Kutten，S.，Masuzawa，T.：MST的快速紧凑自稳定验证、计算和故障检测。摘自：第30届ACM分布式计算原理研讨会（PODC），第311-320页（2011年）·Zbl 1321.68348号 [38] Korman，A.、Kutten，S.、Peleg，D.：证明标签方案。分布计算。22(4), 215-233 (2010) ·Zbl 1267.68061号 ·doi:10.1007/s00446-010-0095-3 [39] Korman，A.，Sereni，J.-S.，Viennot，L：走向更本地化的局部算法：消除关于全局知识的假设。摘自：第30届ACM分布式计算原理研讨会（PODC），第49-58页（2011年）·Zbl 1321.68475号 [40] Kuhn，F.，Wattenhofer，R.：关于分布式图着色的复杂性。摘自：第25届ACM分布式计算原理研讨会（PODC），第7-15页（2006）·Zbl 1314.68161号 [41] Linial，N.：分布图算法中的局部性。SIAM J.计算。21(1), 193-201 (1992) ·Zbl 0787.05058号 ·doi:10.1137/0221015 [42] Lipton，R.：测试新方向。DIMACS研讨会分发计算。加密程序。2, 191-202 (1991) ·Zbl 0722.68028号 [43] Liu，X.，Xu，Z.，Pan，J.：任意维交会任务的分类。西奥。计算。科学。410(21-23), 2162-2173 (2009) ·Zbl 1166.68006号 ·doi:10.1016/j.tcs.2009.01.033 [44] Lynch，N.：分布式算法。Morgan Kaufmann Publishers，旧金山（1996）·Zbl 0877.68061号 [45] Mazurkiewicz，A.：分布式枚举。信息处理。莱特。61, 233-239 (1997) ·Zbl 1336.68079号 ·doi:10.1016/S0020-0190（97）00022-7 [46] Mostefaoui，A.，Raynal，M.：基于领导者的共识。并行过程。莱特。11(2), 95-107 (2001) ·doi:10.1142/S0129626401000452 [47] Mostefaoui，A.，Raynal，M.：使用chandra-Toueg的不可靠故障检测器解决共识：基于配额的通用方法。第十三届分布式计算国际研讨会（DISC）。《计算机科学讲义》，第1693卷，第49-63页（1999年）·Zbl 1166.68006号 [48] Naor，M.，Stockmeyer，L.：什么可以在本地计算？SIAM J.计算。24(6), 1259-1277 (1995) ·Zbl 0845.68006号 ·doi:10.1137/S0097539793254571 [49] Peleg D.：分布式计算：一种对位置敏感的方法。SIAM（2000年）·兹比尔0959.68042 [50] Rotman，J.：涵盖复数与代数应用。落基山J.数学。3(4), 641-674 (1973) ·Zbl 0272.55003号 ·doi:10.1216/RMJ-1973-3-4-641 [51] Rubinfeld，R.：为并行运行的程序设计检查程序。《算法》15（4），287-301（1996）·Zbl 0843.68042号 ·doi:10.1007/BF01961540 [52] Yang，J.，Neiger，G.Gafni，E.：故障检测器共识算法的结构化推导。摘自：第17届ACM分布式计算原理研讨会（PODC），第297-306页（1998年）·Zbl 1333.68285号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。