[发明专利]基于线性链表的实时任务可调度性测试拷贝模拟方法

说明书

基于线性链表的实时任务可调度性测试拷贝模拟方法。本发明方法包括：对每个i，，记任务τ_i的不早于调度稳定点S释放的第一个任务实例的释放时间为新的释放偏移，还用Φ_i表示，根据给定的调度模型，采用线性链表记录调度模拟和测试过程，对任务τ₁从时间点Φ₁开始模拟第一个任务实例的调度执行；然后对每个i从小到大，，先将当前链表扩展成Φ_min⁽ⁱ⁾到Φ_min⁽ⁱ⁾+LCM_i内的调度结果，再对任务τ_i在时间范围Φ_min⁽ⁱ⁾到Φ_min⁽ⁱ⁾+LCM_i内模拟每个任务τ_i的调度执行；最后在当前链表上对任务τ_n进行测试。本发明用于需要确定给定的一组实时任务是否是可调度的模拟或仿真或实际应用系统中。

技术领域：

本发明涉及一种基于线性链表的实时任务可调度性测试拷贝模拟方法。

背景技术：

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

经典的优先抢占调度模型，简称为CP模型，其中CP即classic preemptive，CP模型的调度方式为：每当低优先级任务在运行过程中有高优先级任务到来时，低优先级任务将被剥夺执行权而高优先级任务开始执行，当高优先级任务执行完毕且没有其它高优先级任务等待执行时，该低优先级任务从被剥夺的位置处继续执行；事务处理方式的优先抢占调度模型，简称为TP模型，其中TP即transactional preemptive，例如，TP模型有基于优先级的功能反应式编程模型，简称为P-FRP模型，其中P-FRP即priority-based functional reactive programming；或者中止并重新开始模型，简称为AR模型，其中AR即abort-and-restart；或者软件事务存储器模型，简称为STM模型，STM即software transactionalmemory，STM模型包括渴望冲突检测策略和懒惰冲突检测策略，渴望冲突检测策略简称为ECD策略，其中ECD即eager conflict detection，懒惰冲突检测策略简称为LCD策略，其中LCD即lazy conflict detection；TP模型的调度方式为：每当低优先级任务在运行过程中有高优先级任务到来时，低优先级任务将被剥夺执行权而高优先级任务开始执行，该低优先级任务已执行的结果都被废弃，当高优先级任务执行完毕且没有其它高优先级任务等待执行时，该低优先级任务从其最开始位置重新执行；符号串r←s表示将变量s的值赋值给变量r；min(a，b)即取a和b中的最小值，max(a，b)即取a和b中的最大值；mod(a，b)即a模b后的余数；lcm(a，b)即a和b的最小公倍数；任务的一次释放称为该任务的一个任务实例(job)或者调用(invoke)或者任务实例(instance)；【和】之间、〖和〗之间、『和』之间、[和]、「和」之间分别表示一个语句体；任务实例执行中止包括执行被高优先级任务中断和执行完成。

给定调度模型为CP模型或者TP模型；在一组n个实时任务的可调度性（或可行性）区间测试（或检验或检查或检测）这组任务的可调度性。如果该组任务是可调度的，那么在一个时间点S之后，每隔时间长度LCM_n，这组任务的调度情况就出现重复，即后续调度过程实际上是一段在长度为LCM_n的时间区间[S，S+LCM_n)内的调度的重复。