操作系统是计算机体系里少数"越懂越有用"的学科：它不直接给你一个框架或一门语言，但给所有框架和语言提供解释框架。OSTEP 最打动我的地方，是它把 OS 讲成了一个个"约束下的设计问题"——而这正是工程师每天面对的东西。如何制造"无限多"CPU 的假象？（Ch4：进程抽象）