摘要：

对程序进行并行变换是提高程序并行性的有效手段，许多并行变换都要寻找一种最优的循不置换，在寻找过程中，如果对每一个被考察的置换都重新进行相关性测试，那么整个寻找过程将极费时间，本文给出了一个测试嵌套循环任一置换的阻碍矩阵测试算法，它将测试一循环置换的合成法性转化为测试一组向前置换的合法性，并且仅需要嵌套循循环做一遍相关性测试，利用该算法可以简便迅速检查任一循环置换的合法性，从而使许多并行变换变得实际可

关键词: 程序并行性 循环置换 阻碍矩阵算法