土法炼钢 · 系统与基础设施

图着色与寄存器分配：从 DSatur 到 Chaitin-Briggs

2026-06-10 | algorithms · compiler | #graph-coloring #register-allocation #dsatur #chaitin-briggs #llvm #gcc #ssa

从图着色模型、DSatur 与弦图特例出发，解释寄存器分配中的干涉图、乐观着色、合并与溢出，并用可复现实验和 LLVM/GCC 源码钉住工程边界。