[发明专利]一种基于差分约束系统与迭代模的高层次综合调度方法

摘要

本发明公开了一种基于差分约束系统与迭代模的高层次综合调度方法，其特征在于，包括获取输入的电路描述后构建对应的控制数据流图；将控制数据流图划分为循环部分和非循环部分；采用迭代模调度算法对控制数据流图的循环部分进行调度；采用差分约束系统调度算法对控制数据流图的非循环部分进行调度；对得到的调度结果进行数学整合后，获得综合调度结果。本发明对高层次综合的调度流程进行了优化，提高了调度性能，而且调度实现过程方便、快速，可以全面、及时地实现调度，调度效率高，可广泛应用于高层次综合调度领域中。

主权项

一种基于差分约束系统与迭代模的高层次综合调度方法，其特征在于，包括：步骤S1、获取输入的电路描述后构建对应的控制数据流图；步骤S2、将控制数据流图划分为循环部分和非循环部分；步骤S3、采用迭代模调度算法对控制数据流图的循环部分进行调度；步骤S4、采用差分约束系统调度算法对控制数据流图的非循环部分进行调度；步骤S5、对步骤S3和S4中得到的调度结果进行数学整合后，获得综合调度结果；所述步骤S3，包括步骤S31～S34：步骤S31、对控制数据流图的循环部分进行最小迭代启动间隔时间计算；步骤S32、将计算得到的最小迭代启动间隔时间作为初始的迭代启动间隔时间，使用列表调度算法对控制数据流图的循环部分进行调度；步骤S33、迭代进行调度尝试直到满足以下条件时，继续执行步骤S34：调度成功或者调度的迭代尝试次数大于预设上限阈值；步骤S34、判断是否调度完毕，若是，则结束，反之增加迭代启动间隔时间后，继续使用列表调度算法进行下一轮调度，并返回执行步骤S33；所述步骤S4，包括步骤S41～S44：步骤S41、对控制数据流图的非循环部分的节点构建相应的调度变量；步骤S42、根据调度变量，将所有调度约束都转化为对应的差分约束公式后，将获得的所有差分约束公式转化成整形规划矩阵；步骤S43、根据高层次综合的需求结果，构建相应的目标函数；步骤S44、将整形规划矩阵作为目标函数的约束条件，进行线性规划求解，判断是否能求解获得目标函数的最优值，若否，则返回执行步骤S43，反之获得该目标函数的最优值，同时获得对应的整形规划矩阵的值，进而获得每个节点的调度值。