如何解决如何确定循环级并行性对先前语句的将来迭代的依赖性?
如果一条语句(S1)依赖于前一条语句(S0)的FUTURE迭代,是因为S0在S1之前才是真正的依赖,还是因为i + 1(S1)在i(S0)之后才是反依赖?
考虑此循环:
for (i=1; i<=N; i++) {
for (j=N; j>=i; j--) {
MatrixY[i][j] = blah_blah_irrelevant_for_question; //S0
MatrixZ[i][j] = MatrixY[i+1][j-1]; //S1
}
}
我们可以写:
S0[i,j] ->T S1[i-1,j+1]
还是我们必须写:
S0[i,j] ->T S1[i,j+1] AND S0[i,j] ->A S1[i-1,j]
起初我以为是前者,但是现在我以为是后者。
解决方法
这是一种反依赖性。
替代术语“读取后写入”依赖性在这里更有用。语句S1读取并使用MatrixY[i+1][j-1]
的值。该对象的值随后通过执行语句S0(即读取后的写入)来写入。如果更改了这两个操作的相对执行顺序(一次读取和一次写入同一位置),则计算将产生不同的,可能是不希望的结果。
还请注意,这带来了一个微妙之处:诸如此类的依赖关系通常不在语句之间,而是在它们的特定执行之间。有时,这种区别并不重要,但您的情况并非如此。
表达依赖性的方式取决于您使用的形式主义。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。