[发明专利]确定实时任务或事件可调度性测试最小区间的方法

说明书

技术领域：

本发明涉及一种确定实时任务或事件可调度性测试最小区间的方法。

背景技术：

在实时系统设计和应用过程中，对于给定的n个周期性实时任务，在真正调度和执行之前判定这组实时任务是否可调度，即每个任务被释放之后是否都能在其相对最后期限内执行完毕，这是一个十分重要的问题，对于保证实时系统安全运行具有极为重要的意义。

为了判定一组n个周期性实时任务的可调度性，需要确定其可调度性（或可行性）区间，然后在该时间区间内模拟调度这组任务，即在该区间内测试（或检验或检查或检测）这组任务的可调度性。对于n个任务来说，由于每个任务都具有周期性，因此如果该组任务是可调度的，那么在一个时间点t_x之后，每隔时间长度L，这组任务的调度情况就出现重复，即后续调度过程实际上是一段在长度为L的时间区间[t_x，t_x+L)内的调度的重复。

假设系统启动时刻为时间0，实际测试可调度性时，由于这组任务在[0，t_x)内的调度包含初次到达情形而往往不具有重复性，因此，传统上将[0，t_x+L)作为实际的可调度性测试区间。这段可调度性测试区间长度越小，实际测试中效率越高。从普遍情况来看，可调度性测试区间长度一般不小于L。

发明内容：

本发明的目的是提供一种确定实时任务或事件可调度性测试最小区间的方法，通过调整任务的释放偏移并寻找可调度测试（或检验或检查或检测）最小区间的可行起点的方法来达到确定实时任务（或事件）可调度性测试最小区间的目的；适用于实时任务或事件优先级固定的情形，包括作业优先级固定和作业优先级可变的情形。

上述的目的通过以下的技术方案实现：

一种确定实时任务或事件可调度性测试最小区间的方法，该方法包括：对于分配在同一个处理器或CPU或Core上的具有n个周期性实时任务或事件的集合{τ₁,τ₂,...,τ_n}，需要确定该任务集的可调度性测试最小区间，其中：n≥1，每个周期性任务τ_i，其中：1                                                in，即i是大于等于1且小于等于n的整数，被赋予一个唯一的固定优先级i，这里1代表最高优先级，n代表最低优先级；其中每个任务τ_i具有以下参数：最大计算或运行时间C_i，该任务的相邻两个作业或任务实例或调用的到达周期常数T_i，以及作业的相对最后期限D_i；假设0<C_imin{Di, Ti}，min{Di, Ti}表示取Di和Ti的最小值；系统启动时间t=0；每个任务的第一个作业相对于时间时刻0的释放偏移为Φi，即任务τi的第一个作业从时间0开始经过时间Φi被释放，以后每隔时间周期Ti被释放，即任务τi的作业释放时间为Φi+k×Ti，这里k是大于或等于零的整数；L=lcm1jn{Tj}，即lcm1jn{Tj}表示全部Tj的最小公倍数，其中1jn，即j是大于等于1且小于等于n的整数；Tmax=max1j_n{T_j}，即max₁j_n{T_j}表示取全部T_j的最大值，其中1jn；

具体包括以下步骤：

步骤1，根据情况调整任务的释放偏移使每个任务的释放偏移大于等于零且小于该任务的到达周期；仍然用Φ_i表示任务τ_i的调整后的释放偏移；令Φ_max=max₁j_n{Φ_j }，即max₁j_n{Φ_j }表示取全部Φ_j中的最大值，其中，1jn；令Φ_min=min₁j_n{Φ_j }，即min₁j_n{Φ_j}表示取全部Φ_j中的最小值，其中，1jn；

步骤2，分别以S和t代表二个变量，将Φ_min赋值给S和t，以这时的t为时