一个有效的数组下标相关性测试方法

在并行化编译中,DO-循环中数组下标对之间数据相关性的有效测试一直是人们研究的问题、本文针对两种常用的相关性测试方法——GCD测试方法Banerjee不等式测试方法—存在的不足,提出了一种区间方程测试方法,它是上述两种方法的综合,但在不增加测试复杂性的前提下具有更高的精度。