[发明专利]采用线性链表记录实时任务调度过程的方法

说明书

采用线性链表记录实时任务调度过程的方法。实时系统中的可调度性测试、确定调度起始稳定点等都需要模拟任务的调度过程，该过程的表示方法直接关系到相应算法的运行时间或效率。本发明方法包括：根据给定的调度模型，按任务实例当前优先级从高到低顺序，采用一个线性链表记录从给定的时间起点到截止时间点内所有任务实例的调度执行，任务实例开始执行时间点记录到链表结点的start字段，任务实例执行中止时间点记录到链表结点的end字段，每个链表结点表示从该结点start字段值给出的时间点到该结点end字段值给出的时间点之间一个或多个任务实例的连续调度执行。本发明用于对给定的一组实时任务的模拟或仿真或实际应用系统中。

技术领域：

本发明涉及一种采用线性链表记录实时任务调度过程的方法。

背景技术：

在实时系统设计和应用过程中，对于给定的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；lcm(a，b)即a和b的最小公倍数；任务的一次释放称为该任务的一个任务实例(job)或者调用(invoke)或者任务实例(instance)；任务实例执行中止包括执行被高优先级任务中断和执行完成。

给定调度模型为CP模型或者TP模型；系统启动时刻为时间0，在一组n个实时任务的可调度性（或可行性）区间测试（或检验或检查或检测）这组任务的可调度性。如果该组任务是可调度的，那么在调度稳定点S之后，每隔时间长度LCM_n，这组任务的调度情况就出现重复，即后续调度过程实际上是一段在长度为LCM_n的时间区间[S，S+LCM_n)内的调度的重复；实际测试可调度性时，当已知稳定点S时在区间[S，S+LCM_n)内模拟该任务集的调度，当稳定点S未知时在区间[0，S+LCM_n)内模拟该任务集的调度。从普遍情况来看，可调度性测试区间长度不小于LCM_n。传统方法采用从调度时间起点开始，按时间步长增量为1的方式直至截止时间点完成调度。此前没有采用线性链表记录调度过程对任务集的可调度性进行测试的方法。

发明内容：

本发明的目的是提供一种采用线性链表记录实时任务调度过程的方法，通过使用链表结点表示任务（或事件）的调度执行阶段，达到采用线性链表记录模拟的调度过程的目的；适用于实时任务或事件优先级固定的情形。

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