《表1 不同变量类型的过滤规则》
在该算法中,从每个sink点开始,通过数据依赖关系边的连接关系进行回溯,向source点遍历,进行数据流回溯分析。过滤器插入的目标边应该是到达某sink点的路径,而且只针对一个sink点。为了不影响程序执行的效率,插入的边应该为满足该条件的最接近于source点的边。如在图3中,节点10(u)和节点10(p)为sink点,节点1和节点2为source点。以sink点10(u)为例,首先往前回溯到节点7,然后再回溯到节点6后,若发现存在从节点6到其他sink点的数据依赖边(6,8),则不能再向前回溯,在边(6,7)上插入过滤器。对于过滤器的选择,首先根据数据流分析的结果,定位节点7所对应的source节点2,再根据sink点10(p)的类型为数字型,查询表1对应的过滤规则,得到对应的过滤器算法。
图表编号 | XD0035518900 严禁用于非法目的 |
---|---|
绘制时间 | 2019.01.15 |
作者 | 尹中旭、张连成 |
绘制单位 | 数学工程与先进计算国家重点实验室、数学工程与先进计算国家重点实验室 |
更多格式 | 高清、无水印(增值服务) |