文件系统原理¶

本文你会学到：

• Linux 文件系统的三大核心结构：superblock、inode、data block
• 为什么文件名不存在 inode 里，而在目录的 block 中
• 间接 block 如何突破 inode 大小限制存储大文件
• 目录的本质：文件名到 inode 号的映射表
• 硬链接与软链接的底层差异
• VFS 如何让内核统一管理不同文件系统
• ext4、XFS、Btrfs 各自的设计亮点与适用场景

传统文件系统的三个组成部分¶

为什么需要结构化存储？¶

想象你有一本 1000 页的书。不用索引的情况：每次要找"章节 X 的内容"，你都要从头一页页翻起，耗时巨大。用索引的情况：翻到目录，一眼看到"章节 X 第 Y 页"，直接跳过去，查找时间短得多。

Linux 文件系统的 inode + block 设计，本质上就是"为磁盘数据建索引"——一个是文件属性索引（inode），一个是文件内容索引（block），两层结构加起来，让内核能快速定位任何文件的任何位置。

superblock、inode、data block 三者关系¶

这三层结构如同三个不同的档案柜：superblock 是"总管理员"（记录整体信息），inode 是"文件卡片柜"（每个文件一张卡片），data block 是"内容存储库"（真实内容存这儿）。那 Linux 文件系统是怎样的结构呢？看下面的图：

graph TD
    SB["superblock\n记录整体信息\n• inode/block 总量\n• 使用量、剩余量\n• 挂载时间、格式化时间"]
    IB["inode bitmap\ninode 使用状态位图"]
    BB["block bitmap\nblock 使用状态位图"]
    IT["inode table\n存放所有 inode"]
    DB["data block 区域\n存放实际文件内容"]

    SB --> IB
    SB --> BB
    IB --> IT
    BB --> DB
    IT -->|"block 指针"| DB

    classDef meta fill:transparent,stroke:#0288d1,color:#adbac7,stroke-width:2px
    classDef data fill:transparent,stroke:#388e3c,color:#adbac7,stroke-width:1px
    classDef bitmap fill:transparent,stroke:#f57c00,color:#adbac7,stroke-width:1px

    class SB meta
    class IT,DB data
    class IB,BB bitmap

superblock：相当于整个文件系统的"户籍登记册"，记录 block/inode 的总量、使用量、剩余量、文件系统格式等全局信息。没有 superblock，文件系统就无法被识别。superblock 大小通常为 1024 Bytes，每个 block group 都可能保有一份备份。

inode：每个文件（含目录）都拥有且仅拥有一个 inode。inode 记录文件的属性，但**不记录文件名**。

data block：存放文件的实际内容。目录文件的 data block 存的是"文件名 → inode 号"的映射表。

inode 记录了什么¶

一个 inode 的大小固定为 128 Bytes（ext4 和 XFS 可扩展到 256 Bytes），记录以下信息：

• 文件存取权限（rwx）
• 文件拥有者（owner）与所属群组（group）
• 文件大小
• 创建时间（ctime）、最近读取时间（atime）、最近修改时间（mtime）
• 文件特殊属性标志（SetUID、SetGID 等）
• 指向 data block 的指针

data block 大小的权衡¶

格式化时可以选择 block 大小：1 KB、2 KB 或 4 KB，格式化后不可更改。

block 越大：大文件占用 block 数量少，读写效率高，但小文件浪费空间（每个 block 只能存一个文件的数据）。

block 越小：适合大量小文件，但大文件需要记录更多 block 编号，inode 压力增大。

用间接 block 支撑大文件¶

一个 inode 只有 128 Bytes，其中能直接存储的 block 号码只有 12 个（直接指向）。如果文件很大，12 个 block 不够用，怎么办？

graph LR
    I["inode\n128 Bytes"]

    I -->|"直接指向\n12 个"| D1["block A"]
    I -->|"直接指向"| D2["block B"]
    I -->|"间接指向\n1 个"| IND["间接 block\n（存放 block 号码表）"]
    I -->|"双重间接\n1 个"| DIND["双重间接 block"]
    IND --> D3["block C"]
    IND --> D4["block D ..."]
    DIND --> IND2["间接 block 2"]
    IND2 --> D5["block E ..."]

    classDef inode fill:transparent,stroke:#0288d1,color:#adbac7,stroke-width:2px
    classDef ind fill:transparent,stroke:#f57c00,color:#adbac7,stroke-width:1px
    classDef blk fill:transparent,stroke:#388e3c,color:#adbac7,stroke-width:1px

    class I inode
    class IND,IND2,DIND ind
    class D1,D2,D3,D4,D5 blk

以 1 KB block 为例，inode 的寻址能力：

• 12 个直接指向：12 × 1 KB = 12 KB
• 1 个间接 block（可存 256 个编号）：256 × 1 KB = 256 KB
• 1 个双重间接：256 × 256 × 1 KB = 64 MB
• 1 个三重间接：256³ × 1 KB ≈ 16 GB

合计最大约 16 GB，与上表 1 KB block 对应的单文件限制一致。

目录的本质：文件名到 inode 的映射表¶

在 Linux 中，目录也是一种文件，它的 data block 存放的是**目录项（directory entry）**：

1
2
3
4
5
6

文件名        inode 号
.             128
..            96
passwd        36628004
shadow        36628005
hosts         33596001

当你读取 /etc/passwd，内核的路径解析流程为：

graph LR
    A["挂载点信息\n找到 / 的 inode 128"] --> B["读 / 的 block\n找到 etc/ → inode 33595521"]
    B --> C["读 etc/ 的 block\n找到 passwd → inode 36628004"]
    C --> D["读 inode 36628004\n验证权限"]
    D --> E["按 block 指针\n读取 passwd 内容"]

    classDef step fill:transparent,stroke:#0288d1,color:#adbac7,stroke-width:1px
    class A,B,C,D,E step

这就是为什么目录的 w 权限控制的是**能否在目录下新增/删除/重命名文件**，而不是能否修改文件内容——因为文件名本身就写在目录的 block 里。

硬链接与软链接¶

硬链接：共享同一个 inode¶

硬链接（Hard Link）的本质：在某个目录的 data block 里新增一条 文件名 → inode 号 的记录，指向**已有的 inode**。

1

ln /etc/crontab ~/crontab-hard

1
2
3

ls -li /etc/crontab ~/crontab-hard
# 34474855 -rw-r--r--. 2 root root 451 /etc/crontab
# 34474855 -rw-r--r--. 2 root root 451 ~/crontab-hard

inode 号相同，说明两个文件名指向同一份数据。删除其中任何一个文件名，只要还有其他名字指向该 inode，数据就不会丢失（inode 的"链接计数"降到 0 才会真正释放 block）。

硬链接的两个限制：

• ❌ 不能跨文件系统：inode 号只在当前文件系统内唯一，跨设备毫无意义
• ❌ 不能链接目录：若允许目录硬链接，目录树可能形成环状结构，导致路径解析陷入死循环

软链接：存储目标路径的独立文件¶

符号链接（Symbolic Link，也叫软链接）是一个**独立的新文件**，它的 data block 内容就是目标路径字符串。

1

ln -s /etc/crontab ~/crontab-soft

1
2
3

ls -li /etc/crontab ~/crontab-soft
# 34474855 -rw-r--r--. 1 root root 451 /etc/crontab
# 53745909 lrwxrwxrwx. 1 root root 12 ~/crontab-soft -> /etc/crontab

注意软链接文件大小为 12 Bytes，正好是 /etc/crontab 这个字符串的字节数——软链接就是把路径字符串存到 block 里。

硬链接 vs 软链接对比¶

1
2
3
4
5

# ❌ 容易出错：路径相对于 /tmp，而不是当前目录
cd /home/user && ln -s ../etc/hosts /tmp/hosts-link

# ✅ 推荐：绝对路径始终清晰
ln -s /etc/hosts /tmp/hosts-link

VFS：内核统一管理文件系统的接口层¶

没有 VFS 会发生什么？¶

如果内核直接和 ext4、XFS、NFS 等每种文件系统打交道，每当内核代码调用"读文件"时，就要判断"这是哪种文件系统？"，代码会变成一团乱麻。

VFS（Virtual File System，虚拟文件系统）就是为了解决这个问题而生的中间层。

VFS 的角色¶

graph TD
    App["用户程序\nopen() / read() / write()"]
    VFS["VFS 层\n统一系统调用接口"]
    ext4["ext4 模块"]
    xfs["XFS 模块"]
    btrfs["Btrfs 模块"]
    nfs["NFS 模块"]
    disk1["/dev/sda1\next4 分区"]
    disk2["/dev/sdb1\nXFS 分区"]
    net["网络存储\nNFS 服务器"]

    App --> VFS
    VFS --> ext4 --> disk1
    VFS --> xfs --> disk2
    VFS --> btrfs
    VFS --> nfs --> net

    classDef app fill:transparent,stroke:#7b1fa2,color:#adbac7,stroke-width:1px
    classDef vfs fill:transparent,stroke:#0288d1,color:#adbac7,stroke-width:2px
    classDef fs fill:transparent,stroke:#388e3c,color:#adbac7,stroke-width:1px
    classDef hw fill:transparent,stroke:#f57c00,color:#adbac7,stroke-width:1px

    class App app
    class VFS vfs
    class ext4,xfs,btrfs,nfs fs
    class disk1,disk2,net hw

用户程序调用 read() 时，VFS 会找到文件所在文件系统的具体实现（如 XFS 模块），调用其 xfs_read() 函数，返回统一格式的数据。用户程序完全不需要关心底层是什么文件系统。

VFS 定义了四个核心对象：superblock（文件系统信息）、inode（文件元数据）、dentry（目录项缓存）、file（已打开文件）。每种文件系统只要实现这套接口，就能被内核统一调度。

ext4 文件系统¶

ext4（Fourth Extended Filesystem）是 ext2 的第四代演进版本，也是 Debian/Ubuntu 系发行版的经典默认文件系统。

日志（Journal）防止数据不一致¶

ext2 时代，如果系统在"写 inode"之后、"更新 bitmap"之前突然断电，文件系统就会处于不一致状态，重启时 e2fsck 需要扫描整个磁盘修复，耗时极长。

ext3/ext4 引入了**日志机制**：每次修改前先在日志区记录"我要做什么"，做完后再标记完成。崩溃恢复时只需检查日志，无需全盘扫描。

ext4 提供三种日志模式：

extent：替代间接 block 映射¶

传统的间接 block 映射对大文件效率低——一个 1 GB 的连续文件需要记录 256K 个 block 号码。

ext4 的 extent 用一个三元组 (起始逻辑块, 起始物理块, 长度) 描述连续的 block 范围，一个 extent 最多可描述 128 MB 的连续空间，大文件的元数据开销大幅降低。

延迟分配与多块分配¶

延迟分配（Delayed Allocation）：写数据时先在内存缓冲，不立即分配磁盘 block，等到数据真正落盘时才统一分配。好处是内核可以看到更大范围的数据，选择更优的连续 block 位置，减少碎片。

多块分配（Multi-block Allocation）：一次性为文件分配多个连续 block，减少分配次数和碎片。

XFS 文件系统¶

为什么 Red Hat 选择了 XFS？¶

ext4 在格式化时需要**预先分配所有 inode**。对于 TB 级磁盘，光是格式化就要花费数十分钟（鸟哥的 70 TB 阵列格式化成 ext4，"去喝了咖啡、吃了便当才回来"）。

XFS 的 inode 和 block 是**动态分配**的——用到时才创建，格式化速度极快。RHEL 7（2014 年）正式将默认文件系统从 ext4 切换到 XFS，RHEL 8/9 延续此默认。

XFS 的三区结构¶

graph LR
    XFS["XFS 文件系统"]
    DS["数据区\nData Section\n• 多个 Allocation Group\n• inode + data block\n• 动态分配"]
    LS["日志区\nLog Section\n• 记录文件系统变化\n• 支持外部 SSD 日志"]
    RS["实时区\nRealtime Section\n• 高性能实时写入\n• extent 预分配"]

    XFS --> DS
    XFS --> LS
    XFS --> RS

    classDef main fill:transparent,stroke:#0288d1,color:#adbac7,stroke-width:2px
    classDef section fill:transparent,stroke:#388e3c,color:#adbac7,stroke-width:1px

    class XFS main
    class DS,LS,RS section

数据区（Data Section）：分为多个分配组（Allocation Group，AG），类似 ext4 的 block group，但每个 AG 可以并行进行 I/O 操作，多核/多磁盘场景下性能更好。

日志区（Log Section）：记录文件系统变化，支持将日志放到**外部 SSD**，进一步提升写入性能。

实时区（Realtime Section）：为实时性要求高的写入场景提供专用空间（如视频录制）。

XFS 的核心优势¶

• 🔍 B+ 树索引：目录项、空闲空间均用 B+ 树管理，大目录下查找文件是 O(log n)，而不是线性遍历
• ⚡ 分配组并行 I/O：多个 AG 可同时服务不同线程的读写请求，高并发场景吞吐量显著优于 ext4
• 📦 extent-based 存储：与 ext4 类似，用 extent 描述连续空间，减少碎片
• 🔧 快速崩溃恢复：日志机制让重启后文件系统检查时间从分钟级降到秒级

Btrfs：下一代文件系统¶

Btrfs（B-tree Filesystem）是 Linux 原生的现代文件系统，设计目标是将存储管理能力内置到文件系统层：

• COW（写时复制）：修改数据时不覆盖原有 block，而是写到新位置，原有数据完整保留，天然支持快照
• 快照（Snapshot）：基于 COW，创建快照几乎不消耗时间和空间，常用于备份前保护现有状态
• 子卷（Subvolume）：文件系统内的独立命名空间，可以单独挂载、单独设置配额
• 在线均衡（Balance）：在不卸载的情况下重新分布数据，迁移设备或调整 RAID 配置
• 内置校验和：对数据和元数据都计算校验和，自动检测静默数据损坏（Bit Rot）

发行版默认文件系统对比¶

查看文件系统信息的常用命令¶

df：查看磁盘挂载点使用情况¶

1
2
3
4

df -h          # 以易读单位（G/M）显示所有挂载点
df -hT         # 同时显示文件系统类型
df -i          # 显示 inode 使用情况（而非 block）
df -h /etc     # 查看指定目录所在分区的容量

df 读取的是 superblock 中的汇总数据，速度极快。

du：统计目录实际占用空间¶

1
2
3

du -sh /var/log       # 汇总显示目录总大小
du -ah /etc           # 列出每个文件和子目录的大小
du -sm /* 2>/dev/null # 查看根下各目录占用（排除报错）

du 会遍历文件系统内所有文件，大目录时执行较慢。

lsblk：查看块设备树形结构¶

1
2
3
4
5
6
7
8
9

lsblk
# NAME        MAJ:MIN RM  SIZE RO TYPE MOUNTPOINTS
# sda           8:0    0   50G  0 disk
# ├─sda1        8:1    0    1G  0 part /boot
# └─sda2        8:2    0   49G  0 part
#   ├─vg-root 253:0    0   20G  0 lvm  /
#   └─vg-home 253:1    0   29G  0 lvm  /home

lsblk -f      # 同时显示文件系统类型和 UUID

blkid：查看设备 UUID 和文件系统类型¶

1
2
3
4
5

blkid
# /dev/sda1: UUID="abc123..." TYPE="xfs" PARTLABEL="EFI"
# /dev/sda2: UUID="def456..." TYPE="ext4"

blkid /dev/sda1    # 只查看指定设备

UUID 是配置 /etc/fstab 挂载时的推荐标识方式（比设备名稳定）。

stat：查看文件/目录的 inode 详细信息¶

1
2
3
4
5
6
7
8

stat /etc/passwd
# File: /etc/passwd
# Size: 2345      Blocks: 8       IO Block: 4096  regular file
# Device: fd00h/64768d  Inode: 36628004  Links: 1
# Access: (0644/-rw-r--r--)  Uid: (0/root)  Gid: (0/root)
# Access: 2024-01-10 08:22:11
# Modify: 2024-01-09 15:30:44
# Change: 2024-01-09 15:30:44

stat 显示的 Change 时间（ctime）是 inode 最后一次被修改的时间，包括权限变更、重命名等操作，不仅仅是文件内容修改。

文件系统专用工具¶

1
2
3

dumpe2fs -h /dev/sda2       # 查看 ext4 superblock 信息
tune2fs -l /dev/sda2        # 查看/修改 ext4 文件系统参数
e2fsck -f /dev/sda2         # 检查并修复 ext4（需先卸载）

1
2
3

xfs_info /boot              # 查看 XFS superblock 信息
xfs_repair /dev/sdb1        # 修复 XFS（需先卸载）
xfs_growfs /                # 在线扩展 XFS（不需要卸载）

VFS 虚拟文件系统¶

内核提供统一的文件操作接口（open/read/write/close），无论底层是 ext4、XFS、tmpfs 还是 NFS，应用程序的代码都一样。VFS（Virtual File System）是一个抽象层，将"具体文件系统的实现"与"用户空间调用"解耦。

四大核心对象¶

VFS 定义了四个核心内核对象，协同完成文件的寻址与访问：

classDiagram
    direction TD
    class super_block {
        +文件系统类型
        +挂载点
        +块大小
        +super_operations
    }
    class inode {
        +inode 编号
        +权限/所有者
        +时间戳
        +inode_operations
    }
    class dentry {
        +文件名
        +指向父 dentry
        +dentry_operations
    }
    class file {
        +当前偏移量 f_pos
        +打开标志 f_flags
        +file_operations
    }

    super_block "1" --> "n" inode : 包含
    inode "1" --> "n" dentry : 被引用
    dentry "1" --> "1" inode : 映射
    file "n" --> "1" dentry : 关联
    file "n" --> "1" inode : 关联

    classDef vfsObj fill:transparent,stroke:#0288d1,color:#adbac7,stroke-width:2px
    class super_block,inode,dentry,file vfsObj

dentry 缓存（dcache）¶

dentry 缓存的作用是加速路径解析，避免每次都从磁盘读目录。例如访问 /home/user/file.txt 时，内核依次解析 /、home、user、file.txt 四个 dentry，命中缓存则无需磁盘 I/O。

1
2

cat /proc/sys/fs/dentry-state
# 输出：nr_dentry  nr_unused  age_limit  want_pages  dummy  dummy

内存不足时内核会自动回收 dentry 缓存；也可手动触发（生产环境慎用）：

1

echo 2 > /proc/sys/vm/drop_caches

inode 缓存¶

1
2

cat /proc/sys/fs/inode-nr
# 输出：已分配 inode 数 / 空闲 inode 数

挂载命名空间（mount namespace）¶

每个进程（组）可以拥有独立的挂载视图，互不干扰。这是容器技术实现文件系统隔离的核心机制。

• mount --bind：把一个目录绑定挂载到另一个路径（不复制数据，共享同一 inode 树）
• Docker/Kubernetes 大量使用挂载命名空间，容器内的 / 与宿主机完全隔离
• findmnt 命令：以树状结构查看完整挂载关系

1
2
3
4
5
6
7
8

# 查看挂载树
findmnt

# 绑定挂载：将 /data 挂载到 /mnt/data
mount --bind /data /mnt/data

# 查看某进程的挂载命名空间
ls -l /proc/<PID>/ns/mnt

/proc 文件系统¶

/proc 是 procfs，一个由内核在内存中**动态生成**的虚拟文件系统，挂载在内存中，不占磁盘空间。读写 /proc 下的文件会直接触发内核代码执行——cat /proc/cpuinfo 并非读磁盘，而是内核实时生成该文本并返回给你。

系统级重要路径速查¶

sysctl 与 /proc/sys 的关系¶

/proc/sys/ 下的每个文件对应一个 sysctl 内核参数，两者完全等价：

• /proc/sys/net/ipv4/ip_forward ↔ sysctl net.ipv4.ip_forward（路径中的 / 替换为 .）

1
2
3
4
5
6
7
8

# 临时修改（重启失效）
echo 1 > /proc/sys/net/ipv4/ip_forward
# 或
sysctl -w net.ipv4.ip_forward=1

# 永久生效：写入配置文件后重载
echo 'net.ipv4.ip_forward = 1' >> /etc/sysctl.d/99-custom.conf
sysctl -p /etc/sysctl.d/99-custom.conf

常用 /proc/sys 调优项¶

实用命令示例¶

1

awk '/MemTotal|MemFree|Buffers|Cached|SwapTotal/ {print}' /proc/meminfo

1
2
3

cat /proc/loadavg
# 示例输出：0.52 0.38 0.31 2/412 18923
# 含义：1分钟 5分钟 15分钟负载 / 运行中进程/总进程 最近PID

1
2
3
4
5
6
7
8
9

# 查看所有参数
sysctl -a

# 查看单个参数
sysctl net.core.somaxconn

# 持久化修改（推荐写入 sysctl.d）
echo 'net.core.somaxconn = 65535' >> /etc/sysctl.d/99-custom.conf
sysctl -p /etc/sysctl.d/99-custom.conf