上篇文章我们讲了CAP理论的基本理论，今天我们到细节里来看看:
1. CAP理论关注的是数据而非整个系统
-
CAP理论的核心是针对分布式系统中数据的设计权衡，而不是整个系统统一选择CP或AP。 -
系统内部不同数据或操作场景可能需要不同的CAP策略： - 示例
用户管理系统中，用户账号数据（如ID、密码）通常选择CP（强一致性），以确保安全性；用户信息数据（如昵称、简介）可选择AP（高可用性），允许短暂不一致。 -
如果整个系统统一选择CP或AP，会导致某些场景需求无法满足，设计失衡。 -
架构师应根据数据类型和业务场景，将数据分类并分别选择CP或AP策略，而不是对整个系统“一刀切”。
2. 一致性（C）的现实挑战
-
分布式系统中，数据从一个节点同步到其他节点需要时间（即使是毫秒级延迟），导致严格一致性（所有节点同时拥有相同数据）在实践中难以实现。 - 严格一致性场景
-
对于强一致性要求高的业务（如用户余额、商品库存），理论上需要CP，但实际中因同步延迟，CP可能退化为CA（单一节点写入，其他节点备份）。 -
这种场景下，分布式多点写入难以实现，系统可能需要牺牲分布式特性，采用主从架构。 - 实际意义
即使是CP系统，也可能因延迟而短暂不一致，需通过日志或补偿机制确保最终一致性。
3. 正常运行时可同时满足CA
-
CAP理论的前提是网络分区（P）发生时必须在C和A之间选择，但在无分区时，系统可同时满足一致性（C）和可用性（A）。 - 实现方式
-
用户账号数据：可通过消息队列实现CA，保证强一致性，但实现复杂。 -
用户信息数据：可通过数据异步同步实现CA，简单但一致性要求较低。 -
架构设计时需考虑分区发生时的CP或AP选择，同时优化无分区时的CA实现。
4. “牺牲”不等于完全放弃
-
CAP理论中的“牺牲”（如放弃C或A）仅指分区期间无法保证该属性，而非永远放弃。 -
分区时间通常较短（例如，99.99%可用性系统一年不可用时间仅约50分钟），因此需为分区恢复做准备： - CP系统示例
用户账号数据在分区时，节点1可继续注册新用户，节点2返回错误（牺牲A）。节点1记录未同步数据到日志，分区恢复后同步至节点2，恢复CA状态。 - AP系统示例
用户信息数据在分区时，节点1和节点2可独立修改（如用户爱好），分区恢复后通过规则（如最后写入优先）合并数据，或人工介入解决冲突，达到最终一致性。 -
分区期间的日志记录和恢复机制是确保系统在分区后恢复CA的关键。
5. ACID与CAP的对比
- ACID
是数据库事务的理论，包含： - 原子性
事务操作全完成或全不完成。 - 一致性
事务前后数据完整性不被破坏。 - 隔离性
并发事务不干扰，隔离级别包括未提交读、提交读、可重复读、串行化。 - 持久性
事务完成后数据持久保存。 - ACID与CAP的区别
-
ACID的A（原子性）与CAP的A（可用性）含义不同。 -
ACID的C关注数据库完整性（如约束条件），CAP的C关注分布式节点间数据一致性。 -
ACID适用于数据库事务场景，CAP适用于分布式系统设计，二者关注点不同，类似关系数据库和NoSQL的差异。
6. BASE理论作为CAP的延伸
- BASE
是对CAP中AP方案的补充，强调： - 基本可用
分区时允许损失部分可用性，优先保证核心功能（如登录优于注册）。 - 软状态
允许系统存在中间状态（数据不一致），不影响整体可用性。 - 最终一致性
数据副本在一定时间后达到一致。 - 与CAP的关系
-
BASE是对AP方案的细化，强调分区期间放弃一致性，但通过最终一致性在分区恢复后达成一致。 -
CP系统也可能实现最终一致性（因同步延迟），但“一定时间”较短（如毫秒级）。 - 示例
-
微博系统：用户账号数据需1分钟内一致（登录场景），新微博可容忍30分钟不一致（用户无感知）。 -
核心功能（如登录）优先级高于非核心功能（如注册），需明确区分。
7. CAP理论中的延迟问题
-
CAP理论忽略了网络延迟，但现实中延迟不可避免（即使毫秒级）。 -
即使CP系统，在数据同步的短暂时间内也会出现不一致，实际效果接近最终一致性。 -
AP系统在分区期间放弃一致性，但分区恢复后需通过机制（如日志、合并规则）达到最终一致性。
8. 设计电网网站的思考题
- 问题
设计电网网站的架构，需考虑CAP理论。 - 建议设计
- 核心数据（如电费账单、交易记录）
选择CP，确保一致性和分区容错性，因账单错误会导致严重后果。分区时可通过日志记录未同步数据，恢复后同步。 - 非核心数据（如用户信息、公告）
选择AP，优先可用性，允许短暂不一致，分区恢复后通过合并规则（如最后更新优先）达成一致。 - 正常运行
优化CA实现，核心数据用消息队列，非核心数据用异步同步。 - 分区恢复
记录分区期间的操作日志，恢复后通过自动或人工合并恢复CA状态。