×

等方差定理及其在重命名中的应用。 (英语) Zbl 1314.68057号

摘要:在重命名问题中,分布式系统中的每个进程都从一个大的命名空间中获得一个唯一的名称,这些进程必须相互协调,才能从一个小得多的名称空间中选择唯一的名称。
我们证明了重命名可解性的下界可以表示为关于从“拓扑盘”到“拓扑环”的等变链映射的存在性的纯拓扑问题。证明这种映射的不存在意味着分布式重命名算法在几个相关的计算模型中不存在。

MSC公司:

64岁以下 分布式系统
55单位10 代数拓扑中的单纯形集和复数
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Attiya,H.、Bar-Noy,A.、Dolev,D.、Peleg,D.、Reischuck,R.:异步环境中的重命名。J.ACM 37(3),524-548(1990)·兹比尔0699.68034 ·doi:10.1145/79147.79158
[2] Attiya,H.,Rajsbaum,S.:无等待可解任务的组合结构。SIAM J.计算。31(4), 1286-1313 (2002) ·Zbl 1015.68080号 ·doi:10.1137/S0097539797930689
[3] 阿提亚,H。;Paz,A.,《基于计数的重命名和集合协议的不可能性证明》,356-370(2012)·Zbl 1377.68031号
[4] Castañeda,A.,Rajsbaum,S.:重命名的新组合拓扑上限和下限:下限。分布计算。22(5-6), 287-301 (2010) ·Zbl 1231.68068号 ·电话:10.1007/s00446-010-0108-2
[5] Castañeda,A.,Rajsbaum,S.:重命名的新组合拓扑上限和下限:上限。J.ACM 59(1),3(2012)·Zbl 1281.68159号 ·doi:10.1145/2108242.2108245
[6] Dickson,L.E.:数字理论史-I。华盛顿卡内基研究所
[7] 汤姆·T:In:迪克。转换组。格鲁特数学研究(1987)·Zbl 0611.57002号
[8] Gafni,E.:In:扩展BG模拟和t-弹性表征。STOC 2009,第85-92页(2009)·Zbl 1304.68133号
[9] Gafni,E.,Rajsbaum,S.,Herlihy,M.:In:Subconsensus任务:重命名比集合协议更弱第20届分布式计算国际研讨会论文集,第329-338页(2006)·Zbl 1155.68329号
[10] Herlihy,M.:In:代数拓扑和分布式计算教程(1995)。加州大学洛杉矶分校提供的教程注释
[11] Herlihy,M。;Rajsbaum,S。;Tuttle,M.,统一同步和异步消息传递模型,133-142(1998)·兹比尔1333.68061
[12] Herlihy,M.,Shavit,N.:异步可计算性的拓扑结构。J.ACM 46(6),858-923(1999)·Zbl 1161.68469号 ·doi:10.1145/331524.331529
[13] Herlihy,M.,Rajsbaum,S.:代数跨度。数学。结构。计算。科学。10(4), 549-573 (2000) ·Zbl 0956.68098号 ·doi:10.1017/S0960129500003170
[14] Herlihy,M。;Rajsbaum,S.,《共享内存对手的拓扑结构》,105-113(2010)·Zbl 1315.68028号
[15] 艾姆斯·D。;Rajsbaum,S。;Raynal,M.,《对称破缺任务的宇宙》,66-77(2011)·doi:10.1007/978-3-642-22212-27
[16] Munkres,J.R.:代数拓扑元素。艾迪森·韦斯利,雷丁(1993)·Zbl 0673.55001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。