文件名称：Fast Paxos(pdf)
文件大小：266KB
文件格式：PDF
更新时间：2016-07-29 02:32:34
Paxos 分布式 云计算 TLA+ Lamport
Abstract As used in practice, traditional consensus algorithms require three message delays before any process can learn the chosen value. Fast Paxos is an extension of the classic Paxos algorithm that allows the value to be learned in two message delays. How and why the algo-rithm works are explained informally, and a TLA+ speci¯cation of the algorithm appears as an appendix.