MLIR Progressive Lowering：AI 编译器多层渐进式降级架构深度实战
MLIR通过Dialect层次化设计实现渐进式降级，让每一层IR只关注一个抽象级别，构建可组合可扩展的编译器基础设施。本文深度解析MLIR多层渐进式降级架构原理、核心机制、实战案例与工程实践。
编译器
V8 Turbofan JIT 编译器内部机制：从字节码到机器码的优化流水线深度解析
深入解析V8 TurboFan JIT编译器的优化流水线，包括类型反馈系统、Sea of Nodes IR、逃逸分析、循环优化等核心机制，结合C 源码级调试方法展示JavaScript代码如何被转化为高度优化的机器码
MLIR 编译器基础设施：多级中间表示与 AI/ML 系统编译的全栈工程
MLIR 通过可组合方言体系解决传统编译器的语义下降悬崖问题，成为 TensorFlow/XLA、PyTorch inductor、oneAPI、Triton 等 AI 基础设施核心编译层。本文深入 MLIR 设计哲学、核心方言体系、Lowering 流水线、Pass 基础设施，并提供自定义 Pass 开发和 NPU 优化实战案例。
PyTorch 2 torch.compile 深度工程实战：Dynamo 追踪与 Inductor 后端优化全链路剖析
本文从编译器工程视角，完整拆解 Dynamo 的前端追踪机制、Graph Capture 中的 Graph Break 处理策略、以及 Inductor 后端的 lowering 与 Triton kernel 生成路径，结合生产环境性能调优实战，帮助工程师理解编译管线的每一层细节。
从零构建字节码虚拟机与树遍历解释器：语言运行时的指令编码、栈帧管理与求值引擎全栈实战
从零实现一个包含词法分析、Pratt 解析、字节码编译与栈式虚拟机的语言运行时，并对比树遍历解释器，深入讲解指令编码、跳转回填、操作数栈、栈帧、内联缓存与增量 GC 根扫描等运行时核心工程。
RISC-V J Extension：Pointer Masking 硬件内存安全的工程落地
2024年10月1日，RISC-V J Extension 的 Pointer Masking 子扩展正式 ratified。本文深入剖析其技术规范、编译器支持、在 Wasm JIT 和云原生沙箱中的工程实践，以及与 ARM/Intel/CHERI 的对比。
Rust 零成本抽象：Trait 系统深度工程实战
深入剖析 Rust Trait 系统的单态化机制、动态分发原理与编译期优化，通过实际 benchmark 数据展示零成本抽象在生产环境中的性能表现
Rust async fn 的编译器状态机解糖：从 Generator 到 Pin 安全保证的底层机制
深入解析 Rust async fn 的编译器解糖过程：状态机如何从 .await 点构建、Generator trait 驱动状态迁移、Pin 类型保证自引用结构体内存安全、以及 tokio 运行时如何调度和驱动这些状态机。涵盖 MIR/LLVM IR 层面的实现细节、生产环境陷阱与最佳实践。
HotSpot C2 JIT 编译器深度工程实战：从分层编译、Sea-of-Nodes 理想图、IGVN 到逃逸分析与反优化 OopMap 的全链路解析
拆解 HotSpot C2 编译器全链路：分层编译与 OSR、Sea-of-Nodes 理想图与内存状态链、IGVN/CCP 不动点优化、内联与多态内联缓存、逃逸分析与标量替换、SuperWord 向量化，以及投机优化的兜底机制——Uncommon Trap、OopMap 与 Deopt 风暴，附生产调优清单。
多面体编译模型深度工程实战：从依赖多面体、仿射调度到 Tiling 与 GPU 代码生成的全链路解析
沿真实工程链路拆解多面体编译：迭代域与访问函数的仿射表示、依赖分析从 GCD/Banerjee 到 Farkas+ILP 的精确化路径、Feautrier/PLuTo 仿射调度搜索、Tiling 与 isl AST 代码生成，以及在 Polly、PPCG、MLIR Affine Dialect 中的工业落地形态与工程边界。
