×
哈吉特·阿提亚;阿曼多·卡斯塔涅达

关于\（k\）-集一致性不可能性的一个非拓扑证明。 （英语） Zbl 1407.68063号

西奥。计算。科学。 512, 41-48 (2013).
摘要：在\（k\）中-设定协议任务中，每个过程都会提出一个值，而每个正确的过程都必须决定一个被提出的值，这样最多只能决定（k）个不同的值。利用拓扑参数证明了在异步情况下，（k）集一致性是不可解的无等待时间读/写共享内存模型，当\（k<n \）时，进程数。
本文给出了（k）集一致性的一个初等的非拓扑不可能性证明。证明依赖于即时快照执行，所有可能执行的子集，以及握手引理说明每个图都有偶数个奇数阶顶点。

MSC公司：

68米14 分布式系统
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

设定协议;共享内存;等待自由
PDF格式BibTeX公司 XML格式引用
\textit{H.Attiya}和\textit{A.Castañeda}，Theor。计算。科学。512、41-48（2013；Zbl 1407.68063）
全文： 内政部

参考文献：

[2] 阿提亚，H。；Rajsbaum，S.，《无等待可解任务的组合结构》，SIAM计算机杂志，31，4，1286-1313（2002）·Zbl 1015.68080号
[3] 阿提亚，H。；Welch，J.，《分布式计算：基础、模拟和高级主题》（1998），麦格劳-希尔出版社
[4] 比莉，M。；罗宾逊，P。；Schmid，U.，《消息传递系统中（k）集一致性的简易不可能性证明》，（第15届国际分布式系统原理会议论文集，OPODIS’11）。程序。第十五届国际分布式系统原理会议，OPODIS’11，LNCS，第7109卷（2011），Springer Verlag），299-312
[5] 比莉，M。；罗宾逊，P。；Schmid，U.，《用稳定骨架图求解（k）集协议》，（第25届IEEE国际并行与分布式处理研讨会，IPDPS’11（2011），IEEE出版社），1488-1495
[6] Borowsky，E。；Gafni，E.，弹性异步计算的广义FLP不可能性结果，（第25届ACM计算理论研讨会，STOC'93（1993），ACM出版社），91-100·Zbl 1310.68078号
[8] 卡斯塔涅达，A。；Rajsbaum，S.，重命名的新组合拓扑上下限，（第27届ACM分布式计算原理研讨会论文集，PODC’08（2008），ACM出版社），295-304·Zbl 1301.68141号
[9] 科恩，D.I.A.，《关于sperner引理》，《组合理论杂志》，2585-587（1967）·Zbl 0163.18104号
[10] Chaudhuri，S.，《更多选择允许更多错误：完全异步系统中的集合共识问题》，《信息与计算》，105，1，132-158（1993）·Zbl 0776.68016号
[11] 费舍尔，M.J。；北卡罗来纳州林奇。；Paterson，M.S.，《一个错误过程中分布式共识的不可能性》，《ACM杂志》，32，2，374-382（1985）·Zbl 0629.68027号
[12] 加夫尼，E。；Koutsoupias，E.，《三个处理器任务是不可判定的》，《SIAM计算杂志》，28，3，970-983（1999）·Zbl 0918.68027号
[13] 加夫尼，E。；Rajsbaum，S。；Herlihy，M.P.，《Subconsensus任务：重命名弱于集合协议》（第20届分布式计算国际研讨会，DISC’06）。程序。第20届分布式计算国际研讨会，DISC’06，LNCS，第4167卷（2006），Springer Verlag），329-338·Zbl 1155.68329号
[14] Henle，M.，《拓扑学组合导论》（1994），多佛·Zbl 0852.55002号
[15] Herlihy，M.P.，《无等待同步》，《编程语言和系统学报》，13，1，124-149（1991）
[16] Herlihy，M.P。；Rajsbaum，S.，《使用任意对象达成共识》（Proc.第13届ACM分布式计算原理研讨会，PODC’94（1994），ACM出版社），324-333·Zbl 1373.68101号
[17] Herlihy，M.P。；Rajsbaum，S.，代数跨度，计算机科学中的数学结构，10，4，549-573（2000）·Zbl 0956.68098号
[18] Herlihy，M.P。；Rajsbaum，S.，《无等待循环协议任务的分类》，《理论计算机科学》，291,155-77（2003）·兹比尔1026.68011
[19] Herlihy，M.P。；Shavit，N.，《异步可计算性的拓扑结构》，美国计算机学会杂志，46，6，858-923（1999）·Zbl 1161.68469号
[20] 霍斯特，G。；Shavit，N.，面向异步复杂性的拓扑表征，SIAM计算杂志，36，2，457-497（2006）·Zbl 1112.68062号
[21] 路易斯，M。；Abu Amara，H.，不可靠异步进程之间一致性的内存要求，计算研究进展，4163-183（1987）
[22] 雷纳，M。；Travers，C.，《同步集协议：简明导览》（包括新算法和开放问题列表），（第12届IEEE环太平洋国际可靠计算研讨会，PRDC’06（2006），IEEE计算机学会），267-274
[23] 萨克斯，M。；Zaharoglou，F.，无等待集协议是不可能的：公共知识的拓扑结构，SIAM计算机杂志，29，5，1449-1483（2000）·Zbl 0952.68159号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。