分布式系统——CAP学习

[wtysos11]

起源：在看KM社区上关于网络分区的例子时，发现自己对于这方面没有什么了解，遂迅速进行了学习

参考资料：

1. 分布式事务/系统之底层原理揭秘
2. 分布式事务的CAP理论

网络分区（P）

参考资料：

1. 分布式系统基础：网络分区
2. 尝试正确理解网络分区

定义：网络分区是由于网络设备的Failure，造成网络分裂成为多个独立的组。 与之相对的分区容忍性的定义：网络允许丢失一个节点发给另外一个节点的任意多的信息。（这个被参考文献P-1的作者认为更具有通用意义，因为造成网络分区不仅仅是网络设备failure，任意两个节点无法再次交互，例如GFW等，就会形成分区）

常见分区原因：

• 网络设备failure（网络通讯故障）：网线断了、交换机故障，GFW作妖导致海内外服务器同步异常等
• 节点failure（服务器应用故障）：节点的软件或者硬件故障，使其成为故障节点。当故障的节点非常多，故障节点和正常节点就不会在同一个分区内。

分布式事务

• 刚性事务：四大基本特性ACID，即原子性、一致性、隔离性、持久性。也可以使用分布式CAP理论中的CP事务来作为定义。本地事务（对单一节点或数据库资源对象进行访问/更新的事务，一定是刚性的）
• 柔性事务：保证“基本可用，最终一致”的BASE原则。分布式事务可以是柔性事务，也可以是刚性事务。
  • 基本可用Basically Available：系统能够基本运行、一直提供服务
  • 软状态Soft-state：系统不要求一直保持强一致状态
  • 最终一致性Eventual consistency：系统需要在某一时刻会后达到一致性要求 柔性事务的理论是将锁资源对象从本地资源对象层面上移至业务逻辑层面，再通过放宽对强一致性的要求以换取系统吞吐量的提升。柔性事务还是需要部分遵循ACID规范：
• 原子性：严格遵循
• 一致性：事务完成后的一致性严格遵循；事务中的一致性可以适当放宽
• 隔离性：并行事务间不可影响；事务中间结果可见性允许安全放宽
• 持久性：严格遵循