同构多处理器上周期硬实时任务全局EDF调度的精确可调度性测试
操作系统
2010-12-30 v1
摘要
本文考虑了由周期约束截止期任务组成的硬实时系统在同构多处理器平台上的调度问题。我们假设任务使用全局EDF调度器进行调度。我们通过利用其可预测性属性，并提供一个可行性区间，为该调度器建立了一个精确的可调度性测试：如果能够为该区间内的所有作业找到有效调度，则整个系统将被证明是可行的。此外，我们通过一个反例表明，Leung [Leung 1989]提出的可行性区间（以及由此得出的可调度性测试）是不正确的，并指出了其论证中的错误之处。
引用
@article{arxiv.1012.5929,
title = {Exact Schedulability Test for global-EDF Scheduling of Periodic Hard Real-Time Tasks on Identical Multiprocessors},
author = {Joël Goossens and Patrick Meumeu Yomsi},
journal= {arXiv preprint arXiv:1012.5929},
year = {2010}
}