沿一次文件读取建立硬件、内核、运行库和应用之间的可信边界。
7 讲从地址空间、执行上下文和资源所有权建立进程与线程模型。
7 讲会画甘特图、计算指标并解释交互、公平和吞吐之间的冲突。
7 讲从不可分割状态迁移理解锁、信号量、条件变量与无锁边界。
7 讲从等待图与不变量区分预防、避免、检测和恢复。
7 讲把地址翻译、分配、替换和抖动连成可计算的访问链。
7 讲从路径名走到inode、缓存、分配和日志恢复。
7 讲理解设备控制、DMA、中断、缓冲、磁盘和SSD的完整请求链。
7 讲从主体、客体、权限和信任边界建立可验证的系统安全模型。
7 讲区分虚拟机、容器和语言运行时的抽象层与故障边界。
7 讲从指标、跟踪、剖析与排队模型定位瓶颈，而不是凭感觉调参数。
7 讲用一套可运行模拟器贯穿调度、同步、虚存、文件与观测。
7 讲