×
米盖尔·皮雷斯;斯利瓦桑·拉维;罗德里格斯，罗德里戈

广义帕克索斯创造了拜占庭风格（也不那么复杂）。 （英语） Zbl 1461.68038号

算法（巴塞尔） 11，第9号，第141号论文，第26页（2018年）.
摘要：最新成员之一帕克索斯协议系列是广义帕克索斯。Paxos的这种变体的特点是它背离了最初的共识规范，允许在较弱的安全条件下，不同的过程可以对商定的序列有不同的观点。然而，与最初的Paxos对等物非常相似，广义Paxos没有简单的实现。此外，随着拜占庭容错协议最近在区块链协议中的实际应用，了解如何在拜占庭模型中实现广义Paxos是及时和重要的。在本文中，我们做出了两个主要贡献。首先，我们试图基于更简单的规范和易于实现的解决方案的伪代码，对广义Paxos进行更简单的描述。其次，我们将协议扩展到拜占庭故障模型，并提供了相应的正确性证明。

引用于1文件

MSC公司：

68米15 网络和计算机系统的可靠性、测试和容错
64岁以下 分布式系统

关键词：

Byzantine容错;共识;帕克索斯

软件：

迪纳摩
PDF格式BibTeX公司 XML格式引用
\textit{M.Pires}等人，Algorithms（Basel）11，No.9，论文编号141，26 p.（2018；Zbl 1461.68038）
全文： 内政部 arXiv公司

参考文献：

[1] Lamport，L。；兼职议会；ACM事务处理。计算。系统：1998; 第16卷，133-169。
[2] 兰波特；非全日制议会：美国马萨诸塞州梅纳德，1989年·Zbl 1455.68033号
[3] De Prisco，R。；灯具，B。；北卡罗来纳州林奇。；重温Paxos算法；分布式算法，第十一届分布式算法研讨会论文集，德国萨尔布吕肯，1997年9月24日至26日：德国柏林/海德堡，1997年·Zbl 0944.68102号
[4] Lee，E.K。；Thekkath，C.A。；花瓣：分布式虚拟磁盘；第七届编程语言和操作系统体系结构支持国际会议论文集：。
[5] Burrows，M。；松散耦合分布式系统中的Chubby Lock服务；第七届操作系统设计与实现研讨会论文集：。
[6] Junqueira，F。；里德，B。；塞拉菲尼，M。；Zab：初级备份系统的高性能广播；第41届可靠系统和网络国际会议论文集：。
[7] Lamport，L。；帕克索斯变得简单；SIGACT新闻：2001；第32卷，第18-25页。
[8] van Renesse，R。；帕克索斯制造出中等复杂度；ACM计算。调查：2011; 第47卷，1-36。
[9] 卡斯特罗，M。；Liskov，B。；实用拜占庭容错；第三届操作系统设计与实现研讨会论文集：。
[10] Lamport，L。；通过精炼拜占庭化帕克索斯；分布式计算，第25届国际研讨会论文集（DISC 2011），意大利罗马，2011年9月20日至22日：德国柏林/海德堡，2011，211-224. ·兹比尔1350.68281
[11] Nakamoto，S。；比特币：一种对等电子现金系统；2008; .
[12] Lamport，L。；快速帕克索斯；分布计算：2006; 第19卷，79-103·Zbl 1266.68218号
[13] 兰波特；普遍共识与帕克索斯：2005年。
[14] 拉丁，R。；Liskov，B。；Shrra，L。；延迟复制：利用分布式服务的语义；第九届分布式计算原理研讨会论文集：·Zbl 0655.68028号
[15] DeCandia，G。；哈斯托伦，D。；Jampani，M。；卡库拉帕蒂，M。；拉克希曼，A。；Pilchin，A。；Sivasubramanian，S。；Vosshall，P。；沃格尔，W。；迪纳摩：亚马逊高可用的键值商店；第21届ACM SIGOPS操作系统原理研讨会论文集（SOSP’07）：。
[16] Pires，M。；拉维，S。；罗德里格斯共和国。；拜占庭制造的广义帕克索斯（不太复杂）；分布式系统的稳定、安全和安保：2017年瑞士查姆，203-218. ·Zbl 1498.68025号
[17] 费舍尔，M.J。；北卡罗来纳州林奇。；帕特森，M.S。；具有一个故障过程的分布式一致性的不可能性；《美国医学杂志》：1985年；第32卷，第374-382页·Zbl 0629.68027号
[18] Mao，Y。；F.P.Junqueira。；马尔祖洛，K。；孟子：为广域网构建高效的复制状态机；操作系统设计与实现研讨会论文集：，369-384.
[19] 莫拉鲁，I。；安德森D.G。；卡明斯基，M。；平等主义议会中有更多共识；第二十四届ACM操作系统原理研讨会论文集（Sosp’13）：，358-372.
[20] 兰波特，L。；肖斯塔克，R。；豌豆，M。；拜占庭将军问题；ACM事务处理。程序。语言系统：1982; 第4卷，382-401·Zbl 0483.68021号
[21] 多列夫，D。；德沃克，C。；Stockmeyer，L。；分布式共识所需的最小同步性；《美国医学杂志》：1987年；第34卷，77-97·Zbl 0631.68022号
[22] Vukolic，M。；仲裁制度：在存储和共识方面的应用；分布式计算理论综合讲座，Morgan&Claypool；2012; ; .
[23] Cachin，C。；Guerraoui，R。；罗德里格斯，L.E.T；可靠和安全分布式编程简介：德国柏林/海德堡，2011·Zbl 1208.68001号
[24] 阿哈迈德，M。；Neiger，G。；伯恩斯，J.E。；科尔里，P。；胡托，P.W。；因果记忆：定义、实现和编程；分布式计算：柏林/海德堡，德国1995；第9卷，37-49·Zbl 1448.68057号
[25] 李，C。；波尔图，D。；克莱门特，A。；Gehrke，J。；普雷古伊萨，N。；罗德里格斯共和国。；使地理复制系统尽可能快，必要时保持一致；第十届USENIX操作系统设计与实现研讨会论文集（OSDI’12）：。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。