[发明专利]一种支持有向有环图的微调度方法

摘要

本发明涉及一种支持有向有环图的微调度方法，在运用重排(Reorder)技术和协调(Negotiate)技术编排模调度认为能在同一cycle中发射的指令集合的时候，除了考虑指令间的依赖关系以外，还要同时考虑指令间弧上的延迟值和指令所在的级数，实现对“回边”的支持；避免软件流水模调度中出现的分拆问题(Split issue)，减小了出现指令cache访问不命中(I－Cache miss)的可能性，提高了并行编译效率，从而进一步提高了编译优化性能。

主权项

1、一种支持有向有环图的微调度方法，其特征在于包括以下步骤：a)计算指令集中每条指令的级数值；b)判断指令集是否为空 如果是，执行步骤l)；如果否，执行下一步；c)判断机器当前状态空间是否已满或所有指令均被选过 若是，执行下一步，若否，执行步骤e)；d)完成前一周期的机器状态空间的模板指派，更新前一周期的机器状态空间中指令的绝对槽值，把当前周期的机器状态空间赋给前一周期的状态空间，把当前机器的状态空间置空；e)从指令集中选一指令，为其分配功能部件，把当前机器的状态空间值赋给当前周期的测试空间；f)根据数据依赖图，检查当前机器的状态空间的每一条指令与步骤e)中选取指令的相关性，即判断是否有下列四种情况之一来判断相关性，如有，则执行步骤h)，如否，则执行下一步；四种情况为：当前周期的机器状态空间中的任一条指令和所选指令间不存在数据相关；数据依赖图中任一指令与所选指令的弧上延迟值为0；数据依赖图中任一指令到所选指令的弧上的循环迭代数差值不为0；模调度中任一指令所在的级数不为所选指令所在的级数；g)置feasible为false，然后执行步骤k)，其中，feasible为判断是否存在周期内的依赖关系的逻辑变量；h)将指令op加入当前周期的测试空间中，置feasible为TRUE，调用模板匹配函数为当前周期的测试空间状态中的指令寻找模板，并实现有限状态自动机的状态转移；i)判断有限状态自动机的状态转移是否成功 如果是，执行下一步，如果否，执行步骤l)；j)测试成功，把当前周期的测试空间的值赋给当前周期的机器状态空间，更新所选指令的绝对槽值，从指令集中删除所选指令，然后执行步骤b)；k)在当前周期的机器状态空间中为所选指令做上已选标记，然后执行步骤c)；l)微调度结束。