系统编程主书

从进程、内存和网络进入文件系统、虚拟化、编译器和内核可观测性。

阅读起点

先从本页第一章开始；如果对应概念已经熟悉，可以从目录中选择需要补齐的章节。

全书顺序

本书按知识依赖组织。主线先建立可运行的共同模型，再进入机制、工程边界和生产约束；维护与前沿内容明确标注，不改变主线的学习顺序。

第1章｜系统编程基础

建立进程、系统调用、内存和并发的底层模型。

1. 进程与系统调用：理解进程、文件描述符、信号和 syscall 边界。
2. 内存与并发：处理虚拟内存、线程、锁、原子和数据竞争。
3. Linux 用户空间：用工具观察资源、权限和进程状态。

第2章｜网络与存储内核

理解 socket、协议、文件系统和持久化的一致性边界。

1. Socket 与协议：构造 TCP/UDP 服务并处理阻塞、超时和半关闭。
2. 文件系统与缓存：理解 inode、日志、缓存和崩溃恢复。
3. 存储可靠性：比较顺序/随机 I/O、持久化和一致性。

第3章｜编译器与运行时

从词法语法到 IR、优化和执行模型建立编译视角。

1. 前端与 AST：把源代码解析为可检查的结构。
2. IR 与优化：理解中间表示、控制流和局部优化。
3. 运行时与调试：连接调用约定、符号、调试信息和性能。

第4章｜虚拟化与 WebAssembly（前沿分支）

比较容器、虚拟机和沙箱的隔离机制。

1. 隔离边界：区分 namespace/cgroup、虚拟机和进程沙箱。
2. 虚拟机与设备：理解 vCPU、内存、I/O 和镜像生命周期。
3. Wasm 执行模型：理解模块、线性内存、宿主接口和能力限制。

第5章｜内核观测与 eBPF（前沿分支）

使用低侵入探针观察系统行为并评估安全边界。

1. 追踪与指标：从事件、延迟和资源视角构造观测。
2. eBPF 程序模型：理解 verifier、map、hook 和用户空间协作。
3. 生产约束：处理开销、内核兼容和权限控制。

阅读边界

本页是学习路线和专题入口，不替代专题笔记中的机制解释、可运行示例和练习。笔记尚未完成的专题会先显示为占位页；已有经验的读者可以跳到具体章节，再按前置关系回补。

路线状态

本路线的目录已完成本轮架构审查；专题笔记的内容质量和来源审查另行进行。