考虑缓存预热时间的多核调度系统验证

摘要

With multicore architectures applied in real-time systems,multicore real-time scheduling has become a hot topic. In multicore global scheduling, tasks migrating among cores usually result in cache warm-up overheads. In tight real-time scheduling, these overheads may lead to missed deadlines for tasks. For schedulability analysis, since the tests based on scheduling theory are pessimistic, model checking is introduced. However, the abstract model considering cache warm-up overheads is limited to two cores. Hence a modeling approach is proposed, which can verify the correctness and schedulability in multiple-core scheduling environments.%随着多核架构在实时系统中的应用,多核实时调度已成为研究热点.在多核全局调度中,任务在多核间迁移通常会引起缓存预热.在严格实时调度中,这部分时间可能导致任务错过截止时间.为此基于调度理论的测试方法比较悲观,在作可调度性判定时,引入模型检测.考虑缓存预热时间的抽象模型仅局限在双核,提出一种建模方法,能够在更多核的条件下,验证调度系统的正确性和可调度性.