一块硬盘不够快、也不够稳，多块"组团"怎么就把难题解了？——RAID 的冗余算术，一次讲透
几年前有个朋友丢了移动硬盘，里面是他拍了五年的照片，一张都没留。他问我有没有办法恢复，我只能摇头——单块机械硬盘一旦坏道、摔了、进水，数据基本就交代了。
后来我了解到，服务器里的数据从来不会只放一块盘上。为什么？答案就藏在一个词里：RAID。
你可能天天用着它，却从没认真想过它到底怎么运作。这篇文章，我把它从头拆到脚。
一、先搞清楚：单块盘到底"输"在哪
机械硬盘（HDD）有两个天生短板。
第一是慢。磁头要摆到对应的柱面、等盘片转到对的扇区，这一趟"寻道 + 旋转延迟"下来是毫秒级。对比 CPU 的纳秒级运算，硬盘慢了几十万倍——它是整个计算机里最拖后腿的部件之一。
第二是脆。盘片是物理旋转的，磁头是悬浮的，稍有震动、发热、老化，随时可能出坏道。数据说没就没。
两个短板的解法其实是同一个思路：一块不够，就多来几块，让它们协同工作。RAID 的全称叫Redundant Array of Independent Disks，直译就是"独立磁盘的冗余阵列"。把好几块物理盘绑成一个逻辑盘，对外看起来就是一块大硬盘。
但"协同"有很多种玩法，不同的玩法换来的是不同的东西——有的换速度，有的换可靠，有的两者都要点。下面逐个拆。
二、RAID 0：拆开并行，速度翻倍，但一颗子弹就完蛋
RAID 0 的思路叫条带化（striping）：把数据切成一片片固定大小的"条带"，轮流写到不同的盘上。
比如你要写 1MB 的数据，有 4 块盘，那就切成 4 份，每块盘同时写 256KB。原本 1MB 要一块盘写 4 个时间单位，现在 4 块盘并行，1 个时间单位就写完了。理论上性能翻 4 倍，读也一样。
数据块: D0 D1 D2 D3 D4 D5 D6 D7 ... │ │ │ │ │ │ │ │ 磁盘0: D0 D4 ... 磁盘1: D1 D5 ... 磁盘2: D2 D6 ... 磁盘3: D3 D7 ...代价是什么？零容错。4 块盘里任何一块挂掉，数据就不完整了——因为你的每一份数据都被拆散分布在所有盘上。而且坏的概率反而更高了：4 块盘的总故障率，是 1 块的 4 倍。
所以 RAID 0 的定位很明确：要极致的速度，能接受数据丢失的风险。用在那些数据可以随时重建、丢了也无所谓的场景，比如视频剪辑的临时缓存、数据库的热数据副本。
RAID 0 里的"0"其实不是冗余等级，而是一个带点玩笑的说法——冗余是 0，故障率却翻倍。
三、RAID 1：镜像，容量砍半换来的"双保险"
RAID 1 的思路是镜像（mirroring）：每一份数据都一模一样地写到两块盘上。
磁盘0: D0 D1 D2 D3 ... 磁盘1: D0 D1 D2 D3 ... （完全相同的副本）好处立竿见影：任何一块盘挂了，另一块还在，数据分毫不少。而且读性能也能翻倍——同一份数据存在两处，可以同时从两块盘读不同的部分。
坏处也直白：花了两块盘的价钱和容量，只得到一块盘的可用空间。容量利用率只有 50%。
RAID 1 适合那种"数据比命还值钱"的场景：核心数据库、财务系统、系统盘。它是最简单、也最直观的冗余方式。
四、RAID 5：奇偶校验，用"一块盘的代价"换"扛一块盘坏"
RAID 0 快但脆，RAID 1 稳但贵。能不能折中？RAID 5 给出了经典的答案。
它的核心武器是奇偶校验（parity），而奇偶校验的数学基础，是一个你早就认识的东西——异或运算（XOR）。
先看异或的性质：
0 ⊕ 0 = 0 0 ⊕ 1 = 1 1 ⊕ 0 = 1 1 ⊕ 1 = 0异或有个绝妙的特性：如果 A ⊕ B ⊕ C = P，那么丢掉任意一个，都能用剩下的三个把它算回来。比如丢了 C，那么 C = A ⊕ B ⊕ P。
这就是 RAID 5 的底层逻辑。假设有 4 块盘，其中 3 块装数据，1 块的对应位置装校验值：
磁盘0: D0 D3 P2 ... （这里是 P2 校验块） 磁盘1: D1 P1 D5 ... 磁盘2: D2 D4 D6 ... 磁盘3: P0 D5' D7 ... （校验块轮流分散在不同盘上）注意校验块 P 不是固定写在同一块盘，而是轮流分散到每一块盘上。这样避免了"校验盘成为读写热点"的瓶颈。
现在算一笔账。4 块盘，1 块专门（轮流）存校验，可用容量是3/4，即 (n-1)/n。相比 RAID 1 的 50%，同样的 4 块盘，RAID 5 能多出整整一块盘的可用空间。
更妙的是容错能力：任意一块盘坏了，系统还能继续工作（降级运行），换上新盘后，用剩余的盘做异或，把丢失的数据原地重建出来。
我们举个具体数字感受一下这种"魔法"。假设三份数据 D0=11000001、D1=10100111、D2=01101100，那校验块是：
P = D0 ⊕ D1 ⊕ D2 = 11000001 ⊕ 10100111 ⊕ 01101100 = 00001010现在假设 D1 那块盘烧了。恢复它只需：
D1 = D0 ⊕ D2 ⊕ P = 11000001 ⊕ 01101100 ⊕ 00001010 = 10100111 ← 正是原来丢掉的数据一块盘坏了，数据一块都不少地回来了。这不是运气，是异或的确定性。
代价是：写性能比 RAID 0 差一些——每次写数据，都要额外算一次校验、多写一块盘，有"读改写"的开销。但换来的是"扛一块盘坏"的能力，性价比极高，是中大型企业最常用的 RAID 级别。
五、RAID 6 与 RAID 10：往两个方向继续加码
RAID 5 能扛一块盘坏，但有个隐患：降级运行期间（已经坏了一块、正在重建另一块时），如果又坏一块，数据就真没了。磁盘容量越来越大，重建一块 16TB 的盘要十几个小时，这段"裸奔"时间里风险并不低。
于是有了 RAID 6：用两个独立的校验值（通常基于不同的算法，比如 Reed-Solomon 编码），能同时容忍两块盘故障。代价是可用容量变成 (n-2)/n。
而 RAID 10（RAID 1+0）走的是另一条路：先做镜像（RAID 1），再做条带化（RAID 0）。既拿到条带化的性能，又拿到镜像的可靠，但成本也最贵——容量利用率 50%，至少需要 4 块盘。
RAID 0 条带化（上层） │ ┌───────┴───────┐ RAID 1 RAID 1 （下层镜像对） 磁盘A 磁盘B 磁盘C 磁盘DRAID 10 的性能和可靠性都极其出色，属于"不差钱"的企业的选择，尤其适合数据库这种对随机读写性能要求高的负载。
六、一张表把这些级别"摆平"
| 级别 | 最少盘数 | 容量利用率 | 容错能力 | 读性能 | 写性能 | 一句话定位 |
|---|---|---|---|---|---|---|
| RAID 0 | 2 | 100% | 无 | 高 | 最高 | 只要快，数据能重建 |
| RAID 1 | 2 | 50% | 1 块 | 较高 | 一般 | 双保险，简单直观 |
| RAID 5 | 3 | (n-1)/n | 1 块 | 高 | 中等（有校验开销） | 性价比之王 |
| RAID 6 | 4 | (n-2)/n | 2 块 | 高 | 较低（双校验） | 大容量时代的保守选择 |
| RAID 10 | 4 | 50% | 每对可坏 1 块 | 高 | 高 | 性能与可靠兼得，但费盘 |
看到这张表，你可能意识到一件事：RAID 从来不是"越高级越好"，而是一道"用多少钱、买多少性能、买多少安心"的算术题。选哪一级，取决于你更怕"慢"还是更怕"丢"。
七、408 里怎么考，以及它跟"校验码"的亲戚关系
RAID 虽然在 408 操作系统"文件管理 / 外存管理"里不是每年必考的大题，但它和两样东西强相关，命题人特别爱把它们串起来考。
第一，是组成原理里的奇偶校验 / 海明码。RAID 5 用的是奇偶校验思想，本质上和计组里"奇偶校验码能检错、海明码能纠错"是同一套"冗余换可靠"的哲学。我之前写过一篇讲海明码的文章，核心就一句话：检错纠错的本质，是往数据里掺进可控的冗余，再用这套冗余去"算"回丢掉的信息。RAID 的异或校验，是这套思想在"块设备"层面的放大版。
第二，是磁盘读写与 I/O 性能。为什么 RAID 0 能提速？因为它把顺序 I/O 变成了并行 I/O。这个点会和"磁盘调度算法"“块大小”"寻道时间"这些 OS 存储知识点绑在一起出选择题。
所以备考时别把 RAID 当成孤立名词背。它一头连着计组的校验码，一头连着 OS 的磁盘 I/O，是典型的跨科目知识。复习的时候把这三条线串起来，比各背各的效率高得多。
这类"散落在不同章节、需要串线"的知识点，正是容易学了就忘、考了就不会的地方。建议把 RAID、校验码、磁盘调度收进 CoLearn（yantucs.com）的 AI 错题集里，考前专门过一次；概念上卡壳，直接丢给 AI 答疑问"RAID 5 为什么坏一块盘还能恢复数据"，它会从异或的角度给你推一遍。
写在最后
RAID 这个东西，说白了就是把一个朴素的道理落到了工程里：再结实的单点，也架不住时间；与其押注一块盘永远不坏，不如让多块盘互相兜底。
冗余，听起来是"浪费"——多买盘、少容量、多算校验。可正是这点"浪费"，换来了数据在意外面前的那份从容。
回到开头那个丢了五年照片的朋友。如果他的照片放在一个 RAID 1 或 RAID 5 上，故事的结局会完全不一样。技术不负责创造奇迹，但它能把"万一"的概率，压到你安心睡觉的程度。
想系统补齐这些底层原理的硬知识，推荐 B站【408实验室】的《数据结构》与操作系统相关课程，跟着把存储、I/O 这条线从原理到计算练扎实，比零散刷题管用得多。
