[发明专利]一种计算具有循环结构的OpenMP程序WCRT方法在审
| 申请号： | 202111252124.5 | 申请日： | 2021-10-26 |
| 公开（公告）号： | CN114020274A | 公开（公告）日： | 2022-02-08 |
| 发明（设计）人： | 薛业凯;孟亚坤;孙景昊;何泾;张利威 | 申请（专利权）人： | 东北大学秦皇岛分校 |
| 主分类号： | G06F8/41 | 分类号： | G06F8/41 |
| 代理公司： | 北京中创博腾知识产权代理事务所(普通合伙) 11636 | 代理人： | 戴鹏 |
| 地址： | 066004 河北省秦*** | 国省代码： | 河北;13 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明属于实时系统的实时调度和模型检测领域，具体涉及一种具有循环结构的OpenMP程序WCRT方法，该方法为：建立OpenMP任务系统模型；定义任务系统的语句树；精确计算任务系统的容量，对任务系统中每个任务进行逆序遍历，计算与任务系统中每个任务相关的容量；精确计算任务系统的最长路径长度；逆序遍历任务系统中的每个任务，求每个任务遍历从叶子到根部的语句树中的每个节点B的最长路径的长度；计算任务系统的WCRT的上界。该方法采用线性时间动态编程算法来计算WCRT边界，而不展开循环，也不显式地枚举执行流，使时间复杂度与循环边界无关，简化了计算方法，提高WCRT边界精度。 | ||
| 搜索关键词： | 一种 计算 具有 循环 结构 openmp 程序 wcrt 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于东北大学秦皇岛分校，未经东北大学秦皇岛分校许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202111252124.5/，转载请声明来源钻瓜专利网。
