摘要: 给出了二维数组的体差不等式测试算法,并证明二维数组的体差不等式测试算法具有多项式时间复杂度。相对于直接求解,体差不等式测试算法的时间复杂度要小得多。实验表明,对于科学计算循环中出现的大多数数据相关性判定问题,使用体差不等式测试算法可以获得很好的效果。
关键词:
数据相关性,
二维数组,
迭代向量,
体差不等式测试,
可行解域
Abstract: This paper presents a new dependence difference inequality test algorithm for two-dimensional arrays,and proves that the time complexity of the algorithm is polynomial.Compared with directly solving algorithms,the time complexity of the dependence difference inequality test algorithm is much better than those of other algorithms.Experimental results also show that the dependence difference inequality test algorithm works well for most of data dependencies appeared in scientific computation programs.
中图分类号:
乔林,黄维通,孟威,汤志忠. 软件流水领域二维数组的体差不等式测试算法[J]. , 2005, 31(21): 11-.
QIAO Lin1,HUANG Weitong1,MENG Wei1,TANG Zhizhong2. Dependence Difference Inequality Test Algorithm for Two-dimensional Arrays in Software Pipelining Field[J]. , 2005, 31(21): 11-.