作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 2005, Vol. 31 ›› Issue (21): 11-.

• 论文 • 上一篇    下一篇

软件流水领域二维数组的体差不等式测试算法

乔林,黄维通,孟威,汤志忠   

  1. 清华大学计算中心,清华大学计算中心,清华大学计算中心,清华大学计算机科学与技术系高性能计算所 北京 100084
  • 发布日期:2005-11-15

Dependence Difference Inequality Test Algorithm for Two-dimensional Arrays in Software Pipelining Field

QIAO Lin1,HUANG Weitong1,MENG Wei1,TANG Zhizhong2   

  1. (1.Computer and Information Management Center,Tsinghua University,Beijing 100084;2.Institute of High Performance Computing,Department of Computer Science and Technology,Tsinghua University,Beijing 100084)
  • Published:2005-11-15

摘要: 给出了二维数组的体差不等式测试算法,并证明二维数组的体差不等式测试算法具有多项式时间复杂度。相对于直接求解,体差不等式测试算法的时间复杂度要小得多。实验表明,对于科学计算循环中出现的大多数数据相关性判定问题,使用体差不等式测试算法可以获得很好的效果。

关键词: 数据相关性, 二维数组, 迭代向量, 体差不等式测试, 可行解域

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.

中图分类号: