×
哈吉特·阿提亚;阿曼多·卡斯塔涅达;莫里斯·赫利希;阿米·巴斯

重命名的步骤和名称空间复杂性的界限。 （英语） Zbl 1410.68054号

SIAM J.计算。 48，第1期，第1-32页（2019年）.
摘要：\（M（n）\）重命名任务需要\（n+1 \）个进程，每个进程都以唯一的输入名称（来自任意大范围）开头，以协调从大小范围\（M）\中选择新的输出名称。众所周知，当且仅当（n+1）不是素数幂时，才能解决（2n）-重命名问题。然而，之前关于可解性的证明并不是建设性的，涉及到一个复杂的近似定理，因此它并没有给出最终协议复杂性的具体上界。在这里，我们给出了\（2n\）-重命名的步长复杂度的第一个上界，只要它是可解的，即当\（n+1\）不是素数幂时。本文还给出了输出名称空间的第一个下界，表明如果\（n+1）不是素数幂，\（n）是素数幂的话，那么\（2n）是\（n+1\）进程的输出名称空间上的紧界。

引用于2文件

MSC公司：

68米14 分布式系统
65年第68季度 算法和问题复杂性分析

关键词：

组合拓扑;分布式系统;重命名;共享内存系统;对称性破坏;无等待计算
PDF格式BibTeX公司 XML格式引用
\textit{H.Attiya}等人，SIAM J.Compute。48，第1号，1--32（2019；Zbl 1410.68054）
全文： 内政部

参考文献：

[1] D.Alistarh，{\it重命名问题：最新发展和开放性问题}，Bull。欧洲协会。计算。科学。EATCS，117（2015）·Zbl 1409.68113号
[2] H.Attiya、A.Bar-Noy、D.Dolev、D.Peleg和R.Reischuk，《异步环境中的重命名》，J.ACM，37（1990），第524-548页·Zbl 0699.68034号
[3] H.Attiya、A.Castan͂eda、M.Herlihy和A.Paz，{解决硬重命名复杂性的上限}，《ACM分布式计算原理研讨会论文集》，2013年，第190-199页·Zbl 1323.68291号
[4] H.Attiya和A.Paz，{基于计数的集合一致和重命名的不可能性证明}，J.并行分布计算。，87（2015），第1-12页·Zbl 1377.68031号
[5] H.Attiya和S.Rajsbaum，{\it无等待可解任务的组合结构}，SIAM J.Compute。，31（2002），第1286-1313页·Zbl 1015.68080号
[6] E.Borowsky和E.Gafni，{即时原子快照和快速重命名}，《第十二届ACM分布式计算原理研讨会论文集》，ACM，1993年，第41-51页·Zbl 1373.68078号
[7] E.Borowsky和E.Gafni，《无等待计算的简单算法推理表征》，载于《第16届ACM分布式计算原理研讨会论文集》，ACM，1997年，第189-198页·Zbl 1374.68063号
[8] A.Castan͂eda和S.Rajsbaum，{\it重命名的新组合拓扑边界：下限}，Distrib.Comput。，22（2010），第287-301页·兹比尔1231.68068
[9] A.Castan͂eda、S.Rajsbaum和M.Raynal，《共享内存系统中的重命名问题：简介》，计算。科学。第5版（2011年），第229-251页·Zbl 1298.68049号
[10] A.Castan͂eda、M.Herlihy和S.Rajsbaum，《等方差定理及其在重命名中的应用》，《算法》，70（2014），第171-194页·Zbl 1314.68057号
[11] A.Castan͂eda和S.Rajsbaum，{重命名的新组合拓扑边界：上限}，J.ACM，59（2012），3·兹比尔1281.68159
[12] A.Castan͂eda、S.Rajsbaum和M.Raynal，《共享内存系统中的重命名问题：简介》，计算。科学。第5版（2011年），第229-251页·Zbl 1298.68049号
[13] E.Gafni和S.Rajsbaum，{\it Distributed programming with tasks}，收录于《分布式系统原理论文集——第14届国际会议》，2010年，第205-218页。
[14] E.Gafni和S.Rajsbaum，《分布式计算中的递归》，《第12届分布式系统稳定、安全和保障国际研讨会论文集》，2010年，第362-376页。
[15] E.Gafni、S.Rajsbaum和M.Herlihy，{it Subconsensus tasks:重命名弱于集合协议}，《第20届分布式计算国际研讨会论文集》，2006年，第329-338页·Zbl 1155.68329号
[16] M.Herlihy、D.N.Kozlov和S.Rajsbaum，{通过组合拓扑的分布式计算}，Morgan Kaufmann，Burlington，MA，2013·Zbl 1341.68004号
[17] M.Herlihy和S.Rajsbaum，{代数跨度}，数学。结构计算。科学。，10（2000），第549-573页·Zbl 0956.68098号
[18] M.Herlihy和N.Shavit，《异步可计算性的拓扑结构》，J.ACM，46（1999），第858-923页·Zbl 1161.68469号
[19] G.Hoest和N.Shavit，{异步复杂性的拓扑表征}，SIAMfig J.Compute。，36（2006），第457-497页·Zbl 1112.68062号
[20] D.N.Kozlov，{组合代数拓扑}，算法计算。数学。21，施普林格，纽约，2007年·Zbl 1130.55001号
[21] D.N.Kozlov，{翻转图的结构理论及其在弱对称破缺中的应用}，CoRR，abs/1511.004572015。
[22] D.N.Kozlov，{弱对称破缺与抽象单纯形路径}，数学。结构计算。科学。，25（2015），第1432-1462页·Zbl 1361.68171号
[23] D.N.Kozlov，{六个过程的标准色细分和弱对称破缺的组合拓扑}，Springer，Cham，Switzerland，2016，pp.155-194·Zbl 1426.68185号
[24] D.N.Kozlov，《所有二项式恒等式都是可排序的》，《欧洲联合杂志》，61（2017），第276-281页·Zbl 1352.05030号
[25] J.Munkres，《代数拓扑的元素》，第2版，Prentice Hall，Englewood Cliffs，NJ，1984年·Zbl 0673.55001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。