×
索马·乔杜里；莫里斯·赫利希；马克·塔特尔（Mark R.Tuttle）。

消息传递系统中的无等待实现。 （英语） Zbl 0916.68065号

西奥。计算。科学。 220，第1期，211-245（1999）.
摘要：我们研究了具有崩溃故障的同步消息传递系统中问题的全面复杂性。我们证明，如果处理器以阶次等价状态开始，那么对数轮次对于它们达到阶次不等价状态是必要的，也是足够的。这些上界和下界是重要的，因为它们建立了一个复杂度阈值，低于该阈值，任何非平凡问题都无法解决，但在该阈值下，某些非平凡问题确实有解。这个对数下限意味着各种决策任务和并发对象实现的匹配下限。特别地，我们研究了两个非常重要的问题，它们的下限很紧：强重命名任务和无等待的增量寄存器实现。对于每一个问题，我们提出了一个非平凡的算法，该算法在\（O（\log c）\）轮中停止，其中\（c）是参与处理器的数量。

引用于1审查
引用于6文件

MSC公司：

68宽10 计算机科学中的并行算法
68第05页 数据结构

关键词：

分布式算法；数据结构；无等待算法；消息传递模型；增量寄存器；强重命名
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaudhuri}等人，Theor。计算。科学。220，编号1，211--245（1999；Zbl 0916.68065）
全文： 内政部

参考文献：

[1] 阿提亚，H。；Bar-Noy，A。；多列夫，D。；科勒，D。；佩莱格，D。；Reischuk，R.，异步环境中的可实现案例，（第28届IEEE计算机科学基础研讨会（1987年10月），337-346
[2] 阿提亚，H。；Bar-Noy，A。；多列夫，D。；佩莱格，D。；Reischuk，R.，《异步环境中的重命名》，J.ACM，37，3，524-548（1990）·兹比尔0699.68034
[3] 南部乔杜里。；Herlihy，M。；林奇，N。；Tuttle，M.R.，（k）集协议的一个严格下限，（第34届IEEE计算机科学基础研讨会（1993）），206-215
[4] 南部乔杜里。；Tuttle，M.R.，《快速增量寄存器》（Tel，G.；Vitányi，P.，Proc.8th Internat.分布式算法研讨会.Proc.8st Internat.Distributed Algorithms研讨会，计算机科学讲稿，第857卷（1994），Springer-Verlag:Springer-Verlag Berlin），74-88
[5] 费舍尔，M.J。；Lynch，N.A.，确保交互一致性的时间下限，Inform。过程。莱特。，14, 4, 183-186 (1982) ·兹伯利0493.68026
[6] 费舍尔，M.J。；林奇，N.A。；Paterson，M.S.，《一个错误处理器不可能达成分布式共识》，J.ACM，32，2，374-382（1985）·Zbl 0629.68027号
[7] 弗雷德里克森，G.N。；林奇，N.A.，《在同步环中选举领导者》，J.ACM，34，1，98-115（1987）·Zbl 0631.68024号
[8] Halpern，J.Y。；Fagin，R.，《分布式系统中的知识和行为建模》，《分布式计算》。，3, 4, 159-179 (1989) ·Zbl 0685.68076号
[9] Halpern，J.Y。；Moses，Y.，《分布式环境中的知识和常识》，J.ACM，37，3，549-587（1990）·Zbl 0699.68115号
[10] Herlihy，M.P.，无等待同步，ACM Trans。编程语言系统，13，1，124-149（1991）
[11] Herlihy，M.，《随机无等待并发对象》（Proc.10 Annual，ACM Symp.on Principles of Distributed Computing（1991）），11-22·Zbl 1314.68380号
[12] Herlihy，M.P。；Shavit，N.，《t-弹性任务的异步可计算性定理》，第25届美国计算机学会计算理论研讨会（1993年），第111-120页·Zbl 1310.68079号
[13] Herlihy，M.P。；Tuttle，M.R.，《消息传递系统中的无等待计算：初步报告》（Proc.9th Annul.ACM Symp.on Principles of Distributed Computing（1990）），347-362
[14] Herlihy，M.P。；Wing，J.M.，线性化：并发对象的正确性条件，ACM Trans。编程语言系统，12,3463-492（1990）
[15] Lamport，L.，《分布式系统中的时间、时钟和事件顺序》，美国通信协会，21，7，558-564（1978）·Zbl 0378.68027号
[16] Lamport，L.，非全日制议会，（技术报告49（1989年9月），DEC系统研究中心）·兹比尔0627.68026
[17] Lamport，L。；肖斯塔克，R。；Pease，M.，拜占庭将军问题，ACM Trans。编程语言与系统，4，3，382-401（1982）·Zbl 0483.68021号
[18] 摩西，Y。；Tuttle，M.R.，使用公共知识编程同时动作，《算法》，3，1，121-169（1988）·Zbl 0646.68031号
[19] 皮斯，M。；肖斯塔克，R。；Lamport，L.，《在存在故障的情况下达成协议》，J.ACM，27，228-234（1980）·兹伯利0434.68031
[20] Schneider，F.B.，《使用状态机方法实现容错服务：教程》，（技术报告（1987年11月），康奈尔大学计算机科学系）
[21] Styer，E。；Peterson，G.L.，共享内存对称互斥问题的紧边界，（第八届美国计算机学会分布式计算原理研讨会（1989年8月），177-192年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。