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

摘要

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

主权项

一种基于线性链表的实时任务可调度性测试拷贝模拟方法，其特征是：该方法包括：对每个i，1≤ i ≤n，记任务τ_i的不早于调度稳定点S 释放的第一个任务实例的释放时间为新的释放偏移，还用Φ_i表示，根据给定的调度模型，采用线性链表记录调度模拟和测试过程，对任务τ₁从时间点Φ₁开始模拟第一个任务实例的调度执行，然后对每个i 从小到大，2 ≤i ≤n‑1，先将当前链表扩展成Φ _min(i)到Φ _min(i)+ LCM_i内的调度结果，再对任务τ_i在时间范围Φ _min(i)到Φ _min(i)+ LCM_i内模拟每个任务τ _i的调度执行，最后在当前链表上对任务τ_n进行测试，LCM_i表示前i个较高优先级任务的最小到达周期的最小公倍数，其中2 ≤i ≤n‑1；所述的采用线性链表记录调度模拟和测试过程，对任务τ₁从时间点Φ ₁开始模拟第一个任务实例的调度执行；然后对每个i 从小到大，2≤ i ≤n‑1，先将当前链表扩展成Φ_min(i)到Φ _min(i)+ LCM_i内的调度结果，再对任务τ _i在时间范围Φ _min(i)到Φ _min(i)+ LCM_i内模拟每个任务τ_i的调度执行；最后在当前链表上对任务τ _n进行测试是指，采用一个线性链表记录任务的调度模拟执行和测试过程，任务实例开始执行时间点记录到链表结点的start 字段，任务实例执行中止时间点记录到链表结点的end 字段，每个链表结点表示从该结点start 字段值给出的时间点到该结点end 字段值给出的时间点之间一个或多个任务实例的连续调度执行；对每个i，1≤ i≤ n，取任务τ_i的不早于S 释放的第一个任务实例的释放时间为新的释放偏移，还用Φ_i表示，Φ _min(1)← Φ ₁，LRT₁← C ₁；对每个i，2≤ i ≤n，Φ_min(i)← min(Φ _min(i‑1)，Φ_i)，LRT_i← C _i；T_i表示每个任务的相邻两个任务实例或者调用或者作业的最短到达时间，变量LRT _i记录任务τ _i在当前优先级设置和任务释放偏移时的最大响应时间，C _i为运行时间，给标志变量flag 赋一个初值；首先模拟执行任务τ₁的第一个任务实例，即增加一个链表结点，Φ ₁赋值给结点的start 字段，C ₁赋值给结点的end 字段，结点的next 字段赋值为NULL 或空；【对任务τ₂,τ₃,...,τ_n‑1执行以下操作：依优先级从高到低，对每个i，2≤ i ≤n‑1，〖( 壹) 扩展链表，即将任务τ₁,τ₂,...,τ_i‑1从时间起点Φ_min(i–1)到Φ_min(i–1)+LCM_i‑1的链表调度结果扩展到Φ _min(i–1)+LCM_i，即，以从时间范围Φ_min(i–1)到Φ _min(i–1) + LCM_i‑1的调度结果的当前链表的第一个结点到最后一个结点为一个整体块block 共拷贝LCM_i/LCM_i–1–1 次并依次链入链表中，第k 次拷贝时将新块所有结点的start 字段和end 字段分别加上k×LCM_i–1，1≤ k ≤LCM_i/LCM_i–1–1 ；将min( 扩展后的链表最后一个结点的end 字段值，Φ_min(i)+LCM_i) 赋值给扩展后的链表最后一个结点的end 字段；( 贰) 令MAXinter← Φ _min(i)+LCM_i；对每个j，1≤ j ≤LCM_i/T_i，从小到大依次调用执行模拟单个任务实例函数F1 对任务τ_i的第j 个任务实例τ _i,j进行模拟；〗；】；i ← n，调用测试模拟单个任务函数F2 对任务τ_i进行测试；给出任务集是可调度的信息，【和】之间、〖和〗之间分别表示一个语句体。