基于整数线性规划的VLIW DSP指令分簇调度

在DSP的VLIW聚类理论中，指令聚类是一种对程序性能有重要影响的编译优化，但现有的指令聚类算法只能处理顺序程序区域，很难获得最佳的聚类方案。为了解决这些问题，提出了一种基于整数线性规划的统一指令聚类和指令调度方法。在该方法中，零一决策变量用于表示函数中的指令聚类、指令的局部调度和簇间传输指令的全局调度。指令之间的依赖关系和处理器资源的竞争被构造为线性约束。最后，得到了一个以最小化函数估计执行时间为目标的整数线性规划模型。实验结果表明，通过求解该模型得到的聚类调度方案明显优于现有算法，且求解该模型所花费的时间是可以接受的。