知识地图

节点为知识点(颜色代表难度层级,描边为最小可用路径),箭头为 prerequisites 依赖边;悬停节点可查看完整标题。下方附文本版清单。

入门核心进阶前沿最小路径节点
01-导论与系统抽象 kp-001 什么是操作系统:定义、职责与三层抽象 kp-001 什么是操作系统:定义、… kp-002 硬件基础:CPU、内存层级、中断与 DMA kp-002 硬件基础:CPU、内存… kp-003 内核态与用户态:特权级与系统调用机制 kp-003 内核态与用户态:特权级… kp-004 操作系统演化史与流派之争 kp-004 操作系统演化史与流派之争 02-进程线程与调度 kp-005 进程:概念、PCB 与进程状态机 kp-005 进程:概念、PCB 与… kp-006 上下文切换:机制与成本 kp-006 上下文切换:机制与成本 kp-007 进程创建三件套:fork、exec 与写时复制 kp-007 进程创建三件套:for… kp-008 线程:并发执行单元与线程模型 kp-008 线程:并发执行单元与线… kp-009 进程间通信(IPC)总览 kp-009 进程间通信(IPC)总览 kp-010 CPU 调度算法:FCFS、SJF、RR 与 MLFQ kp-010 CPU 调度算法:FC… 03-并发与同步 kp-011 竞态条件与临界区:并发的本质问题 kp-011 竞态条件与临界区:并发… kp-012 互斥锁的实现:从关中断到原子指令与自旋锁 kp-012 互斥锁的实现:从关中断… kp-013 信号量与生产者-消费者问题 kp-013 信号量与生产者-消费者… kp-014 死锁:四个条件、银行家算法与工程对策 kp-014 死锁:四个条件、银行家… kp-015 无锁编程与内存模型:CAS、ABA 与 happens-before kp-015 无锁编程与内存模型:C… 04-内存管理 kp-016 地址空间与内存分配:碎片与适配算法 kp-016 地址空间与内存分配:碎… kp-017 分页机制与页表:地址翻译与 TLB kp-017 分页机制与页表:地址翻… kp-018 虚拟内存与页面置换:缺页中断、置换算法与抖动 kp-018 虚拟内存与页面置换:缺… kp-019 Linux 内存管理实践:伙伴系统、slab、mmap 与 OOM kp-019 Linux 内存管理实… kp-020 内存保护与加固:权限位、NX、栈保护与 ASLR kp-020 内存保护与加固:权限位… 05-文件系统与存储 kp-021 文件、目录与 inode:持久化的核心抽象 kp-021 文件、目录与 inod… kp-022 块设备与 I/O 调度:从寻道时间到多队列 kp-022 块设备与 I/O 调度… kp-023 经典文件系统布局:超级块、位图与 ext4 日志 kp-023 经典文件系统布局:超级… kp-024 崩溃一致性:journaling 协议与 fsync 语义 kp-024 崩溃一致性:journ… kp-025 现代存储范式:COW 文件系统、LSM 树与对象存储 kp-025 现代存储范式:COW … 06-IO与设备管理 kp-026 I/O 控制方式与驱动模型:轮询、中断、DMA 与 VFS kp-026 I/O 控制方式与驱动… kp-027 缓冲与页缓存:write-back、脏页与 O_DIRECT kp-027 缓冲与页缓存:writ… kp-028 I/O 模型演进:阻塞、多路复用与 io_uring kp-028 I/O 模型演进:阻塞… 07-虚拟化安全与实践 kp-029 虚拟化与容器:Hypervisor、namespace 与 cgroup kp-029 虚拟化与容器:Hype… kp-030 安全与隔离:权限模型、沙箱谱系与侧信道 kp-030 安全与隔离:权限模型、… kp-031 系统性能观测工作流:USE 方法与工具矩阵 kp-031 系统性能观测工作流:U… kp-032 常见误区与争议专题:从 swap 有害论到微内核之争 kp-032 常见误区与争议专题:从…

文本版清单

01-导论与系统抽象

02-进程线程与调度

03-并发与同步

04-内存管理

05-文件系统与存储

06-IO与设备管理

07-虚拟化安全与实践