Stax 编译栈(六):参考文献与附录
全章参考文献清单,以及三个附录:附录 A 源码索引(概念到文件路径与行号的对应表)、附录 B 测量脚本、附录 C 部分习题的提示与解答。
全章参考文献清单,以及三个附录:附录 A 源码索引(概念到文件路径与行号的对应表)、附录 B 测量脚本、附录 C 部分习题的提示与解答。
内容寻址缓存与并行编译、回退时的语义契约、错误的分层定位;与 PyTorch 2、XLA/MLIR 等系统的设计对比;测量的统计模型、融合收益分解、舍入误差与编译开销摊销;章末小结、习题与编程实验。
GPU 执行模型与 Triton 编程模型、逐元素与规约内核的三种形态、多规约融合、启动配置实测、矩阵乘模板与尾部融合、CUDA Graphs、注意力分块,以及符号形状与形状守卫。
缓冲区的依赖与生命周期、贪心融合算法、缓冲区复用、仿射依赖与分块合法性,以及向量化、缓存分块、内核形态、并行化与包装函数的 CPU 代码生成全流程。
算子级图上的反向模式自动微分、保存与重算的最小割模型、联合图,以及降级到循环级中间表示的规则、张量即函数的语义、规约的代数性质与实体化决策。