一种基于指令和数据缓存静态锁定的实时任务WCET优化方法

本发明公开了一种基于指令和数据缓存静态锁定的实时任务WCET优化方法，涉及实时系统中任务WCET优化领域，包括如下步骤：对待运行的程序任务，进行离线的程序控制流图构建和WCET分析；在指令‑数据级别构建基于Petri网图语义流模型；根据Petri网图语义流模型，利用基于深度优先搜索算法的环路检测，提取程序任务的可行路径；根据可行路径中的指令和数据信息，进行内存排布和缓存映射；构建单条可执行路径的WCET优化问题；求解优化问题，并比较所有路径的WCET，得到程序任务的WCET。本发明通过指令‑数据级别的控制流图获取程序运行路径，对热点指令和数据所在的内存块进行静态锁定，降低了大规模程序WCET问题搜索规模，加快了求解可行性和速度，提高了算法实用性。