软考知识点10

题目1
画出下面4条语句的前趋图（符号“:=”是赋值的意思）
S1：a：=x+y
S2：b：=z+1
S3：c：=a-b
S4：w：=c+1
分析：
S1与S2可以并发执行，因为它们互不依赖；但是S3必须在a（S1）、b（S2）被赋值后才能执行，S4必须在c（S3）之后才能执行。
画图：
具有如图所示的前趋关系：

 

 

题目2
画出下面6条语句的前趋图（符号“:=”是赋值的意思）
S1：a:=x + y; 
S2：b:=z + 1; 
S3：c:=a - b; 
S4：e:=c+1;
S5：f:=c+a;
S6：g:=e * f;
分析：
S1与S2可以并发执行，因为它们互不依赖；但是S3必须在a（S1）、b（S2）被赋值后才能执行，S4必须在c（S3）之后才能执行，S5必须在c（S3）被赋值后才能执行，S6必须在e（S4）、f（S5）被赋值后才能执行。
画图：
具有如图所示的前趋关系：

 

 

原文链接：https://blog.csdn.net/weixin_46218781/article/details/104618242