数据流框架具有有穷高度的情况。因为每个IN[B]和OUT[B]的值在每次被改变时都会减小,而程序在某一轮循环中没有值改变时就会停止,因此算法的迭代次数不会大于框架高度和流图结点个数的乘积,因此算法必然终止。
我们可以对算法进行推广,使之能够处理各种数据流问题。通用数据流框架的迭代解法。
输入:一个由下列部分组成的数据流框架:
1)一个数据流图,它有两个被特别标记为ENTRY和EXIT的结点。
2)数据流的方向D。
3)一个值集V。
数据流框架具有有穷高度的情况。因为每个IN[B]和OUT[B]的值在每次被改变时都会减小,而程序在某一轮循环中没有值改变时就会停止,因此算法的迭代次数不会大于框架高度和流图结点个数的乘积,因此算法必然终止。
我们可以对算法进行推广,使之能够处理各种数据流问题。通用数据流框架的迭代解法。
输入:一个由下列部分组成的数据流框架:
1)一个数据流图,它有两个被特别标记为ENTRY和EXIT的结点。
2)数据流的方向D。
3)一个值集V。