MIT 6.1810：操作系统工程

以 xv6 为主线，在系统调用、页表、陷阱、并发、网络和文件系统的真实代码中理解操作系统的结构、抽象与工程权衡。

当硬件、进程和故障同时变化时，操作系统如何用边界与不变量提供可靠抽象？

麻省理工学院

Robert Morris、Nickolai Zeldovich

2026 年秋季

从这里开始

导论与概述

已完成 0 / 23 讲 · 记录保存在当前浏览器

0 / 23讲义已完成

已完成 0 / 9 份实践
由你确认，不自动标记

读讲义，理解原理与机制。
区分用户态、内核态、硬件事件与共享状态。

做推演与自测，检验理解。
从入口到返回逐步跟踪寄存器、页表、锁与调度状态。

用工作簿与实验验证方法。
把代码条件连接到并发、隔离或崩溃恢复的不变量。

一次系统调用如何进入内核？

虚拟地址怎样隔离与共享？

并发事件怎样安全地交织？

崩溃之后还剩下什么？

如何跨核扩展并守住边界？

推演与概念检查已编排在各讲中。

把理解落到可检查的推导、测试与实现证据。