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 机制
网友评论