实时周期任务在多处理器平台上的精确可行性测试
摘要：全局调度问题是研究多处理器平台上周期性任务系统的调度问题。我们首先在多处理器平台上展示了两个在单处理器平台上非常普遍的性质：（i）在一些较少且不那么严格的假设下，可行的周期性任务系统调度从某个时间点开始是周期性的，其周期等于任务周期的最小公倍数；（ii）对于同步周期性任务系统的特殊情况，我们展示了可行的调度从原点开始重复。接着，我们提出了我们的主要结果：对于任务级的固定优先级调度器和异步约束或任意截止期的周期性任务模型，我们给出了调度首次重复的时间点的上界。我们证明了与无关的多处理器平台上任务级固定优先级调度器的可预测性。对于任务级的固定优先级调度器，基于上界和可预测性特性，我们提供了异步约束或任意截止期周期性任务集的精确可行性测试。最后，对于作业级的固定优先级EDF调度器，其上界尚未知，我们也提供了一个精确的可行性测试方法。
作者：Liliana Cucu and Jo\"el Goossens
论文ID：0801.4292
分类：Operating Systems
分类简称：cs.OS
提交时间：2008-01-29