工程实践

Zstandard 压缩引擎深度工程实战:从 FSE 有限状态熵编码、ANS 状态机到字典训练与流式 API 的全链路解析

沿真实工程链路拆开 Zstandard:先讲清 LZ77+Huffman+FSE 三段流水线各自解决哪个维度的冗余,再用一个实测跑通(300 组随机模糊测试零失败)的 64 位 rANS 最小实现,量化 ANS 相比 Huffman 在倾斜分布上最高 88 倍的压缩率优势,最后落到字典训练(COVER/FASTCOVER)、多线程流式 API 参数与解压炸弹防护等生产落地清单。

Apache YARN 资源调度深度工程实战:从 RMApp/RMContainer 状态机、层级队列与 DRF 到心跳拉取式分配、抢占与生产故障全链路

拆解 YARN 调度内核的四层设计:RMApp/RMAppAttempt/RMContainer 三层状态机与事件驱动、层级队列与 DRF 主导资源公平的二维公平性计算、NM 心跳拉取式分配为何能撑到万级节点、Container 本地化与抢占信号语义,并给出六类生产故障模式的排查清单。

Linux Multi-Gen LRU 深度实战:内存页面回收的世代革命

从 LRU 算法的内在局限出发,深入解析 Linux 6.1 引入的 Multi-Gen LRU 架构——双 LRU 队列如何演进为多世代老化模型,以及其在高内存压力下的生产级性能优势。涵盖 aging/reclaiming 工作流、scanning 策略、/proc 调优和 perf 实测对比。

Go 语言 GMP 调度模型:从原理到实战的深度剖析

深入 Go Runtime 源码级别彻底拆解 Goroutine(G) 逻辑处理器(P) 系统线程(M)三者协作机制。涵盖 GMP 七种状态、Work-Stealing 算法、Hand-Off 交接机制、基于 SIGURG 的异步抢占原理、Netpoller 集成、LockOSThread、内存分配器耦合及调优实战。

WebGPU Subgroup 操作与 SIMT 性能优化实战:从 shuffle 到 ballot

WebGPU 的 subgroup 原语为 Web 平台带来了 GPU 级别的 SIMD 通信能力。本文深入讲解 subgroup 的核心操作(shuffle/ballot/reduction),并通过 4 个实战场景(高效归约、warp 级前缀和、分支优化、GEMM 分块策略)展示如何利用 subgroup 实现 workgroup 共享内存 3-12x 的性能突破。包含完整 WGSL 实现和 Chrome/Edge 的性能基准数据。

CodeQL 静态污点分析引擎深度工程实战:从关系代数模型、QL 不动点语义到跨过程数据流与告警治理的全链路解析

沿关系模型到 QL 语义、污点传播与工程落地的链路拆解 CodeQL 引擎:AST/CFG/DFG 三张关系表与 Datalog 不动点递归,isSource/isSink/isSanitizer/isAdditionalTaintStep 四旋钮,字段-上下文-路径敏感度三角,以及建库、CI 分层与 SARIF 告警治理实战。

ONNX Runtime 推理引擎深度工程实战:从图优化、算子融合到执行提供器与内存规划的全链路解析

沿 ONNX Runtime 的真实执行链路拆解推理引擎内核:Session 初始化时的 Graph Transformer 图改写与三级优化、算子融合收益的真实来源、执行提供器如何做图分区以及跨 EP 拷贝的代价、静态内存规划如何用生命周期区间复用显存、IOBinding 零拷贝的适用边界,并给出生产落地清单与常见故障模式。