4.2.3 仿射变换与多面体模型 (Polyhedral Model)

文档摘要

4.2.3 仿射变换与多面体模型 (Polyhedral Model) 在编译器优化的广袤星图中，若将循环优化比作一座精密运转的钟表，那么仿射变换与多面体模型（Polyhedral Model）就是那枚深藏于机芯中央、决定整座钟表能否突破物理极限的擒纵轮——它不喧哗，却掌控着时间（执行周期）的节律；它不显眼，却让并行性、局部性、向量化这些高阶优化不再是经验直觉的拼凑，而成为可证明、可推演、可自动化的数学工程。你是否曾面对这样一段看似平凡的三重嵌套循环：传统编译器或许能将其向量化，或做简单的循环交换。但当 , , ，当缓存行大小为64字节、L1d缓存仅32KB、SIMD寄存器宽度为512位时——“交换哪两层？为何是i-k-j而非k-i-j？tile尺寸该设为多少？