×
莱斯利·兰波特

通过精炼拜占庭化帕克索斯。 （英语） 兹比尔1350.68281

Peleg，David（编辑），《分布式计算》。第25届国际研讨会，2011年DISC，2011年9月20日至22日，意大利罗马。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24099-7/pbk）。计算机科学课堂讲稿6950211-224（2011）。
总结：我们通过拜占庭化普通Paxos算法的一个变体，导出了一个进程拜占庭Paxos共识算法——即，尽管存在恶意进程，但通过让非故障进程模拟普通Paxos算法。我们已经编写了一个正式的、经过机器检查的证明，证明拜占庭算法在适当的细化映射下实现了普通的Paxos一致性算法。
关于整个系列，请参见[Zbl 1225.68024号].

引用于4文件

MSC公司：

68宽15 分布式算法

软件：

PlusCal（加号）
PDF格式BibTeX公司 XML格式引用
\文本｛L.Lamport｝，Lect。注释计算。科学。6950211-224（2011；Zbl 1350.68281）
全文： 内政部

参考文献：

[1] Abadi，M.，Lamport，L.：精化映射的存在性。理论计算机科学82（2），253-284（1991）·Zbl 0728.68083号 ·doi:10.1016/0304-3975（91）90224-P
[2] Castro，M.，Liskov，B.：拜占庭式的实际容错和主动恢复。美国计算机学会计算机系统学报20（4），398–461（2002）·doi:10.1145/571637.571640
[3] Fischer，M.J.、Lynch，N.、Paterson，M.S.：一个错误过程不可能达成分布式共识。ACM杂志32（2），374–382（1985）·Zbl 0629.68027号 ·数字对象标识代码：10.1145/3149.214121
[4] Guerraoui，R.，Vukolić，M.：完善的法定人数制度。分布式计算23（1），1-42（2010）·Zbl 1231.68079号 ·doi:10.1007/s00446-010-0103-7
[5] Lamport，L.：拜占庭帕克索斯算法的机械检查安全证明，http://research.microsoft.com/users/lamport/tla/byzpaxos.html。也可以通过在Web上搜索通过从uid-lamportbyzpaxosproof中删除“-”获得的23个字母的字符串来找到该页面
[6] Lamport，L.：兼职议会。ACM计算机系统交易16（2），133-169（1998）·doi:10.1145/279227.279229
[7] Lamport，L.：指定系统。Addison-Wesley，波士顿（2003）·Zbl 0959.68080号
[8] Lamport，L.：快速帕克索斯。分布式计算19（2），79–103（2006）·Zbl 1266.68218号 ·数字对象标识代码：10.1007/s00446-006-0005-x
[9] Lamport，L.：pluscal算法语言。收录：Leucker，M.，Morgan，C.（编辑）ICTAC 2009。LNCS，第5684卷，第36-60页。斯普林格，海德堡（2009）·兹比尔1250.68284 ·doi:10.1007/978-3-642-03466-42
[10] Lamport，L.、Malkhi，D.、Zhou，L.：垂直paxos和初级备份复制。参见：Tirthapura，S.，Alvisi，L.（eds.）《第28届ACM分布式计算原理研讨会论文集》，PODC 2009，第312-313页。ACM，纽约（2009）
[11] Lamport，L.B.：快速拜占庭帕克索斯。美国专利7620680，申请（2002年8月15日）发布（2009年11月17日）
[12] Lamport，L.B.，Massa，M.T.：廉价帕克索斯。美国专利7249280，申请（2004年6月18日）发布（2007年7月24日）
[13] Lampson，B.W.：帕克索斯的ABCD，http://research.microsoft.com/lampson/65-ABCDPaxos/Abstract.html
[14] Martin，J.-P.，Alvisi，L.：快速拜占庭共识。摘自：《可靠系统和网络国际会议论文集》（DSN 2005），横滨，第402-411页。IEEE计算机学会，Los Alamitos（2006）
[15] Oki，B.M.：高可用分布式系统的Viewstamp复制。技术报告MIT/LCS/TR-423，麻省理工学院计算机科学实验室（博士论文）（1988年8月）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。