对数据依赖描述的疑问

dududu233

老师您好，请问对于附录A中的“S1在S2之前执行"这句话的理解，这里的S1在S2之前执行是指在安排的结果中，S1被放在S2之前的基本块，还是根据流程图，S1必须在S2之前执行呢？

D题专家

是指在附件3确定的流程图，即原始流程图找那个S1在S2之前执行

dududu233

感谢专家的回答，若是按照原始流程图来找，遇到例如题附录图A-2所示的B6和B8节点，若他们都对一个变量进行写操作，它们之间是否存在数据依赖的关系呢？

Ranchuanyu

D题专家 发表于 2022-10-8 16:09
是指在附件3确定的流程图，即原始流程图找那个S1在S2之前执行

如果基本块S1与S2不存在控制依赖，是否还存在数据依赖？

D题专家

dududu233 发表于 2022-10-8 16:23
感谢专家的回答，若是按照原始流程图来找，遇到例如题附录图A-2所示的B6和B8节点，若他们都对一个变量进行 ...

B6和B8不在一条执行流程上，B6不是B8的下游，B8也不是B6的下游，不会存在数据依赖。

D题专家

Ranchuanyu 发表于 2022-10-8 16:32
如果基本块S1与S2不存在控制依赖，是否还存在数据依赖？

不存在控制依赖也可能存在数据依赖。

Ranchuanyu

D题专家 发表于 2022-10-8 16:50
不存在控制依赖也可能存在数据依赖。

S1与S2不存在控制依赖，但是假设S1对X1进行了写，S2也对X1进行了写，请问这种情况S1与S2的流水行顺序应该是怎么样。

D题专家

Ranchuanyu 发表于 2022-10-8 16:58
S1与S2不存在控制依赖，但是假设S1对X1进行了写，S2也对X1进行了写，请问这种情况S1与S2的流水行顺序应该 ...

参见题目中的数据依赖约束。这种情况S2在S1的下游，存在写后写依赖，S1排布的级数需要小于S2排布级数。