用于执行确保实时任务之间低延迟通信的排序计划的方法技术

本发明专利技术涉及一种用于为要在实时系统上执行的多个任务(Tp，Tc)离线构造排序计划的方法，包括以下步骤：将每个任务(Tp，Tc)分解成帧序列，其中，每个帧与具有执行需求(Bp(m))的基本进程(Tp(m))相关联，并且定义该进程可以开始的开始日期(Dp(m))以及该进程必须完成的结束日期(Dp(m+1))或最后期限；将相应顺序约束(C)与进程对(Tp(m)，Tc(n))相关联；在与该实时系统的执行单元相关联的时标(S)上投影日期，从而形成时隙序列；顺序解析序列的时隙；在当前时隙内识别合格进程，如果进程满足以下两个标准，则该进程是合格的：i)进程在当前时隙中是可执行的，以及ii)如果进程具有顺序约束，则由该顺序约束引用的进程在当前时隙中也是可执行的，或者该被引用的进程的最后期限在之前的时隙中；按最后期限的递增顺序将合格的进程排序在列表中；修改该列表以根据其顺序约束对进程进行重新排序；以及按照该列表的顺序在当前时隙中分配合格进程的执行需求，以构建排序计划。

A method for performing scheduling to ensure low latency communication between real-time tasks

【技术实现步骤摘要】
【国外来华专利技术】用于执行确保实时任务之间低延迟通信的排序计划的方法
本专利技术涉及硬实时多任务系统，更具体地，涉及用于这种系统中的任务间通信的技术。
技术介绍
在硬实时(hardreal-time)系统中，即在不能容忍任何通过操作的执行中的延迟的最后期限违反的系统中，通常使用静态调度方法来执行任务。然后，离线构造静态排序计划，其表示使用执行资源的需求的静态时间分配。这种方法例如在C.Aussaguès，V.David在1998年第四届IEEE复杂计算机系统工程国际会议(FourthIEEEInternationalConferenceonEngineeringofComplexComputerSystems,1998)的论文“在安全关键实时系统中建模和确保及时性的方法和技术(AMethodandaTechniquetoModelandEnsureTimelinessinSafetyCriticalReal-TimeSystems)”中以及专利申请WO2006-050967和US2010-0199280中有所描述。静态排序计划可以包括将在时间共享模式(t本文档来自技高网...

【技术保护点】
1.一种用于离线构造用于要在实时系统上执行的多个任务(Tp，Tc)的排序计划的方法，包括以下步骤：/n将每个任务(Tp，Tc)分解成帧序列，其中，每个帧与具有执行需求(Bp(m))的基本进程(Tp(m))相关联，并定义所述进程可以开始的开始日期(Dp(m))和所述进程必须完成的结束日期(Dp(m+1))或最后期限；/n将相应的顺序约束(C)与进程对(Tp(m)，Tc(n))相关联；/n将所述日期投影到与所述实时系统的执行单元相关联的时标(S)上，从而形成时隙序列；/n顺序地解析所述序列的所述时隙；/n在当前时隙内识别合格进程，如果进程满足以下两个标准，则该进程是合格的：/n-进程在当前时隙中是...

【技术特征摘要】
【国外来华专利技术】20171010 FR FR17594871.一种用于离线构造用于要在实时系统上执行的多个任务(Tp，Tc)的排序计划的方法，包括以下步骤：
将每个任务(Tp，Tc)分解成帧序列，其中，每个帧与具有执行需求(Bp(m))的基本进程(Tp(m))相关联，并定义所述进程可以开始的开始日期(Dp(m))和所述进程必须完成的结束日期(Dp(m+1))或最后期限；
将相应的顺序约束(C)与进程对(Tp(m)，Tc(n))相关联；
将所述日期投影到与所述实时系统的执行单元相关联的时标(S)上，从而形成时隙序列；
顺序地解析所述序列的所述时隙；
在当前时隙内识别合格进程，如果进程满足以下两个标准，则该进程是合格的：
-进程在当前时隙中是可执行的，以及
-如果进程具有顺序约束，则由所述顺序约束引用的所述进程在当前时隙中也是可执行的，或者被引用的进程的所述最后期限在前一个时隙中；
按最后期限的递增顺序将所述合格进程排序在列表中；
修改所述列表以根据所述进程的顺序约束来对所述进程进行重新排序；以及
将所述合格进程的所述执行需求按照所述列表的顺序分配在所述当前时隙中，以构建所述排序计划。


2.根据权利要求1所述的方法，包括移除由帧不重叠的两个进程形成的每个对中的顺序约束的初始步骤。


3.根据权利要求1所述的方法，其中，所述修改所述列表的步骤和所述分配所述执行需求的步骤包括以下步骤：
顺序地解析所述进程列表；
如果所述列表中的当前进程具有引用所述列表中被放置在所述当前进程之后的进程的顺序约束，则通过将被引用的进程移动到所述当前进程之前来修改所述列表；
在所移动的被引用的进程的位置处开始继续所述列表解析；
否则，将所述当前进程...

【专利技术属性】
技术研发人员：A·巴尔博，V·大卫，E·奥哈永，
申请(专利权)人：克罗诺安全公司，
类型：发明
国别省市：法国;FR