一篇文章搞清楚什么是分布式系统 CAP 定理

最新推荐文章于 2023-02-11 23:50:17 发布

Hadoop技术博文

最新推荐文章于 2023-02-11 23:50:17 发布

阅读量567

点赞数

本文链接：https://blog.csdn.net/b6ecl1k7BS8O/article/details/81107611

版权

本文原文：

https://www.iteblog.com/archives/2390.html（点击下面 阅读原文 即可进入）

本文是对 Gilbert and Lynch's specification and proof of the CAP Theorem 文章的概括版本。大部分内容参照 An Illustrated Proof of the CAP Theorem 文章的。

什么是 CAP 定理

CAP 定理是分布式系统中的基本定理，这个理论表明任何分布式系统最多可以满足以下三个属性中的两个。

一致性（Consistency）
可用性（Availability）
分区容错性（Partition tolerance）

CAP 定理指出分布式系统不可能同时满足一致性，可用性和分区容忍性。听起来很简单，但一致性、可用、分区容忍意味着什么？

在本文中，我们将介绍一个简单的分布式系统，并解释该系统可用性，一致和分区容错的含义。

什么是分布式系统

分布式系统（Distributed System）是一组电脑，通过网络相互连接传递讯息与通讯后并协调它们的行为而形成的系统。组件之间彼此进行交互以实现一个共同的目标。把需要进行大量计算的工程数据分割成小块，由多台计算机分别计算，再上传运算结果后，将结果统一合并得出数据结论的科学。

现在让我们考虑一个非常简单的分布式系统。该系统由 G1 和 G2 两个服务组成。这两个服务都追踪相同的变量 V，这个变量的初始值为 v0。G1 和 G2 彼此之间可以通信，并且能够和外部的客户端进行通信。下图正是我们系统的架构：

640?wx_fmt=png

客户端可以向任何服务器发出读写请求。当一个服务接收到请求，它会做任何需要的计算，之后对客户端发出响应。比如下面就是一个写请求的例子：

640?wx_fmt=png

下面是读请求的例子：

640?wx_fmt=png

现在我们有了分布式系统的基本概念，接下来的文章将进一步介绍分布式系统的可用性、一致性以及分区容错性。

一致性

Gilbert 和 Lynch 对一致性的描述为：any read operation that begins after a write operation completes must return that value, or the result of a later write operation（中文意思是在写操作完成后开始的任何读操作都必须返回该值，或者后续写操作的结果）。也就是在一致的系统中，一旦客户端将值写入任何服务器并获得响应，那么后续的读客户端将从分布式系统中任何的服务器中读取到这个值。下面系统就不满足这个特点：

640?wx_fmt=png

客户端更新 G1 服务器上的 v 为 v1，G1 服务器对此做出了响应。但是客户端从 G2 获取 v 的值得到的结果确是 v0。下面系统就是一致性的系统：

640?wx_fmt=png

在这个系统中，G1 服务器在响应客户端之前将 v 的值复制到 G2 服务器上，这时候客户端从 G2 获取 v 的值得到的结果是 v1。

可用性（Availability）

Gilbert 和 Lynch 对可用性的描述为：every request received by a non-failing node in the system must result in a response（中文意思：系统中非故障节点收到的每个请求都必须产生响应）。也就是说在可用系统中，客户端向服务器发送请求并且该服务器未崩溃，则该服务器必须最终响应客户端。

分区容错性（Partition Tolerance）

Gilbert 和 Lynch 对可用性的描述为：the network will be allowed to lose arbitrarily many messages sent from one node to another（中文意思：允许网络丢失从一个节点发送到另一个节点的任意多个消息）。这意味着 G1 和 G2 之间的通信消息可以被丢掉，如果他们之间所有的消息都被丢弃，那么我们的系统看起来像下面一样：

640?wx_fmt=png