关于控制依赖中的描述疑惑

zs0510

D题专家2 发表于 2022-10-6 13:13
题目图A-2中说B1与B2、B5、B6、B7、B8之间存在控制依赖有错误，应该是B1与B2、B5、B6、B8之间存在控制依赖 ...

老师您好，从控制块B1出发的路径，只有部分经过B7（另外一部分经过B2），所以我认为B1和B7之间是存在控制依赖。

zhizhuozhe

D题专家2 发表于 2022-10-6 13:10
1和3没有数据依赖，因为它有3条通路。

同学问的不是有没有控制依赖吗？为什么回答是没有数据依赖？是不是打错了？

D题专家

D题专家2 发表于 2022-10-6 13:13
题目图A-2中说B1与B2、B5、B6、B7、B8之间存在控制依赖有错误，应该是B1与B2、B5、B6、B8之间存在控制依赖 ...

图A-2中B1和B7存在控制依赖，题目中无误

D题专家

当一个基本块出发的所有路径都通过或者都不通过另一个基本块时，不构成控制依赖。B6出发只有一条路径，且该路径通过B7，因此两者不构成控制板依赖。

nilv

那请问老师，B0和B2、B5之间存在控制依赖吗？

一只小菜鱼

D题专家 发表于 2022-10-6 14:42
当一个基本块出发的所有路径都通过或者都不通过另一个基本块时，不构成控制依赖。B6出发只有一条路径，且该 ...

请问专家，那么图A-2中，B0与B2是否存在控制依赖？

江流儿

一只小菜鱼 发表于 2022-10-6 15:18
请问专家，那么图A-2中，B0与B2是否存在控制依赖？

应该是存在的，理由是B0发出的路径部分通过了B2，即不是全部路径，也不是没有，因此二者构成控制依赖，B0的级数小于等于B2的级数。有点类似于B1到B7这样。

D题专家

C-1中1和3不构成控制依赖

D题专家2

抱歉，前面按单一通路确定控制依赖的说法有错，应该按题目的定义“控制依赖是程序控制流导致的一种约束。控制依赖定义为：当从某个基本块出发的路径，只有部分路径通过下游某个基本块时，两基本块构成控制依赖。”因此题目中B1与B7之间存在控制依赖没有错误。本群的出题专家是D题专家，如果解释出现冲突，则以D题专家解释的为准。

seu_cxx

D题专家2 发表于 2022-10-6 12:26
2个基本块如果有数据依赖就是它们之间只有唯一一条通路，如果有多条通路就没有数据依赖了。

老师您好，现有如下问题咨询：
如题目中A-2所示，如果B2、B1写入数据X55，B5、B7读取数据X55，那么请问在B2与B5之间，B1与B5之间，B1与B7之间是否存在数据依赖关系。