[操作系统]29. 持久数据的可靠性

[supergem3000]

[29. 持久数据的可靠性 (jyywiki.cn)](https://jyywiki.cn/OS/2023/build/lect29.ipynb.html

Redundant Array of Inexpensive Disks (RAID)

RAID: 存储设备的虚拟化。虚拟磁盘块到物理磁盘块的 “映射”。

崩溃一致性与崩溃恢复

写磁盘文件实际上分多步：inode信息编辑、已使用块标记、文件内容写入等。我们希望这一整个操作是原子的，但实际上并不是。操作系统需要为中途崩溃兜底。

File System Checking(FSCK)：根据磁盘上已有的信息，恢复出 “最可能” 的数据结构

重新思考数据结构的存储，两个视角。

1. 存储实际数据结构
2. Append-only 记录所有历史操作

二者的融合：

• 数据结构操作发生时，用 (2) append-only 记录日志
• 日志落盘后，用 (1) 更新数据结构
• 崩溃后，重放日志并清除 (称为 redo log；相应也可以 undo log)