分布式高可用算法

封面

版权信息

作者简介

内容简介

其他

序一

序二

序三

好评来袭

前言

1 初识分布式

1.1 什么是分布式系统

1.2 分布式算法的意义

1.3 “两将军”问题

1.4 设计分布式算法的主要挑战

1.4.1 并发执行

1.4.2 进程失败

1.4.3 链路失败

2 算法模型

2.1 I/O自动机

2.1.1 基本模型

2.1.2 组合模型

2.1.3 隐藏操作

2.1.4 与业务逻辑的关系

2.1.5 小结

2.2 编程模型

2.2.1 调用关系

2.2.2 事件和事件处理器

2.2.3 抽象和实现

3 系统模型

3.1 进程

3.2 消息

3.3 进程启动

3.4 进程失败

3.4.1 崩溃式失败

3.4.2 遗漏式失败

3.4.3 恢复后崩溃失败

3.4.4 拜占庭失败

3.4.5 各种失败的关系

3.5 时钟

3.5.1 本地时钟和全局时钟

3.5.2 因果顺序不变

3.5.3 逻辑时钟

3.5.4 时钟偏移

3.6 时间假设

3.6.1 异步系统

3.6.2 同步系统

3.6.3 部分同步系统

3.7 安全性和活性

3.8 组合模型

3.9 多数派

3.10 性能度量

4 链路

4.1 公平丢包链路

4.1.1 定义

4.1.2 消息系统

4.2 顽固链路

4.2.1 定义

4.2.2 静音型失败算法

4.3 可靠链路

4.3.1 定义

4.3.2 静音型失败算法

4.4 先进先出可靠链路

4.4.1 定义

4.4.2 静音型失败算法

4.5 日志可靠链路

4.5.1 定义

4.5.2 恢复型失败算法

4.6 其他说明

5 失败检测和选主

5.1 失败检测

5.2 完美失败检测

5.2.1 定义

5.2.2 停止型失败算法

5.3 最终完美失败检测

5.3.1 定义

5.3.2 噪音型失败算法

5.4 选主

5.4.1 定义

5.4.2 停止型失败算法

5.5 最终选主

5.5.1 定义

5.5.2 噪音型失败算法

5.5.3 恢复失败型算法

6 可靠广播

6.1 尽力广播

6.1.1 定义

6.1.2 静音型失败算法

6.2 正则可靠广播

6.2.1 定义

6.2.2 停止型失败算法

6.2.3 静音型失败算法

6.3 统一可靠广播

6.3.1 定义

6.3.2 停止型失败算法

6.3.3 静音型失败算法

6.4 顽固广播

6.4.1 定义

6.4.2 恢复型失败算法

6.5 概率广播