经典五级 CPU 流水线与数据冒险转发机制
流水线不缩短单条指令的执行时间,而是成倍放大指令吞吐率。RAW(写后读)数据依赖通过硬件旁路“飞线”提前截获计算结果,消除流水线停顿。
存储金字塔与 Cache 组相联映射与替换机制
现代处理器 95% 以上的时钟周期耗费在等内存数据上。将主存地址拆解为 Tag/Index/Offset,利用组相联映射并行比对,用 64 字节缓存行换取空间与时间局部性。
虚拟内存穿透:多级页表、TLB 寻址与缺页异常
虚拟内存为每个进程制造拥有独立连续内存的错觉。通过 CR3 寄存器多级级联索引、TLB 高速旁路硬件缓冲以及内核缺页置换,实现空间隔离与物理内存按需分配。
并发与同步互斥:PV 信号量机制与银行家死锁算法
并发执行带来不确定性。P/V 原语通过原子递减与阻塞队列守卫临界区;银行家算法在每次分配前推演安全序列,摧毁死锁循环等待链。
CPU 调度核心:多级反馈队列 (MLFQ) 与动态抢占
操作系统无法提前预知进程需要运行多久。MLFQ 假设所有新进程都是交互型短任务,根据时间片消耗历史动态降级,并以抢占式高优先级响应突发 I/O。
TCP 状态机全景时序:三次握手与四次挥手 2MSL
在不可靠的 IP 网络上建立全双工确定性流传输。三次握手协商初始序号与窗口,四次挥手支撑半关闭(Half-Close),2MSL 定时器彻底扫除网络残存游魂报文。
流量控制与拥塞避免:滑动窗口与 Reno 水流波形
发送方发送速率由两把锁决定:接收方缓冲区(rwnd)与网络管道容量(cwnd)。慢启动指数冲锋、拥塞避免加法爬坡、快恢复乘法减半,共同构筑现代互联网自适应流控基石。
端到端数据包漫游:逐层封装、NAT 转换与路由跳跃
发送一个 HTTP 请求,报文在物理电缆中经历了什么?MAC 帧头每过一跳被彻底剥除重铸,IP 头指引全局终点并在网关发生 NAT 端口伪装,TTL 沿途衰减扑灭路由环路。
平衡树动态自平衡:AVL 旋转拓扑与红黑树决策树
二叉搜索树若退化为链表,查找复杂度将从 $O(\log n)$ 恶化至 $O(n)$。AVL 以严格高度差为代价追求极致查询速度;红黑树以“红黑黑高平衡”换取插入时最多 2 次旋转的绝佳综合性能。
存储引擎基石:B+ 树节点分裂与双向叶子链表扫描
磁盘 I/O 比内存慢 10 万倍。B+ 树非叶节点仅存索引键保持巨大扇出(高矮胖),全部数据下沉叶子节点并通过双向有序链表贯穿,让数据库范围检索无需反复回溯寻道。