文章

说明异步系统中不可能达成容错共识

作者:

费利克斯·C·。弗赖林和

黑根沃尔泽作者信息和声明

ACM SIGOPS操作系统审查,体积40,问题2

页105-109

https://doi.org/10.1145/1131322.1131324

出版:2006年4月1日出版历史

获取访问权限

摘要

本练习展示了如何使用一个简单的受限算法对异步分布式系统中的容错一致性问题进行介绍性讨论。本文旨在支持在分布式系统课程中教授一致性问题。

工具书类

[1]

M.Barborak、A.Dahbura和M.Malek。容错计算中的一致性问题。ACM计算机调查，25（2）：171-2201993年6月。

数字图书馆

[2]

M.Ben-O或。自由选择的另一个优点是：完全异步协议。程序中。ACM分布式计算原理年度研讨会，第27-30页，1983年。

数字图书馆

[3]

T.D.Chandra、V.Hadzilacos和S.Toueg。解决共识的最弱故障检测器。美国医学会杂志，43（4）：685--7221996年7月。

数字图书馆

[4]

T.D.Chandra和S.Toueg。可靠分布式系统的不可靠故障检测器。美国医学会杂志，43（2）：225--2671996年3月。

数字图书馆

[5]

C.Dwork、N.Lynch和L.Stockmeyer。部分同步存在下的共识。美国医学会杂志，35（2）：288--3231988年4月。

数字图书馆

[6]

M.J.Fischer、N.A.Lynch和M.S.Paterson。在一个错误的过程中不可能达成分布式共识。美国医学会杂志，32（2）：374-3821985年4月。

数字图书馆

[7]

A.Mostefaoui、S.Rajsbaum和M.Raynal。异步分布式系统中一致可解性的输入向量条件。第33届ACM计算机理论年会论文集，第153-162页。ACM出版社，2001年。

数字图书馆

[8]

J.Turek和D.Shasha。分布式系统中共识的许多方面。IEEE计算机，25（6）：8-171992年6月。

数字图书馆

[9]

H.Völzer。FLP的建设性证明。《信息处理快报》，92:83--872004年。

数字图书馆

引用人

弗赖林FGuerraoui R公司库兹涅佐夫P(2011)故障检测器抽象倒排索引综述10.1145/1883612.188361643:2(1-40)在线发布日期：2011年2月4日
https://dl.acm.org/doi/10.1145/1883612.1883616
多列夫S凯特·R席勒E(2010)当共识与自我稳定相遇计算机与系统科学杂志2016年10月10日/j.jss.2010.05.00576:8(884-900)在线发布日期：2010年12月1日
https://dl.acm.org/doi/10.1016/j.jcss.2010.05.005
多列夫S凯特·R席勒E(2006)当共识达到自我稳定时第十届分布式系统原理国际会议论文集10.1007/11945529_5(45-63)在线发布日期：2006年12月12日
https://dl.acm.org/doi/10.1007/11945529_5

索引术语

说明异步系统中不可能达成容错共识
1. 软件及其工程
  1. 软件组织和属性
    1. 非功能属性
      1. 软件容错
    2. 软件系统结构
      1. 分布式系统组织原则
2. 计算理论
  1. 计算复杂性和密码学
    1. 交互式证明系统
    2. 证明复杂性
  2. 逻辑
    1. 证明理论

建议

异步共识和广播协议

共识协议使系统n个异步进程（其中一些是错误的）达成协议。有两种错误的进程：只能终止的故障停止进程和也可以发送错误消息的恶意进程。。。
阅读更多信息
规避不可能达成共识的差距

对于问题的弱变量（通常称为弱一致性），在异步和易崩溃的系统中不可能达成确定性一致性，其中一组进程需要决定{0,1}中的公共值，以便。。。
阅读更多信息
消息传递系统中k-集一致性的简单不可能性证明
OPODIS’11：第十五届分布式系统原理国际会议记录

尽管是非常相似的（协议）问题，但1-集协议（共识）和一般k-集协议需要令人惊讶的不同技术来证明具有崩溃故障的异步系统中的不可能性：而不是相对。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM SIGOPS操作系统评论

ACM SIGOPS操作系统审查第40卷第2期

2006年4月

107页

ISSN公司：0163-5980

内政部：10.1145/1131322

版权所有©2006作者。

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2006年4月1日

在SIGOPS中发布体积40,问题2

检查更新

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

三
引文总数
查看引文
233
总下载次数

下载量（最近12个月）1
下载次数（最近6周）0

其他指标

查看作者指标

引文

引用人

弗赖林FGuerraoui R公司库兹涅佐夫P(2011)故障检测器抽象倒排索引综述10.1145/1883612.188361643:2(1-40)在线发布日期：2011年2月4日
https://dl.acm.org/doi/10.1145/1883612.1883616
多列夫S凯特·R席勒E(2010)当共识达到自我稳定时计算机与系统科学杂志10.1016/j.jcss.2010.05.00576:8(884-900)在线发布日期：2010年12月1日
https://dl.acm.org/doi/10.1016/j.jcss.2010.05.005
多列夫S凯特·R席勒E(2006)当共识达到自我稳定时第十届分布式系统原理国际会议论文集10.1007/11945529_5(45-63)在线发布日期：2006年12月12日
https://dl.acm.org/doi/10.1007/11945529_5

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

视图选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子

查看问题目录