简介操作系统实验资源面向高校计算机专业学生及自学操作系统的开发者围绕进程、内存、文件与I/O四大主题提供可动手实践的完整项目。压缩包共2000个文件压缩后约42.51MB以C语言源文件910个.c和头文件760个.h为主体搭配Python/shell脚本、Makefile构建文件、Markdown/PDF文档等便于阅读核心代码、自动编译与查阅理论说明。包内ostep_code目录存放各实验的参考实现readme.txt对实验总览、环境搭建、任务描述与提交要求做了说明进程管理部分可练习进程创建、调度与IPC通信内存部分可模拟虚拟内存和页面置换算法文件系统与I/O部分可探索文件存储、权限控制与磁盘调度。已有161人学习下载适合希望从动手验证中掌握操作系统原理的读者通过修改调度、置换等关键算法直观观察不同策略对系统性能的影响为后续系统软件开发积累工程经验。 作为一个带过几届本科生做操作系统实验的人每次看到HNU_ostep这种命名都有点感慨——这个课程编号背后其实就是湖南大学基于《Operating Systems: Three Easy Pieces》简称 ostep也就是那本封面上有只乌鸦的经典教材设计的一整套动手实验。如果你正在修这门课或者自学科班出身但没做过底层项目这篇文章把实验涉及的核心原理、关键代码思路和实操中最容易踩翻的坑一次性说透。先说结论ostep 实验的厉害之处不在于让你写一个多复杂的系统而是用几个短小的 C 工程把进程管理、并发同步、内存分配这三大操作系统主题硬生生地拉到你面前。你跑完这些实验再回头看理论课上的进程状态切换、信号量、碎片化这些概念感受完全不同。1. 实验整体设计的底层逻辑1.1 三个核心主题如何映射到实际工程整门课对应的教材 ostep 把操作系统拆成三大主题虚拟化Virtualization、并发Concurrency、持久性Persistence。实验的设计非常有针对性就围绕这三块展开进程虚拟化对应的是编写一个简单的 Unix Shell核心是 fork 和 exec 的配合让你亲眼看到操作系统如何复制进程映像、如何加载新程序。并发对应的是用信号量解决生产者-消费者问题或类似的线程同步场景核心是条件变量与 mutex 的关系以及死锁的形成过程。内存虚拟化对应的是实现一个简易版 malloc或者地址转换模拟核心是空闲空间管理策略、碎片整理和指针的底层操作。我最初带的学生里有人觉得教材读得都懂了但一写 Shell 就卡在 fork 之后程序行为变得不可预测一写并发就陷在数据竞争里出不来。原因不是理论没看懂而是理论的每个词背后都是具体的时序和内存布局问题这些只有写代码才能暴露。1.2 为什么实验选 C 而不是高级语言这一点值得强调这些实验必须用 C 或者极有限的 C 完成。它不是语言偏好而是因为你要操作进程原语、文件描述符、内存地址只有 C 能直接暴露这些机制。在 Python 里你写subprocess.run(ls)底层帮你做了 forkexecwait你根本感知不到中间哪怕一个字节的流转。而在 C 里写pid_t pid fork(); if (pid 0) { execlp(ls, ls, NULL); }你能看到子进程拿到的是父进程在调用 fork 那一刻的完整内存拷贝包括缓冲区的残留数据。这种细节就是实验想让你悟到的东西。2. 核心实验的细节拆解写一个最简单的 Shell2.1 实验要求里没写但必须知道的事情Shell 实验的基本要求通常是读入用户命令创建子进程执行等待子进程结束。听起来简单但一个完整可用的 Shell 远不止 fork 加 wait。你需要处理解析命令把字符串按空格拆成参数数组还要处理引号、环境变量、管道与重定向符号。内置命令cd、exit、export需要直接在父进程里执行不能交给子进程。因为子进程的工作目录和环境变量改动对父进程毫无影响。回收机制用waitpid回收子进程防止僵尸进程堆积。踩坑点很典型。第一版写出来我执行ls能跑但执行cat /etc/passwd | wc -l就挂掉卡在那边不等输出。排查了半天发现是管道两端没有正确关闭——fork 出来的子进程要把不用的那一端关掉否则管道读不出EOF整个管道链路永远阻塞。具体来说int fds[2]; pipe(fds); pid_t pid fork(); if (pid 0) { // 子进程关闭读端把写端接到 stdout close(fds[0]); dup2(fds[1], STDOUT_FILENO); close(fds[1]); execlp(ls, ls, NULL); } else { // 父进程关闭写端把读端接到 stdin close(fds[1]); dup2(fds[0], STDIN_FILENO); close(fds[0]); waitpid(pid, NULL, 0); }注意父进程如果打算用管道读子进程输出那父进程自身也必须关闭写端否则管道里永远有一个写端开着read会一直阻塞。这个逻辑我当年讲了很多遍但总有学生漏掉。2.2 执行流程中隐藏的时序问题Shell 的每一步操作背后都是时序问题。等待子进程结束用的是waitpid但它究竟阻塞在哪一步答案是内核把子进程终止信号送到父进程父进程的内核态处理逻辑把处于僵死状态的子进程信息回收waitpid 才返回。如果你写的是while (waitpid(-1, NULL, 0) 0);这种写法一旦一个命令同时产生多个子进程父进程会挨个回收期间无法处理新的用户输入——这就限制了 Shell 的并发性。反过来如果你故意不回收子进程比如忘了 wait子进程变成僵尸进程后会一直占用进程表项。在实验环境这种短平快的程序里不一定会出大事但是你有一次跑完实验终端显示进程数巨大执行任何新程序都报 Resource temporarily unavailable这就是把进程表耗尽了。属于写实验能写出一台服务器宕机级别的错误。3. 并发实验信号量是思路不是 API3.1 为什么说只会调用 API 不够另一类必做的实验是用信号量或者条件变量控制线程之间的协作。课程里通常会用生产者-消费者做模板若干生产者线程往固定大小的缓冲区里面放数据消费者线程从里面取数据。缓冲区满了生产者要等空了消费者要等。很多学生写起来快但是细节错误多。第一个典型错误是用忙等busy-wait替代真正的阻塞// 错误的思路自旋等待 while (buffer.is_full()) {}这在课程小程序里看起来跑得通实际上 CPU 被白白烧掉而且线程调度顺序稍变就死锁。你应该用两个信号量去描述空位和数据这两类资源而不是用一个变量去到处判断。核心思路是初始时信号量empty N缓冲区空位 N 个full 0。生产者每次 P(empty) 拿一个空位放入数据后 V(full)。消费者每次 P(full) 拿一个数据取走后 V(empty)。这里 P 和 V 操作必须是原子的信号量机制本身就是你实验里要验证的点。我见过有人在用户态自己实现一个自旋锁计数器试图替代信号量然后因为原子性问题导致计数错误生产者和消费者还没跑几百次就卡死了。这种错误其实很有教学价值——你亲手踩一次就明白为什么操作系统需要原语支持。3.2 虚假唤醒与条件变量的使用细节实验要求里如果写的是 use mutex and condition variable那你还需要处理pthread_cond_wait的虚假唤醒问题。这种情况下while 循环判断条件而不是 if 判断不是风格问题是正确性问题pthread_mutex_lock(mutex); while (count 0) { pthread_cond_wait(cond, mutex); } // 消费 pthread_mutex_unlock(mutex);如果不加循环万一线程被假唤醒条件不满足就去消费数据直接读空。这个细节我在实际验证的时候也复现过不过它不是每次都能触发想要稳定复现得反复调整线程数量与调度优先级非常折磨人。但只要你用了 while不管系统怎么调度都不会出错。4. malloc 实验指针是硬功夫4.1 空闲链表的设计要提前规划内存分配实验目的非常纯粹实现malloc和free的用户态版本。实验的基础是操作系统通过sbrk或mmap给程序一大块连续内存你的任务是在这块内存上自己管理分配和回收。我在代码里通常定义一个元数据块其实也就是常说的块头typedef struct block { size_t size; // 当前块可用数据区大小 struct block *next; // 指向下一个空闲块 // 紧跟着的是实际数据区通过指针偏移访问 } block_t;然后维护一个空闲链表。分配时从链表中找一块足够大的空间如果空间比请求的大很多就把多余部分重新拆成一个新空闲块split释放时把相邻的空闲块合并在一起coalesce。听起来是链表操作但初学者在这道题里的崩溃率最高——主要是对指针的理解不到位。比如你判断这块能不能用时应该拿用户请求的内存大小去和数据区大小比较而不是去跟块头的大小比较。你返回给用户的指针应该是(void *)((char *)block sizeof(block_t))如果你把块头的地址返回给用户写数据的时候直接覆盖掉链表指针后面 free 必然段错误。4.2 内存对齐是必须处理的问题malloc 拿到的地址必须满足平台的对齐要求。x86-64 下malloc 返回的地址按 16 字节对齐。如果你在元数据块之后直接返回(char *)header sizeof(header)而 header 本身大小不一定是 16 的倍数那么用户数据起始地址就可能不对齐。解决办法是给 header 补padding把sizeof(block_t)对齐到 16 字节或者申请时额外多分配几个字节做对齐调整。这个点实验室给的框架里可能没有提示但你在free的时候如果发现释放不了或者free之后链表就乱了检查一下对齐。5. 实验中的三大经典翻车现场5.1 fork 之后缓冲区重复输出这是几乎所有 Shell 实验都会踩的坑。你写了一个带缓冲的输出比如printf(something)然后调用 fork。因为printf的数据还在用户态缓冲区里没有刷到内核缓冲区fork 之后父子进程各有一份缓冲区拷贝。于是同样的内容被输出两次。坦白说这种问题初看很反直觉我只是 fork 了一下怎么 printf 执行了一行代码却打出两行字甚至很多人查半天以为是 fork 写错了。解决办法很简单fork之前fflush(stdout)刷新缓冲区或者输出到 stderr。实验框架里往往不会提醒你这点但你做完测试会立刻发现。5.2 并发程序测试不稳定时好时坏并发实验的代码写出来一些学生跑五遍三遍通过两遍失败。这不一定是运气问题绝大多数情况是同步原语用得不对——典型的如来不及 P 操作数据已经被覆盖了。排查方法其实就一条给代码加日志输出线程号和时间戳然后仔细观察有没有两个线程同时进临界区。如果加了锁还能同时进说明锁根本没生效或者锁的对象不是同一个临界资源。用信号量的时候反复确认 P 的资源和 V 的资源是否对应同一场景。5.3 free 之后指针还继续用在 malloc 实验里free 后继续使用指针是另一类高频毁车事件。过程通常是你 free 了一个块之后又调用了另一个 malloc操作系统把刚释放的块重新分配出去而你手里那个已释放的指针现在指向的数据可能已经被签给别人。你用起来没有爆段错误但数据的值莫名其妙变了。这种 bug 是最难查的——不会崩溃但结果完全不可信。所以经验是free 之后马上把指针置为 NULL每次在 free 里额外做一次地址合法性校验遍历链表看该地址是否真的在管理范围内能够帮你快速定位非法地址。6. 怎么高效地刷完这套实验6.1 顺序与时间安排参考我给新手的建议是实验顺序千万不要按课程章节来按依赖关系来。先做 Shell因为进程虚拟化是理解其他一切的基础然后再做并发最后才是内存分配。一个可参考的节奏阶段内容建议耗时第 1 周环境搭建 熟悉 gdb/valgrind2~3 天第 2 周Shell 基础命令与管道重定向5~7 天第 3 周并发控制信号量/条件变量4~5 天第 4 周内存分配malloc/free 完整实现5~7 天这是针对每周能投入 10 到 15 个小时的节奏。如果你时间紧张最少也要保证 malloc 实验有两周因为这个项目的调试成本最高——很多错误是静默发生的光靠眼睛看代码很难发现。6.2 调试工具就是你的第三只手写这几个实验不借助工具的裸写就是自虐。我的日常三件套gdb断点 next/stepprint。特别是 fork 之后用set follow-fork-mode child可以看到子进程内部执行到哪里。valgrind内存越界、未初始化读、重复释放它全给你指出来。malloc 实验里最痛苦的问题源头基本都能靠它定位。strace追踪系统调用。判断一个卡住是不是因为某个read没有等到数据strace -p pid看它阻塞在哪个系统调用上一目了然。我见过太多人 debug 全靠 print打印几行就蒙了。有这些工具在手半天能解决的问题你 10 分钟就能解决。7. 课后想再进阶的扩展方向做完基本实验如果还有余力有几个方向非常值得继续深入它们也都是 ostep 后续章节的自然延展在 Shell 里增加任务管理能力支持后台执行、jobs、kill %1。这会逼着你理解进程组、会话和信号传递的完整链路。实现更真实的分配器优化分配策略为 best-fit/buddy system加入线程安全用锁保护空闲链表甚至支持 realloc 的原地扩展。用真实硬件模拟内存分页自己写一个简单的模拟器把虚拟地址到物理地址转换做出来再对比真实 x86 页表你对 MMU 的理解会上一个档次。我自己前年刷这个实验的时候扩充了 Shell 的后台任务管理那个版本的代码量比实验本体的两倍还多但收获很大。很多同学根本不明白为什么操作系统要区分进程组这个抽象直到你亲手处理kill一个后台任务而不影响终端主进程你才会理解背后的设计意图。8. 总结我始终觉得ostep 这套实验是这么多年来做得少但学得多的典型代表。它不会让你写出一个 Linux 内核也不要求你完成什么工业级组件它就是用四五个小程序精准打击你对进程、并发、内存这几个核心抽象的所有盲区。每个实验做完你都会发现理论课里的概念不再是躲在高深名词背后的黑盒。如果你正在做这套实验少刷几份所谓的实验答案。答案只能帮你应付提交帮不了你应付面试题和后续的系统编程任务。把时间花在真正理解 fork 的地址空间、pthread 条件变量的等待队列、空闲链表的块拆分合并这些细节上才是这门课留给你的真正资产。本文还有配套的精品资源点击获取