
分布式理论与协议
本专栏尝试对分布式领域的一些理论和实践进行研究
执假以为真
Learning, Coding, Writing
展开
-
CAP理论浅析
CAP理论是分布式的基础理论。关于它的介绍在网上有很多,但其中往往有一些不够清晰或错漏之处,笔者在翻阅了多家文献之后,尝试整理出一份比较简洁清晰的介绍。1. CAP理论的历史2000年7月,加州大学伯克利分校的Eric Brewer教授在ACM PODC会议上提出CAP猜想。2年后,麻省理工学院的Seth Gilbert和Nancy Lynch从理论上证明了CAP。之后,CAP理论上升为一...原创 2018-12-18 00:49:32 · 478 阅读 · 0 评论 -
二阶段提交与三阶段提交
前面几篇博客中提到了CAP原理,以及CAP的几种组合,比如符合AP的有Gossip协议;符合CP的有Paxos协议;符合CA的有二阶段提交(2PC). 这篇文章就来介绍下二阶段提交和有所改进的三阶段提交。二阶段提交(2PC)为了使分布式系统架构下所有节点在进行事务提交时保持一致性而设计的一种算法。在分布式系统中,每个节点虽然可以知晓自己的操作时成功或者失败,却无法知道其他节点的操作的成功或失败...原创 2018-12-21 18:37:59 · 1684 阅读 · 0 评论 -
Raft论文翻译
最近在看Raft原论文,偶然看到有一位孙飞兄(Sunface)翻译了这篇英文论文,翻译得还不错,故借来一贴。多谢了。原文地址:https://blog.youkuaiyun.com/erlib/article/details/53671783英文版论文:https://ramcloud.atlassian.net/wiki/download/attachments/6586375/raft.pdf...转载 2018-12-11 23:04:48 · 1257 阅读 · 0 评论 -
Raft协议细解
转载一篇博客:https://www.cnblogs.com/foxmailed/p/3418143.html这篇博客写得比一般的Raft介绍更详细,而比原论文更浅显一些。分布式存储系统通常通过维护多个副本来进行fault-tolerance,提高系统的availability,带来的代价就是分布式存储系统的核心问题之一:维护多个副本的一致性。一致性协议就是用来干这事的,即使在部分副...转载 2018-12-19 23:39:13 · 410 阅读 · 0 评论 -
Raft协议简介
作为分布式一致性的算法,Raft相对于Paxos在工程上更易实现。前人曾制作了一篇动画文章,用以简介Raft算法,非常的形象生动。链接在这里:http://thesecretlivesofdata.com/raft/本文是对该动画文章的一点总结归纳。真正深入了解Raft协议,还是应该看其原论文:https://www.usenix.org/system/files/conference/atc1...原创 2018-12-09 23:45:18 · 447 阅读 · 0 评论 -
Gossip算法简介
转载自老码农的https://blog.youkuaiyun.com/chen77716/article/details/6275762 Gossip算法因为Cassandra而名声大噪,Gossip看似简单,但要真正弄清楚其本质远没看起来那么容易。为了寻求Gossip的本质,下面的内容主要参考Gossip的原始论文:<<Efficient Reconciliation and Flow ...转载 2018-12-19 23:01:34 · 530 阅读 · 0 评论