ext2 GDT 块组描述符表 详细技术拆解

GDT 是连接"全局超级块"与"具体块组内部管理结构"的关键桥梁，理解它就能理解内核如何定位任意块组中的位图与 inode 表。

目录

• • [一、GDT 的定位与职责](#一、GDT 的定位与职责)
  • [二、块组描述符结构（32 字节）](#二、块组描述符结构（32 字节）)
  • [三、GDT 的物理存储大小](#三、GDT 的物理存储大小)
  • [四、GDT 的备份策略：`sparse_super`](#四、GDT 的备份策略：sparse_super)
  • [五、GDT 在块组中的具体位置](#五、GDT 在块组中的具体位置)
  • [六、内核如何通过 GDT 定位资源](#六、内核如何通过 GDT 定位资源)
  • [七、实例：`dumpe2fs` 输出中的 GDT 信息](#七、实例：dumpe2fs 输出中的 GDT 信息)
  • [八、GDT 的设计意义与局限](#八、GDT 的设计意义与局限)
  • 九、总结

---

一、GDT 的定位与职责

在 ext2 中，超级块（Superblock）描述的是整个文件系统的全局参数（总块数、块大小等），但它并不记录各个块组内部的资源分布。GDT 正是为了填补这一层而存在的：

• 本质 ：GDT 是一个数组，每个元素是一个 32 字节的块组描述符（Group Descriptor）。
• 索引方式：文件系统划分了多少个块组（Block Group），GDT 就有多少个条目。块组号从 0 开始，直接作为数组下标。
• 物理位置：紧跟在超级块之后。通常位于块组 0 的第 2 块或第 3 块起始处（取决于块大小是否为 1KB）。

核心作用 ：GDT 保存了每个块组的关键元数据区域的绝对块号，以及该块组的资源统计。没有 GDT，内核无法知道块位图、inode 位图、inode 表具体存于何处。

---

二、块组描述符结构（32 字节）

ext2 的块组描述符定义在 linux/ext2_fs.h 中，结构如下：

struct ext2_group_desc {
    __u32  bg_block_bitmap;      /* 块位图所在的块号 */
    __u32  bg_inode_bitmap;      /* inode 位图所在的块号 */
    __u32  bg_inode_table;       /* inode 表的起始块号 */
    __u16  bg_free_blocks_count; /* 该组空闲块数量 */
    __u16  bg_free_inodes_count; /* 该组空闲 inode 数量 */
    __u16  bg_used_dirs_count;   /* 该组已被用作目录的 inode 数量 */
    __u16  bg_pad;               /* 填充，用于 4 字节对齐 */
    __u32  bg_reserved[3];       /* 保留字段（12 字节） */
};

总大小 = 32 字节。

各字段的详细含义如下表：

字段名	偏移	大小	说明
bg_block_bitmap	0x00	4B	块位图（Block Bitmap）所在的绝对块号。内核通过该块号读取本组所有数据块的分配位图。
bg_inode_bitmap	0x04	4B	inode 位图（Inode Bitmap）所在的绝对块号。记录本组 inode 表中哪些槽位已占用。
bg_inode_table	0x08	4B	inode 表（Inode Table）的起始绝对块号。本组所有 inode 结构体连续存放于此。
bg_free_blocks_count	0x0C	2B	本块组当前空闲的数据块总数。分配器优先选择空闲多的块组，以减少碎片。
bg_free_inodes_count	0x0E	2B	本块组当前空闲的 inode 总数。创建文件时，若本组 inode 耗尽，需跨组分配。
bg_used_dirs_count	0x10	2B	本块组中已被分配且用作目录的 inode 数量。ext2 的目录分配策略会参考此值，尽量将目录与文件分散到不同块组，或做局部性优化。
bg_pad	0x12	2B	无实际意义，仅用于将结构体对齐到 4 字节边界。
bg_reserved[3]	0x14	12B	保留扩展字段。早期全为 0，ext3/ext4 复用或扩展了部分保留位。

---

三、GDT 的物理存储大小

GDT 本身也需要占用磁盘块。其占用的块数取决于块组总数 和块大小：

\\text{GDT 占用块数} = \\left\\lceil \\frac{\\text{块组总数} \\times 32}{\\text{块大小 (字节)}} \\right\\rceil

举例：

• 若块大小为 4KB ，文件系统共有 1000 个块组：
  • GDT 总大小 = 1000 × 32 = 32,000 字节
  • 占用块数 = ⌈32000 / 4096⌉ = 8 个块

在 ext2_fs.h 中，这个关系被定义为宏：

#define EXT2_DESC_PER_BLOCK(s) (EXT2_BLOCK_SIZE(s) / sizeof(struct ext2_group_desc))

---

四、GDT 的备份策略：sparse_super

GDT 与超级块一样属于关键元数据，一旦损坏会导致整个块组不可解析。因此 ext2 设计了冗余备份，但默认的"每个块组都备份"策略会浪费大量空间（尤其是大容量磁盘可能有成千上万个块组）。

为此，ext2 引入了只读兼容特性 sparse_super（稀疏超级块）：

• 无 sparse_super（早期模式）：每个块组开头都保存一份超级块 + GDT 的副本。

• 有 sparse_super （现代默认）：仅在特定的块组 中保存超级块与 GDT 的备份。选择算法通常基于块组号是否为 0、1，或 3/5/7 的幂次方组合等规则，确保备份在空间上分散，降低同区域物理损坏导致全部元数据丢失的概率。

  块组布局对比（简化）：

  无 sparse_super:
  ┌─────────┬─────────┬─────────┬─────────┐
  │ Group 0 │ Group 1 │ Group 2 │ Group 3 │ ...
  │ SB+GDT │ SB+GDT │ SB+GDT │ SB+GDT │
  └─────────┴─────────┴─────────┴─────────┘

  有 sparse_super:
  ┌─────────┬─────────┬─────────┬─────────┬─────────┬─────────┐
  │ Group 0 │ Group 1 │ Group 2 │ Group 3 │ Group 4 │ Group 5 │ ...
  │ SB+GDT │ SB+GDT │ 数据 │ SB+GDT │ 数据 │ SB+GDT │
  └─────────┴─────────┴─────────┴─────────┴─────────┴─────────┘
  ↑ ↑ ↑ ↑
  必有备份 必有备份 3^1 5^1 ...

内核挂载时只使用块组 0 中的主 GDT；当执行 e2fsck 修复时，才会读取备份 GDT 与主 GDT 进行交叉校验或恢复。

---

五、GDT 在块组中的具体位置

以下是一个典型的块组 0 前部布局（假设块大小 ≥ 2KB，无保留 GDT 块）：

块号 (相对/绝对)
┌──────────────────────────────────────┐
│ Block 0 / Boot Block (1024字节引导区) │  ← 若块大小为1KB，这是块0；若≥2KB，通常算在块0的前半部分
├──────────────────────────────────────┤
│ Block 1 / Superblock (超级块)        │  ← 从偏移1024字节开始
├──────────────────────────────────────┤
│ Block 2 / GDT Block 0                │  ← GDT从这里开始
│ Block 3 / GDT Block 1                │     (可能连续占用多个块)
│ ...                                  │
├──────────────────────────────────────┤
│ Block N / Block Bitmap               │  ← 由 gdt[0].bg_block_bitmap 指向
├──────────────────────────────────────┤
│ Block N+1 / Inode Bitmap             │  ← 由 gdt[0].bg_inode_bitmap 指向
├──────────────────────────────────────┤
│ Block N+2 ... / Inode Table          │  ← 由 gdt[0].bg_inode_table 指向
├──────────────────────────────────────┤
│ ... / Data Blocks                    │
└──────────────────────────────────────┘

对于其他块组 （例如块组 g），其内部布局同样通过 gdt[g] 来描述：

块组 g 的起始块号 = g × s_blocks_per_group

块组 g 的内部结构：
┌────────────────────────────────────────┐
│  [可能存在的 SB + GDT 备份]             │ ← 取决于 sparse_super
├────────────────────────────────────────┤
│  Block Bitmap @ gdt[g].bg_block_bitmap │
├────────────────────────────────────────┤
│  Inode Bitmap @ gdt[g].bg_inode_bitmap │
├────────────────────────────────────────┤
│  Inode Table  @ gdt[g].bg_inode_table  │
├────────────────────────────────────────┤
│  Data Blocks ...                       │
└────────────────────────────────────────┘

---

六、内核如何通过 GDT 定位资源

假设内核需要查找 inode 号为 131 的文件：

1. 确定块组号：

   • 超级块中已知 s_inodes_per_group（例如每块组 1280 个 inode）。
   • 块组号 = (131 - 1) / 1280 = 0，即该 inode 位于块组 0。

2. 读取 GDT 条目：

   • 读取 gdt[0]，获取 bg_inode_table（假设为块 66）。

3. 计算 inode 在表中的偏移：

   • 组内索引 = (131 - 1) % 1280 = 130。
   • 若 inode 大小为 128 字节，则字节偏移 = 130 × 128 = 16640。
   • 所在块 = 66 + ⌊16640 / 4096⌋ = 块 70（假设 4KB 块）。
   • 块内偏移 = 16640 % 4096。

4. 读取 inode 结构 ，进而通过 i_block[] 找到数据块。

整个过程中，GDT 提供了第一步的地址解析。如果没有 GDT，内核无法知道块组 0 的 inode 表究竟放在哪个绝对块号上。

---

七、实例：dumpe2fs 输出中的 GDT 信息

以下是一段真实的 dumpe2fs 输出（节选）：

Filesystem volume name:   <none>
...
Inode count:              1280
Block count:              5120
Blocks per group:         8192
Inodes per group:         1280

Group 0: (Blocks 0-5119)
  Primary superblock at 0, Group descriptors at 1-1
  Reserved GDT blocks at 2-7
  Block bitmap at 8 (+8)
  Inode bitmap at 9 (+9)
  Inode table at 10-42 (+10)
  4980 free blocks, 1269 free inodes, 2 directories
  Free blocks: 140-5119
  Free inodes: 12-1280

对应到 GDT 字段的解读：

dumpe2fs 输出	对应 GDT 字段	值
Block bitmap at 8	bg_block_bitmap	8
Inode bitmap at 9	bg_inode_bitmap	9
Inode table at 10	bg_inode_table	10
4980 free blocks	bg_free_blocks_count	4980
1269 free inodes	bg_free_inodes_count	1269
2 directories	bg_used_dirs_count	2

输出中 (+8) 表示相对于本块组起始块号的偏移，而 GDT 中存储的是绝对块号，二者在块组 0 中通常相同（因为块组 0 起始于绝对块 0）。

---

八、GDT 的设计意义与局限

特性	说明
分权管理	超级块管全局，GDT 管局部。避免所有元数据操作都集中在一个数据结构中，降低锁竞争和 I/O 热点。
快速分配	bg_free_blocks_count 等统计字段让内核在分配新块时，可以快速扫描 GDT 找到资源充裕的块组，而无需逐位读取每个块组的位图。
静态空间	GDT 的大小在格式化时由块组数量决定。若后期通过 resize2fs 扩展文件系统，块组数量增加，GDT 也必须扩展，这需要在磁盘上预留连续的 GDT 备份空间（即 Reserved GDT Blocks）。
无日志保护	纯 ext2 中，GDT 的修改没有日志（journal）保护。崩溃后，e2fsck 需要对比备份 GDT 与主 GDT，修复不一致项。这也是 ext3 引入日志的关键动机之一。

---

九、总结

GDT 是 ext2 文件系统的 "块组索引层"：

• 结构上 ：它是一个定长数组，元素为 32 字节的 ext2_group_desc。
• 功能上 ：它存储了每个块组的位图位置 、inode 表位置 和资源计数器。
• 物理上：它紧跟超级块，大小与块组总数成正比，并在特定块组中保有副本。
• 运行时：内核通过"inode/块号 → 块组号 → GDT → 具体元数据块"的链条，完成所有文件资源的定位。

理解 GDT 后，就能自然地理解为什么 ext2 是"索引式文件系统"------ 不仅文件数据通过 inode 索引，就连 inode 和块本身，也是通过 GDT 这一级索引来管理的。

---

封面图来源于网络，如有侵权，请联系删除！