文摘

高性能Fortran(高通滤波器)是支持数据并行编程开发的单指令多数据(SIMD)和多指令多数据(多指令多数据)和分布式内存机器。程序员提供一个熟悉的统一的逻辑地址空间和指定指令的数据分布。编译器然后利用这些指令分配数组在当地的记忆,分配计算基本处理器,处理器之间迁移数据时必需的。我们这里显示,线性代数是一个强大的框架编码高通滤波器指示和合成分布式代码与空间数组分配,紧密的循环边界,和矢量化的通信独立的循环。生成的代码包括警卫消除等传统的优化,分析消息向量化和聚合,和重叠。系统使用一个仿射框架可以证明正确编译计划。