脑洞分布式关系型数据库的几个技术优化点 在传统数据库的世界里,或许Oracle已经是一个终极形态。但在分布式关系型数据库的世界里,一切才刚开始。 前言 分布式关系型数据库集分布式技术和数据库技术为一体,像Paxos/Raft和2PC已经是基... 01月31日 分布式系统 发表评论 阅读全文
分布式系统使用坐标系分析Paxos算法 使用时间和提案编号组成的坐标系来分析Paxos算法,希望能为你带来更直观的感受,使Paxos算法更加易懂。 前言 建议先阅读Paxos算法学习笔记。然后将算法流程代入图中,分析算法在两个阶段中可能发生... 08月19日 发表评论 阅读全文
Quorum机制学习笔记 原理 鸽巢原理 若有n个笼子和n+1只鸽子,所有的鸽子都被关在鸽笼里,那么至少有一个笼子有至少2只鸽子。 鸽巢原理证明 使用反证法证明: 假设n个鸽笼,每个鸽笼只有一只鸽子,那么最多只有n个鸽子,n&... 08月16日 分布式系统 发表评论 阅读全文
Paxos算法学习疑问记录 记录学习Paxos算法时遇到的疑问和思考。 相关笔记: Paxos算法学习笔记 Paxos算法的数学归纳法证明 概念 为什么说Paxos是唯一的共识算法 There is only one conse... 08月16日 分布式系统 发表评论 阅读全文
Paxos算法的数学归纳法证明 本文是对Paxos算法的证明,如有错误请指正。 预备知识 表面上看,Paxos像是一个Quorum算法再加上二阶段提交(2PC)。但并非是的二者相加。 相关笔记 Quorum算法学习笔记 数学归纳法 ... 08月15日 分布式系统 发表评论 阅读全文
分布式系统Paxos算法学习笔记 从Paxos入门分布式共识算法,先了解Paxos算法的总体结构和流程。 前言 本文Paoxs指代的是Basic Paxos。 Paxos是强一致的算法,数据写入后立即可读取,不存在延迟。 Paxos是... 08月13日 发表评论 阅读全文