摘要
AMIR、~.、。, DOLEV,D.、KRAMER,S.和MALKI,D.1991年。 Transis:高可用性的通信子系统。 以色列耶路撒冷希伯来大学计算机科学系技术代表CS91-13(11月)。 谷歌学者 ATrlYA~H.、B^R-NoY,A.、DOLEV,D.、KOLLER,D.、PELEG,D.和REISCHUK,R.1987。 异步环境中的可实现案例。 第28届计算机科学基础研讨会论文集(10月)。 IEEE计算机学会出版社,华盛顿特区,第337-346页。 谷歌学者 ATTIYA,H.、DWORK,C.、LYNCH,N.和STOCKMEYER,L.1991年。 达成协议的时间受到时间不确定性的限制。 第23届4CM计算机理论研讨会论文集(路易斯安那州新奥尔良,5月6日至8日)。 ACM,纽约,第359-369页。 谷歌学者 BEN-OR,M.1983年。 自由选择的另一个优点是:完全异步协议。 第二届ACM分布式计算原理研讨会论文集(加拿大魁北克省蒙特利尔,8月17-19日)。 ACM,纽约,第27-30页。 谷歌学者 伯曼P.、加里J.A.和佩里K.J.1989年。 实现最佳分布式共识。 第30届计算机科学基础研讨会论文集(10月)。 IEEE计算机学会出版社,华盛顿特区,第410-415页。 谷歌学者 BIRAN,O.,MORA~,S.,AND ZAKS,S.1988年。 分布式任务的组合特征,这些任务在存在一个故障处理器的情况下是可以解决的。 第七届ACM分布式计算原理研讨会论文集(加拿大安大略省多伦多,8月15-17日)。 ACM,纽约,第263-275页。 谷歌学者 BIRMAN,K.P.、COOPER,R.、JOSEPH,T.A.、KANE,K.P和SCHMUCK,F.B.,1990年。 lsis——一个分布式编程环境。 谷歌学者 BIRMAN,K.P.和JOSEPH,T.A.1987年。 出现故障时的可靠通信。 ACM事务处理。 计算。 系统。 5月1日(2月),47-76。 谷歌学者 数字图书馆 BRACHA,G.和TOUEG,1985年。 异步共识和广播协议。 J.ACM 32,4(10月),824-840。 谷歌学者 数字图书馆 Bridgegland,M.F.和WATRO,R.J.1987年。 完全异步分布式系统中的容错决策。 第六届ACM分布式计算原理研讨会论文集(加拿大不列颠哥伦比亚省温哥华,8月10日至12日)。 ACM,纽约,第52-63页。 谷歌学者 BUDmRAJA,N.、GOPAL,A.和TOUEG,S.1990年。 提前停止分布式竞价和应用程序。 第四届分布式算法国际研讨会论文集(9月)。 Springer-Verlag,纽约,第301-320页。 谷歌学者 CHANDRA,T.D.、HADZILACOS,V.和TOUEG,S.1992年。 解决共识的最弱故障检测器。 技术报告92-1293(7月),康奈尔大学计算机科学系。 可从以下位置获得 ftp://ftp.cs.cornell.edu/pub/chandra/failure.detectors.weakest.dvi。 Z.初步版本出现在第十一届ACM分布式计算原理研讨会论文集上(8月10日至12日,加拿大不列颠哥伦比亚省温哥华)。 ACM,纽约,第147-158页。 谷歌学者 CHANDRA,T.D.、HADZlLACOS,V.和TOUEG,S.1995年。 异步系统中不可能存在组成员关系。 技术代表95-1533。 纽约伊萨卡康奈尔大学计算机科学系。 谷歌学者 CHANDRA,T.D.和LARREA,M.1994年。 电子邮件通信。 显示cW不能用于解决非阻塞原子提交。 谷歌学者 CHANDRA,T.D.和TOUEG,S.1990年。 高效的时间和消息可靠广播。 第四届分布式算法国际研讨会论文集(9月)。 Springer-Verlag,纽约,第289-300页。 谷歌学者 CHANG,J.和MAXEMCHUK,N.1984。 可靠的广播协议。 ACM事务处理。 计算。 系统。 2、3(8月),251-273。 谷歌学者 数字图书馆 CHOR,B.和DWORK,C.1989年。 拜占庭协议中的随机化。 高级计算。 第5号决议,443-497。 谷歌学者 克里斯蒂安,F.1987。 高可用性计算服务设计中的问题。 加拿大信息处理学会年度研讨会(7月),第9-16页。 也是IBM Res.Rep.RJ5856。 Thomas J.Watson研究中心,纽约州霍桑市。 谷歌学者 克里斯蒂安·F·、阿基利·H·、斯特朗·R·和多利夫·D·1985/1989。 原子广播:从简单的信息传播到拜占庭协议。 第15届容错计算国际研讨会论文集(1985年6月),第200-206页。 修订后的版本为IBM Research Laboratory Technical Report RJ5244(1989年4月)。 托马斯·沃森研究中心,纽约州霍桑。 谷歌学者 CRISTIAN,F.、DANCEY,R.D.和DEHN,J.1990年。 先进自动化系统中的容错。 技术代表RJ 7424(4月),纽约州霍桑市托马斯·J·沃森研究中心IBM研究实验室。 谷歌学者 DOLEV,D.、DWORK,C.和STOCKMEYER,L.1987年。 分布式共识所需的最小同步。 J.ACM 34,1(1月),77-97。 谷歌学者 数字图书馆 1986年,DOLEV,D.、LYNCH,N.A.、PINTER,S.S.、STARK,E.W.和WEIHL,W.E。 在存在故障的情况下达成大致一致。 J.ACM 33,3(7月),499-516。 谷歌学者 数字图书馆 DWORK,C.,LYNCH,N.A.和STOCKMEYER,L.1988。 部分同步存在下的共识。 J.ACM 35,2(4月),288-323。 谷歌学者 数字图书馆 费舍尔,M.J.1983年。 不可靠分布式系统中的一致性问题(简要综述)。 技术代表273(6月),耶鲁大学计算机科学系,康涅狄格州纽黑文。 谷歌学者 FISCHER,M.J.、LYNCH,N.A.和PATERSON,M.S.,1985年。 在一个错误的过程中不可能达成分布式共识。 J.ACM 32,2(4月),374-382。 谷歌学者 数字图书馆 GOPAL,A.、STRONG,R.、TOUEG,S.和CRIST{安,F.1990。 提前交付原子广播。 第九届ACM分布式计算原理研讨会论文集(加拿大魁北克市,8月22-24日)。 ACM,纽约,第297-310页。 谷歌学者 GVERRAOt; k R.1995年。 重新审视非阻塞性原子承诺与共识之间的关系。 第九届分布式算法国际研讨会论文集(9月)。 Springer-Verlag,纽约,第87-100页。 谷歌学者 哈兹拉科斯,V.和图格,S.1993年。 容错广播和相关问题。 《分布式系统》,第5章,S.J.MUELENDER,Ed,Addison-Wesley,Reading,Mass.,第97-145页。 谷歌学者 哈兹拉科斯,V.和图格,S.1994。 容错广播和相关问题的模块化方法。 技术代表94-1425(5月),伊萨卡康奈尔大学计算机科学系。 纽约可通过匿名ftp访问 ftp://ftp.db.toronto.edu/pub/vassos/fault.tolerant。 广播.dvi。 Z.(Hadzilacos和Toueg{1993}中也提供了早期版本)。 谷歌学者 数字图书馆 HALPERN,J.Y.和MOSES,Y.1990。 分布式环境中的知识和常识。 J.ACM 37,3(7月),549-587。 谷歌学者 数字图书馆 兰波特,1978年出生。 可靠的分布式多进程系统的实现。 计算。 Netw公司。 2, 95-114. 谷歌学者 LAMPORT,L.、SHOSTAK,R.和PEASE,M.1982年。 拜占庭将军的问题。 ACM事务处理。 掠夺。 语言系统。 382-401年7月4日、3日。 谷歌学者 数字图书馆 Lo,W.K.和HADZILACOS,V.1994。 使用故障检测器解决异步共享内存系统中的一致性问题。 《第八届分布式算法国际研讨会论文集》(9月),纽约施普林格出版社,第280-295页。 可从以下位置获得 ftp://ftp.db.toronto.edu/pub/ vassos/failure.detectors.shared.memory.ps.Z。 谷歌学者 Loul,M.和ABU-AMARA。 1987.不可靠异步进程之间协议的内存要求。 高级计算。 第4号决议,163-183。 谷歌学者 MOSES,Y.、DOLEV,D.和HALPERN,J.Y.,1986年。 欺骗丈夫和其他故事:知识、行为和沟通的案例研究。 分布计算。 1, 3, 167-176. 谷歌学者 交叉引用 马伦德,S.J.,ED.1987。 阿米巴分布式操作系统。 1984-1987年论文选。 数学和计算机科学中心。 谷歌学者 NEIGER,G.1995年。 故障检测器和无等待层次结构。 第14届ACM分布式计算原理研讨会论文集(加拿大安大略省渥太华,8月)。 ACM,纽约,第100-109页。 谷歌学者 NEtGER,G.和TOUEG,S.1990年。 自动提高分布式算法的容错能力。 《算法杂志》11,3(9月),374-419。 谷歌学者 PEASE,M.、SHOSTAK,R.和LAMPORT,L.1980。 在出现故障时达成协议。 J.ACM 27,2(4月),228-234。 谷歌学者 数字图书馆 PETERSON,L.L.,BUCHOLZ,N.C.和SCHLICHTING,R.D.1989年。 在进程间通信中保留和使用上下文信息。 ACM事务处理。 计算。 系统。 7月3日(8月),217-246。 谷歌学者 数字图书馆 PITTELLI,F.和GARCIA-MOLINA,H.1989。 tmr数据库系统中的可靠调度。 ACM事务处理。 计算。 系统。 7,I(2月),25-60。 谷歌学者 数字图书馆 POWELL,D.,ED.1991年。 Delta-4:可靠分布式计算的通用体系结构。 Springer Verlag,纽约。 谷歌学者 REISCHUK,R.1982年。 拜占庭将军问题的新解决方案。 技术代表ILl 3673(11月),IBM研究实验室,托马斯·沃森研究中心,纽约州霍桑。 谷歌学者 RICCIARDI,A.和BIRMAN,K.P.,1991年。 使用进程组在异步环境中实现故障检测。 第十届ACM分布式计算原理研讨会论文集(加拿大魁北克省蒙特利尔,8月19-21日)。 ACM,纽约,第341-354页。 谷歌学者 SABEL,L.和MARZULLO,K.,1995年。 异步系统中的选举与共识。 技术代表TR95-411(2月)。 加州大学圣地亚哥分校。 加利福尼亚州圣地亚哥,网址: ftp://ftp.cs。 cornell.edu/pub/sabel/tr94-1413.ps。 谷歌学者 SCHNEIDER,F.B.1990年。 使用状态机方法实现容错服务:教程。 ACM计算机。 太阳。 22,4(12月),299-319。 谷歌学者 数字图书馆 WENSLEY,J.H.、LAMPORT,L.、GOLDBERG,J.、GREEN,M.W.、LEVITT,K.N.、MELLIAR-SMITH,P.、SHOSTAK,R.E.和WEINSTOCK,C.B.1978年。 SIFT:飞机控制容错计算机的设计和分析。 程序。 IEEE 66,10(10月),1240-1255。 谷歌学者 交叉引用
索引术语
可靠分布式系统的不可靠故障检测器
建议
解决共识的最弱故障检测器 我们确定在发生崩溃故障的异步分布式系统中,什么样的故障信息对于解决共识是必要的和足够的。 在Chandra和Toueg[1996]中,可以看出 周 ,一个故障检测器,提供令人惊讶的。。。 故障检测和随机化:解决共识的混合方法 我们提出了一种一致性算法,该算法结合了不可靠故障检测和随机化,这两种众所周知的技术用于解决具有崩溃故障的异步系统中的一致性问题。 这种混合算法结合了两种方法的优点:。。。