科研之友
微信
新浪微博
Facebook
分享链接
摘要
数据依赖分析是检测程序循环级并行性的基本步骤．基于数组下标对分类，本文提出了一个实用、有效的数据依赖分析方案．现有的依赖测试算法，都有循环正规化的假设，由于它存在某些弊端，我们抛弃这一假设，允许循环增量是任意整表达式．为此，本文对有关依赖的定义做了适当修改，并重新推导了某些重要结论，为处理循环增量为变量或表达式的情形，给出了弱形式下的ＧＣＤ和Ｂａｎｅｒｊｅｅ测试，该方案已在ＰＯＲＴ中实现．
- 出版日期1995
- 单位中国科学院计算技术研究所
数据依赖分析是检测程序循环级并行性的基本步骤．基于数组下标对分类，本文提出了一个实用、有效的数据依赖分析方案．现有的依赖测试算法，都有循环正规化的假设，由于它存在某些弊端，我们抛弃这一假设，允许循环增量是任意整表达式．为此，本文对有关依赖的定义做了适当修改，并重新推导了某些重要结论，为处理循环增量为变量或表达式的情形，给出了弱形式下的ＧＣＤ和Ｂａｎｅｒｊｅｅ测试，该方案已在ＰＯＲＴ中实现．
