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

摘要

确定实时任务或事件可调度性测试最小区间的方法。在实时系统设计和应用过程中，每个任务被释放之后是否都能在其相对最后期限内执行完毕，对于保证实时系统安全运行具有重要的意义。本发明的组成包括：步骤1，根据情况调整任务的释放偏移使每个任务的释放偏移大于等于零且小于该任务的到达周期；步骤2，分别以S和t代表二个变量，将Φmin赋值给S和t，以这时的t为时间起点，开始执行循环体A；循环体A结束时得到时间点S，这时的时间区间[S，S+L)为所确定的可调度性测试最小区间；以后可直接在时间区间[S，S+L)内测试这n个任务的可调度性。本发明用于需要确定给定的一组实时任务是否是可调度的模拟或仿真或实际应用系统中，从而显著提高各种工业测试的效率。

主权项

一种确定实时任务或事件可调度性测试最小区间的方法，其特征是：该方法包括：对于分配在同一个处理器或CPU或Core上的具有n个周期性实时任务或事件的集合{τ1,τ2,...,τn}，需要确定该任务集的可调度性测试最小区间，其中：n≥1，每个周期性任务τi，其中：1in，即i是大于等于1且小于等于n的整数，被赋予一个唯一的固定优先级i，这里1代表最高优先级，n代表最低优先级；其中每个任务τi具有以下参数：最大计算或运行时间Ci，该任务的相邻两个作业或任务实例或调用的到达周期常数Ti，以及作业的相对最后期限Di；假设0<Cimin{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=max1jn{Tj}，即max1jn{Tj}表示取全部Tj的最大值，其中1jn；具体包括以下步骤：步骤1，根据情况调整任务的释放偏移使每个任务的释放偏移大于等于零且小于该任务的到达周期；仍然用Φi表示任务τi的调整后的释放偏移；令Φmax=max1jn{Φj }，即max1jn{Φj }表示取全部Φj中的最大值，其中，1jn；令Φmin=min1jn{Φj }，即min1jn{Φj}表示取全部Φj中的最小值，其中，1jn；步骤2，分别以S和t代表二个变量，将Φmin赋值给S和t，以这时的t为时间起点，开始执行循环体A；循环体A结束时得到时间点S，这时的时间区间[S，S+L)为所确定的可调度性测试最小区间；以后可直接在时间区间[S，S+L)内测试任务集{τ1,τ2,...,τn}的可调度性，显著提高各种工业测试的效率。