多处理器平台上周期性任务实时调度的精确可行性测试
操作系统
2008-01-29 v1
摘要
本文研究了多处理器平台上周期性任务系统的全局调度问题。我们首先展示了两个在单处理器平台上广为人知且同样适用于多处理器平台的通用性质：(i) 在少数且不太严格的假设下，我们证明了周期性任务系统的可行调度从某一点开始是周期性的，其周期等于任务周期的最小公倍数；(ii) 对于同步周期性任务系统的具体情况，我们证明了可行调度从原点开始重复。随后，我们提出了主要结果：针对任务级固定优先级调度器以及异步受限或任意截止期限的周期性任务模型，我们刻画了调度开始重复的第一个时间点的上界。我们证明了作业级固定优先级调度器在不相关多处理器平台上具有可预测性。基于上述上界和可预测性性质，针对任务级固定优先级调度器，我们为异步受限或任意截止期限的周期性任务集提供了精确的可行性测试。最后，对于作业级固定优先级 EDF 调度器（其相应的上界尚属未知），我们也提供了一种精确的可行性测试。
引用
@article{arxiv.0801.4292,
title = {Exact Feasibility Tests for Real-Time Scheduling of Periodic Tasks upon Multiprocessor Platforms},
author = {Liliana Cucu and Joël Goossens},
journal= {arXiv preprint arXiv:0801.4292},
year = {2008}
}