论文部分内容阅读
探讨了顺序程序中非循环结构并行性的识别问题,提出并实现了一种新的可执行条件的导出方法,在层次任务图(HTG)上,通过一次对全国所有路径的搜索,利用任务节点间的相关性(包括数据相关和控制相关),就可以生成所有任务节点的可执行条件。该算法简单高效,所生成的可执行条件简捷,没有冗余项,并且利于系统的控制执行。