成都企业网站优化,wordpress 珠宝主题,东莞百度seo在哪,ui培训的课程一、CAP理论概述
在分布式系统中#xff0c;CAP是指一组原则#xff0c;它们描述了在网络分区#xff08;Partition#xff09;时#xff0c;分布式系统能够提供的保证。CAP代表Consistency#xff08;一致性#xff09;、Availability#xff08;可用性#xff09;和…一、CAP理论概述
在分布式系统中CAP是指一组原则它们描述了在网络分区Partition时分布式系统能够提供的保证。CAP代表Consistency一致性、Availability可用性和Partition Tolerance分区容错性。 麻省理工学院的 Seth Gilbert 和 Nancy Lynch 以严谨的数学推理证明了 CAP 猜想。自此CAP 正式从猜想变为分布式计算领域所公认的著名定理。这个定理里描述了一个分布式的系统中涉及共享数据问题时以下三个特性最多只能同时满足其中两个。
1.1、一致性Consistency
一致性Consistency代表数据在任何时刻、任何分布式节点中所看到的都是符合预期的。
简单来说写入数据到分布式系统的某一个节点后操作会立刻反应到整个分布式系统上。即任何时刻从任意一个节点读取的数据都必须是一样的。
要实现一致性那么需要保证当在分布式系统更新一个节点的数据时候分布式系统会立马把这个数据同步到所有的节点上。要么所有节点都更新数据要么都不更新。始终保持所有节点数据一致。
并且在这个数据同步期间分布式系统不能对外提供服务否则会违背一致性因为可能会访问到尚未同步的节点此时读到的数据就不一致了。
举个例子当对节点 A 执行操作 set x 1; 之后x 的新值会立刻同步到所有的节点上保证所有的节点上 x 值都被更新为 1。
1.2、可用性Availability
可用性Availability代表系统不间断地提供服务的能力。
即任何时刻对于分布式系统节点的访问都会返回成功的结果而不会是超时或者失败。可用性强调的是一定能读到数据至于读取到的数据是新值还是旧值都不影响但一定要能成功访问。
1.3、分区容忍性Partition Tolerance
分区容忍性Partition Tolerance代表分布式系统在面对网络分区Network Partition时仍然能够正常运行的能力。网络分区是指系统中的节点之间无法互相通信或通信延迟非常高的情况。
在分布式系统中由于网络的不可靠性和不稳定性网络分区是常见的情况。例如一个由多个节点组成的分布式系统可能由于网络故障、服务器故障或网络拥塞等原因导致节点之间无法彼此通信。
分区容错性的目标是使分布式系统能够在网络分区的情况下仍然保持运行和提供服务。这意味着即使网络分区发生系统的各个节点仍然能够正常处理请求、进行数据读写操作并向用户提供结果。
二、为什么说CAP不能同时满足
2.1、举例一
我们都听过分布式系统中 CAP 是无法同时满足的但是很多时候都是只有一个模糊概念所以我就从一个简单例子说起吧。
有一个很简单的程序就存了几个键值对。我们在多台机器上都部署这个程序整体对外提供服务这就成了一个简单的分布式系统。每一个运行的程序称为一个节点如图所示 此时某个客户端 Client1 连接了节点 A向节点 A 发起请求: SET a 999
然后某个客户端 Client2 连接了节点 B发送请求GET a; 立马读取 a 的值。
先假设现在我们要满足 Consistency 一致性。前面提过需要保证当在分布式系统更新一个节点的数据时候分布式系统会立马把这个数据同步到所有的节点上。要么所有节点都更新数据要么都不更新。始终保持所有节点数据一致。
怎么保证这一点呢有两个方案
方案一数据全部都只存放在一个节点上。其他节点全部从这个节点上读取数据。
很容易理解所有数据都在一个节点上那么就根本不需要 把数据同步到其他节点 这一步操作了其他所有节点读写数据请求都会被转发到这个节点上来执行。所以它一定满足Consistency一致性。
在这个例子中即只有节点 A保存了所有数据其他节点数据全是空的Client2的请求会被转发到节点 A 上因此得到的a 都是 999。一致性得到保证。 另外由于只有一份数据没有数据同步这一步骤因此分布式系统在任何时间都是能对外提供服务的。下一个请求能够立马得到成功的响应。所以 Availability 可用性 也是满足的。
然而这个系统满足 Partition-tolerance 分区容错性 吗 遗憾的是并不满足
很简单因为数据全部存在节点 A 上。假设节点 B 与节点 A 的网络通信因为某种原因中断了这是很有可能的此时发生分区。节点 B 就无法对外提供服务了因为他无法从节点 A 拿到数据。这违背了分区容错性的定义。所以不满足分区容错性。
综上这个系统满足 Consistency 一致性 和 Availability 可用性但是不满足 Partition-tolerance 分区容错性。这属于 CA。
方案二每个节点都存放数据。
在这种方案下要保证一致性那么必须要将数据修改立刻同步到每一个节点。然而同步数据总得需要时间在这个时间段内分布式系统不能对外响应否则会违背一致性。
当在节点 A 执行 SET a 999 的操作后节点 A 需要将这个操作同步到其他的节点上保证数据的一致性。 Consistency 一致性 满足之后每个节点都是完全相同的数据备份。此时就算某个节点 A 与其他节点的通信中断此时产生了两个分区 单独的节点A 是一个分区 其他所有节点 是另外一个分区。但是这两个分区都有完整的数据因此都可以对外提供服务。也就是说满足了 Partition-tolerance 分区容错性。
那可用性满足吗并不。
在节点数据同步的过程中整个分布式系统不能对外提供服务。因此在这个过程中的请求都无法得到响应所以 Availability 可用性 无法满足。Client2 的请求会超时而不是立马返回成功因此可用性不成立。
综上这个属于 CP。
另外假设我不选择 Consistency 一致性 的时候能同时满足 Availability 可用性 和 Partition-tolerance 分区容错性 吗
可以。 因为不需要满足一致性了实际上每个节点的数据都有自己的副本但是这些副本的值并不一定完全相同因为没有数据同步。对于 Client1 来说 GET a 得到的是 999. 而对于 Client2 来说 GET a 是 1。
此时就算发生网络分区每个节点都还是能对外服务的。所以满足 Partition-tolerance 分区容错性。
而且任一时刻的请求也能正常得到响应因为没有数据同步的过程自然任何时候都能处理请求了所以也满足 Availability 可用性。 这个就是 AP。 至此我们已经可以得到结论。分布式系统中 CAP 三者是不能完全同时满足的只能够3选2了。
通常在分布式系统中 Partition-tolerance 分区容错性 是我们不得不选择的。 很容易理解不选择分区容错性就等于数据只放在一个节点A上。那这个分布式系统的意义好像也不大搞来搞去鸡蛋还是放在一个篮子里了。这个节点 A一旦挂了整个系统毫无疑问直接挂掉这对生产环境来说通常是难以接受的。
2.2、举例二
单纯只列概念CAP 是比较抽象的。假设 蔚来商城 的服务拓扑如图所示一个来自最终用户的交易请求将交由账号、商家和仓库服务集群中某一个节点来完成响应 在这套系统中每一个单独的服务节点都有自己的数据库假设某次交易请求分别由“账号节点 1”、“商家节点 2”、“仓库节点 N”联合进行响应。当用户购买一件价值 100 元的商品后账号节点 1 首先应给该用户账号扣减 100 元货款它在自己数据库扣减 100 元很容易但它还要把这次交易变动告知本集群的节点 2 到节点 N并要确保能正确变更商家和仓库集群其他账号节点中的关联数据此时将面临以下可能的情况。 如果该变动信息没有及时同步给其他账号节点将导致有可能发生用户购买另一商品时被分配给到另一个节点处理由于看到账号上有不正确的余额而错误地发生了原本无法进行的交易此为一致性问题。 如果由于要把该变动信息同步给其他账号节点必须暂时停止对该用户的交易服务直至数据同步一致后再重新恢复将可能导致用户在下一次购买商品时因系统暂时无法提供服务而被拒绝交易此为可用性问题。 如果由于账号服务集群中某一部分节点因出现网络问题无法正常与另一部分节点交换账号变动信息此时服务集群中无论哪一部分节点对外提供的服务都可能是不正确的整个集群能否承受由于部分节点之间的连接中断而仍然能够正确地提供服务此为分区容忍性。
以上还仅仅涉及了账号服务集群自身的 CAP 问题对于整个 Fenixs Bookstore 站点来说它更是面临着来自于账号、商家和仓库服务集群带来的 CAP 问题譬如用户账号扣款后由于未及时通知仓库服务中的全部节点导致另一次交易中看到仓库里有不正确的库存数据而发生超售。又譬如因涉及仓库中某个商品的交易正在进行为了同步用户、商家和仓库的交易变动而暂时锁定该商品的交易服务导致了的可用性问题等等。
三、舍弃 C、A、P 时所带来的不同影响
由于 CAP 定理已有严格的证明来分析如果舍弃 C、A、P 时所带来的不同影响。 如果放弃分区容忍性CA without P意味着我们将假设节点之间通信永远是可靠的。永远可靠的通信在分布式系统中必定不成立的这不是你想不想的问题而是只要用到网络来共享数据分区现象就会始终存在。在现实中最容易找到放弃分区容忍性的例子便是传统的关系数据库集群这样的集群虽然依然采用由网络连接的多个节点来协同工作但数据却不是通过网络来实现共享的。 如果放弃可用性CP without A意味着我们将假设一旦网络发生分区节点之间的信息同步时间可以无限制地延长此时问题相当于退化到前面“全局事务”中讨论的一个系统使用多个数据源的场景之中我们可以通过 2PC/3PC 等手段同时获得分区容忍性和一致性。 如果放弃一致性AP without C意味着我们将假设一旦发生分区节点之间所提供的数据可能不一致。选择放弃一致性的 AP 系统目前是设计分布式系统的主流选择因为 P 是分布式网络的天然属性你再不想要也无法丢弃而 A 通常是建设分布式的目的如果可用性随着节点数量增加反而降低的话很多分布式系统可能就失去了存在的价值除非银行、证券这些涉及金钱交易的服务宁可中断也不能出错否则多数系统是不能容忍节点越多可用性反而越低的。目前大多数 NoSQL 库和支持分布式的缓存框架都是 AP 系统以 Redis 集群为例如果某个 Redis 节点出现网络分区那仍不妨碍各个节点以自己本地存储的数据对外提供缓存服务但这时有可能出现请求分配到不同节点时返回给客户端的是不一致的数据。
到这里不知道你是否对“选择放弃一致性的 AP 系统目前是设计分布式系统的主流选择”这个结论感到一丝无奈“事务”原本的目的就是获得“一致性”而在分布式环境中“一致性”却不得不成为通常被牺牲、被放弃的那一项属性。但无论如何我们建设信息系统终究还是要确保操作结果至少在最终交付的时候是正确的这句话的意思是允许数据在中间过程出错不一致但应该在输出时被修正过来。
总之适合业务场景的方案才是最好的方案。
