[发明专利]一种针对不精确计算的单核系统实时任务调度方法

权利要求书

1.一种针对不精确计算的单核系统实时任务调度方法，其特征在于，包括如下步骤：

步骤一，在单核系统中根据任务特点建立任务模型；

步骤二，在任务模型中根据任务调度时间点构建离线调度模块和在线调度模块；

步骤三，对在线调度模块按照任务的执行精度的任务构建任务计算精度单元；

步骤3.1，输入当前时间t，任务集T’中尚未执行的任务，其中T’是属于T的一部分；将当前时间赋值给lastFinishTime，每次循环判断当前任务的执行模式是否为不精确执行，如果当前任务为不精确模式执行，则计算松弛时间slack：用当前任务的开始时间减去lastFinishTime和任务释放时间二者中的最大值；其中：任务集T有n个非周期性的实时任务；

步骤3.2，判断松弛时间能否满足当前任务由不精确计算模式转为精确计算模式所需要的时间，如果满足条件，将当前任务由不精确计算模式转为精确计算模式；

步骤3.3，如果当前任务起初为精确模式执行，则不做循环判断；其中，每次将任务的释放时间和lastFinishTime的最大值赋值为该任务的开始时间，并将任务的最坏情况下完成时间赋值给lastFinishedtime；

步骤四，对在线调度模块按照任务超出截止时间的平均程度构建任务计算超出截止时间平均程度单元；

步骤4.1，输入当前时间t，下一个任务的序号i，任务集T’，每次将任务集T’赋值为newT’，每次取任务集T’中的一个任务τj，如果该任务超过截止期限，则保存集合T’，并且将当前时间t和任务τi的释放时间中的最大值赋值为该任务的开始时间，将当前任务的最坏情况下执行时间赋值为lastFinishTime；

步骤4.2，循环判断第i个和第j个任务之间的任务τ_k，将第k个任务的释放时间和lastFinishTime做对比，取最大值赋值为任务的开始时间sk；将lastFinishTime和第i个任务的释放时间做对比，取最大值作为任务的开始时间si；

步骤4.3，循环判断第j个任务后面的每一个任务，将该任务释放时间和lastFinishTime最对比，取最大值作为任务的开始时间后，将任务的最坏情况下结束时间赋值为新的lastFinishTime；

步骤，如果所产生的调度结果中的所有任务都符合给出的混合整数线性规划(MILP)的约束条件，则：如果所有任务超出截止期限的时间之和比之前超过时间之和要小，则交换任务集T’中的第i和第j个任务，将T’赋值给newT’；

步骤五，对在线调度模块按照任务超出截止时间的频率构建任务超出截止时间频率计算单元。