【总结】【OS】成组链接法

特性	说明
基本思想	将空闲磁盘块分成若干组，每组内采用栈结构管理，组间通过链表链接。内存中常驻超级块，记录当前组的空闲块信息，以实现高效分配与回收。
数据结构（内存）	超级块（Super Block）包含： - 当前组空闲块数 `free_count` - 空闲块栈 `free_stack[]`，存储当前组可分配的空闲块号（栈顶块号可分配）
数据结构（磁盘）	每组的第一块（索引块）存储： - 下一组第一块的块号（链指针） - 本组其余空闲块号（不含自身）该索引块本身不存储文件数据，仅用于组织空闲块。
分配过程	1. 若超级块中 `free_count > 1`，则从栈顶取出块号分配，`free_count--`。 2. 若 `free_count = 1`，则栈顶块号指向下一组索引块。先将该块内容读入超级块（加载下一组信息），然后将该块分配出去（作为数据块使用）。
回收过程	1. 若超级块栈未满，直接将回收块号压栈，`free_count++`。 2. 若栈已满，则将当前超级块内容（`free_count` 和 `free_stack`）写入回收块，然后将超级块重置：`free_count = 1`，栈中唯一元素为回收块号（该块成为新组索引块）。
优点	- 分配和回收多数情况只需访问内存超级块，减少磁盘 I/O。 - 分组结构缩短搜索链长度，提升管理效率。 - 适用于大规模磁盘空间管理。
缺点	- 超级块在内存，系统崩溃可能导致信息丢失（需持久化机制）。 - 实现较复杂，需处理组间切换的边界条件。
应用	经典应用于 UNIX 文件系统（如 UFS）的空闲块管理。
相关计算	设磁盘块大小为 B 字节，块号用 N 字节表示，则每组最多可容纳空闲块数为：`(B / N) - 1`（其中一项存下一组块号）。超级块栈大小通常为此值。
注意事项	- 超级块需定期写回磁盘以保证一致性。 - 分配和回收操作需互斥，防止竞态条件。 - 初始化时从磁盘读取超级块信息（通常位于固定位置）。

类别	核心内容	详情说明
基本定义	大型文件系统的空闲磁盘块管理方法，结合空闲表法与空闲链表法优点，解决空闲表 / 链表过大问题，UNIX/Linux 系统采用	核心思想：分组管理 + 链栈结合，平衡内存开销与分配速度
核心数据结构	1. 空闲盘块号栈（内存）2. 组描述块（外存）3. 超级块（外存 + 内存）	1. 栈记录当前组空闲块数 N 与块号，分配弹栈、回收压栈2. 每组首个块为组描述块，记录下一组块数与块号，最末组 S.free (0)=0（结束标志）3. 系统启动时读超级块入内存，同步内外存超级块数据
分配流程（k 块 / 组）	1. 检查栈顶：栈非空则弹栈分配2. 栈空处理：读当前组描述块（原栈底块）的下一组信息入栈，释放原组描述块3. 重复 1-2 直到分配成功	例：k=100，当前组分配完时，加载下一组 100 个块号入栈，原组描述块转为普通空闲块
回收流程（k 块 / 组）	1. 压栈回收：将释放块号压入空闲栈2. 栈满处理：新建组，当前栈中 k 个块作为新组，原栈底块作为组描述块，记录下一组信息，新组信息写入超级块3. 同步超级块到外存	例：k=100，栈满时，新组的组描述块记录旧组信息，新块号压入新栈
关键计算（k=100）	1. 初始建树：每组最多 k 块，最末组 k-1 块2. 读写磁盘次数：仅组切换时读写外存，单次分配 / 回收通常仅内存操作	分配 / 回收 N 块时，磁盘 I/O 次数≈N/k（组切换次数）
性能对比	与空闲表法、空闲链表法对比	1. 内存开销：小（仅存当前组栈 + 超级块）2. 分配速度：快（内存栈操作，组切换才读写磁盘）3. 适用场景：大型文件系统，解决空闲表 / 链表过大问题
408 高频易错点	1. 栈空 / 栈满时的组切换逻辑2. 最末组结束标志（S.free (0)=0）3. 超级块同步机制（防止数据丢失）	1. 栈空是加载下一组，栈满是创建新组2. 结束标志常作为选择题考点3. 超级块需保证内存与外存数据一致