基于约束网络的内存布局优化方法
摘要：基于循环重组的数组密集应用代码优化存在一些问题，比如需要检查依赖关系（合法性问题）以及不加区分地转换循环体内的所有数组引用（尽管其中一些引用可能会受益于转换，而其他引用则可能不会）。因此，提出了数据转换的思想，即修改数组数据的内存布局而不是循环结构的转换。与数据转换相关的问题之一是选择一个对整个程序都可接受的数组的内存布局的困难（而不仅仅是单个循环）。在本文中，我们将确定数组的内存布局问题作为一个约束网络来表述，并系统地探索了几种解决方法。我们的实验强烈支持使用约束处理，并指出了未来的研究方向。
作者：G. Chen, M. Kandemir, M. Karakoy
论文ID：0710.4807
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-11-09