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日 分布式系统 发表评论 阅读全文
高可用技术概述 算机系统高可用技术的基本概念。 前言 在分析高可用的技术前,我们需要先对一些概念进行说明,先从相关的词语开始。 系统 系统,即若干部分相互联系、相互作用,形成的具有某些功能的整体。分布式系统是其中一个... 08月01日 分布式系统 发表评论 阅读全文
自动灾备技术分析 这是最常用的高可用技术,简单有效可靠。 前言 灾备,又称灾难恢复(disaster recovery)。指的是, 发生灾难时恢复业务的能力。这就意味着已经发生了灾难,进行补救。它的流程是,前期准备,发... 07月25日 分布式系统 发表评论 阅读全文