七：操作系统文件系统之空闲空间管理

---

操作系统如何知道哪些空间是空闲的？深入解析文件系统的空闲空间管理

在文件系统中，数据被存储在离散的存储单元中，通常称为块 (Blocks)。当我们创建新文件、向文件追加数据，或者删除文件时，操作系统需要知道哪些块是可用的（空闲的），以及如何高效地找到这些空闲块并进行分配。同样，当文件被删除或收缩时，其占用的块需要被标记为 free，以便将来重用。管理这些空闲块的机制，就是空闲空间管理 (Free-Space Management)。

高效的空闲空间管理对于文件系统的性能和存储空间利用率至关重要。如果管理不善，可能会导致难以找到连续的空闲块（影响某些分配方法），或者查找空闲块本身效率低下。

本文将详细探讨操作系统中几种主要的空闲空间管理技术：位图、空闲链表、分组和计数，并分析它们的原理、优缺点。

1. 位图 (Bitmap / Bit Vector)

概念：

位图是一种简单直观的空闲空间管理方法。它使用一个位（bit）序列来表示磁盘上的每个分配单元（通常是一个块）。序列中的每个位对应于磁盘上的一个块。

如何工作：

创建一个位图数据结构。位图中的第 i 个位对应于磁盘上的第 i 个块。

• 如果位图中的第 i 个位是 1，表示第 i 个块已经被占用（已分配）。
• 如果位图中的第 i 个位是 0，表示第 i 个块是空闲的。

整个位图本身也需要存储在磁盘上（通常靠近文件系统的起始位置）并可能在内存中缓存一部分或全部。

示例：

假设一个磁盘有 16 个块，编号从 0 到 15。当前的位图是 11011000 10110100。
这意味着：

• 块 0, 1, 3, 4, 8, 10, 11, 13 被占用 (位为 1)。

• 块 2, 5, 6, 7, 9, 12, 14, 15 是空闲的 (位为 0)。

• 分配一个块： 要分配一个空闲块，系统扫描位图查找第一个 0。假设找到位 2 是 0。系统分配块 2，然后将位图中的第 2 位设置为 1。新的位图变成 11111000 10110100。

• 分配 n 个连续的块： 要分配 n 个连续的空闲块，系统需要扫描位图查找连续的 n 个 0。例如，要分配 3 个连续块，扫描发现位 5, 6, 7 都是 0。系统分配块 5, 6, 7，并将位图中的位 5, 6, 7 都设置为 1。新的位图变成 11011111 10110100。

• 释放一个块： 当块 i 被释放时，系统将位图中的第 i 位设置为 0。

优点：

1. 实现简单： 概念直观，易于编程实现。
2. 高效查找连续空闲块： 扫描位图非常容易找到连续的 n 个 0，这对于需要连续分配的文件系统（如早期的连续分配）或者需要一次性分配多个块以提高性能的场景非常有利。
3. 空间效率： 对于一个拥有 T 个块的磁盘，位图的大小是 T 位。如果块非常小，或者磁盘非常大，位图可能会变得很大。但相对而言，每块只用 1 位，空间开销通常不高。例如，一个 1TB 的硬盘，块大小 4KB (2^12 字节)，总块数 ≈ 2^30 / 2^12 = 2^18 个块。位图大小 ≈ 2^18 位 = 2^15 字节 = 32KB。这相对于整个磁盘大小来说非常小。

缺点：

1. 位图大小： 对于非常大的磁盘，位图本身可能会占用可观的内存或磁盘空间。
2. 查找效率： 在位图中查找第一个 0 或连续的 n 个 0 可能需要扫描整个位图，这可能耗费时间，特别是当空闲空间很少或碎片化时。
3. 需要内存： 为了高效访问，整个位图或大部分位图需要驻留在内存中。

2. 空闲链表 (Free List / Linked List)

概念：

空闲链表将所有空闲的磁盘块连接成一个链表。每个空闲块都包含一个指针，指向下一个空闲块。

如何工作：

文件系统维护一个指向链表头部的指针（存储在文件系统的超级块中）。这个头部指针指向第一个空闲块。第一个空闲块包含指向第二个空闲块的指针，第二个空闲块包含指向第三个空闲块的指针，依此类推，直到链表的最后一个空闲块，它包含一个特殊的标记（如 null 指针）表示链表结束。

示例：

假设空闲块的顺序是 5, 12, 1, 18, 6。

• 文件系统超级块有一个指针指向块 5。

• 块 5 的数据区域存储了指向块 12 的指针。

• 块 12 的数据区域存储了指向块 1 的指针。

• 块 1 的数据区域存储了指向块 18 的指针。

• 块 18 的数据区域存储了指向块 6 的指针。

• 块 6 的数据区域存储了链表结束标记。

• 分配一个块： 从链表头部取出第一个块（块 5）。将超级块的指针更新为指向链表中下一个块（块 12）。分配块 5。

• 释放一个块： 假设释放块 20。将块 20 添加到链表头部。块 20 的指针指向原先的链表头部（块 5）。超级块的指针更新为指向块 20。新的空闲链表头部是 20，然后是 5, 12, 1, 18, 6。

优点：

1. 空间效率： 如果指针直接存储在空闲块本身的数据区域内，那么除了头部指针外，不需要额外的专门存储空间来维护空闲列表。
2. 易于分配/释放单个块： 分配和释放一个块只需要简单地修改链表头部的指针。

缺点：

1. 低效的随机访问： 要找到第 n 个空闲块，或者找到一个特定地址的空闲块，必须从头开始遍历链表。
2. 无法高效查找连续空闲块： 链表中的空闲块在磁盘上可能是任意分散的，遍历链表无法快速找到连续的空闲区域。这使得它与需要连续分配的文件分配方法兼容性差。
3. 可靠性问题： 如果链表中的某个指针损坏或丢失，从该点开始的后续所有空闲块都将丢失，无法被系统识别和重用。
4. 空闲块分散： 链表中的空闲块可能遍布整个磁盘，分配多个块时可能导致大量的磁盘寻道，降低性能（局部性差）。
5. 指针占用数据区域： 将指针存储在空闲块内部会减少实际可用于存储用户数据的大小，尽管这个损失通常很小。

3. 分组 (Grouping)

概念：

分组是空闲链表的一种改进。它不是让每个空闲块只指向下一个空闲块，而是让第一个空闲块（或称为分组块）存储一组空闲块的地址，其中一个地址指向下一个分组块。

如何工作：

文件系统维护一个指向第一个分组块的指针。这个分组块不是一个数据块，而是专门用来存储指针的。它存储了 N 个指针，其中 N-1 个指针指向实际的空闲数据块，最后一个指针指向下一个分组块。这个下一个分组块也存储 N 个指针，依此类推。

示例：

假设每个分组块可以存储 5 个指针 (N=5)。

• 文件系统超级块指向分组块 A (地址 100)。

• 分组块 A (地址 100) 存储指针：指向块 5, 12, 18, 25, 和下一个分组块 B (地址 200)。

• 分组块 B (地址 200) 存储指针：指向块 30, 31, 35, 40, 和下一个分组块 C (地址 300)。

• 分组块 C (地址 300) 存储指针：指向块 50, 51, 52, 53, 和一个结束标记。

• 分配块： 当需要分配空闲块时，从分组块 A 中取出指针指向的块 (5, 12, 18, 25)。将这些块分配出去。当分组块 A 中的所有数据块指针都被用完时，读取分组块 A 中指向下一个分组块（200）的指针，将分组块 B 的内容读入内存，分组块 A 成为空闲块（并可能被添加到链表末尾，如果还需要释放的话）。现在，从分组块 B 中取出空闲块。

• 释放块： 当释放一个或一组块时，将它们的地址添加到当前内存中的分组块列表中。如果当前分组块已满，将当前分组块写回磁盘，并将被释放的块设置为新的分组块，使其指向旧的满的分组块（实现先进后出的效果，或添加到末尾实现先进先出）。

优点：

1. 减少磁盘访问次数： 一次读取一个分组块，可以获取多个空闲块的地址，这减少了查找多个空闲块所需的磁盘 I/O 操作，提高了分配速度。
2. 更好地利用局部性： 虽然空闲块本身仍然分散，但一次获取多个地址可以批量处理，略微改善局部性。

缺点：

1. 实现比纯链表复杂： 需要管理分组块和数据块指针。
2. 仍然难以高效查找连续空闲块： 虽然获取地址更快，但仍然无法保证获取的块是连续的。

4. 计数 (Counting)

概念：

计数法通常与空闲链表或分组方法结合使用。它不是存储每个单独的空闲块地址，而是存储连续空闲块的起始地址和该连续段的长度（计数）。

如何工作：

空闲列表中的每个条目不再是一个块地址，而是一个对 (Pair)：(起始块地址, 连续空闲块数量)。

示例：

假设磁盘上的空闲空间分布是：块 10-14 (共 5 个)，块 20-21 (共 2 个)，块 50 (共 1 个)，块 80-99 (共 20 个)。
空闲列表可能存储以下条目（可以组织成链表或分组形式）：
(10, 5), (20, 2), (50, 1), (80, 20)

• 分配 k 个块： 要分配 k 个块，系统扫描空闲列表查找一个条目 (起始地址, 计数)，其中 计数 >= k。
  • 如果找到 (10, 5)，且 k=3。分配块 10, 11, 12。更新该条目为 (13, 2)。
  • 如果找到 (80, 20)，且 k=20。分配块 80-99。从列表中删除该条目。
  • 如果找到 (80, 20)，且 k=5。分配块 80-84。更新该条目为 (85, 15)。
• 释放 k 个块： 当释放从块 i 开始的 k 个块时。系统检查空闲列表中是否存在紧邻的空闲块段：
  • 检查是否有条目 (i-1, count1)：如果存在，说明释放的块前面有连续空闲块。将该条目更新为 (i-1, count1 + k)。
  • 检查是否有条目 (i+k, count2)：如果存在，说明释放的块后面有连续空闲块。如果前面没有紧邻的空闲块段，则将条目 (i+k, count2) 更新为 (i, k + count2)。如果前面 也 有紧邻的空闲块段 (i-1, count1)，则将 (i-1, count1) 更新为 (i-1, count1 + k + count2)，并删除条目 (i+k, count2)（合并了两个相邻的空闲段）。
  • 如果前后都没有紧邻的空闲块段，则在列表中添加新条目 (i, k)。

优点：

1. 高效管理连续空闲块： 这是计数法最突出的优点。它天生适合管理和查找连续的空闲区域，非常适合需要连续分配的文件系统。
2. 列表规模小： 如果磁盘上存在许多大的连续空闲块段，空闲列表中的条目数量会远少于位图或纯空闲链表，从而减少了管理开销。

缺点：

1. 合并复杂： 释放块时，需要检查并合并相邻的空闲块段，这比简单地添加或修改链表指针要复杂。
2. 查找不一定最快： 虽然找到 任何 足够大的连续块相对容易，但找到 最佳（例如，首次适应、最佳适应）匹配的连续块仍然需要遍历部分或全部列表。

总结对比

特性	位图 (Bitmap)	空闲链表 (Free List)	分组 (Grouping)	计数 (Counting)
基本单元	单个块 (1 bit)	单个块 (需指针)	多个块 (组)	连续块段 (起始+计数)
查找连续块	高效 (扫描位图)	低效 (需外部机制或遍历判断)	低效 (需外部机制或遍历判断)	高效 (扫描列表条目)
随机访问空闲	低效 (需扫描)	高效 (取头部)	较高效 (一次取多个)	效率一般 (需扫描列表)
空间开销	与总块数成正比 (小)	极小 (指针在块内)	需要专门的分组块/结构	与空闲连续段数量成正比 (通常小)
实现复杂	简单	简单	中等	中等 (释放/合并逻辑复杂)
可靠性	高	低 (指针损坏影响后续)	中等 (分组块损坏影响一组)	中等 (条目损坏影响一段)
内存需求	可能需要整个或部分位图	只需要头部指针 (如用块内指针)	需要一个分组块	可能需要部分或整个列表
典型应用	Ext2/3/4 (在 Block Group 内使用), UFS	早期的简单文件系统，或作为辅助	UFS, Ext2 (作为 Inode free list)	XFS, 部分文件系统结合其他方法使用

结论

空闲空间管理是文件系统隐藏在幕后的一项重要工作。不同的文件分配方法（如连续分配、索引分配等）对空闲空间管理方法有不同的需求。连续分配方法需要能够高效找到连续的空闲块，因此位图和计数法更适合。而链式分配和索引分配对块的连续性没有要求，空闲链表或分组方法在概念上更匹配，尽管在实际实现中，索引分配通常与位图或计数等更高效的方法结合使用，以提高分配和查找效率。

现代文件系统，如 Ext4, XFS, NTFS 等，通常会采用更复杂、更优化的组合策略，例如在文件系统的不同区域（如 Ext4 的块组 Block Group）内使用位图，同时可能采用某种形式的计数来追踪连续的空闲块段，以兼顾各种场景下的性能和空间利用率。理解这些基本的空闲空间管理技术，是理解文件系统内部工作原理的关键一步。

---