「链接、加载与运行时启动」
编译器生成的目标文件只是半成品，链接器把符号与重定位串成可执行映像，加载器再把它送进内存并跳到 _start。本文讲解符号解析与重定位、静态与动态链接、GOT/PLT 与延迟绑定、动态库加载、程序启动流程与链接脚本布局。
category
compiler
共 51 篇文章。
「手写 AST 解释器与求值语义」
从树遍历求值出发，讲解手写 AST 解释器的完整实现：环境与词法作用域、闭包与递归、引用与值的语义、求值顺序与短路求值、控制流的树形编码，并对比字节码解释器的取舍，附带可运行的 Python 求值器示例。
「寄存器分配与图着色」
从活跃性分析出发，讲解寄存器分配的核心算法：冲突图构建、图着色与溢出处理、线性扫描分配，并延伸到 SSA 解构、伪寄存器到物理寄存器的映射，以及 LLVM 与 HotSpot 中的工程取舍，附带可运行的 Python 实现。
「解释器与 JIT 编译」
从 AST 解释器到字节码虚拟机再到 JIT 编译，讲解树遍历解释、内联缓存、热点探测、分层编译与代码缓存的实现原理，对比各执行模型取舍并给出伪代码示例。
「目标代码生成」
深入目标代码生成的关键环节，覆盖指令选择、寄存器分配、栈帧布局与调用约定、指令调度及窥孔优化，讲解图着色分配、活跃变量分析与复杂指令选择，附带伪代码与汇编示例。
「中间代码优化」
系统讲解中间表示上的经典优化技术，覆盖常量折叠与传播、死代码消除、公共子表达式消除、循环不变量外提与强度削减、数据流分析框架以及 SSA 形式下的优化实现，附带伪代码与变换示例。
「语义分析与中间表示」
讲解语义分析如何用符号表与类型系统赋予语法树意义，并介绍中间表示的设计取舍，涵盖作用域链、类型检查与推断、三地址码、控制流图与 SSA 形式，附带 Python 与 C 伪代码示例。
「语法分析与 AST 构建」
深入语法分析的两大路线：递归下降与 LR 自动机，讲解上下文无关文法、FIRST/FOLLOW 集合、LL 与 LR 冲突消解、Pratt 运算符优先级解析以及抽象语法树的构建与错误恢复，附带可运行的 Python 示例。
编译原理与实践专题：从词法分析到 JIT 编译器
编译原理是计算机科学的基石，从正则与 DFA 到语法分析、SSA 中间表示与寄存器分配，构成了理解语言实现与现代运行时（JVM、V8、Rustc）的核心。本专题系统覆盖词法分析器、语法分析与 AST 构建、语义分析与中间表示、中间代码优化、目标代码生成，以及解释器与 JIT 编译，帮助开发者深入理解语言如何被翻译与执行。
「词法分析器实现」
从正则表达式到有限自动机，系统讲解词法分析器的手写与自动生成，覆盖 Thompson 构造、子集构造、DFA 状态表、最长匹配规则、跳过分隔符与错误恢复，并给出可运行的 Python 实现与避坑经验。
20. 编译原理基础
系统理解编译原理核心流程：词法分析（正则/DFA）、语法分析（递归下降/LL/LR）、AST、中间表示（三地址码/SSA）、代码优化与解释器对比，掌握把高级语言翻译为机器码的完整链路。