首页> 中国专利> 一种计算具有循环结构的OpenMP程序WCRT方法

一种计算具有循环结构的OpenMP程序WCRT方法

摘要

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

著录项

  • 公开/公告号CN114020274A

    专利类型发明专利

  • 公开/公告日2022-02-08

    原文格式PDF

  • 申请/专利权人 东北大学秦皇岛分校;

    申请/专利号CN202111252124.5

  • 申请日2021-10-26

  • 分类号G06F8/41(20180101);

  • 代理机构11636 北京中创博腾知识产权代理事务所(普通合伙);

  • 代理人戴鹏

  • 地址 066004 河北省秦皇岛市经济技术开发区泰山路143号

  • 入库时间 2023-06-19 14:08:07

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2022-02-08

    公开

    发明专利申请公布

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号