https://loloxwg.top/tag/%E5%85%B1%E8%AF%86/共识Wowchemy (https://wowchemy.com)en-usWed, 02 Feb 2022 12:34:40 +0000https://loloxwg.top/media/icon_hu0b7a4cb9992c9ac0e91bd28ffd38dd00_9727_512x512_fill_lanczos_center_3.pnghttps://loloxwg.top/tag/%E5%85%B1%E8%AF%86/https://loloxwg.top/posts/%E5%85%B1%E8%AF%86%E8%AE%BA%E6%96%87%E6%80%BB%E7%BB%93paxos-raft-and-etc-%E8%B5%84%E6%96%99%E5%92%8C%E7%AC%94%E8%AE%B0%E6%80%BB%E7%BB%93/Wed, 02 Feb 2022 12:34:40 +0000https://loloxwg.top/posts/%E5%85%B1%E8%AF%86%E8%AE%BA%E6%96%87%E6%80%BB%E7%BB%93paxos-raft-and-etc-%E8%B5%84%E6%96%99%E5%92%8C%E7%AC%94%E8%AE%B0%E6%80%BB%E7%BB%93/<h2 id="一共识">一、共识</h2> <p> <figure > <div class="d-flex justify-content-center"> <div class="w-100" ><img alt="" srcset=" /posts/%E5%85%B1%E8%AF%86%E8%AE%BA%E6%96%87%E6%80%BB%E7%BB%93paxos-raft-and-etc-%E8%B5%84%E6%96%99%E5%92%8C%E7%AC%94%E8%AE%B0%E6%80%BB%E7%BB%93/featured_huf66b6f22c477385c7bad973c53b12342_458587_8a71d3ab6c84619cb65d1f5af6d46e51.webp 400w, /posts/%E5%85%B1%E8%AF%86%E8%AE%BA%E6%96%87%E6%80%BB%E7%BB%93paxos-raft-and-etc-%E8%B5%84%E6%96%99%E5%92%8C%E7%AC%94%E8%AE%B0%E6%80%BB%E7%BB%93/featured_huf66b6f22c477385c7bad973c53b12342_458587_84be5ab18c5d549ef1fc654132bb65d9.webp 760w, /posts/%E5%85%B1%E8%AF%86%E8%AE%BA%E6%96%87%E6%80%BB%E7%BB%93paxos-raft-and-etc-%E8%B5%84%E6%96%99%E5%92%8C%E7%AC%94%E8%AE%B0%E6%80%BB%E7%BB%93/featured_huf66b6f22c477385c7bad973c53b12342_458587_1200x1200_fit_q75_h2_lanczos_3.webp 1200w" src="https://loloxwg.top/posts/%E5%85%B1%E8%AF%86%E8%AE%BA%E6%96%87%E6%80%BB%E7%BB%93paxos-raft-and-etc-%E8%B5%84%E6%96%99%E5%92%8C%E7%AC%94%E8%AE%B0%E6%80%BB%E7%BB%93/featured_huf66b6f22c477385c7bad973c53b12342_458587_8a71d3ab6c84619cb65d1f5af6d46e51.webp" width="760" height="261" loading="lazy" data-zoomable /></div> </div></figure> </p> <p>分布式系统中的一致性实在是太杂糅了，有共识、隔离级别等等，这里只关注共识，尤其是raft、paxos等各种算法。</p> <p>raft、paxos等各种变形算法，来自On the Parallels between Paxos and Raft, and how to Port Optimizations</p> <h2 id="二需要了解的先验知识">二、需要了解的先验知识：</h2> <h3 id="1论文">1.论文</h3> <p>Raft-In Search of an Understandable Consensus Algorithm(Extended Version)阅读笔记 - 不想说的文章 - 知乎 <a href="https://zhuanlan.zhihu.com/p/248136033" target="_blank" rel="noopener">https://zhuanlan.zhihu.com/p/248136033</a></p> <p>PAXOS Paxos Made Simp阅读笔记 - 不想说的文章 - 知乎 <a href="https://zhuanlan.zhihu.com/p/258929773" target="_blank" rel="noopener">https://zhuanlan.zhihu.com/p/258929773</a></p> <p>Raft-Paxos关系对应 On the Parallels between Paxos and Raft, and how to Port Optimizations阅读笔记 - 不想说的文章 - 知乎 <a href="https://zhuanlan.zhihu.com/p/453400329" target="_blank" rel="noopener">https://zhuanlan.zhihu.com/p/453400329</a></p> <p>PBFT Practical Byzantine Fault Tolerance阅读笔记 - 不想说的文章 - 知乎 <a href="https://zhuanlan.zhihu.com/p/465031927" target="_blank" rel="noopener">https://zhuanlan.zhihu.com/p/465031927</a></p> <p>Byzantizing Paxos by Refinement阅读笔记 - 不想说的文章 - 知乎 <a href="https://zhuanlan.zhihu.com/p/295250296" target="_blank" rel="noopener">https://zhuanlan.zhihu.com/p/295250296</a></p> <p>略学The Part-Time Parliament阅读笔记 - 不想说的文章 - 知乎 <a href="https://zhuanlan.zhihu.com/p/465763532" target="_blank" rel="noopener">https://zhuanlan.zhihu.com/p/465763532</a> （本文应该早点看，可惜顺序在这里，应该是第二篇，在paxos made simple前）</p> <h3 id="2形式化验证">2.形式化验证</h3> <p>COQ、dafny、TLA+</p> <p>关于TLA+的入门请参照 里面有</p> <h3 id="3未来计划">3.未来计划：</h3> <p>更新epaxos、Mecius、FastPaxos、Paxos Quorum Lease、Byzantine Paxos等</p> <p><strong>For Epaxos（资料先行整理，当结束了就会放入<em>二、1.论文</em>中）</strong></p> <p><a href="https://zhuanlan.zhihu.com/p/269388025" target="_blank" rel="noopener">祥光：EPaxos三部曲之一：EPaxos基本概念与直观理解</a></p> <p><a href="https://zhuanlan.zhihu.com/p/387468959" target="_blank" rel="noopener">祥光：EPaxos三部曲之二：EPaxos核心协议流程</a></p> <p><a href="https://www.zhihu.com/search?type=content&amp;q=%E5%BC%BA%E8%BF%9E%E9%80%9A%E5%88%86%E9%87%8F" target="_blank" rel="noopener">强连通分量 - 搜索结果 - 知乎</a>（epaxos前序知识）</p> <p>epaxos详解 - 北侠的文章 - 知乎 <a href="https://zhuanlan.zhihu.com/p/35562236" target="_blank" rel="noopener">https://zhuanlan.zhihu.com/p/35562236</a></p> <p>下面是一个超级强的学长的推荐，一定要看！</p> <p><a href="https://www.zhihu.com/people/d8600e722afa7f33d8ff51d156f9aeb3" target="_blank" rel="noopener">@我做分布式数据库</a></p> <p><a href="https://link.zhihu.com/?target=https%3A//escholarship.org/uc/item/9w79h2jg" target="_blank" rel="noopener">SoK: A Generalized Multi-Leader State Machine Replication Tutorial</a>。Michael Whittaker 论文推荐都读一读</p> <p><a href="https://zhuanlan.zhihu.com/p/380622806" target="_blank" rel="noopener">drdr xp：Multi-Master-Paxos: 3</a> 一个实现toy 很强大</p> <h2 id="三学习实现待续-估计是持续超过一年的项目">三、学习实现（待续 估计是持续超过一年的项目）</h2> <p>纸上得来终觉浅，绝知此事要躬行，比如自己实现一个toy 分布式数据库with raft or paxos</p> <h2 id="未来">未来</h2> <p>会持续更新，最后可能会得出一个结论</p>