[发明专利]一种计算具有循环结构的OpenMP程序WCRT方法在审
| 申请号： | 202111252124.5 | 申请日： | 2021-10-26 |
| 公开（公告）号： | CN114020274A | 公开（公告）日： | 2022-02-08 |
| 发明（设计）人： | 薛业凯;孟亚坤;孙景昊;何泾;张利威 | 申请（专利权）人： | 东北大学秦皇岛分校 |
| 主分类号： | G06F8/41 | 分类号： | G06F8/41 |
| 代理公司： | 北京中创博腾知识产权代理事务所(普通合伙) 11636 | 代理人： | 戴鹏 |
| 地址： | 066004 河北省秦*** | 国省代码： | 河北;13 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | |||
| 搜索关键词： | 一种 计算 具有 循环 结构 openmp 程序 wcrt 方法 | ||
1.一种计算具有循环结构的OpenMP程序WCRT方法，其特征在于，所述方法的具体步骤包括：
步骤一：建立OpenMP任务系统模型；
步骤二：定义任务系统的语句树；
步骤三：精确计算任务系统的容量，对任务系统中每个任务进行逆序遍历，计算与任务系统中每个任务相关的容量；
步骤四：精确计算任务系统的最长路径长度；逆序遍历任务系统中的每个任务，求每个任务遍历从叶子到根部的语句树中的每个节点B的最长路径的长度；
步骤五：计算任务系统的WCRT的上界。
2.根据权利要求1所述的一种计算具有循环结构的OpenMP程序WCRT方法，其特征在于：所述步骤四中任务系统的最长路径长度，通过B的诱导有向图的顶点的路径考虑如下六类：
从B的入口顶点开始的一组路径；
从B的等待顶点开始的一组路径；
从B的入口顶点开始，到B的出口顶点结束的一组路径；
从B的入口顶点开始，到子任务的汇点结束的一组路径；
从B的一个等待顶点开始，到B的出口顶点为止的一组路径；从B的等待顶点开始，到子任务的汇点结束的一组路径。
3.根据权利要求1所述的一种计算具有循环结构的OpenMP程序WCRT方法，其特征在于：所述步骤四中求每个任务遍历从叶子到根部的语句树中的每个节点B的最长路径的长度：
(1)如果B代表任务的一个顶点，根据公式(1)(2)(3)计算其中(y＝{*,ex,ct})；根据公式(4)计算其中(y＝{*,ex,ct})；
则其中(x∈{en,wt}和y＝{*,ex,ct})；
(2)如果B是顺序块，根据公式(5)计算其中(x∈{en,wt}and y＝{*,ex,ct})；
则其中(x∈{en,wt}和y＝{*,ex,ct})；
(3)如果B是分支块，根据公式(6)(7)(8)(9)(10)(11)计算其中(x＝{en，wt}和y＝{∞，ex，ct})；
其中则其中(x∈{en,wt}和y＝{*,ex,ct})；
如果B代表一个循环块，循环边界为K；先进行如下定义：
通过公式(12)(13)(14)(15)(16)(17)计算其中(x＝{en，wt}和y＝{∞，ex，ct})；
其中其中其中则其中(x∈{en,wt}和y＝{*,ex,ct})。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于东北大学秦皇岛分校，未经东北大学秦皇岛分校许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/pat/books/202111252124.5/1.html，转载请声明来源钻瓜专利网。
