T-14-云计算 | Google分布式锁服务Chubby

1. 初步了解 Chubby

Chubby

2. Paxos 算法

Paxos 算法 Chubby 中的 Paxos 算法

3. 系统的约束条件

p1：每个acceptor只接受它得到的第一个决议。

p2：一旦某个决议得到通过，之后通过的决议必须和该决议保持一致。

• p2a：一旦某个决议v得到通过，之后任何acceptor再批准的决议必须是v。
• p2b：一旦某个决议v得到通过，之后任何proposer再提出的决议必须是v。
• p2c：如果一个编号为n的提案具有值v，那么存在一个“多数派”，要么它们中没有谁批准过编号小于n的任何提案，要么它们进行的最近一次批准具有值v。

为了保证决议的唯一性，acceptors也要满足一个约束条件：当且仅当acceptors 没有收到编号大于n的请求时，acceptors 才批准编号为n的提案。

一个决议的两个阶段

3. Chubby 的基本架构

Chubby的基本架构
Chubby 的系统设计
容错日志的 API

4. Chubby 文件系统

单位递增的64位编号
常用的句柄服务

5. 通信协议

通信协议

6. Chubby de ACL 机制

Chubby 的 ACL 机制