公开(公告)号：CN114020274A

公开(公告)日：2022-02-08

申请号：CN202111252124.5

申请日：2021-10-26

Applicant: 东北大学秦皇岛分校

Inventor： 薛业凯 ,  孟亚坤 ,  孙景昊 ,  何泾 ,  张利威

IPC: G06F8/41

Abstract: 本发明属于实时系统的实时调度和模型检测领域，具体涉及一种具有循环结构的OpenMP程序WCRT方法，该方法为：建立OpenMP任务系统模型；定义任务系统的语句树；精确计算任务系统的容量，对任务系统中每个任务进行逆序遍历，计算与任务系统中每个任务相关的容量；精确计算任务系统的最长路径长度；逆序遍历任务系统中的每个任务，求每个任务遍历从叶子到根部的语句树中的每个节点B的最长路径的长度；计算任务系统的WCRT的上界。该方法采用线性时间动态编程算法来计算WCRT边界，而不展开循环，也不显式地枚举执行流，使时间复杂度与循环边界无关，简化了计算方法，提高WCRT边界精度。

公开(公告)号：CN114020274B

公开(公告)日：2024-09-06

申请号：CN202111252124.5

申请日：2021-10-26

Applicant: 东北大学秦皇岛分校

Inventor： 薛业凯 ,  孟亚坤 ,  孙景昊 ,  何泾 ,  张利威

IPC: G06F8/41

Abstract: 本发明属于实时系统的实时调度和模型检测领域，具体涉及一种具有循环结构的OpenMP程序WCRT方法，该方法为：建立OpenMP任务系统模型；定义任务系统的语句树；精确计算任务系统的容量，对任务系统中每个任务进行逆序遍历，计算与任务系统中每个任务相关的容量；精确计算任务系统的最长路径长度；逆序遍历任务系统中的每个任务，求每个任务遍历从叶子到根部的语句树中的每个节点B的最长路径的长度；计算任务系统的WCRT的上界。该方法采用线性时间动态编程算法来计算WCRT边界，而不展开循环，也不显式地枚举执行流，使时间复杂度与循环边界无关，简化了计算方法，提高WCRT边界精度。