46. 排队论与容量估算：利特尔法则与尾延迟
从平均延迟骗人的现象切入，用利特尔法则串起并发数、吞吐与延迟三者的守恒关系，推导 M/M/1 与 M/M/c 的排队延迟公式与利用率曲线，解释为什么 80% 利用率就能让 P99 爆炸，剖析尾延迟放大、协调遗漏与队头阻塞，最后给出线程池、连接池的容量估算与压测实操。
category
计算机基础
共 46 篇文章。
45. 编译器优化与中间表示：SSA、内联与循环优化
从编译器的三阶段流水线出发，厘清 AST、三地址码与 LLVM IR 的分工，讲透 SSA 形式、φ 函数与支配树的构造，梳理常量传播、死代码消除与 CSE 等数据流优化，剖析内联代价模型与循环不变量外提、展开、向量化，最后对照图着色与线性扫描寄存器分配并动手读 LLVM IR。
44. 并发模型对比：Actor、CSP 与数据并行
从共享内存并发的困境切入，系统对比 Actor 与 CSP 两大消息传递模型：讲清 Actor 的 mailbox、消息投递语义与 Erlang 监督树，拆解 CSP 的 channel、select 与 Go 调度器，再梳理数据并行（MapReduce、Fork-Join、SIMD）的适用边界，最后给出按通信拓扑与失败模型的选型准则。
43. 数值方法与浮点误差：稳定性与精度分析
从 IEEE 754 的位布局讲起，厘清规格化数、次正规数与特殊值的编码规则，量化机器精度与 ULP 的含义，剖析灾难性抵消的三种典型场景，给出求和、二次方程求根与递推公式的稳定化改造，用条件数区分病态问题与不稳定算法，最后对照二分法与牛顿法的收敛阶与终止准则。
42. 垃圾回收算法：标记清除、分代与增量回收
从可达性分析出发，系统梳理标记-清除、标记-整理、复制三种基础回收算法的取舍，讲透分代假说、TLAB 分配与新生代/老年代布局，深入三色标记、读写屏障与 SATB 快照如何实现并发回收，对照引用计数与循环引用问题，并给出 Go 与 JVM 的 GC 调参实操与性能指标评估。
41. 无锁数据结构与内存序：CAS、ABA 与安全内存回收
从锁的代价出发，讲透原子操作与 C++ 内存序（relaxed/acquire/release/seq_cst）的语义边界，剖析 CAS 循环与 ABA 问题的成因与 tagged pointer 解法，拆解 Treiber 栈与 Michael-Scott 队列的实现要点，最后对比引用计数、Hazard Pointer、EBR 与 RCU 四种安全内存回收方案。
40. 存储系统与 RAID 原理
从存储层次与磁盘、SSD 的物理特性出发，讲清寻道与旋转延迟、FTL、写放大与磨损均衡，系统梳理 RAID 0/1/5/6/10 的数据布局与容错模型、奇偶校验与重建、写惩罚与写洞，并延伸到可靠性建模、4K 对齐、页缓存与块层存储栈，最后对比分布式存储的副本与纠删码并讨论 SSD 时代的 RAID 取舍。
39. 计算机图形学基础
沿渲染管线逐级展开图形学核心概念：从模型视图投影矩阵与齐次坐标的变换链，到 Lambert、Phong、Blinn-Phong 光照模型与 BRDF 入门，再讲纹理映射与 Mipmap 采样、深度缓冲与 Z-fighting、背面剔除与视锥裁剪，并对比光栅化与光线追踪两种范式，最后落到着色器职责、伽马校正与 MSAA 抗锯齿。
38. 并行计算与 GPU 编程模型
从 SIMD 与 SIMT 分类出发，梳理 Amdahl 与 Gustafson 并行性能定律，讲解 OpenMP 共享内存并行与 false sharing、数据竞争的成因，深入 MPI 点对点与集合通信，再到 GPU 的线程层次、warp、共享内存与合并访存，对照 CUDA 与 OpenCL 概念，并给出前缀和、矩阵乘、归约三类并行算法要点。
37. 虚拟化与容器原理
梳理虚拟化层次划分、全虚拟化与半虚拟化、VT-x 与 AMD-V 硬件辅助，讲清 Hypervisor 两类架构与 KVM、QEMU 的分工，内存虚拟化的影子页表与 EPT、virtio 的 I/O 路径，再拆解容器本质即 namespace 加 cgroup 加联合文件系统，配合 unshare、runc 实操与 seccomp、capabilities 隔离。
36. 信息论与数据压缩
从香农信息量与熵的直觉出发，串联联合熵、条件熵与互信息，推导信源编码定理给出的压缩下界；深入 Huffman 编码的构造与最优性、算术编码的区间思想、LZ77/LZ78/LZW 字典压缩，以及 DEFLATE 与 zstd 的工程取舍；最后覆盖 DCT 与 JPEG 的有损压缩流程、汉明码与 RS 码入门，以及压缩比与 CPU 成本的权衡。
35. 形式语言与自动机
从乔姆斯基层级出发，系统梳理形式语言与计算模型的对应关系：DFA/NFA 与子集构造法、正则表达式与正则语言的等价性、泵引理证明能力的边界、下推自动机与上下文无关文法及 CYK 算法、图灵机与丘奇-图灵论题，最后落到停机问题与可判定性，并串起编译原理中词法与语法分析的工程衔接。
34. 编程范式与类型系统
梳理主流编程范式的思想内核与取舍：命令式与结构化编程、面向对象的封装继承多态、函数式的纯函数与不可变性、声明式与逻辑式编程的思维方式、静态类型与动态类型及类型推导、代数和类型与泛型，以及多范式语言如何融合各类范式并给出选型建议。
33. 分布式系统基础
建立分布式系统的完整心智模型：为什么必须分布、故障模型与部分失效、CAP 定理的正确理解与 PACELC 补充、线性一致性与因果一致性等一致性谱系、主从与去中心复制策略、Raft 共识算法的选举与日志复制流程、逻辑时钟与全序广播，以及幂等、重试、熔断等工程实践。
32. 加密与安全基础
系统梳理密码学核心构件：机密性/完整性/认证/不可否认四大安全目标、对称加密 AES 与分组密码工作模式、非对称加密 RSA 与 ECC 的数学基础、哈希函数的抗碰撞与雪崩效应、HMAC 与密钥派生、数字签名与证书链，以及 TLS 握手的完整流程与工程落地避坑。
31. 虚拟内存与分页
完整拆解虚拟内存机制：为什么需要虚拟地址、页式管理的地址转换过程、多级页表与 TLB 如何把开销压到可接受范围、页表项的权限位与写时复制、缺页异常的完整处理路径、页面置换算法（FIFO/LRU/Clock）与抖动，以及 mmap、共享内存与内存映射文件等工程应用。
30. 计算机组成原理
自底向上理解计算机如何执行程序：指令集架构（RISC 与 CISC）的取舍、数据的机器表示与浮点标准、CPU 数据通路与控制器、五级流水线的设计、结构冒险/数据冒险/控制冒险的成因与解决、存储层次与缓存局部性，以及 CPI、Amdahl 定律等性能度量方法。
29. 操作系统概述与体系结构
从整体视角认识操作系统：三大核心职责（资源管理、抽象提供、程序控制）、宏内核与微内核的体系结构之争、特权级与用户态内核态切换、系统调用的完整调用链路、中断与异常的处理时机、设备驱动模型，以及从加电自检到用户空间 init 的完整启动流程，并给出面试高频考点与工程取舍。
28. 网络应用层协议深入
系统掌握应用层协议核心：HTTP 报文与语义演进（1.0/1.1/2/3）、HTTP 缓存与条件请求、Cookie/Session 与鉴权、DNS 解析流程与记录类型、TLS 握手与证书链、WebSocket 与长连接、以及 CDN 与 QUIC 的工程架构实践。
27. 面向对象基础
系统掌握面向对象核心：封装（访问控制/信息隐藏）、继承（is-a 与组合优先）、多态（重载/重写/接口多态）、抽象类与接口的区别、SOLID 设计原则、组合优于继承、以及 OOP 在工程中的设计取舍与常见反模式。