分布式存储系统可靠性：系统量化估算

Posted 2021-09-04 足球中国

vivo互联网技术

一、引言

我们常常听到衡量分布式存储系统好坏的两个指标：可用性和可靠性指标。

可用性指的是系统服务的可用性。一般按全年可用时间除以全年时间来衡量可用性的好坏，平常我们说的 SLA 指标就是可用性指标，这里就不展开细说。

可靠性指标指的是数据的可靠性。我们常说的数据可靠性 11 个 9，在对象存储中就意味着存储一千亿个对象大概会有 1 个文件是不可读的。由此可见，数据可靠性指标给分布式存储系统带来的挑战不言而喻。

本文就重点来分析一下分布式系统的数据可靠性的量化模型。

二、背景

数据的重要性不必多说，基本上数据可以称得上是企业生命力的核心，是企业赖以生存的根本。因此数据的可靠性是基础的基础，任何数据的丢失都会给企业造成无法计算和弥补的损失。

随着数据规模的日益增大，环境更加复杂，我们大体可以把威协数据可靠性的因素归为几大类：

• 硬件故障：主要是磁盘故障、还有网络故障、服务器故障、IDC 故障；

• 软件隐患：内核 BUG，软件设计上的 BUG 等；

• 运维故障：人为误操作。

其中，第 1 类的硬件故障中又以磁盘故障最为频繁，坏盘对于从事分布式存储运维的同学来说再正常不过了。

因此，我们接下来从磁盘故障这个维度来尝试量化一下一个分布式系统的数据可靠性。

三、数据可靠性量化

为了提高数据的可靠性，数据副本技术和 EC 编码冗余技术是分布式系统可靠性最常用的手段了。以多副本为例，副本数越多，数据的可靠性肯定越高。

为了对分布式系统的数据可靠性作一个量化估算，进一步分析得到影响存储数据可靠性的因素主要有：

• N：分布式系统磁盘的总数，可以很直观理解，磁盘的数量是和可靠性强相关，N 的大小与数据的打散程度有很大关系。

• R：副本数，副本数越高数据的可靠性肯定越高，但同时也会带来更大的存储成本。

• T：RecoveryTime 出现坏盘情况下数据恢复的时间，这个也很好理解，恢复时间越短，数据的可靠性越高。

• AFR：Annualized Failure Rate 磁盘的年度故障率，这个和磁盘本身的质量相关，质量越好，AFR 越低，数据的可靠性越高。

• S：CopySet 数量，一个盘上的数据的冗余在集群中的打散程度，打得越散，则有可能任意坏 3 块盘就刚好有数据的冗余数据都丢失。所以，仅从打散程度这个维度看，打散程度越小越好。

因此，我们可以用一个公式表示分布式系统的全年数据可靠性：

3.1 磁盘年故障率：AFR

AFR：Annualized Failure Rate 又称为硬盘年度失败概率，一般用来反映一个设备在全年的使用出故障的概率，可以很直观的理解，AFR 越低，系统的可靠性越高，因为 AFR 与系统的数据可靠性强相关；而这个指标通常又是由另一个磁盘质量指标 MTBF（Mean Time Before Failure）推算出来，而 MTBF 各大硬盘厂商都是有出厂指标的，比如说希捷的硬盘出厂的 MTBF 指标为 120W 个小时。以下为 AFR 的计算公式：

但是实际使用当中往往 MTBF 会低于硬盘出厂指标。Google 就根据他们的线上集群的硬盘情况进行了统计计算 AFR 如下：

（5 年内硬盘 AFR 统计情况）

（图片来自http://oceanbase.org.cn）

3.2 副本数据复制组：CopySet

副本数据复制组 CopySet：用通俗的话说就是，包含一个数据的所有副本的节点，也就是一个 copyset 损坏的情况下，数据会丢失。

（单个数据随机复制分组示意图）

（图片来自https://www.dazhuanlan.com）

如图 2 所示，以 9 块盘为例，这 9 块盘的 copyset 就是：{1,5,6}，{2,6,8}，如果不做任何特殊处理，数据多了之后，数据的随机分布如下：

（海量数据随机分布示意图）

（图片来自https://www.dazhuanlan.com）

最大 CopySet：如上图所示，12 个数据的多副本随机打散到 9 块盘上，从上图中任决意挑 3 块盘都可以挑出包含某个数据的三个副本，就相当于从 n 个元素中取出 k 个元素的组合数量为：

最大的 CopySet 配置下一旦有三块磁盘坏了，丢数据的概率是 100%。另外一种情况，数据的分布是有规律的，比如一块盘上的数据只会在另外一块盘上备份，如下图所示，在这种情况下数据覆盖的 CopySet 只有（1，5，7）、（2，4，9）、（3，6，8）也就是说这种情况下 CopySet 为 3。我们不难理解，9 块盘的最小 CopySet 为 3。也就是 N/R。

（磁盘粒度冗余分布示意图）

因此，CopySet 数量 S 符合以下：

既然 CopySet 数据可以最小为 N/R，能不能把 CopySet 数量调到最小，答案当然是不行的，因为，一方面如果 CopySet 调到最小，当有一个盘坏了后，只有其它 2 块盘进行这块盘的恢复操作，这样数据的恢复时间又变长了，恢复时间变长也会影响数据的可靠性；而且一旦命中了 CopySet 中的一个，则丢失的数据量规模非常大。因此，分布式系统中的 CopySet 的量和恢复速度 RecoveryTime 是一个均衡整个系统数据可靠性和集群可用性的参数。

文献【1】Copysets: Reducing the Frequency of Data Loss in Cloud Storage 提供了一种分布式系统的 CopySet Replication 的选择策略，在分布式存储系统当中比如对象存储和文件存储当中，还有一种方式可以根据系统的可靠性和可用性进行调整系统 CopySets 的数量，就是在随机放置情况下，使用小文件合并成大文件的存储策略，可以通过控制大文件的大小从而控制每个磁盘上大文件的数量，比如 100G 一个文件，8T 盘上的最大文件存储数量也就是 8T/100G = 80 个文件，也就是说一个 8T 的盘的数据最多打散到了 80 块其它的盘上，对于集群盘远大于 80 的系统显然也能够很好的控制一个数据盘的数据打散程度。

因此，在磁盘上的分片是随机打散的情况下，CopySets 数量可以量化为以下公式：

其中，P 为磁盘的容量，B 为分片大小，N 为系统磁盘的数据，R 为副本数。80%为使用率。

3.3 数据恢复时间：Recovery Time

数据恢复时间对数据可靠性影响很大，这个很好理解，因此缩短数据恢复时间可以有效降低数据丢失的风险。前面已经介绍数据恢复时间和磁盘上数据打散程度强相关，同时数据恢复时间也与服务本身的可用性相关。

比如磁盘带宽为 200MB/s，假设留给恢复可用的带宽为 20%就是 40MB/s，磁盘容量为 P，使用率为 80%，B 为 BlockSize 大小，则恢复速度可按以下方式计算：

四、可靠性模型推导

4.1 磁盘故障与泊松分布

泊松分布：泊松分布其实是二项分布的极限情况，泊松分布公式如下：

（图片来自知乎）

其中，t 为时间周期（小时为单位），n 为故障的盘的块数，N 为整个集群的盘的数量，为单位时间 1 小时内出故障的磁盘平均数。

从 3.1 节我们已经介绍过了磁盘一年之内出故障的概率为 AFR，那么单位时间 1 个小时的时间周期磁盘出故障的概率为 FIT（Failures in Time）：

那么 N 块盘的集群在单位时间 1 小时内出故障的盘的数量为 FIT*N，换句话说，也就是单位时间 1 小时内出故障的磁盘平均数。因此可以得到：

4.2 系统全年可靠性计算推导

由 4.1 我们得到磁盘故障是符合泊松分布，N 块盘的集群中在 t 小时内有 n 块盘故障的概率：

接下来我们以 3 副本为例，来推导一下全年集群没有数据丢失的概率的量化模型，3 副本情况下，全年集群没有数据丢失的概率不太好量化，我们可以通过计算全年集群出现数据丢失的概率，然后全年集群没有数据丢失的概率就以计算出来：

全年集群出现数据丢失的概率：只有在 t（1 年）的时间内有第一块磁盘出现故障之后，然后系统进入数据恢复阶段，在数据恢复的时间 tr 内又有第二块磁盘出现故障，我们先不考虑数据恢复了多少，然后在 tr 内又有第三块磁盘出现故障，但是这三个磁盘不一定刚好命中了我们在 3.2 介绍的 copyset 复制组如果命中了 copyset，那么集群在全年就真的有出现数据丢失了。因为全年集群出现数据丢失的概率和 P1，P2，P3，以及 Copyset 命中概率 Pc 相关。

1 年时间 t 内有任意一块磁盘出现故障的概率为：

上面这块磁盘出现问题后，需要马上恢复，在恢复时间 tr 内有另外一块盘出现故障概率：

在恢复时间 tr 内有第三块任意盘出现故障的概率：

而这三块出现故障的磁盘刚好命中集群的 CopySets 的概率为：

因此，不难得到全年集群出现数据丢失的概率 P：

然后全年集群不出现数据丢失的概率 1-P 就可以计算得到了。

4.3 EC 冗余全年可靠性计算推导

EC 冗余机制相对于三副本机制是用额外的校验块来达到当有一些块出现故障的情况下数据不会丢，按（D,E）数据块进行 EC 编码，那么在计算 EC 冗余下的全年集群数据丢失概率的时候，EC 模式下的恢复速度 tr 和三副本肯定是不一样的，另外，EC 模式下的 copysets 是不一样的，EC 模式是允许 E 个数据块丢失，而且是在 D 个数据块有任意的 E 个数据块丢失数据都找不回来了，因此，不难得出，EC 模式的全年集群出现数据丢失的概率 P，以下公式，默认 E 为 4，也就是丢失 4 个数据块：

相对于三副本模式来说，EC 模式的 copyset 需要考虑在 D+E 个块当中丢失其中任意 E 个块，则 EC 模式下的 copyset 数为：

五、可靠性模型估算

5.1 量化模型影响因素

以三副本为例，从以上量化的全集群出故障的概率计算公式可以得到影响的因素有：

• N：集群的盘的个数；

• FIT：就也是 1 小时磁盘的故障率,可以由 AFR 得到；

• t：这个是固定 1 年；

• tr：恢复时间，单位为小时，和恢复速度 W 和磁盘存储量、分片大小相关；

• R：副本数；

• Z：磁盘的存储总空间；

• B：分片或者 Block 的大小，小文件合并成大文件的最大 Size。

5.2 可靠性量化计算

接下来我们把影响可靠性计算的几个因素根据生产集群的现状带入模型计算可靠性计算：

结合 4.2 的磁盘故障与可靠性的推导，通过表格中 10 个 case 的计算，可以看到：

Case 1,2,3 通过扩展磁盘的数量从 48 块盘到 804 再到 3600 块盘，可靠性从 11 个 9 提高到接近 13 个 9，然后 804 块盘到 3600 块盘还是维护在 13 个 9，按理说，集群的规模增大，增 3 块盘的概率会提高，但是由于恢复速度也随着磁盘的增加而线性增加，因此，可靠性一直在提升，而从 804 到 3600 块盘，可靠性没有增加，是因为这时候恢复速度已经不随磁盘增加而线性增大，因为在磁盘量很大后，决定恢复速度因素就变为单盘分片个数。

Case 5,6 比较好理解，恢复速度由 100M/S 变为 10M/S，可靠性降低 2 个以上数量级；

Case 7,8 也比较好理解，AFR 由 0.43 提高到 1.2 再提高到 7，可靠性降低了 3 个数量级；

Case 9,10 比较绕，磁盘数在 100 的情况下，Block 大小由 80G 一个提高到 100G 一个，可靠性降低了，这种情况下是因为恢复速度提高，CopySet 也提高，但速度影响更大导致。

Case 11,12 也比较绕，由于我们限定了恢复速度不能超过 5 分钟（模拟线上，因为系统检测坏盘，自动踢盘等操作也需要时间），这两个 Case 下的 CopySet 都超级大，所以恢复的并发度都非常高，但受限于 5 分钟限定，所以两个 Case 的恢复速度一样，所以 PK CopySet 的数量，Case12 的 CopySet 比 Case11 的 CopySet 要小，所以更不容易丢失，所以可靠性更高。

六、总结

• 首先 AFR 越低越好，AFR 是直接决定整个集群磁盘故障引起的数据丢失概率的最大因素；

• 其次是恢复速度：在不影响服务可用性指标的前提下，最大限度的提高磁盘故障的恢复带宽是提高集群数据可靠性的另一个重要因素；

• 如果在恢复速度受限的前提下，比如系统架构设计导致的相关发现坏盘到踢盘到进行数据恢复操作启动为 5 分钟，那么可以通过合理降低磁盘数据的分散程度降低 CopySet，如果系统是按分片粒度或 Block 粒度，则相应的以提高 Block 粒度来降低数据分散程度的方式来提高数据的可靠性。