分布式系统原理Day10-CAP理论

约定不等于承诺〃 2023-03-03 08:56 134阅读 0赞

### CAP ###

*  定义
 *  描述
 *  意义
 *  分布式系统协议
 *   *   *  Lease机制
         *  Quorum机制
         *  两阶段提交协议
         *  Paxos协议

# 定义 #

*  **CAP理论:** CAP三个字母分别代表了分布式系统中三个相互矛盾的属性:
    
     *  **Consistency:** 一致性 **.CAP**理论中的副本一致性特指强一致性
     *  **Availablity:** 可用性. 系统在出现异常时已经可以提供服务
     *  **Tolerance to the partition of network:** 分区容忍. 系统可以对网络分区这种异常情况进行容错处理

# 描述 #

*  **CAP**理论指出,无法设计一种分布式协议,使得同时完全具备**CAP**三种属性:
    
     *  **协议下的副本始终是强一致性**
     *  **服务始终是可用的**
     *  **协议可以容忍任何网络分区异常**
 *  分布式系统协议只能在CAP这三者之间折中

# 意义 #

*  **CAP理论的意义:**
    
     *  明确提出不要妄图去设计一种对**CAP**三大属性都完全拥有的完美系统
     *  这种系统在理论上就已经被证明是不存在的

# 分布式系统协议 #

### Lease机制 ###

*  **Lease**机制牺牲了部分异常情况下的**A(可用性),** 从而获得了完全的**C(一致性)** 和很好的**P(分区容忍)**

### Quorum机制 ###

*  **Quorum**机制在**CAP**三大因素中都各自做了折中,有一定的**C(一致性),** 有较好的**A(可用性),** 也有较好的**P(分区容忍).** 是一种较为平衡的分布式协议

### 两阶段提交协议 ###

*  两阶段提交系统具有完全的**C(一致性),** 很差的**A(可用性)** 以及很差的**P(分区容忍)**

### Paxos协议 ###

*  同样是强一致性协议 **,Paxos**在**CAP**三方面较两阶段提交协议要更好
 *  **Paxos**具有完全的**C(一致性),** 较好的**A(可用性)** 以及较好的**P(分区容忍)**
 *  **Paxos**的**A(可用性)** 和 **P(分区容忍)** 的属性和**Quorum**机制类似,因为**Paxos**协议本身就具有**Quorum**机制的因素