第一天跑 xv6,他差点卸载了虚拟机
📌 程序基石 · 每日一学 | 阶段二 · 操作系统 xv6 | xv6 环境配置与序言 | 90 天从零入门计算机底层世界
先说个真事
我们学习群里有个同学,叫阿标。他学完第一周,兴致勃勃地开始跑 xv6,结果第一天就在终端前折腾了 6 个小时。
他发的求助消息我到现在还记得,语气里全是绝望:
"QEMU 装了报错,make qemu 起不来,make grade 红了一大片……我现在看这个虚拟机都来气,想把它卸载了。是我太笨了吗?"
我看了一眼他贴出来的报错信息,又看了一眼他装的 Ubuntu 版本,心里大概有数了。
不是他笨,是版本不匹配。
他装的是最新版 Ubuntu,而 MIT 的资料是按 Ubuntu 20.04 写的;他用了最新版的 QEMU,资料里用的却是另一个版本。版本差了,工具链的依赖对不上,报错自然五花八门——今天缺这个库,明天缺那个头文件,后天 make 崩得莫名其妙。
我安慰他说:别急,别卸载,你离成功就差一个"换版本"。
他把系统重装成资料指定的 Ubuntu 20.04,十分钟,make qemu 起来了。他兴奋地在群里连发三个感叹号。
这个坑,我自己也栽过一模一样的。当年我装了当时最新的 Ubuntu,结果 RISC-V 工具链怎么都编译不过,折腾了两天,差点摔键盘。最后查了 MIT 的论坛,发现人家明确说了"use the version in the course materials"。我换了版本,十分钟搞定。
所以说,今天 D8,咱们把环境一次配通,让后面 21 天顺顺利利。
xv6 是什么?
先搞清楚咱们要碰的东西是什么。
一句话:xv6 是 MIT 为教学打造的迷你操作系统。
它有多小?只有几千行 C 代码,是真实操作系统(Linux 有 3000 万行)的零头都不到。但麻雀虽小,五脏俱全:进程、页表、中断、文件系统、锁,真实操作系统有的模块,它全都有。
它基于 Unix V6(1970 年代贝尔实验室的经典系统)重新编写,用 RISC-V 汇编和 C 写成,能在 QEMU 模拟器上跑起来——你等于亲手启动了一个"微型 Linux"。
跟着 MIT 6.S081 的 11 个 Lab 亲手扩展内核——这就是接下来 21 天攻坚的全部内容。
做完它,你对操作系统的理解,会超过 90% 只背面试题的候选人。这不是鸡汤,是实话。因为当别人只能复述"系统调用是用户态到内核态的通道"时,你能说"我亲手在 xv6 里加过一个系统调用,要走五步,第四步是在 syscall.c 注册"。面试官听到这话,眼睛是会亮的。
环境配置三件套
记住这三样,别乱配:
Ubuntu 20.04(按资料指定版本,别用最新版); QEMU 指定版本,模拟 RISC-V 机器; RISC-V 工具链:riscv64-unknown-elf-gcc 等。
# 常见装法
sudo apt update
sudo apt install qemu-system-misc gcc-riscv64-unknown-elf
踩坑提示:版本不匹配是 90% 环境问题的根源。
资料让你用哪个版本,就用哪个版本,别自作聪明升级——我替你交过学费了,阿标也替你交过了。
这里多说一句为什么工具链这么"娇气"。xv6 编译出的内核要跑在 RISC-V 指令集上,而你的电脑是 x86 架构。riscv64-unknown-elf-gcc 是"交叉编译器"——它跑在 x86 上,产出的是 RISC-V 的机器码。如果 GCC 版本和 QEMU 模拟的 RISC-V 特性对不上,编译出来的代码可能根本执行不了,或者行为诡异。版本不对,神仙难救。
make qemu 与 make grade
环境装好,就是正式启动环节。
# 克隆课程仓库(2023 版为例)
git clone git://g.csail.mit.edu/xv6-labs-2023
cd xv6-labs-2023
# 编译并启动 xv6 内核
make qemu # 会进入一个 shell 界面,试试输入 ls
# 退出 QEMU
# Ctrl+A 然后 X
# 自动评分
make grade
make qemu:编译并启动内核,你会看到 xv6 的 shell 提示符——那个提示符,就是你自己编译出来、运行起来的操作系统。我第一次看到它的时候,愣了好几秒。
make grade:自动评分,测试每个 Lab 的完成度。它是 MIT 官方给的"自动化阅卷系统"——你写完代码,跑一下,它会告诉你每个测试点过了没过。这个设计简直太友好了:你不用猜对不对,机器直接告诉你。
今天目标只有一个:让 make grade 能跑起来。至于拿几分,是后面 21 天的事。环境没配好的话,光看报错就够你喝一壶的。
新增小节:第一次启动时,会看到什么
很多人第一次跑 make qemu 会有点懵:屏幕上刷了一堆编译日志,然后出现一个 $ 提示符——这就是 xv6 的 shell 了。
先别急着激动,试试这几个命令:
ls # 看看系统里有什么文件
echo hello # 试试终端输出
cat README # 读文件(如果有的话)
你会发现,这就是一个"最小化的 Unix"。它没有浏览器、没有图形界面、没有 apt,但它有 shell、有文件系统、有进程。这就是"微缩版操作系统"的完整样子。
如果你想深入看看内核长什么样,可以 Ctrl+P 看看进程列表,或者看看源码——kernel/ 目录下全是内核代码,user/ 目录下是用户程序。后面 21 天,你会把这些代码翻个底朝天。
新增小节:先认识一下 xv6 的目录结构
克隆完仓库,ls 一眼,你可能会被一堆目录吓到。别慌,我给你把地图画出来。
xv6-labs-2023/
├── kernel/ # 内核代码:进程、内存、文件系统、中断全在这
├── user/ # 用户程序:ls、cat、echo 这些命令的源码
├── Makefile # 构建脚本:make qemu 全靠它
└── ...
kernel/ 是你后面 21 天的主战场。几个核心文件先记住名字:
proc.c/proc.h:进程管理——创建、调度、销毁进程;vm.c:虚拟内存——页表、地址翻译(D14、D15 的主角);syscall.c/sysproc.c:系统调用分发与实现(D11、D12 的主角);trap.c:中断与异常处理——CPU 陷入内核的第一站;fs.c:文件系统——磁盘上怎么组织文件。
不用现在去读,先认个门牌。往后每天你会推门进一个房间,21 天下来,这栋楼的每间房你都会熟门熟路。
新增小节:QEMU 到底模拟了什么
配环境的时候你可能一直在想:QEMU 到底是什么东西?
往深了说,QEMU 是一个全系统模拟器——它用软件模拟出一整台 RISC-V 电脑:CPU、内存、磁盘、网卡、串口,全都有。你的 xv6 内核运行在这台"虚拟电脑"上,跟跑在真机上没有区别。
为什么 MIT 要让学生用模拟器?两个原因。
第一,便宜安全。你改的是操作系统内核,一个 bug 就可能把整个系统搞崩、甚至搞坏硬盘。在真机上折腾,轻则蓝屏,重则数据全没。在 QEMU 里折腾,顶多重启一下模拟器,万事大吉。
第二,可控。QEMU 支持单步调试、查看寄存器、断点——你在内核里写个死循环,在真机上只能强制重启,在 QEMU 里却能一步步看到它走到哪崩的。这是 xv6 学习体验的利器,后面写内核代码时你会无数次靠它救命。
记住关系:QEMU 是"硬件",xv6 是"软件"。xv6 觉得自己运行在真实 CPU 上,其实是个模拟器在陪它演戏——就像你在虚拟机里装 Windows,Windows 完全不知道自己是"戏中人"。
今日任务清单
按资料装 Ubuntu 20.04 + 指定版本 QEMU clone xv6-labs make qemu 启动、make grade 评分 配好就 git commit 一次(环境快照,留个后悔药)
自检一下,答得上才算过关
make qemu 起不来怎么办?先看报错,八成是版本问题——排查思路清楚吗? make grade 怎么才算通过?测试点全绿,至少能跑起来——知道怎么看了吗? QEMU 和 xv6 是什么关系?QEMU 是模拟器(硬件),xv6 是跑在里面的操作系统(软件)。
最后说两句掏心窝的话
第一次看到 xv6 的 shell 提示符时,那种"我居然启动了一个操作系统"的感觉,值得你为它折腾一整天。
说实话,你现在可能觉得环境配置是"苦差事",想赶紧跳到写代码。但我劝你,把这步走稳。我见过太多人,21 天攻坚第一天就被环境劝退——不是因为难,是因为没耐心。记住阿标的故事:他差点卸载虚拟机,最后只是换了个版本。
还有一件事想认真跟你说:环境配好就赶紧 commit 一次。接下来 21 天,你会无数次改坏内核代码,无数次想"回到上一版"。那时候你就会感谢今天存下的这个快照。Git 是你的后悔药,别让它闲着。
从今天起,咱们正式进入 90 天里最硬核的一段。别怕,跟着节奏走,一天一个 Lab,走完这 21 天,你会看到一个完全不一样的自己。
明天 D9,写第一个用户程序:sleep 和 pingpong。
📅 明日预告:D9 · Lab1 环境熟悉:sleep 与 pingpong,第一个系统调用。
夜雨聆风