-
Patent Agency Ranking
公开(公告)号：CN114020274A
公开(公告)日：2022-02-08
申请号：CN202111252124.5
申请日：2021-10-26
Applicant: 东北大学秦皇岛分校
IPC: G06F8/41
Abstract: 本发明属于实时系统的实时调度和模型检测领域，具体涉及一种具有循环结构的OpenMP程序WCRT方法，该方法为：建立OpenMP任务系统模型；定义任务系统的语句树；精确计算任务系统的容量，对任务系统中每个任务进行逆序遍历，计算与任务系统中每个任务相关的容量；精确计算任务系统的最长路径长度；逆序遍历任务系统中的每个任务，求每个任务遍历从叶子到根部的语句树中的每个节点B的最长路径的长度；计算任务系统的WCRT的上界。该方法采用线性时间动态编程算法来计算WCRT边界，而不展开循环，也不显式地枚举执行流，使时间复杂度与循环边界无关，简化了计算方法，提高WCRT边界精度。
-
公开(公告)号：CN113961439A
公开(公告)日：2022-01-21
申请号：CN202111245020.1
申请日：2021-10-26
Applicant: 东北大学秦皇岛分校
IPC: G06F11/34
Abstract: 本发明属于嵌入式实时系统领域，具体涉及一种基于SMT方法的DAG任务WCRT计算方法。该方法的步骤为，先生成DAG任务；而后建立DAG模型；建立目标函数；建立节点的条件约束；以保证节点必须在其前驱完成执行后才能开始执行，约束节点在执行时是不可抢占的。建立负载保持约束；在任意时刻，在节点满足执行条件，不会存在空闲的核；最后建立源点开始执行时间约束。通过建立实现持续工作特性的约束，保证了对于任意节点及其临界前驱，如果时间区间的长度大于0，执行的负载就等于在时间区间内可以提供的计算资源，最终实现了响应时间分析问题向优化问题的转化。
-
公开(公告)号：CN113901671B
公开(公告)日：2024-11-26
申请号：CN202111244760.3
申请日：2021-10-26
Applicant: 东北大学秦皇岛分校
IPC: G06F30/20 , G06F111/04 , G06F119/02
Abstract: 本发明属于实时系统的实时调度和模型检测领域，具体涉及一种基于需求上界函数的任务自动机可调度性分析方法。该方法为：建立任务自动机系统模型；对任务自动机系统的每个任务自动机生成其对应的状态迁移系统；通过建立线性规划模型I和线性规划模型II，求解动态规划迭代带次数的上界Tbound；将任务自动机的状态空间全部划分为等效空间RPzone；利用动态规划的算法结构实现求解需求上界函数DBF(t)，将任务自动机的可调度性分析问题转化为需求上界函数的问题；计算任务自动机系统的DBF(t)，进行可调度性分析。通过等效划分，避免穷尽搜索所有的状态空间，只遍历边界状态进行可调度性分析，降低可调度性分析的复杂度。
-
公开(公告)号：CN114020274B
公开(公告)日：2024-09-06
申请号：CN202111252124.5
申请日：2021-10-26
Applicant: 东北大学秦皇岛分校
IPC: G06F8/41
Abstract: 本发明属于实时系统的实时调度和模型检测领域，具体涉及一种具有循环结构的OpenMP程序WCRT方法，该方法为：建立OpenMP任务系统模型；定义任务系统的语句树；精确计算任务系统的容量，对任务系统中每个任务进行逆序遍历，计算与任务系统中每个任务相关的容量；精确计算任务系统的最长路径长度；逆序遍历任务系统中的每个任务，求每个任务遍历从叶子到根部的语句树中的每个节点B的最长路径的长度；计算任务系统的WCRT的上界。该方法采用线性时间动态编程算法来计算WCRT边界，而不展开循环，也不显式地枚举执行流，使时间复杂度与循环边界无关，简化了计算方法，提高WCRT边界精度。
-
公开(公告)号：CN113901671A
公开(公告)日：2022-01-07
申请号：CN202111244760.3
申请日：2021-10-26
Applicant: 东北大学秦皇岛分校
IPC: G06F30/20 , G06F111/04 , G06F119/02
Abstract: 本发明属于实时系统的实时调度和模型检测领域，具体涉及一种基于需求上界函数的任务自动机可调度性分析方法。该方法为：建立任务自动机系统模型；对任务自动机系统的每个任务自动机生成其对应的状态迁移系统；通过建立线性规划模型I和线性规划模型II，求解动态规划迭代带次数的上界Tbound；将任务自动机的状态空间全部划分为等效空间RPzone；利用动态规划的算法结构实现求解需求上界函数DBF(t)，将任务自动机的可调度性分析问题转化为需求上界函数的问题；计算任务自动机系统的DBF(t)，进行可调度性分析。通过等效划分，避免穷尽搜索所有的状态空间，只遍历边界状态进行可调度性分析，降低可调度性分析的复杂度。
-
-
-
-
Search Results
5
records
(took 0.025 seconds)
