「内联缓存与动态语言优化」
动态语言没有静态类型信息，属性访问与运算都要在运行时查表。本文讲解隐藏类如何给对象建立形状、内联缓存如何把查表变成类型守卫、去优化如何安全地回退投机优化，以及逃逸分析如何与之联动消除对象分配。
category
compiler
共 51 篇文章。
「解析器生成器与 DSL 前端」
手写递归下降解析器可控但费时，解析器生成器把语法规则编译成分析表或解析函数。本文讲解 LL 与 LR 的生成算法、PEG 与解析器组合子的取舍、错误恢复与诊断设计，以及语法高亮与编辑器集成的工程要点。
「抽象解释与形式化验证」
测试只能证明程序在有限输入上正确，抽象解释用格上的不动点计算覆盖所有可能输入。本文讲解抽象域与伽罗瓦连接、区间域与多面体域、加宽与收窄、SMT 求解与符号执行，以及静态分析器如何给出可证明的结论。
「窥孔优化与超优化」
窥孔优化用局部改写规则清理指令序列里的冗余，超优化则把改写规则的发现交给搜索。本文讲解滑动窗口匹配、代价模型、超级优化器的枚举与 E-graph 搜索，以及等价性验证如何保证改写不改变语义。
「配置文件引导优化 PGO 与 BOLT」
编译器在看不到运行数据时只能靠启发式猜测热点，PGO 用真实执行画像把猜测换成证据。本文讲解采样与插桩两种画像收集方式、热点识别与权重传播、基于画像的内联与代码布局决策，以及 BOLT 这类二进制后链接优化器如何在无源码条件下重排函数。
「错误恢复与诊断」
系统讲解编译器的错误恢复与诊断设计：panic 模式与同步恢复策略、诊断信息的结构与呈现、lint 与静态分析、编译器驱动与增量编译，以及错误码、修复建议与语言服务的集成，附带可运行的 Python 实现。
「编译器正确性与验证」
编译器也会出错，且错误代价极高。讲解编译器正确性保障体系：随机模糊测试与程序生成、差分测试、回归与黄金测试、形式化验证（CompCert 与 Coq），以及健全性与未定义行为的边界。
「交叉编译与多目标后端」
同一份源码要跑在 x86-64、ARM64、RISC-V 与各种操作系统上，编译器必须把目标差异抽象成可描述的数据。本文讲解目标三元组、ABI 与调用约定差异、sysroot 与工具链构建、多后端代码生成与目标描述、浮点与字节序，以及构建与测试策略。
「运行时与内存管理」
系统讲解语言运行时的内存管理：栈帧布局与调用约定、堆分配与逃逸分析、标记清除与分代 GC、写屏障与回收根、引用计数与所有权模型，以及内存安全边界的工程权衡，附带可运行的 Python 示例与伪代码。
「语言服务器与 IDE 工具链」
编辑器不该为每种语言写一套补全逻辑，LSP 用一套 JSON-RPC 协议把语言智能交给独立的语言服务器。本文讲解能力协商与消息模型、增量解析与文档同步、符号索引、跳转定义与补全重命名、诊断与格式化，以及性能与缓存策略。
「宏系统与元编程」
深入宏系统与元编程：宏展开机制、卫生宏与捕获避免、编译期计算与常量求值、过程宏与属性宏，以及基于宏构建 DSL 与代码生成的方法与边界。
「现代优化 Pass 管线」
系统讲解现代编译器的优化 Pass 管线：函数内联、循环展开与变换、向量化、SSA 上的常量传播、Profile-Guided 优化，以及 Pass 调度与收敛的工程细节，附带 Python 与伪代码示例，帮助理解 -O2 背后发生了什么。
「并行与增量编译」
讲解现代构建系统与编译器如何通过并行与增量策略加速开发反馈：模块依赖图与拓扑排序、并行任务调度、指纹缓存与失效传播、分析结果的 memoization，以及构建产物跨进程复用。
「垃圾回收算法」
托管运行时把内存管理交给垃圾回收器，代价是必须理解可达性、根集与暂停。本文讲解标记清除、复制、标记整理三大基础算法，分代假设与晋升策略，三色标记与写屏障，并发与增量 GC 的取舍，以及 STW 暂停的度量与调优手段。
「编译器架构与多遍设计」
从整体架构出发，讲解编译器前端/中端/后端的职责分层、多种中间表示（IR）的选择与切换、Pass 管线的组织与调度、调试信息生成，以及可插拔的优化框架设计。
「类型系统与类型推断」
深入类型系统与类型推断的实现：静态类型判定规则、Hindley-Milner 推断与合一算法、泛型与约束求解、联合类型与子类型关系，以及类型检查器如何融入符号表并在编译期拦截错误，附带可运行的 Python 实现。
「向量化与 SIMD」
现代 CPU 的向量单元能一次处理 4 到 16 个数据，编译器能否利用它们取决于依赖分析。本文讲解向量化的合法性判定、循环向量化与 SLP 向量化、掩码与归约处理、intrinsics 内建函数，以及真实场景中阻碍向量化的因素与实测收益。
「数据流分析框架」
数据流分析是优化器的公共底座。本文从格与偏序出发，讲解不动点迭代的理论基础，再用到达定值、活跃变量、可用表达式与常量传播四个经典问题贯穿始终，最后落到支配树、SSA 稀疏分析与 worklist 算法的工程实现。
「LLVM 与 LLVM IR 后端」
系统讲解以 LLVM 为核心的后端路线：LLVM IR 的 SSA 形式与 phi 节点、IRBuilder 的增量生成、优化 Pass 管线、SelectionDAG 目标代码生成，以及语言前端 IR 到 LLVM IR 的桥接与降级，附带 Python 与 C++ 示例。
「JIT 编译进阶与热点优化」
深入 JIT 编译器的自适应优化机制：热点探测与计数器、分层编译、栈上替换（OSR）、去优化与激进优化、安全点与编译屏障，以及 LLVM/Cranelift 支撑的跨平台 JIT 后端。