1. 为什么选择MIT 6.S081作为操作系统入门课
第一次听说MIT 6.S081这门课时，我正在寻找一个能真正动手实践的操作系统课程。大多数传统OS课程要么过于理论化，要么实验环节只是简单调用现有API。而6.S081最吸引我的是它"通过修改真实操作系统来学习"的理念——课程基于XV6这个教学用操作系统，所有实验都需要直接在内核层面编写代码。
XV6是MIT为教学目的开发的类Unix系统，完整实现了进程管理、文件系统等核心功能，但代码量控制在1万行左右（Linux内核超过2800万行）。这个体量既保证了真实性，又不会让初学者望而生畏。我在完成第一个实验"系统调用"时，就深刻体会到这种设计的好处：虽然要直接修改内核代码，但代码结构清晰，关键函数都能在几小时内理清脉络。
2. 课程前置技能准备清单
2.1 编程语言要求
课程所有实验都使用C和RISC-V汇编。我的C语言之前只停留在学校课程水平，为此专门用两周时间强化了以下知识点：
- 指针操作（特别是函数指针和void*的使用）
- 结构体和联合体的内存布局
- Makefile编写基础
- GDB调试技巧（后来发现这是救命技能）
RISC-V汇编部分不需要提前精通，但建议了解：
- 基本指令集（addi, ld, sd等）
- 寄存器约定（a0-a7参数寄存器，ra返回地址等）
- 栈帧结构（这对理解trap机制至关重要）
2.2 开发环境搭建
官方推荐在Linux环境下开发。我尝试过三种方案：
- 原生Linux（Ubuntu 20.04）：最稳定，但需要双系统
- Windows WSL2：图形界面支持较差，调试麻烦
- MacOS + Docker：最终选择的方案，具体步骤：
# 安装qemu和工具链 brew install riscv64-unknown-elf-gcc qemu # 克隆课程仓库 git clone git://g.csail.mit.edu/xv6-labs-2020 cd xv6-labs-2020 make qemu第一次编译可能会遇到工具链版本问题，需要调整Makefile中的TOOLPREFIX变量。
3. 课程核心内容与实验攻略
3.1 课程知识图谱
整个课程围绕XV6的七个核心子系统展开：
- 系统调用与进程管理（Lab: syscall）
- 页表与内存管理（Lab: page tables）
- 中断与设备驱动（Lab: traps）
- 并发与锁（Lab: locks）
- 文件系统（Lab: fs）
- 网络栈（Lab: net）
- 多核调度（Lab: scheduler）
每个实验都对应一个关键子系统，难度呈阶梯式上升。我的学习节奏是每周完成1个实验+对应课程视频，实际耗时约15-20小时/周。
3.2 实验避坑指南
在完成locks实验时，我遇到过经典的死锁问题：在ide_lock之外获取了sleep_lock，导致磁盘中断处理程序无法获取ide_lock。解决方法是通过lock ordering原则统一锁的获取顺序：
// 正确顺序 acquire(&ide_lock); acquire(&sleep_lock);另一个常见问题是系统调用实验中的寄存器传参。RISC-V调用约定前8个参数通过a0-a7传递，但内核态需要通过trapframe获取：
// 从用户栈获取第二个参数 int arg1 = p->trapframe->a1;4. 高效学习路径规划
4.1 资源使用优先级
- 课程网站（pdos.csail.mit.edu/6.S081/2020/）：包含所有实验说明和讲义
- XV6手册（xv6.dgs.mit.edu/）：相当于"XV6内核说明书"
- 课程视频（YouTube）：建议1.5倍速观看
- 社区讨论（Piazza）：问题基本都能找到答案
4.2 时间管理技巧
我采用"三遍学习法"：
- 第一遍：快速浏览讲义，标记不理解的概念
- 第二遍：结合视频深入难点，完成实验基础部分
- 第三遍：挑战实验的optional部分，整理笔记
对于复杂的文件系统实验，建议画出磁盘布局示意图。这是我当时绘制的简化图：
[ boot block | super block | log | inodes | bitmap | data blocks ]5. 常见问题解决方案
5.1 调试技巧
当系统在qemu中崩溃时，首先检查：
- 使用make CPUS=1 qemu-gdb启动调试
- 在gdb中查看pc寄存器值：info registers pc
- 反汇编当前位置：x/10i $pc
我曾用这个方法发现一个页表错误：pc指向了0xdeadbeef，原因是页表项设置了非法权限位。
5.2 测试方法论
课程提供的测试用例往往不够全面。建议为每个实验添加：
- 边界测试（如创建100个进程）
- 并发测试（多进程同时操作共享资源）
- 错误注入（故意传递非法参数）
例如测试文件系统时，可以编写脚本反复创建删除文件：
for i in {1..100}; do echo $i > testfile rm testfile done6. 学习效果检验与进阶
完成所有实验后，我尝试了三个拓展项目：
- 添加FAT32文件系统支持（需要修改buf.c和file.c）
- 实现copy-on-write fork（优化内存使用）
- 移植到真实硬件（SiFive HiFive Unleashed开发板）
这些项目不仅巩固了课程知识，还让我理解了理论到实践的完整闭环。比如在实现COW fork时，需要深入理解页表项的PTE_C标志位设置，这比单纯完成课程实验收获更大。
