diff --git a/README.md b/README.md index a1b6f399..e5b6291d 100644 --- a/README.md +++ b/README.md @@ -93,6 +93,12 @@ File, InputStream OutputStream, Reader Writer, Serializable, Socket, NIO 整理了一些常见考点。 +## 分布式 :sweat_drops: + +> [分布式基础](https://github.com/CyC2018/InnterviewNotes/blob/master/notes/分布式基础.md) + +整理自《大规模分布式存储系统》 + ## 工具 :hammer: > [Git](https://github.com/CyC2018/InnterviewNotes/blob/master/notes/Git.md) diff --git a/notes/分布式基础.md b/notes/分布式基础.md new file mode 100644 index 00000000..35dff966 --- /dev/null +++ b/notes/分布式基础.md @@ -0,0 +1,177 @@ + +* [基本概念](#基本概念) + * [1. 异常](#1-异常) + * [1.1 服务器宕机](#11-服务器宕机) + * [1.2 网络异常](#12-网络异常) + * [1.3 磁盘故障](#13-磁盘故障) + * [2. 超时](#2-超时) + * [3. 衡量指标](#3-衡量指标) + * [3.1 性能](#31-性能) + * [3.2 可用性](#32-可用性) + * [3.3 一致性](#33-一致性) + * [3.4 可扩展性](#34-可扩展性) +* [数据分布](#数据分布) + * [1. 哈希分布](#1-哈希分布) + * [2. 顺序分布](#2-顺序分布) +* [负载均衡](#负载均衡) +* [复制](#复制) + * [1. 强同步复制协议](#1-强同步复制协议) + * [2. 异步复制协议](#2-异步复制协议) +* [CAP](#cap) +* [容错](#容错) + * [1. 故障检测](#1-故障检测) + * [2. 故障恢复](#2-故障恢复) +* [CDN 架构](#cdn-架构) +* [参考资料](#参考资料) + + + +# 基本概念 + +## 1. 异常 + +### 1.1 服务器宕机 + +内存错误、服务器停电等都会导致服务器宕机，此时节点无法正常工作，称为不可用。 + +服务器宕机会导致节点失去所有内存信息，因此需要将内存信息保存到持久化介质上。 + +### 1.2 网络异常 + +有一种特殊的网络异常称为 **网络分区** ，即集群的所有节点被划分为多个区域，每个区域内部可以通信，但是区域之间无法通信。 + +### 1.3 磁盘故障 + +磁盘故障是一种发生概率很高的异常，需要使用冗余机制，将数据存储到多台服务器。 + +## 2. 超时 + +在分布式系统中，一个请求除了成功和失败两种状态，还存在着超时状态。 + +

+ +可以将服务器的操作设计为具有 **幂等性** ，即执行多次的结果与执行一次的结果相同。如果使用这种方式，当出现超时的时候，可以不断地重新请求直到成功。 + +## 3. 衡量指标 + +### 3.1 性能 + +常见的性能指标有：吞吐量、响应时间。 + +其中，吞吐量指系统在某一段时间可以处理的请求总数，通常为每秒的读操作数或者写操作数；响应时间指从某个请求发出到接收到返回结果消耗的时间。 + +这两个指标往往是矛盾的，追求高吞吐的系统，往往很难做到低响应时间，解释如下： + +在无并发的系统中，吞吐量为响应时间的倒数，例如响应时间为 10 ms，那么吞吐量为 100 req/s，因此高吞吐也就意味着低响应时间。 + +但是在并发的系统中，由于一个请求在调用 I/O 资源，需要进行等待。服务器端一般使用的是异步等待，即等待的请求被阻塞之后不用一直占用 CPU 资源，这种方式能大大提高 CPU 资源的利用率。例如上面的例子中，单个请求在无并发的系统中响应时间为 10 ms，如果在并发的系统中，那么吞吐量将大于 100 req/s，因此为了追求高吞吐量，通常会提高并发程度。但是并发程度的增加，会导致请求的平均响应时间也增加，因为请求不能马上被处理，需要和其它请求一起进行并发处理，响应时间自然就会增高。 + +### 3.2 可用性 + +可用性指系统在面对各种异常时可以提供正常服务的能力。可以用系统可用时间占总时间的比值来衡量，4 个 9 的可用性表示系统 99.99% 的时间是可用的。 + +### 3.3 一致性 + +一致性问题是指对于一组服务器，给定一组操作，我们需要一个协议使得最后它们的结果达成一致。也可以理解为，当某个服务器收到客户端的一组指令时，它必须与其它服务器交流以保证所有的服务器都是以同样的顺序收到同样的指令。 + +### 3.4 可扩展性 + +指系统通过扩展集群服务器规模来提高性能的能力。理想的分布式系统需要实现“线性可扩展”，即随着集群规模的增加，系统的整体性能也会线程增加。 + +# 数据分布 + +分布式系统的数据分布在多个节点中，常用的数据分布方式有哈希分布和顺序分布。 + +## 1. 哈希分布 + +哈希分布就是将数据计算哈希值之后，按照哈希值分配到不同的节点上。例如有 N 个节点，数据的主键为 key，则将该数据分配的节点序号为：hash(key)%N。 + +传统的哈希分布算法存在一个问题：当节点数量变化时，也就是 N 值变化，那么几乎所有的数据都需要重新分布，将导致大量的数据迁移。 + +**一致性哈希** + +Distributed Hash Table，DHT：对于哈希空间 0\~2n，将该哈希空间看成一个哈希环，将每个节点都配置到哈希环上。每个数据对象通过哈希取模得到哈希值之后，存放到哈希环中顺时针方向第一个大于等于该哈希值的节点上。 + +

+ +一致性哈希的优点是在加入或者删除节点时只会影响到哈希环中相邻的节点，例如下图中新增节点 X，只需要将数据对象 C 重新存放到节点 X 上即可，而对于节点 A、B、D 都没有影响。 + +

+ +## 2. 顺序分布 + +哈希分布式破坏了数据的有序性，顺序分布则不会。 + +顺序分布的数据划分为多个连续的部分，按一定策略分布到不同节点上。例如下图中，User 表的主键范围为 1 \~ 7000，使用顺序分布可以将其划分成多个子表，对应的主键范围为 1 \~ 1000，1001 \~ 2000，...，6001 \~ 7000。其中 Meta 表示为了支持更大的集群规模，它将原来的一层索引结分成两层，使用 Meta 表来维护 User 子表所在的节点，从而减轻 Root 节点的负担。 + +

+ +# 负载均衡 + +衡量负载的因素很多，如 CPU、内存、磁盘等资源使用情况、读写请求数等。分布式系统应当能够自动负载均衡，当某个节点的负载较高，将它的部分数据迁移到其它节点。 + +每个集群都有一个总控节点，其它节点为工作节点，由总控节点根据全局负载信息进行整体调度，工作节点定时发送心跳包（Heartbeat）将节点负载相关的信息发送给总控节点。 + +一个新上线的工作节点，由于其负载较低，如果不加控制，总控节点会将大量数据同时迁移到该节点上，造成该节点一段时间内无法工作。因此负载均衡操作需要平滑进行，新加入的节点需要较长的一段时间来达到比较均衡的状态。 + +# 复制 + +复制是保证分布式系统高可用的基础，让一个数据存储多个副本，当某个副本所在的节点出现故障时，能够自动切换到其它副本上，从而实现故障恢复。 + +多个副本通常有一个为主副本，其它为备副本。主副本用来处理写请求，备副本主要用来处理读请求，实现读写分离。主副本将同步操作日志发送给备副本，备副本通过回放操作日志获取最新修改。 + +

+ +主备副本之间有两种复制协议，一种是强同步复制协议，一种是异步复制协议。 + +## 1. 强同步复制协议 + +要求主副本将同步操作日志发给备副本之后进行等待回复，要求至少一个备副本返回成功后，才开始修改主副本，修改完成之后通知客户端操作成功。 + +优点：至少有一个备副本拥有完整的数据，出现故障时可以安全地切换到该备副本，因此一致性好。 + +缺点：可用性差，因为主副本需要等待回复，那么整个分布式系统的可用时间就会降低。 + +## 2. 异步复制协议 + +主副本将同步操作日志发给备副本之后不需要进行等待回复，直接修改主副本并通知客户端操作成功。 + +优点：可用性好。 + +缺点：一致性差。 + +# CAP + +分布式系统不可能同时满足一致性（C：Consistency）、可用性（A：Availability）和分区容忍性（P：Partition tolerance），最多只能同时满足其中两项。这三个概念上文中已经提到。 + +在设计分布式系统时，需要根据实际需求弱化某一要求。因此就有了下图中的三种设计：CA、CP 和 AP。 + +

+ +需要注意的是，分区容忍性必不可少，因为需要总是假设网络是不可靠的。因此实际上设计分布式系统需要在可用性和一致性之间做权衡。 + +# 容错 + +分布式系统故障发生的概率很大，为了实现高可用以及减少人工运维成本，需要实现自动化容错。 + +## 1. 故障检测 + +通过 **租约机制** 来对故障进行检测。假设节点 A 为主控节点，节点 A 向节点 B 发送租约，节点 B 在租约规定的期限内才能提供服务。期限快到达时，节点 B 需要向 A 重新申请租约。如果过期，那么 B 不再提供服务，并且 A 也能知道 B 此时可能发生故障并已经停止服务。 + +可以看到，通过这种机制，A 和 B 都能对 B 发生故障这一事实达成一致。 + +## 2. 故障恢复 + +当某个节点故障时，就将它上面的服务迁移到其它节点。 + +# CDN 架构 + +CND 通过将内容发布到靠近用户的边缘节点，使不同地域的用户在访问相同网页时可以就近获取。不仅可以减轻服务器的负担，也可以提高用户的访问速度。 + +从下图可以看出，DNS 在对域名解析时不再向用户返回源服务器的 IP 地址，而是返回边缘节点的 IP 地址，所以用户最终访问的是边缘节点。边缘节点会先从源服务器中获取用户所需的数据，如果请求成功，边缘节点会将页面缓存下来，下次用户访问时可以直接读取。 + +

+ +# 参考资料 + +- 杨传辉. 大规模分布式存储系统: 原理解析与架构实战[M]. 机械工业出版社, 2013. diff --git a/pics/44e4a7ab-215c-41a1-8e34-f55f6c09e517.jpg b/pics/44e4a7ab-215c-41a1-8e34-f55f6c09e517.jpg new file mode 100644 index 00000000..a14ecacf Binary files /dev/null and b/pics/44e4a7ab-215c-41a1-8e34-f55f6c09e517.jpg differ diff --git a/pics/8f64e9c5-7682-4feb-9312-dea09514e160.jpg b/pics/8f64e9c5-7682-4feb-9312-dea09514e160.jpg new file mode 100644 index 00000000..6f7e9e35 Binary files /dev/null and b/pics/8f64e9c5-7682-4feb-9312-dea09514e160.jpg differ diff --git a/pics/91ef04e4-923a-4277-99c0-6be4ce81e5ac.jpg b/pics/91ef04e4-923a-4277-99c0-6be4ce81e5ac.jpg new file mode 100644 index 00000000..f4de7074 Binary files /dev/null and b/pics/91ef04e4-923a-4277-99c0-6be4ce81e5ac.jpg differ diff --git a/pics/b0e8ef47-2f23-4379-8c64-10d5cb44d438.jpg b/pics/b0e8ef47-2f23-4379-8c64-10d5cb44d438.jpg new file mode 100644 index 00000000..cb17fdcb Binary files /dev/null and b/pics/b0e8ef47-2f23-4379-8c64-10d5cb44d438.jpg differ diff --git a/pics/d2d34239-e7c1-482b-b33e-3170c5943556.jpg b/pics/d2d34239-e7c1-482b-b33e-3170c5943556.jpg new file mode 100644 index 00000000..22f5062a Binary files /dev/null and b/pics/d2d34239-e7c1-482b-b33e-3170c5943556.jpg differ diff --git a/pics/dbd60b1f-b700-4da6-a993-62578e892333.jpg b/pics/dbd60b1f-b700-4da6-a993-62578e892333.jpg new file mode 100644 index 00000000..aa076b2a Binary files /dev/null and b/pics/dbd60b1f-b700-4da6-a993-62578e892333.jpg differ diff --git a/pics/f50bc364-fdc2-4a46-9b8f-f8f5b6add3b8.jpg b/pics/f50bc364-fdc2-4a46-9b8f-f8f5b6add3b8.jpg new file mode 100644 index 00000000..ec059ca1 Binary files /dev/null and b/pics/f50bc364-fdc2-4a46-9b8f-f8f5b6add3b8.jpg differ