×
巴诺伊，阿莫茨;丹尼·多列夫

异步故障停机分布式环境中共享内存和消息传递之间的部分等效。 （英语） Zbl 0766.68003号

数学。系统。理论 26，第1号，21-39（1993）.
摘要：本文提出了一种分布式系统的原理性算法。该原理性算法使用“黑盒”程序进行通信，其输出必须满足两个要求：全局顺序要求和无死锁要求。该算法适用于任何能够提供符合这些要求的通信过程的分布式系统模型。异步故障停止环境中存在两个这样的模型：一个在共享内存模型中，另一个在消息传递模型中。这些模型中黑盒程序的实现使我们能够在两个模型之间转换现有算法，只要这些算法基于原理图算法。
我们用两种方式来证明这个想法。首先，我们在以下算法的基础上，针对消息传递模型中的一致性问题提出了一种随机算法J.阿斯彭和M.Herlihy先生[J.Algorithms 11，No.3，441-461（1990；Zbl 0705.68016号)]在共享内存模型中。此解决方案是已知最快的随机算法，它解决了针对具有一半弹性的强大故障停止对手的一致性问题。其次，我们基于以下解决方案解决了共享内存模型中的处理器重命名问题H.阿提亚,A.巴诺维,D.多列夫,D.佩莱和R.Reischuk先生[J.Assoc.Comput.Mach.37，No.3，524-548（1990；Zbl 0699.68034号)]在消息传递模型中。重命名问题解的存在性应该与共享内存模型中一致性问题的不可能结果进行对比B.弦,A.以色列和李先生[关于使用异步硬件进行处理器协调，第六届ACM分布式计算原理研讨会，86-97（1987）]，D.多列夫,C.装饰和L.斯托克梅耶[J.Assoc.Comput.Mach.34，77-97（1987；Zbl 0631.68022号)],M.G.Loui先生和H.阿布·阿马拉[不可靠异步进程之间协议的内存要求，计算研究进展4163-183（1987）]。

引用于4文件

MSC公司：

68米10 计算机系统中的网络设计和通信

关键词：

图解算法;分布式系统;随机算法;共识问题;消息传递模型;处理器重命名问题;共享内存模型

引文：

Zbl 0705.68016号;Zbl 0699.68034号;Zbl 0631.68022号
PDF格式BibTeX公司 XML格式引用
\textit{A.Bar-Noy}和\textit{D.Dolev}，数学。系统。理论26，No.1，21--39（1993；Zbl 0766.68003）
全文： 内政部

参考文献：

[1] K.Abrahamson，《关于使用共享记忆达成共识》，Proc。第七交响乐团。《分布式计算原理》，第291-302页，1988年。
[2] J.Aspnes和M.Herlihy，《使用共享内存的快速随机共识》，《算法杂志》，第11期，第441-4611990页·Zbl 0705.68016号 ·doi:10.1016/0196-6774（90）90021-6
[3] H.Attiya、A.Bar-Noy、D.Dolev、D.Peleg和R.Reischuk，《异步环境中的重命名》，《ACM杂志》，第37期，第524-548页，1990年·Zbl 0699.68034号 ·doi:10.1145/79147.79158
[4] H.Attiya、D.Dolev和N.Shavit。有界多项式随机一致性，Proc。第八届ACM交响乐团。《分布式计算原理》，第281-2931989页。
[5] M.Ben-Or，自由选择的另一个优势：完全异步协议，Proc。第二交响乐团。《分布式计算原理》，第27-30页，1983年。
[6] O.Biran、S.Moran和S.Zaks，在一个故障处理器存在的情况下可解决的分布式任务的组合特征，Proc。第七交响乐团。《分布式计算原理》，第263-275页，1988年。
[7] M.F.Bridgeland和R.J.Watro，完全异步分布式系统中的容错决策，Proc。第六交响乐团。《分布式计算原理》，第52-631987页。
[8] B.Chor、A.Israel和M.Li，《使用异步硬件的处理器协调》，Proc。第六届ACM分布式计算原理研讨会，第86-97页，1987年。
[9] B.Chor、M.Merritt和D.Shmoys，《实际失效模型中的简单恒定时间共识协议》，ACM杂志，36591-6141989年·Zbl 0675.90038号 ·数字对象标识代码：10.1145/65950.65956
[10] B.Chor和L.Moscovici，《异步环境中的可解性》，Proc。第30交响曲。《计算机科学基础》，第422-427页，1989年。
[11] D.Dolev、C.Dwork和L.Stockmeyer，《关于分布式共识所需的最小同步性》，《ACM杂志》，第34期，第77-97页，1987年·Zbl 0631.68022号 ·数字对象标识代码：10.1145/7531.7533
[12] D.Dolev和N.Shavit，有界并发时间戳系统是可构造的，Proc。第21届ACM SIGACT交响乐团。《计算理论》，1989年。
[13] C.Dwork、N.Lynch和L.Stockmeyer，《部分同步存在下的共识》，《ACM杂志》，第35期，第288-323页，1988年·数字对象标识代码：10.1145/42282.42283
[14] C.Dwork、D.Shmoys和L.Stockmeyer，《恒定预期时间内的说服性翻转》，Proc。第27交响曲。《计算机科学基础》，第222-232页，1986年·Zbl 0698.68043号
[15] P.Feldman，私人通信。
[16] M.J.Fischer，《不可靠分布式系统中的共识问题（简要综述）》，YALEU/DCS/RR-2731983年6月·Zbl 0517.68051号
[17] M.J.Fischer、N.A.Lynch和M.S.Paterson，《使用一个错误处理器实现分布式共识的可能性》，《美国计算机学会期刊》，第32期，第374-3821985页·Zbl 0629.68027号 ·数字对象标识代码：10.1145/3149.214121
[18] R.G.Gallagher、P.A.Humblet和P.M.Spira，最小权重生成树的分布式算法，美国计算机学会编程语言与系统汇刊，5，66-771983·Zbl 0498.68040号 ·电话：10.1145/357195.357200
[19] M.P.Herlihy，无等待同步的不可能性和普遍性结果，Proc。第七交响乐团。《分布式计算原理》，第276-290页，1988年。
[20] A.Israel和M.Li，有限时间戳，Proc。第28交响曲。《计算机科学基础》，第371-3821987页。
[21] L.Lamport，《进程间通信》，第一部分和第二部分，分布式计算，177-1011986年·Zbl 0598.68022号 ·doi:10.1007/BF01786227
[22] M.G.Loui和H.Abu-Amara，《不可靠异步进程之间协议的内存要求》，《计算研究进展》，4163-1831987年。
[23] M.Pease、R.Shostak和L.Lamport，《断层存在时达成协议》，ACM期刊，27228-2341980年·Zbl 0434.68031号 ·doi:10.1145/322186.322188
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。