浮点语义与快速数学优化
讲解浮点语义如何约束编译器优化：IEEE 754 的舍入、NaN 与符号零规则，为什么结合律与分配律在浮点上不成立，-ffast-math 的各子开关分别放宽了什么，以及如何在数值稳定性与性能之间做出工程取舍，附可运行的 C 代码与测试策略。
category
compiler
共 51 篇文章。
查询式编译器与增量类型检查：Salsa 架构
讲解查询式编译器架构：把编译过程建模成带记忆化的查询图，用 Salsa 的键值模型与修订号（revision）追踪依赖，实现细粒度的增量类型检查，并给出 rust-analyzer 的依赖追踪、循环不动点、缓存淘汰与工程实践陷阱，附伪代码与工具命令。
Sanitizer 与编译期安全加固：ASan、TSan 与 CFI
讲解编译期插桩实现的内存与并发检查：ASan 的影子内存与红区布局、TSan 的 happens-before 追踪、MSan/UBSan 的检测原理，以及 CFI、SafeStack、FORTIFY 等编译期安全加固手段与 CI 集成实践。
目标文件格式：ELF、Mach-O 与 COFF
对比三大目标文件格式：ELF 的节表与程序头表、Mach-O 的加载命令与两段式布局、COFF/PE 的节表与重定位，讲清符号表、重定位记录、链接视图与执行视图的差别，并给出 readelf、otool、dumpbin 等实操命令与常见链接错误排查。
编译期求值与 constexpr/comptime
系统讲解编译期求值：C++ constexpr 与 consteval、Rust const fn、Zig comptime 三者的语义差异，编译器如何在语义分析阶段内置一个带资源预算的受限解释器，以及步数限制、常量折叠、诊断质量与工程实践中的取舍与陷阱。
指令选择与指令调度
讲解编译器后端的两站路：指令选择如何用树覆盖与 DAG 覆盖把 IR 映射成目标机器指令，指令调度如何用列表调度、关键路径与寄存器压力模型重排指令顺序，并给出 BURS、SelectionDAG 与模调度的工程取舍，附可运行的伪代码与调试命令。
45. 编译器优化与中间表示：SSA、内联与循环优化
从编译器的三阶段流水线出发，厘清 AST、三地址码与 LLVM IR 的分工，讲透 SSA 形式、φ 函数与支配树的构造，梳理常量传播、死代码消除与 CSE 等数据流优化，剖析内联代价模型与循环不变量外提、展开、向量化，最后对照图着色与线性扫描寄存器分配并动手读 LLVM IR。
调试信息与源码映射
调试信息把机器码映射回源码。本文讲解 DWARF 的 DIE 树与节区组织、行号状态机与行号表生成，分析优化导致的变量位置变化与 location list、内联调用点信息，再落到 JavaScript Source Map 的 VLQ 编码、分离调试信息与调试体验优化。
ABI 与调用约定
ABI 是编译器与操作系统之间的契约。本文讲解 System V AMD64 的寄存器与栈传递规则、参数分类算法与结构体拆分、返回值与变参约定，对比 Windows x64 与 ARM64 的差异，并给出跨语言 FFI、栈对齐、名字修饰与常见踩坑的排查手段。
协程与 async 降级
协程编译器把可挂起的函数改写成状态机。本文对比有栈与无栈协程的实现路径，推导状态机变换与帧布局，讲解挂起点分析、跨挂点变量提升与帧内存复用，再落到帧分配策略、与垃圾回收及栈复制的交互，以及 C++20、Rust、Go 的工程实践、取消语义与常见坑。
链接时优化：LTO 与 ThinLTO
分离编译切断了跨模块优化的可能。本文对比全程序 LTO 与 ThinLTO 的架构取舍，讲解摘要索引、按需导入与跨模块内联的决策机制，分析增量构建、缓存与可复现性，并给出 GCC、Clang、Rust 的配置实践与构建时间、产物大小的实测权衡。
逃逸分析与栈上分配
逃逸分析决定一个对象能否留在栈上、锁能否被消除。本文从逃逸状态的格与传播规则讲起，用连接图刻画方法内的指向关系，讲解过程间摘要与参数、返回值逃逸的推断，再落到标量替换、栈上分配与锁消除的实现细节，最后讨论精度与编译时间之间的权衡取舍与常见排错手段。
SSA 构造与销毁
SSA 是现代优化器的通用表示。本文从支配树与支配边界推导最小 SSA 的 φ 函数插入算法，讲解变量重命名与版本管理，再落到剪枝 SSA、Braun 算法与 out-of-SSA 的并行复制、交换与丢拷贝问题，附可运行的 Python 实现与工程取舍。
MLIR 与多层次 IR
MLIR 用方言把「一种 IR 走到底」拆成多层次的渐进降级。本文讲解方言与操作的组织方式、渐进式降级的时机与收益、pass pipeline 的调度，以及最终如何衔接 LLVM 后端。
可复现构建与确定性输出
同样的源码为什么两次构建出的二进制不同？答案藏在时间戳、绝对路径、哈希表遍历顺序与并行调度里。本文讲解可复现构建的判定标准、不确定性来源、路径与时间消除、构建缓存与增量正确性。
约束求解与类型类
类型推断的本质是解一组约束方程，而类型类与 trait 把这组方程从等式扩展成带实例解析的谓词集合。本文讲解 Hindley-Milner 的扩展、约束生成与合一、trait 解析与关联类型，以及约束错误如何被翻译成人能看懂的信息。
异常处理编译与栈展开
零成本异常把开销从执行路径转移到元数据：正常路径不付代价，抛出时才查表展开。本文讲解表驱动栈展开、两阶段展开、landing pad 与清理代码的生成，以及异常与析构、GC 的交互。
循环优化与依赖分析
程序里绝大部分时间花在循环上，因此循环是优化器的主战场。本文讲解循环变换的分类与合法性、依赖距离向量与方向向量、依赖测试与多面体模型，以及向量化真正需要的前置条件。
WebAssembly 后端与编译
WebAssembly 既是编译目标也是执行环境，它用栈机模型换取可验证性与跨平台一致性。本文讲解 WAT 与二进制格式、栈机执行模型、线性内存与函数表、wasm 专用优化，以及 JIT 与 AOT 两条执行路线的取舍。
「异构计算与 GPU 卸载编译」
当目标机器从单个 CPU 核变成 CPU 加加速器的组合，编译器要同时处理两套执行模型与两层内存。本文讲解 offload 指令与编程模型、并行循环到线程层级的映射、显式与统一内存的数据搬运、主机设备异步协同，以及卸载编译器的实现要点。