Jeff Dean点赞的Consensus Revised论文在说啥？

Jeff Dean点赞的Consensus Revised论文在说啥？
  《Distributed consensus revised》 Heidi Howard 整篇论文151页，粗略通读了一遍，主要是了解各个变体的基本思路和正确性直觉的理解，更形式化的证明基本上都跳过了。 这里假设读者对Basic Paxos有了一定了解，看过Lamport的那篇原始论文。另外我这里行文术语基本沿用原始论文的说法，跟这篇论文稍有差异，不过如果熟悉Basic Paxos的话，应该很容易对应起来。   导读 FLP定理已经证明了在异步...
2019年04月20日 分布式 评论 1 条 喜欢 13 阅读 2,036 次 阅读全文

FLP impossibility证明 阅读笔记

FLP impossibility证明 阅读笔记

分布式系统一致性协议里面有一个FLP impossibility的结论，这个结论是说，在分布式系统中，异步网络（消息延迟可能任意大或丢失，消息可能乱序），只要有一个进程失效（进程死亡或者足够长时间不响应），就不可能设计出一个一致性协议。
该结论由Fisher、Lynch、Paterson三位分布式系统领域的科学家在1985年在论文Impossibility of Distributed Consensus with One Faulty Process证明。本文解读了证明过程。

2017年03月05日 分布式 评论 5 条 喜欢 12 阅读 4,005 次 阅读全文

Raft论文解读

Raft论文解读

Raft论文解读，本文根据Raft会议论文，参考Raft博士论文，解读了部分内容。Raft跟(Multi)Paxos差别较大，相比Paxos加强了很多约束，尤其是strong leader，直接影响了Raft协议的架构。

2016年10月04日 分布式 暂无评论 喜欢 6 阅读 3,586 次 阅读全文