图6.15中给出将图6.14中的合并wait语句后的流程图展开为执行树的情况。可以看出任意一条路径上的变量，要么是可化简的，要么是不可化简的，而绝对没有既是可化简的，又是不可化简的变量这种情况。例子中分支1和分支5中的赋值表达式F <= ( V = 8 )中的变量V是可化简的变量。
图6.15 进程P的执行树 |
· 遍历整个执行树，对出现的可化简变量进行化简。
· 将if语句向树根提，将赋值语句向叶子节点推，但不改变赋值顺序。
其中删除出现的可化简变量的方法在前面已经介绍过，这里不再赘述。将if语句向树根提，将赋值语句向叶子节点推的算法如图6.16。
图6.16 进一步展开 |
|
|