UST 中国科学技大学计算机科学与技术系 University of Science and Technology of China DEPARTMENT OF COMPUTER SCIENCE AND TECHNOLOOY 数据依赖关系 Def1:语句S和T,若存在变量使之满足下述条件之一, 则称语句T依赖于语句S,记为ST,否则S和T之间没有 数据依赖关系: (1)流依赖:ST,若X∈OUT(S)且∈IN(T) 且T使用S计算出的X的值;工流依赖于S; (2)反依赖:SaT,若x∈IN(S)且x∈OUT(T) 但S使用值先于T对x的定值;工反依赖于S; (3)输出依赖:δT,若x∈OUT(S)且 x∈OUT(T)但S较之先对进行定值; T输出依赖于S; 国家高性能计算中心(合肥) 2021/1/28国家高性能计算中心（合肥） 4 2021/1/28 数据依赖关系 ▪ Def1: 语句S和T，若存在变量x使之满足下述条件之一， 则称语句T依赖于语句S，记为S  T，否则S和T之间没有 数据依赖关系： （1）流依赖 ： S  f T，若xOUT（S）且 xIN（T） 且T使用S计算出的x的值；T流依赖于S； （2）反依赖 ： S  a T，若xIN（S）且 xOUT（T） 但S使用x值先于T对x的定值；T反依赖于S； （3）输出依赖 ： S  o T，若xOUT（S）且 xOUT（T）但S较之T先对x进行定值； T输出依赖于S；