原理 鸽巢原理 若有n个笼子和n+1只鸽子，所有的鸽子都被关在鸽笼里，那么至少有一个笼子有至少2只鸽子。 鸽巢原理证明 使用反证法证明： 假设n个鸽笼，每个鸽笼只有一只鸽子，那么最多只有n个鸽子,n&...
Quorum机制学习笔记
阅读全文
Paxos算法学习疑问记录
记录学习Paxos算法时遇到的疑问和思考。 相关笔记: Paxos算法学习笔记 Paxos算法的数学归纳法证明 概念 为什么说Paxos是唯一的共识算法 There is only one conse...
Paxos算法的数学归纳法证明
本文是对Paxos算法的证明，如有错误请指正。 预备知识 表面上看，Paxos像是一个Quorum算法再加上二阶段提交(2PC)。但并非是的二者相加。 相关笔记 Quorum算法学习笔记 数学归纳法 ...
高可用技术概述
算机系统高可用技术的基本概念。 前言 在分析高可用的技术前，我们需要先对一些概念进行说明，先从相关的词语开始。 系统 系统，即若干部分相互联系、相互作用，形成的具有某些功能的整体。分布式系统是其中一个...
自动灾备技术分析
这是最常用的高可用技术，简单有效可靠。 前言 灾备，又称灾难恢复(disaster recovery)。指的是， 发生灾难时恢复业务的能力。这就意味着已经发生了灾难，进行补救。它的流程是，前期准备，发...
