【文件属性】：
文件名称：dynamic-plain-paxos:扩展Paxos以支持成员资格更改
文件大小：106KB
文件格式：ZIP
更新时间：2021-05-20 13:49:10
TeX
动态平原Paxos
抽象的
经典的Paxos共识算法需要2F +1个进程的静态集合才能容忍F个瞬态故障。 Dynamic Plain Paxos是经典Paxos算法的扩展和直接替代，允许在达成共识期间更改成员资格。 它满足了现实世界中替换永久性故障节点或扩展群集大小以承受更多瞬态故障的要求。
本文介绍了一种在配置更改期间证明基于Paxos的分发系统正确性的通用方法，并使用它来证明成员资格更改的正确性。
全文： :
【文件预览】：
dynamic-plain-paxos-master
----hashToAddress.py(893B)
----README.md(792B)
----.gitignore(116B)
----dynamic-plain-paxos.tex(16KB)
----releases()
--------166k5NE1ZBtSsPk4LpbPffoETYuXBipkRQ.pdf(100KB)