在具有数组的程序中检测并行步骤
摘要：检测程序中信息和逻辑独立步骤的问题是等效程序转换的关键。在这里，我们考虑的是循环迭代的独立性问题，这是密集数据处理和最具挑战性的并行化构造。我们引入了一种分离形式的循环，其中循环体是一系列的过程，每个过程都使用在前一个过程中选择的数组元素。我们证明了任何循环都可以在这种形式中算法地表示，并且此类过程的数量是不变的。我们展示了对于这种循环形式，步骤之间的连接是由一些整数方程确定的，因此如果索引表达式比立方形复杂，则独立性问题在算法上是无解的。我们提出了一种修改索引语义的方法，使连接方程变得平凡，循环迭代可以并行执行。
作者：R. Nuriyev
论文ID：0810.5575
分类：Programming Languages
分类简称：cs.PL
提交时间：2008-11-03