北京大学名师精讲：操作系统原理（陈湘群教授主讲）

这门课的主讲是北京大学陈向群（资料中写作陈湘群、陈向群，同一人）教授，主题是操作系统原理。它的价值不在"名校"两个字，而在于它把操作系统的几大子系统拆开讲透了，适合你已经会写代码、但对"程序跑起来之后发生了什么"始终隔一层雾的状态。

课程覆盖的技术主线

从资料包的组织方式看，内容按子系统推进，顺序大致是：操作系统引论与结构 → 进程与线程 → 进程同步（互斥、信号量、管程）→ 调度 → 内存管理 → 虚拟内存 → 文件系统 → I/O 与设备管理。这是经典教材的主干，但视频课的好处是能把纸面上抽象的伪代码落到具体场景里。

几处值得留意的节点：进程互斥部分会讲到硬件层面的解决方案，也就是从关中断、TestAndSet、Swap 这类原子指令讲起，再过渡到信号量和管程。这条线如果只读教材很容易记住结论、忘掉动机，视频里跟着推一遍会清晰很多。管程那一节还专门讲了应用，能把"管程"从概念变成可用的同步工具。

内存管理部分拆成了基本方案与新方案两段，前者是分区、分页、分段、段页式，后者进入虚拟内存、页面置换与工作集。文件系统一节从文件与目录的基本组织讲到具体实现。这些内容恰好是排查线上问题时最常被回溯的底层知识：内存增长异常、页错误、文件描述符耗尽、进程僵死、锁竞争，追到最后都能落到这门课的某个章节上。

怎么用这份资料

不建议按顺序从头看到尾，那样容易在引论部分就失去节奏。更实用的方式是按问题驱动：

• 遇到服务进程卡死或 CPU 打满，回去看进程状态与调度那几节，把状态机图和调度算法对照你用的系统调用看一遍。
• 遇到多线程数据错乱，看进程同步与管程，重点是互斥的硬件实现和信号量的 P/V 语义，理解为什么条件变量要配 while 而不是 if。
• 遇到内存占用异常、GC 停顿、OOM，看内存管理与虚拟内存，把页表、TLB、缺页处理、置换算法串成一条链。
• 遇到磁盘或 I/O 瓶颈，看文件系统与设备管理，理解缓冲、缓存、直接 I/O 之间的取舍。

配套做法是：每看完一节，用 C 或 Go 写一个小实验去验证。比如用信号量实现生产者消费者、用 mmap 观察缺页行为、用 strace 看一次文件读写走了哪些系统调用。视频给的是模型，实验给的是手感，两者缺一不可。

和其他资料的关系

操作系统这门课的教材很多，经典的有几本，但多数偏理论、符号密度高。这门课的特点是口语化讲解加板书推导，适合作为第一遍建立框架的材料，之后再用教材补严谨性。如果你在准备考研或面试，它的覆盖面基本够用；如果你是在做后端开发，重点放在进程、内存、文件系统三块，其余了解即可。

需要说明的是，资料以视频为主，没有配套的代码仓库或实验框架。这意味着它更适合当"讲解层"使用，动手部分要自己搭：可以用 xv6、MIT 6.S081 的实验，或者直接用 Linux 提供的系统调用接口做小工具。把课程里的概念映射到真实内核行为上，理解才算落地。

适合谁，不适合谁

适合：写过一两年代码、想补计算机系统底层知识、能接受边看边查资料边动手的开发者；准备系统方向面试或考研的人。

不适合：期望跟着敲代码一步步做出完整项目的人，这门课不提供工程脚手架；也不适合完全没写过并发程序的人直接上手，进程同步那部分会显得吃力。如果你是后者，先写几个多线程程序，带着具体的 bug 回来听，效果会好得多。

整体上，这是一份可以反复回看的讲解型资料。第一遍建立框架，第二遍带着问题查章节，第三遍在排查真实故障时当参考手册。它的成本不在看，而在看完之后有没有真的去验证。