循环并行性开发的新算法──下标因子检测

针对现有的相关性检测算法不能详细判定相关类型的不足，本文提出了基于形如“ａＩ＋ｂ”的线性下标表达式的相关性检测新算法：“下标因子相关性检测算法”。该算法正确且简单，非常易于高效实现。由于能够具体而准确地判定各种不同的相关类型，因而可将该算法与较为成熟的消除反相关和输出相关的方法联用，进而达到既检测相关性又进一步提高ＤＯ循环并行性的理想效果。