莫里斯·赫利希;塞尔吉奥·拉杰斯鲍姆 分布式对手的拓扑结构。 （英语） Zbl 1285.68013号 分布计算。 26，第3期，173-192（2013）. 概要：粗略地说，如果一个单形复合体可以通过仅沿（n-1）面将一系列单形元素粘合在一起来构造，那么它是可以脱壳的。可壳层配合物由于具有良好的组合性质而被广泛研究。事实证明，可以从可壳复合体构建并发计算的几个标准模型。我们在同步、异步和半同步消息传递模型以及异步共享内存中考虑对手调度程序。我们展示了如何利用它们的通用可壳性结构来推导出新的、非常简洁的、关于协议复合体连接性的下界，从而得出这些模型中的（k）集协议任务的解决方案。 引用于4文件 MSC公司： 64岁以下 分布式系统 2007年7月68日 计算机体系结构的数学问题 68单位05 计算机图形；计算几何（数字和算法方面） 关键词：无色任务;分布式可计算性;组合拓扑 PDF格式BibTeX公司 XML格式引用 \textit{M.Herlihy}和\textit{S.Rajsbaum}，分布计算。26，第3号，173--192（2013；Zbl 1285.68013） 全文： 内政部 参考文献： [1] Afek，Y.、Attiya，H.、Dolev，D.、Gafni，E.、Merritt，M.、Shavit，N.：共享内存的原子快照。J.ACM 40（4），873-890（1993）·Zbl 0783.68029号 ·数字对象标识代码：10.1145/153724.153741 [2] Attiya，H.、Bar-Noy，A.、Dolev，D.、Peleg，D.、Reischuk，R.：在异步环境中重命名。J.ACM 37（3），524-548（1990）·Zbl 0699.68034号 [3] Attiya，H.，Borran，F.，Hutle，M.，Milosevic，Z.，Schiper，A.：半同步算法的结构化推导。摘自：Peleg，D.（编辑）《分布式计算》，《计算机科学讲义》，第6950卷，第374-388页。柏林施普林格（2011）。doi:10.1007/978-3-642-24100-0_37·Zbl 1350.68038号 [4] Attiya，H.，Dwork，C.，Lynch，N.，Stockmeyer，L.：存在时间不确定性时达成协议的时间受到限制。《美国医学会期刊》41（1），122-152（1994）。doi:10.145/174644.174649·Zbl 0807.68042号 ·doi:10.145/174644.174649 [5] Attiya，H.，Welch，J.：分布式计算基础、模拟和高级主题，第二版。Wiley，纽约（2004年）。网址：网址：http://www.cs.technology.ac.il/哈吉特/DC/·Zbl 0910.68077号 [6] Biran，O.，Moran，S.，Zaks，S.：分布式1-可解任务的组合表征。J.算法11（3），420-440（1990）·Zbl 0705.68018号 ·doi:10.1016/0196-6774（90）90020-F [7] Björner，A.：Shellable和Cohen-Macaulay部分有序集。事务处理。美国数学。Soc.260（1），159-183（1980）·Zbl 0441.06002号 ·doi:10.2307/1999881 [8] Borowsky，E.，Gafni，E.：即时原子快照和快速重命名。摘自：第十二届ACM分布式计算原理研讨会论文集，PODC’93，第41-51页。ACM，美国纽约州纽约市（1993年）。数字对象标识代码：10.1145/164051.164056·Zbl 1373.68078号 [9] Borowsky，E.，Gafni，E.：无等待计算的简单算法推理表征（扩展抽象）。摘自：PODC’97：第十六届ACM分布式计算原理年会论文集，第189-198页。ACM，美国纽约州纽约市（1997年）·Zbl 1374.68063号 [10] Castañeda，A.，Herlihy，M.，Rajsbaum，S.：等方差定理及其在重命名中的应用。摘自：《第十届拉丁美洲理论信息学国际会议论文集》，拉丁文'12，第133-144页。施普林格，柏林（2012）。doi:10.1007/978-3-642-29344-3_12·Zbl 1353.68197号 [11] Chaudhuri，S.：更多的选择允许更多的错误：在完全异步的系统中设置一致性问题。通知。计算。105(1), 132-158 (1993) ·Zbl 0776.68016号 ·doi:10.1006/inco.1993.1043 [12] Chaudhuri，S.、Herlihy，M.、Lynch，N.A.、Tuttle，M.R.：k-set协议的严格限制。《美国临床医学杂志》47（5），912-943（2000）。数字对象标识代码：10.1145/355483.355489·Zbl 1320.68034号 ·数字对象标识代码：10.1145/355483.355489 [13] Delport-Gallet，C.，Fauconnier，H.，Guerraoui，R.，Tielmann，A.：对手的分歧力量。分布计算。24(3), 137-147 (2011). 文件编号：10.1007/s00446-010-0122-4·兹比尔1231.68071 ·文件编号：10.1007/s00446-010-0122-4 [14] Dolev，D.，Strong，H.R.：拜占庭协议的认证算法。SIAM J.计算。12(4), 656-666 (1983) ·Zbl 0524.68021号 ·doi:10.1137/0212045 [15] Fischer，M.、Lynch，N.A.、Paterson，M.S.：不可能用一个错误的进程进行分布式提交。J.ACM 32（2），374-382（1985）·Zbl 0629.68027号 [16] Fischer，M.J.，Lynch，N.A.：确保交互一致性的时间下限。Inf.流程。莱特。14(4), 183-186 (1982) ·Zbl 0493.68026号 [17] Gafni，E.：Round-by-Round故障检测器（扩展抽象）：统一同步和异步。摘自：《第十七届ACM分布式计算原理研讨会论文集》，PODC’98，第143-152页。ACM，美国纽约州纽约市（1998年）。数字对象标识代码：10.1145/277697.277724·Zbl 1333.68056号 [18] Gafni，E.，Koutsopuias，E.：三个处理器任务是不可判定的。SIAM J.计算。28(3), 970-983 (1999) ·Zbl 0918.68027号 ·doi:10.1137/S0097539796305766 [19] Gafni，E.，Kuznetsov，P.：通过击球集实现相关的“L”-弹性和等待自由。收录于：Aguilera，M.、Yu，H.、Vaidya，N.、Srinivasan，V.、Choudhury，R.（编辑）《分布式计算与网络》，《计算机科学讲义》，第6522卷，第191-202页。柏林施普林格出版社（2011）·Zbl 0776.68016号 [20] Gafni，E.，Rajsbaum，S.：带任务的分布式编程。摘自：《第十四届分布式系统原理国际会议论文集》，OPODIS’10，第205-218页。施普林格，柏林（2010）。网址：http://portal.acm.org/citation.cfm？id=1940258 ·Zbl 0918.68027号 [21] Gafni，E.，Rajsbaum，S.，Herlihy，M.：子协商任务：重命名弱于集合协议。收录于：分布式计算，第20届国际研讨会，瑞典斯德哥尔摩，2006年9月18日至20日，会议记录（DISC），计算机科学讲稿，第4167卷，第329-338页。柏林施普林格出版社（2006）·Zbl 1155.68329号 [22] Halpern，J.Y.，Moses，Y.：分布式环境中的知识和常识。《美国临床医学杂志》37（3），549-587（1990）。doi:10.1145/79147.79161·Zbl 0699.68115号 ·doi:10.1145/79147.79161 [23] Herlihy，M.：无等待同步。ACM事务处理。程序。语言系统。13(1), 124-149 (1991). 数字对象标识代码：10.1145/114005.102808·doi:10.145/114005.102808 [24] Herlihy，M.，Rajsbaum，S.：使用任意对象达成共识（初步版本）。收录于：《PODC’94：第十三届ACM分布式计算原理研讨会论文集》，第324-333页。ACM，美国纽约州纽约市（1994年）·兹比尔1373.68101 [25] Herlihy，M.，Rajsbaum，S.：分布式决策任务的可判定性（扩展抽象）。载于：STOC’97：第二十九届ACM计算理论年度研讨会论文集，第589-598页。ACM，美国纽约州纽约市（1997年）。doi:10.1145/258533.258652·兹伯利0963.68013 [26] Herlihy，M.，Rajsbaum，S.：代数跨度。数学。结构。计算。科学。10(4), 549-573 (2000). http://journals.cambridge.org/action/displayAbstract？aid=54601 ·Zbl 0956.68098号 [27] Herlihy，M.，Rajsbaum，S.：并发计算和可壳复合体。摘自：《第24届分布式计算国际会议论文集》，DISC’10，第109-123页。施普林格，柏林（2010）。网址：http://dl.acm.org/citation.cfm？id=1888781.1888795 ·Zbl 1290.68095号 [28] Herlihy，M.，Rajsbaum，S.：共享内存对手的拓扑结构。摘自：第29届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集，PODC’10，第105-113页。ACM，美国纽约州纽约市（2010年）。数字对象标识代码：10.1145/1835698.1835724·Zbl 1315.68028号 [29] Herlihy，M.，Rajsbaum，S.：无色任务的模拟和简化。摘自：《2012年ACM分布式计算原理研讨会论文集》，PODC’12，第253-260页。ACM，美国纽约州纽约市（2012年）。数字对象标识代码：10.1145/2332432.2332483·Zbl 1301.68122号 [30] Herlihy，M.，Rajsbaum，S.，Tuttle，M.：计算同步和异步系统连接性的公理方法。电子。注释Theor。计算。科学。230, 79-102 (2009). doi:10.1016/j.entcs.2009.02.018·Zbl 1339.68307号 [31] Herlihy，M.，Rajsbaum，S.，Tuttle，M.R.：统一同步和异步消息传递模型。收录于：PODC’98：第十七届ACM分布式计算原理研讨会论文集，第133-142页。ACM，美国纽约州纽约市（1998年）。doi:10.1145/277697.277722·Zbl 1333.68061号 [32] Herlihy，M.，Shavit，N.：异步可计算性的拓扑结构。《美国医学会期刊》46（6），858-923（1999）。数字对象标识代码：10.1145/331524.331529·Zbl 1161.68469号 ·数字对象标识代码：10.1145/331524.331529 [33] Junqueira，F.，Marzullo，K.：相关失败算法设计框架：研究文章。同意。计算：实际。专家。19(17), 2255-2269 (2007) ·doi:10.1002/第1170页 [34] Kozlov，D.：组合代数拓扑，数学中的算法和计算，第21卷，第1版。施普林格，柏林（2007）。doi:10.1007/978-3-540-71962-5·兹比尔1130.55001 [35] Kuznetsov，P.：理解非均匀失效模型。在：EATCS公告，106，第53.77页。欧洲理论计算机科学协会（2012）·Zbl 1261.68030号 [36] Lamport，L.：关于进程间通信（第一部分）：基本形式主义。分布计算。1, 77-101 (1986). 网址：http://citeseer.nj.nec.com/227917.html ·Zbl 0598.68022号 [37] Lamport，L.：关于进程间通信（第二部分）：算法。分布计算。1(1), 203-213 (1986) [38] Loui，M.C.，Abu-Amara，H.H.：不可靠异步进程之间协议的内存要求，第4卷。JAI出版社，格林威克（1987） [39] Michailidis，D.：存在时间不确定性的快速设置协议。摘自：《第十八届ACM分布式计算原理研讨会论文集》，PODC’99，第249-256页。ACM，美国纽约州纽约市（1999年）。doi:10.1145/301308.301365·Zbl 1321.68089号 [40] Moses，Y.，Rajsbaum，S.：共识的分层分析。SIAM J.计算。31(4), 989-1021 (2002) ·Zbl 1015.68079号 ·doi:10.1137/S0097539799364006 [41] Munkres，J.：代数拓扑元素，第2版。普伦蒂斯·霍尔，纽约（1984年）。网址：http://www.worldcat.org/isbn/0131816292 ·Zbl 0673.55001号 [42] Saks，M.，Zaharoglou，F.：无等待k-集协议是不可能的：公共知识的拓扑结构。SIAM J.计算。29(5), 1449-1483 (2000). 网址：http://epubs.siam.org/doi/abs/10.1137/S0097539796307698？journalCode=smjcat ·兹比尔0952.68159 [43] Saks，M.，Zaharoglou，F.：无等待k-集协议是不可能的：公共知识的拓扑结构。SIAM J.计算。29(5), 1449-1483 (2000). 数字对象标识代码：10.1145/167088.167122·兹比尔0952.68159 ·数字对象标识代码：10.1145/167088.167122 [44] Spanier，E.H.：代数拓扑。施普林格，纽约（1981年）。网址：http://www.ams.org/mathscinet getitem？mr=666554 ·Zbl 0145.43303号 [45] Wang，J.，Song，M.：解决相关故障同步一致性的新算法。载：《第六届并行和分布式计算应用与技术国际会议论文集》，PDCAT'05，第371-375页。IEEE计算机学会，华盛顿特区，美国（2005年）。doi:10.1109/PDCAT.2005.23 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。