[发明专利]一种精确分析任务WCET的自动化方法

摘要

一种精确分析任务WCET的自动化方法，包括以下步骤一、产生程序的无循环控制流图NLCFG；二、利用NLCFG确定依赖输入变量及其对应节点；三、确定依赖循环变量、依赖非输入分支变量及它们所对应的非依赖输入节点；四、删除非依赖输入节点产生ICFG；五、产生ICFG的所有路径；六、针对每条路径产生其输入条件以及该路径对应的WCET。利用每条路径的条件和其对应的WCET能够精确估算任务的WCET。

主权项

一种精确分析任务WCET的自动化方法,其特征在于：包括以下步骤，步骤一、产生程序的无循环控制流图NLCFG，无循环控制流图是一种特殊的控制流图，其与CFG的区别在于其循环语句产生的CFG节点只包括循环体节点而不包括分支谓词节点及相应的回边，建立起NLCFG节点与源程序语句的对应关系，同时循环体节点也得到标识；步骤二、利用步骤一中的NLCFG，从入口节点开始，依照深度优先策略，确定每一个变量是否是依赖输入变量及其对应的依赖输入节点；步骤三、确定步骤二中依赖输入变量中的依赖循环变量、依赖非输入分支变量，确定依赖循环变量、依赖非输入分支变量对应的非依赖输入节点；步骤四、从步骤二中删除非依赖输入节点，产生输入变量相关的ICFG，其中，最终形成的NLCFG为输入变量相关的，标记为ICFG；步骤五、依照深度优先策略产生ICFG的所有路径；步骤六、针对步骤五的每条路径产生其输入条件；步骤七、产生步骤六中每条路径对应的WCET，利用每条路径的WCET，即可精确计算整个程序的WCET；其上所述的深度优先策略是指，在处理一个节点后，把该节点的所有后续节点进行依次排队处理；排队之后，对队列中的第一个节点仍然按照同样方法处理，这样只有在第一个节点及其后续节点处理完毕或者无法处理之后，才开始处理第二个节点，当一个节点有一个前任节点的执行后状态是不确定的，也就是说是没有定义的时，该节点是无法处理的，对无法处理的节点，将此节点重新排在队列末尾。