Annotating user-defined abstractions for optimization
Annotating user-defined abstractions for optimization
复制标题
注释用户定义的抽象以进行优化
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Qing Yi
中科院分区：
文献类型：
--
作者：
D. Quinlan;M. Schordan;R. Vuduc;Qing Yi
虽然传统的编译器实现了广泛的优化技术，但它们经常错过优化抽象使用的机会，这主要是因为它们没有被设计为识别和使用关于这种抽象的相关语义信息。在这个立场文件中，我们提出了一组注释，以帮助沟通抽象的高级语义信息的编译器，从而使大量的传统编译器优化被应用到这些抽象的使用。我们的注释明确地描述了抽象的属性，这些属性是保证各种优化的适用性和收益性所必需的，包括记忆化、重新排序、数据布局转换以及内联和专门化
Although conventional compilers implement a wide range of optimization techniques, they frequently miss opportunities to optimize the use of abstractions, largely because they are not designed to recognize and use the relevant semantic information about such abstractions. In this position paper, we propose a set of annotations to help communicate high-level semantic information about abstractions to the compiler, thereby enabling the large body of traditional compiler optimizations to be applied to the use of those abstractions. Our annotations explicitly describe properties of abstractions that are needed to guarantee the applicability and profitability of a broad variety of such optimizations, including memoization, reordering, data layout transformations, and inlining and specialization