文件系统

  1. 文件系统**本质上解决了什么问题**？
  2. 为什么文件系统必须以今天这种方式存在？
  3. 各类具体实现（FAT、inode、日志、VFS）在整体架构中的**位置与角色**是什么？

一、文件系统的第一性原理

1.1 文件系统要解决的根本问题

从抽象角度看，文件系统并不是“存文件”，而是为计算机系统提供一种可持续、可并发、可治理的状态管理机制。

其核心目标可以归纳为三点：

  1. **持久性（Persistence）**程序结束后，信息仍然存在
  2. **可命名性（Naming）**人与程序可以通过稳定标识访问数据
  3. **可并发性（Concurrency & Isolation）**多进程安全、受控地共享数据

文件系统 = 对“长期状态”的制度化管理

1.2 抽象分层：从物理到语义

文件系统的核心价值，在于隔离变化最快的层（硬件），并向上提供稳定语义。

应用程序   ↓  统一语义（open / read / write）虚拟文件系统（VFS） —— 命名、权限、对象模型   ↓  文件系统实现（ext4 / NTFS / FAT / LFS）块设备抽象   ↓物理存储介质

这是一种典型的：

二、文件这一抽象对象

2.1 文件不是“数据块”

文件 = 数据 + 元数据 + 访问语义

文件系统关注的核心并非数据内容，而是：

2.2 文件的三种经典逻辑模型

模型抽象层级设计动机
字节序列最通用对应用最友好
记录序列结构化面向数据库与批处理
树结构语义化直接支持层级关系

这些模型反映的是：文件系统是否理解数据结构。

2.3 文件属性的本质

文件属性并非“附加信息”，而是文件系统进行治理的制度基础：

inode 的本质，是文件的制度性身份证。

三、目录：命名空间的实现

3.1 目录不是容器，而是映射

目录 = 名称 → 文件对象（inode） 的映射表

3.2 命名系统的演进

方案特点适用场景
单级目录简单嵌入式系统
层次目录可扩展通用操作系统

工作目录的本质：

一个进程持有的命名上下文状态

四、空间管理：从连续到离散

4.1 空间分配的核心矛盾

性能 vs 灵活性

分配方式优点本质缺陷
连续分配访问快无法扩展
链表分配灵活随机访问差
FAT查找快内存压力
inode可扩展结构复杂

inode 的设计哲学：

用间接层换取系统可持续演进能力

五、一致性与恢复：为什么需要日志

5.1 文件系统为何天然不安全

文件操作由多个非原子步骤组成：

断电意味着：

世界处于中间态

5.2 两种恢复哲学

方案思想代价
FSCK事后修复启动慢
Journaling先记录意图写放大

日志文件系统的本质：

把文件系统变成一个弱事务系统

与数据库的共性：

六、性能优化：与物理世界博弈

6.1 性能瓶颈的根源

文件系统的优化，本质是在时间上欺骗物理现实。

6.2 关键优化策略

这些策略的共性：

用概率与统计对抗物理限制

七、VFS：系统级抽象的胜利

7.1 为什么需要 VFS

如果没有 VFS：

VFS 的角色：

在“变化最快的实现”和“最稳定的应用”之间建立缓冲层

7.2 架构思想

VFS 是操作系统中：

抽象能力最强、工程价值最高的模块之一

八、演进视角：文件系统不是终点

8.1 设计演进主线

连续分配 → FAT → inode → 日志文件系统 → LFS → 分布式 / 对象存储

变化的不是目标，而是：

8.2 核心权衡不变

技术会变，但权衡永恒。

九、能力树总结（稳定认知）

文件系统核心能力├─ 命名能力（路径、目录）├─ 存储能力（块管理、分配）├─ 访问能力（顺序 / 随机）├─ 保护能力（权限、锁）├─ 一致性能力（日志、恢复）├─ 扩展能力（VFS）└─ 性能能力（缓存、预读）

关联内容（自动生成）