2024南京大学“操作系统：设计与实现” strace的用法 编译优化：函数内联、常量传播、死代码消除 应用视角的操作系统、硬件视角的操作系统 数学视角：程序=初始状态+迁移函数 绪论看完了