论文部分内容阅读
软件流水是一种很有效的指令级并行优化技术，而能否进行尽可能精确的数据相关性分析是决定软件流水优化效果的一个非常重要的因素．本文通过分析软件流水技术本身的特点，从保障软件流水安全为出发点，导出了一组更严洛有效的相关方程和限制不等式，大大提高了相关性判别的能力，最后与现有工作进行了比较，并用一个例子加以验证．