张量程序的多级超优化器

💡 原文中文,约300字,阅读约需1分钟。
📝

内容提要

Mirage是首个多级超优化程序,通过引入μGraphs统一表示方法,在GPU计算层次结构的内核、线程块和线程级别上对张量程序进行优化。Mirage通过剪枝技术和概率等价性验证过程,减少搜索空间,确保优化的μGraph与输入程序等价。相比广泛使用的DNN,Mirage的性能提升最高可达3.5倍。

🎯

关键要点

  • Mirage是首个多级超优化程序。
  • 引入μGraphs统一表示方法。
  • 在GPU计算层次结构的内核、线程块和线程级别上优化张量程序。
  • 优化技术包括代数转换、调度转换和生成新的自定义内核。
  • 使用抽象的剪枝技术和概率等价性验证过程减少搜索空间。
  • 确保优化的μGraph与输入程序等价。
  • 相比广泛使用的DNN,Mirage的性能提升最高可达3.5倍。
➡️

继续阅读