从"为什么"出发，向下钻取到每一层抽象。每个问题都会穿越多个层级，帮你建立跨层推理的能力。
循环性能受多个层级影响。在 L4（CPU 微架构）层面，分支预测失败会导致流水线清空，浪费 15-20 个时钟周期；在 L5（内存层次）层面，缓存未命中需要等待 100+ 周期从主存加载数据，而顺序访问可以利用空间局部性获得 95%+ 的缓存命中率；在 L7（体系结构）层面，SIMD 指令可以一次处...
分布式事务的困难源于三个根本挑战。在 L8（操作系统）层面，网络分区会导致节点间通信中断，而进程崩溃可能发生在任何时刻；在 L11（数据密集型软件）层面，跨节点的数据一致性需要协调多个副本，同步复制保证一致性但增加延迟（50-200ms 跨数据中心），异步复制提升性能但可能导致数据丢失；在 L13（...
容器和虚拟机的启动速度差异源于架构设计的根本不同。在 L6（计算机组成）层面，虚拟机需要模拟完整的硬件（CPU、内存、IO 设备），而容器直接共享宿主机内核；在 L8（操作系统）层面，容器通过 Linux namespace 实现进程隔离（PID、网络、文件系统），通过 cgroup 限制资源使用，...
缓存命中率决定程序性能的核心原因是存储层次的巨大延迟差异。在 L4（CPU 微架构）层面，CPU 每个时钟周期可以执行多条指令，但如果等待内存数据，CPU 就会空闲；在 L5（内存层次）层面，L1 缓存命中只需 1ns（4 周期），而主存访问需要 100ns（300 周期），相差 100 倍；在 L...
互斥锁的性能问题源于多个层面的开销。在 L4（CPU 微架构）层面，获取锁需要原子操作（如 CAS），这会阻止 CPU 的乱序执行和流水线优化；在 L8（操作系统）层面，锁竞争导致线程阻塞和上下文切换，每次切换需要 1-10μs（保存/恢复寄存器、切换页表）；在 L13（分布式架构）层面，分布式锁需...
JIT（Just-In-Time）编译器通过运行时优化提升性能。在 L7（体系结构）层面，JIT 可以生成针对当前 CPU 架构优化的机器码（如使用 AVX 指令）；在 L9（编译器）层面，JIT 可以利用运行时信息进行优化（如类型特化、内联缓存、逃逸分析），这些优化在静态编译时无法完成；在 L10...
GC 停顿的根本原因是需要遍历和移动对象。在 L5（内存层次）层面，GC 需要扫描堆中的对象，大堆（数 GB）的扫描会导致缓存未命中和主存访问（100ns/次）；在 L8（操作系统）层面，Stop-the-World GC 需要暂停所有应用线程，以便安全地移动对象和更新引用；在 L10（程序设计）层...
网络的不可靠性源于物理和协议层面的多重因素。在 L6（计算机组成）层面，数据包通过电信号或光信号传输，会受到电磁干扰、信号衰减、时钟抖动的影响；在 L11（数据密集型软件）层面，网络拥塞会导致路由器丢弃数据包（TCP 通过重传和拥塞控制应对），链路故障会导致路由切换（BGP 收敛需要数秒到数分钟）；...
分支预测的重要性源于现代 CPU 的深流水线设计。在 L4（CPU 微架构）层面，现代 CPU 流水线深度 14-19 级，分支预测失败会导致流水线清空，浪费 15-20 个时钟周期（相当于 3-10ns @ 2-5GHz）；在 L7（体系结构）层面，超标量处理器每周期可以执行多条指令，但分支会导致...
内存模型定义了多线程程序中内存访问的可见性和顺序保证。在 L4（CPU 微架构）层面，CPU 可能重排序指令（乱序执行），每个核心有独立的缓存和写缓冲区，一个核心的写入不会立即对其他核心可见；在 L7（体系结构）层面，不同架构有不同的内存模型（x86 强内存模型，ARM/PowerPC 弱内存模型）...
共识算法解决的核心问题是在不可靠的环境中达成一致。在 L8（操作系统）层面，进程可能崩溃（crash failure），网络可能分区（partition），消息可能延迟或丢失；在 L11（数据密集型软件）层面，分布式数据库需要多个副本保持一致， leader 选举需要节点达成一致；在 L13（分布式...
抽象泄漏是指抽象层无法完全隐藏底层细节，底层问题会穿透到上层。在 L5（内存层次）层面，ORM 框架抽象了 SQL，但 N+1 查询问题（循环中逐条查询数据库）暴露了底层网络延迟；在 L9（编译器）层面，高级语言抽象了内存管理，但未定义行为（undefined behavior）和性能陷阱（如缓存未...
τ 缩放定律描述了通过缩小晶体管尺寸提升系统性能的规律。在 L0（晶体管）层面，晶体管尺寸缩小（如从 10nm 到 3nm）可以减少开关延迟（10ps → 5ps）和功耗；在 L1（逻辑门）层面，更小的晶体管意味着更短的门延迟和更高的集成度（单位面积更多逻辑门）；在 L7（体系结构）层面，更多的晶体...