中图种学学计算机科学与术系 University of Science and Technology of China DEPARTMENT DF COMPUTE三巴 ENCE AND ECHNOLDD 数据依赖关系 Def2:语句5和T在循环L中。如果5的实例S(和T的实例T(j)以 及变量u∈S,变量ν∈T,满足: (1)u和V至少有一个是输出变量; (2)u∈S(和变量Ⅴ∈T()表示同一个存篇单元M (3)在L的顺序执行中,S()先于T( (4)在L的顺序执行中,S()之间T()没有其他对M的写操作; 则u、V引起T依赖于5,即5δ千,称为T)依赖于S(), 其 中: 流依赖:u∈OUT(S),V∈IN(T 反依赖:u∈IN(S),∈OUT(T 输出依赖:u∈OUT(S),V∈OUT(T T对5的依赖即为满足上述条件的偶对(S().T()的集合。 国家高性能计算中心(合肥) 2021/1/28国家高性能计算中心（合肥） 7 2021/1/28 数据依赖关系 ▪ Def2：语句S和T在循环L中。如果S的实例S(i)和T的实例T(j)以 及变量uS，变量v T，满足： （1）u和v至少有一个是输出变量； （2）uS(i)和变量v T(j)表示同一个存储单元M （3）在L的顺序执行中，S(i)先于T(j) （4）在L的顺序执行中， S(i)之间T(j)没有其他对M的写操作； 则u、v引起T依赖于S，即S  T，称为T(j)依赖于S(i)， 其 中： 流依赖： u OUT(S) , v IN(T) 反依赖： u IN(S) , v OUT(T) 输出依赖：u OUT(S) , v OUT(T) T 对S的依赖即为满足上述条件的偶对（S(i),T(j)）的集合