HDU操作系统实验通关指南：从环境搭建到核心模块实现

简介：操作系统是计算机科学的核心基础，它管理硬件资源并为应用程序提供运行环境。其核心原理包括进程管理、内存管理和文件系统，这些机制共同保障了系统的并发性、安全性和效率。理解这些原理对于开发高性能、稳定的软件系统具有重要技术价值，尤其在服务器、嵌入式设备和云计算等领域应用广泛。本文聚焦于操作系统实验的实践环节，通过环境搭建、系统调用、进程调度、内存管理和文件系统等核心模块的动手实现，帮助读者深入理解操作系统内核的工作机制。文中详细介绍了Linux 0.11和Nachos两种教学平台的环境配置与常见问题解决方案，并提供了进程调度算法和页面置换算法的实现思路，为学习者提供了一条从理论到实践的清晰路径。

1. 项目概述：一次完整的操作系统实验通关实录

最近刚带着学弟学妹们把HDU（杭州电子科技大学）的操作系统实验给完整走了一遍，并且顺利通过了验收。这让我想起了自己当年被这些实验“折磨”得死去活来的日子。操作系统这门课，理论抽象，实验更是“劝退”重灾区。很多同学卡在环境配置、代码调试、原理理解上，一个实验做一周是常态。但说实话，一旦你真正把这一套实验流程啃下来，对进程、内存、文件系统这些核心概念的理解，会比单纯看书深刻十倍。这次，我就以一个“过来人”兼“带路人”的双重身份，把HDU操作系统实验从环境准备、核心实验解析到避坑验收的全过程，掰开揉碎了讲清楚。无论你是正在头疼的HDU学子，还是其他高校对OS实验感兴趣的朋友，这篇实录都能给你提供一条清晰的路径和一堆实用的“外挂”。

HDU的操作系统实验，通常围绕Linux 0.11或Nachos等教学操作系统展开，重点考察学生对进程管理、内存管理、文件系统等核心机制的理解与动手实现能力。它不仅仅是写几行代码，更是一个从理论到实践，从用户态到内核态的思维跨越。接下来，我将按照实验开展的典型顺序，结合最常见的实验内容，为你构建一个完整的通关框架。

2. 实验环境搭建与踩坑指南

做操作系统实验，第一步往往就难倒一大片人。一个稳定、复现性好的实验环境是成功的基石。

2.1 主流实验平台选择：Linux 0.11 vs. Nachos

HDU的实验可能基于不同的教学系统，但思路相通。这里以最经典的Linux 0.11和Nachos为例进行说明。

Linux 0.11实验环境：这是Linus Torvalds早期版本的Linux内核，代码量小（约一万行），结构清晰，非常适合教学。你需要在一个现代Linux系统（如Ubuntu 20.04）上，搭建交叉编译环境，来编译和运行这个针对老硬件（i386）的内核。

• 为什么选它？因为真实。你能接触到真实操作系统内核的源代码，修改的是真正的调度算法、内存管理代码。这种体验无与伦比。
• 核心工具链：你需要gcc-3.4、binutils-2.9、make等一套较老的交叉编译工具。通常实验指导书会提供编译好的工具链包，直接解压配置环境变量是最快的方法。
• 运行方式：编译出的内核镜像，需要通过Bochs或QEMU这类模拟器来运行。Bochs纯软件模拟，速度慢但调试功能强大；QEMU速度快，配合gdb调试也很方便。

Nachos实验环境：这是一个用C++编写的教学操作系统框架，运行在宿主操作系统（如Linux或Windows）之上，模拟了硬件层（如磁盘、终端、网络），让你在高层级上实现操作系统的各个模块。

• 为什么选它？抽象层次高，避开了底层硬件驱动的复杂性，让你更专注于算法和数据结构的设计，如线程调度、虚拟内存、文件系统结构。适合作为OS原理的“第一课”。
• 环境准备：Nachos对现代编译器的兼容性是个大坑。你可能需要g++-4.8或更老的版本，并手动解决一些头文件依赖问题（如bitstream.h缺失）。在Ubuntu上，安装build-essential和指定版本的g++是关键。

实操心得一：环境隔离是王道强烈建议使用虚拟机（如VirtualBox/VMware）安装一个干净的Linux发行版（如Ubuntu 18.04 LTS）来搭建实验环境。这能保证环境纯净，避免与宿主机的软件版本冲突。做完实验，拍个快照，随时可以回滚到干净状态，比任何备份都管用。

2.2 工具链配置与常见“拦路虎”

无论选择哪个平台，工具链配置都是第一道坎。以下是一个基于Ubuntu为Linux 0.11配置环境的精简步骤和问题排查：

1. 安装基础依赖：

   sudo apt update sudo apt install build-essential libc6-dev-i386 git

   libc6-dev-i386是编译32位程序所必须的库。

2. 获取并配置交叉编译工具链：

   # 假设工具链包为 gcc-3.4.tar.gz tar -zxvf gcc-3.4.tar.gz -C /usr/local/ # 编辑 ~/.bashrc， 添加环境变量 echo 'export PATH=/usr/local/gcc-3.4/bin:$PATH' >> ~/.bashrc source ~/.bashrc

   执行i386-linux-gcc --version验证是否安装成功。

3. 安装系统模拟器Bochs：

   sudo apt install bochs bochs-x vgabios bochsbios

常见问题与排查：

• 问题：编译Linux 0.11时，报错as86: not found或ld86: not found。
  • 原因与解决：这是古老的16位汇编器和连接器。你需要单独安装bin86包：sudo apt install bin86。
• 问题：运行make时，出现*** missing separator. Stop.。
  • 原因与解决：这通常是Makefile中使用了Tab键的地方被替换成了空格。用cat -A Makefile查看，行首的^I才是Tab。用sed -i 's/^ */\t/g' Makefile可以批量修复（谨慎使用，最好手动核对）。
• 问题：Bochs启动后黑屏或立即退出。
  • 原因与解决：首先检查bochsrc配置文件路径是否正确，特别是vgaromimage和romimage指向的BIOS文件路径。在Ubuntu下，它们通常在/usr/share/bochs/目录下。其次，确保内核镜像Image已正确编译生成。

3. 核心实验模块深度解析与实现

环境搞定，就进入了真正的硬核部分。HDU的实验通常涵盖以下核心模块，我们逐一拆解。

3.1 实验一：系统调用与进程通信

这是理解用户态与内核态交互的敲门砖。通常要求增加一个系统调用，并实现进程间通信（IPC）机制，如信号量或共享内存。

核心任务拆解：

1. 添加系统调用：

   • 修改系统调用表：在linux-0.11/include/unistd.h中增加系统调用号宏定义（如#define __NR_mysyscall 72）。
   • 修改系统调用入口：在linux-0.11/kernel/system_call.s中，调整nr_system_calls的值，并在sys_call_table末尾添加你的调用处理函数地址。
   • 实现内核处理函数：在linux-0.11/kernel/下新建一个C文件（如mysyscall.c），实现具体的系统调用逻辑，并在Makefile中将其编译进内核。
   • 编写用户态测试程序：使用syscall函数或_syscall宏（Linux 0.11提供）来调用你新增的系统调用。

2. 实现信号量（Semaphore）：

   • 数据结构设计：需要包含信号量值、等待队列。
   • 原子操作保证：在单CPU的Linux 0.11中，可以通过cli（关中断）和sti（开中断）来模拟原子操作，防止进程切换导致竞态条件。
   • 实现PV原语：
     • P(sem)：如果sem.value > 0，则减1立即返回；否则，将当前进程状态设为TASK_INTERRUPTIBLE，并加入等待队列，调用schedule()调度其他进程。
     • V(sem)：将sem.value加1，如果等待队列非空，则唤醒队首进程（状态设为TASK_RUNNING）。
   • 集成到内核：需要提供系统调用接口（如sem_init,sem_wait,sem_post）供用户程序使用。

实操心得二：调试是理解内核的捷径在修改内核代码后，最有效的调试方法是使用printk内核打印函数。它在linux-0.11/kernel/printk.c中定义。在关键路径（如系统调用入口、调度器、你的信号量函数）添加printk(“Debug: value=%d\n”, some_var);。这些信息会输出到Bochs的控制台或串口。通过观察打印顺序和变量值，你能清晰地看到代码的执行流和数据变化，这对理解并发和内核状态切换至关重要。

3.2 实验二：进程调度算法实现

这是操作系统的“心脏”。实验要求你修改Linux 0.11的调度器，实现不同的调度算法，如短作业优先（SJF）、优先级调度、时间片轮转（RR）或多级反馈队列（MLFQ）。

以实现基于优先级的时间片轮转为例：

1. 理解原有调度器：Linux 0.11原始的调度器在kernel/sched.c的schedule()函数中。它非常简单，仅仅是遍历所有进程，选择counter值最大的就绪进程运行。counter既是时间片，也起到了动态优先级的作用（counter = counter/2 + priority）。

2. 修改进程控制块（PCB）：在include/linux/sched.h的task_struct结构中，你可能需要增加字段，如int static_priority;（静态优先级）、int time_slice;（剩余时间片）、int run_queue_level;（对于MLFQ，标识所在队列级别）。

3. 重写schedule()函数：

   • 初始化：在fork.c的copy_process()中，初始化新进程的调度相关字段。
   • 算法核心：

     void schedule(void) { int i, next, c; struct task_struct **p; // 遍历所有任务 while (1) { c = -1; next = 0; for(p = &LAST_TASK; p > &FIRST_TASK; --p) { if (!*p || (*p)->state != TASK_RUNNING) continue; // 计算动态优先级或检查时间片，这里以优先级+时间片为例 if (((*p)->static_priority > c) && ((*p)->time_slice > 0)) { c = (*p)->static_priority; next = i; } } if (c) break; // 找到了可运行进程 // 如果所有就绪进程时间片都用完，则重新分配时间片 for_each_task(p) { if (*p) (*p)->time_slice = (*p)->static_priority * TIME_UNIT; } } switch_to(next); // 切换到选中的进程 }

   • 时间片递减：在时钟中断处理程序（kernel/sched.c的do_timer函数）中，递减当前运行进程的time_slice。

4. 测试与验证：编写用户态测试程序，创建多个具有不同优先级或不同运行时间的进程，观察它们的运行顺序和CPU时间占用情况，是否与你的算法设计相符。

3.3 实验三：内存管理——缺页中断与页面置换

这个实验让你深入虚拟内存的核心。通常要求统计缺页次数，并实现FIFO、LRU或Clock等页面置换算法。

实现LRU算法的大致步骤：

1. 理解内存管理数据结构：关键文件是linux-0.11/mm/memory.c和include/linux/mm.h。mem_map[]数组跟踪物理页面的引用计数。缺页中断处理入口是do_no_page函数。

2. 修改mem_map或扩展结构：为了跟踪LRU，你需要为每个物理页面记录一个“最近使用时间戳”或维护一个活动页面链表。由于mem_map是unsigned char数组（仅用于引用计数），你可能需要单独创建一个lru_info[]数组。

3. 拦截缺页中断：在do_no_page函数中，当需要分配新物理页但无空闲页时，会调用try_to_free_page（或你需要触发置换的时机）。你需要在这里实现置换逻辑。

4. 实现LRU置换：

   • 维护顺序：每次页面被访问（读或写）时，更新其时间戳或将其移动到活动链表头部。
   • 选择牺牲页：当需要置换时，选择时间戳最旧或位于活动链表尾部的页面。
   • 写出脏页：如果牺牲页是脏的（被修改过），需要调用swap_out函数将其写入交换分区。
   • 修改页表：将牺牲页对应的页表项置为无效（或指向交换分区），将新页面的物理地址填入请求缺页的进程的页表项中。

5. 统计与验证：在缺页处理路径中增加计数器，统计缺页次数和置换次数。编写测试程序（例如，访问一个远超物理内存的大数组），对比使用不同算法时的缺页率。

实操心得三：从“模拟”到“真实”的思维转变在Nachos中实现内存管理，你操作的是TranslationEntry这样的模拟硬件数据结构。而在Linux 0.11中，你是在修改真实的页目录（pg_dir）、页表（pg_table）和CR3寄存器相关的代码。务必结合《Intel 80386程序员手册》中关于分页机制的描述来理解代码。例如，get_free_page()返回的是物理地址，而put_page()函数负责建立页表映射。理解“线性地址”、“物理地址”、“页目录项”、“页表项”这几个概念及其在代码中的具体体现，是这个实验最大的收获。

3.4 实验四：文件系统调用与简单文件系统实现

这个实验让你窥探数据如何持久化存储。可能包括实现一个简单的系统调用（如mkdir），或者更深入地在Nachos中实现一个简单的多级目录文件系统。

在Nachos中实现扩展文件系统：

1. 理解Nachos磁盘抽象：Nachos用SynchDisk模拟磁盘，以扇区为单位读写。文件系统层需要在此基础上管理inode、目录项和数据块。

2. 设计磁盘布局：

   • 超级块（SuperBlock）：存储魔数、磁盘块总数、inode区域起始块、数据区域起始块等信息。
   • inode位图和数据位图：分别记录inode和数据块的空闲状态。
   • inode区域：每个inode包含文件属性（类型、大小、链接数）和直接、间接数据块指针。
   • 数据区域：存储实际的文件内容和目录项（文件名到inode编号的映射）。

3. 实现核心操作：

   • FileSystem::Create：根据路径名，分配一个inode，在父目录中增加目录项，初始化inode。
   • FileSystem::Open：根据路径名查找inode，返回一个OpenFile对象。
   • OpenFile::Read/Write：根据文件偏移量和inode中的块指针，计算磁盘扇区号，进行读写。
   • FileSystem::Remove：递减inode链接数，若为0则释放其数据块和inode本身，并从目录中删除条目。

4. 同步与并发控制：考虑多个线程同时操作文件系统。可以使用Nachos提供的Lock或Semaphore来保护共享数据结构，如位图、目录项缓存等。

4. 实验验收准备与实战技巧

实验代码写完，只是成功了一半。顺利通过验收，展示你的工作，同样需要技巧。

4.1 代码整理与文档撰写

验收时，老师或助教可能不会逐行阅读你的代码，但清晰的结构和必要的说明能极大提升印象分。

• 代码结构：为每个实验模块创建独立的目录。例如：

  os-lab/ ├── lab1-syscall-ipc/ │ ├── src/ (内核修改文件) │ ├── test/ (用户测试程序) │ └── README.md (实验报告) ├── lab2-scheduler/ └── ...

• 实验报告（README）：这不是形式主义。用Markdown写一份简洁的报告，应包含：
  • 实验目的：一两句话说明。
  • 设计思路：你如何解决问题？用了什么数据结构、算法？（画个简单的流程图或框图效果极佳）。
  • 关键代码说明：指出你修改或新增的核心函数在哪个文件的哪一行，并附上简短注释。不要贴全部代码。
  • 测试方法与结果：你是怎么测试的？附上测试程序的运行命令和输出截图。对比不同算法时，可以用表格展示数据（如缺页率对比）。
  • 问题与总结：遇到了什么坑？怎么解决的？有什么心得体会？

4.2 验收演示与问答应对策略

验收通常是当面演示并回答问题。

• 演示准备：
  1. 准备一个干净的演示环境：提前启动好配置正确的Bochs或Nachos，编译好内核和测试程序。
  2. 设计演示脚本：不要临时敲命令。写一个Shell脚本（如demo.sh），按顺序执行编译、运行、测试命令，并自动输出关键信息。这显得专业且可靠。
  3. 突出重点：演示时，直接切入核心。例如：“老师，请看，这是我们的优先级调度测试，我们创建了三个优先级为3、2、1的进程，这是它们的输出日志，可以看到优先级为3的进程获得了最多的CPU时间……”
• 问答环节：
  • 原理性问题：确保你能说清楚你实现的算法流程。例如，“我们的LRU算法维护了一个链表，每次页面访问时将其移到表头，缺页时从表尾淘汰页面。”
  • 扩展性问题：思考你的实现的局限性。例如，“我们实现的信号量使用了关中断来保证原子性，这在多CPU环境下需要换成自旋锁或更复杂的机制。”“我们的文件系统目前不支持软链接或文件权限。”
  • 遇到不会的：诚实但不要只说“不知道”。可以尝试关联已知知识：“这部分的具体实现我还没有深入研究，但根据原理，我认为它可能与……机制相关。”

4.3 常见验收问题自查清单

在提交或演示前，用这个清单检查一遍你的工作：

检查项	具体内容	通过与否
编译与运行	在提供的标准环境下，make是否能一次编译通过？	□
编译出的内核/系统是否能正常启动到shell？	□
基础功能	新增的系统调用能被用户程序成功调用并返回预期结果吗？	□
进程调度测试中，不同特性的进程能否按算法设计被正确调度？	□
内存管理测试，能否正确触发缺页和置换？置换算法逻辑是否正确？	□
文件操作（创建、读、写、删除）是否正常？	□
健壮性	测试程序是否存在内存泄漏？(对于Nachos，可用-d参数检查)	□
多进程/多线程并发测试时，系统是否稳定？有无死锁或竞态？	□
代码质量	新增代码是否有清晰的注释？	□
是否遵循了原内核的代码风格（如缩进、命名）？	□
文档	实验报告是否包含了设计、实现、测试和总结？	□
关键步骤是否有截图或日志作为证明？	□

5. 从实验到深入：进阶学习路径建议

通过这一系列实验，你已经打下了坚实的实践基础。如果意犹未尽，可以沿着以下方向继续深入：

• 阅读现代内核源码：尝试阅读Linux最新内核中与你实验相关的子系统源码，比如kernel/sched/下的CFS调度器，对比教学内核与工业级实现的巨大差异。
• 参与开源项目：寻找一些与操作系统相关的、标签为good-first-issue的开源项目，如一些轻量级内核、嵌入式RTOS的贡献机会。
• 理论结合其他课程：将操作系统知识与计算机网络（理解Socket实现）、数据库（理解事务、锁与并发控制）、分布式系统（理解一致性协议）联系起来，构建更完整的知识体系。
• 动手打造迷你OS：参考《操作系统真相还原》或《一个64位操作系统的设计与实现》等书籍，从引导扇区开始，亲手构建一个微型的操作系统，这将是终极挑战，也是终极奖励。

操作系统实验就像一次深入计算机腹地的探险，过程难免坎坷，但每一次调试成功、每一个机制被理解透彻所带来的成就感，是无与伦比的。希望这份结合了具体操作和心得的指南，能成为你探险路上的一份可靠地图。记住，遇到问题多查源码、多问“为什么”、善用调试工具，剩下的就是耐心和坚持。当你看到自己修改过的内核顺利运行起你编写的程序时，你会明白这一切都是值得的。

本文还有配套的精品资源，点击获取