Tracking source locations in the Futhark compiler
10 months ago
- #Profiling
- #Compiler
- #Futhark
- Futhark是一门专为编写高速程序设计的编程语言，但有时程序运行并不快，这时就需要进行性能分析。
- 最初Futhark的性能分析支持有限，但近期更新通过从机器可读数据生成人类可读报告，显著改进了这一功能。
- 分析器最初提供的是带有编译器生成名称的数据，用户很难将这些信息与原始代码对应起来。
- 为提升可用性，Futhark编译器现在会在整个编译过程中追踪代码来源（源码出处），即使经过融合、裂变等激进优化也不中断。
- 代码来源追踪功能依托编译器现有的证书基础设施实现，确保源码信息能准确传递。
- 该方案重点追踪底层标量操作而非map等高阶结构，从而提供更有价值的性能分析数据。
- 最新更新在分析日志中显示详细的源码位置，帮助用户定位代码中的性能瓶颈。
- 未来改进方向包括：更完善的机器可读分析数据、代码性能热力图，以及优化建议功能。
- 当前仍存在GPU内核性能与具体源码段落的关联难题，如何提供可操作的优化建议也面临挑战。