前言： 终于，我们迎来了 XV6 操作系统大作业的最终决战——文件系统（File System）！ 在 408 考研中，“混合索引分配算法”和“文件共享（软硬链接）”是让无数考生头疼的综合大题。而在本次实验中，我们不再是纸上谈兵，而是要亲自动手修改底层文件系统架构：把系统支持的最大文件体积从 268KB 强行扩容到 65MB（Bigfile），并从零手搓出系统的软链接/快捷方式功能（Symlink）。 今天，我将以第一人称视角，带你还原我的终极答辩现场，用最通俗的语言，把底层代码与 408 考点进行最完美的融合！

🚀 一、 实验成果与运行展示（答辩现场实况）

对于最终 Boss，我们直接用满分的跑分结果来向老师证明实力。

1. 演示 bigfile（大文件突破）

在终端输入 make qemu 进入系统，执行：

$ bigfile
..................................................
wrote 65803 blocks
bigfile done; ok

🎙️ 现场话术： “老师您好，现在为您演示文件系统实验。首先是 bigfile 任务。原版的 XV6 最大只能存 268 个数据块的文件。经过我修改了底层的 inode 结构和磁盘映射算法后，您可以看到，程序成功向磁盘写入了 65803 个数据块，耗时近 3 分钟但全程没有触发内核 Panic 崩溃，大文件机制完美运行。”

2. 演示 symlinktest（软链接实现）

继续在 QEMU 中执行：

$ symlinktest
Start: test symlinks
test symlinks: ok
Start: test concurrent symlinks
test concurrent symlinks: ok

🎙️ 现场话术： “其次是 symlink 软链接任务。我为操作系统增加了一种全新的文件类型，并注册了配套的系统调用。测试显示，不管是单线程的软链接解析，还是多线程并发下的软链接读写，系统都能准确地顺藤摸瓜找到目标文件，没有出现路径解析错误或死锁。最后，我的 grade 评分脚本也拿到了全绿满分。”

🧠 二、 核心代码背后的 408 考点剖析（高分关键）

纸上得来终觉浅，绝知此事要躬行。修改 fs.c 和 sysfile.c 的过程，就是我对 408 文件系统理论的一次“降维打击”。

📌 考点 1：混合索引分配与 UNIX i-node（结合 bigfile 实验）

408 经常考大题：给定直接索引、一级索引、二级索引的数量，求文件最大长度。

• 理论回顾： 为了让文件系统既能快速读取小文件，又能支持极大文件，经典的 UNIX 系统采用了“混合索引分配”机制。

• 我的系统改造： 原版 XV6 的 inode 只有 12 个直接索引和 1 个一级间接索引（12 + 256 = 268块）。我在代码中修改了结构体，将其变成了：11个直接块 + 1个一级间接块 + 1个二级间接块。

• 双重间接映射 (bmap)： 核心难点在于修改磁盘块映射函数 bmap。当逻辑块号超过了一级索引的极限时，我让代码去读取二级间接块表，然后再通过除法 (bn / 256) 和取模 (bn % 256) 操作，定位到最终的物理磁盘块。这完美验证了 408 考研题中“多级索引表逐级寻址”的数学逻辑，我终于明白考题里的算式在底层是怎么跑起来的了！

📌 考点 2：硬链接 vs 软链接的本质区别（结合 symlink 实验）

在 408 理论中，文件共享有两种方式：基于索引节点的硬链接，和基于符号链的软链接。

• 硬链接的局限： XV6 本身有 link 系统调用（硬链接），它的本质是让两个文件名指向同一个 inode 编号，inode 里的引用计数（link count）加一。但它不能跨越文件系统，也不能链接目录。

• 软链接的本质（我手搓的魔法）： 软链接（也就是 Windows 里的快捷方式）完全是另一种东西！在实现 sys_symlink 时，我其实是创建了一个全新的 inode 文件，它的类型是 T_SYMLINK。这个文件的数据块里不装别的东西，只装着目标文件的绝对/相对路径字符串。 这就是软链接的底层真相！

📌 考点 3：路径解析与防死锁套娃（结合 symlink 实验）

实现了软链接后，最关键的是要让操作系统的 open 函数学会“顺藤摸瓜”。

• 递归解析： 我在内核的 sys_open 函数里加了一段拦截逻辑。如果发现打开的文件是 T_SYMLINK，我就读出里面的字符串（路径），然后调用 namei 函数继续去寻找那个目标文件。

• 防无限套娃（系统健壮性）： 理论上，如果 A 链接到 B，B 链接到 C，C 又链接回 A，系统就会陷入死循环死机。为了保证操作系统的健壮性，我在解析的 while 循环里加了一个 depth 计数器，一旦递归跳转深度超过 10 次，直接强行阻断并报错返回。这深刻体现了写操作系统底层代码时，随时都要考虑异常边界的“防御性编程”思维。

🎯 三、 总结与结语

在做大文件分配时，因为 bmap 的边界没处理好，我经历过无数次的内核 panic 崩溃；在排查变量重复定义时，我见识到了 XV6 严格的安全编译机制。

但当 65803 个数据块成功写入磁盘，当软链接顺藤摸瓜找到目标的那一刻，一切都是值得的。

至此，我的 XV6 操作系统大作业圆满画上句号。从最开始配置环境的无所适从，到 Lab1 跨越系统调用的门槛，Lab2 拨开页表的迷雾，Lab3 玩转多线程的锁，再到今天 Lab4 重构文件系统的底层逻辑。我不再是那个死记硬背 408 理论的应试者，而是一名真正在内核泥潭里滚打摸爬过、亲手改造过操作系统的工程师。