面向混合关键性系统的带服务保证的动态预算管理
摘要
许多现有的混合关键性(MC)调度研究假设高关键性应用的低关键性预算是预先已知的。这些预算主要用作指导，以确定调度器何时应将系统模式从低关键性切换为高关键性。基于这一关键观察，本文提出一种动态MC调度模型，在该模型下，各个高关键性应用的低关键性预算在运行时确定，而非离线固定。为始终确保高关键性应用有充足预算，我们使用离线可调度性分析来确定所有高关键性应用合计的系统级总低关键性预算分配。该总预算在我们的模型中用作指导以确定模式切换的必要性。运行时策略随后根据各应用的执行需求分配此总预算，并以尽可能推迟模式切换为目标。我们表明，该运行时策略比任何对每个应用使用固定低关键性预算分配的策略能更长久地推迟模式切换。最后，由于我们能够在模式切换前控制高关键性应用的总预算分配，我们还提出了考虑系统级目标（如低关键性应用的可调度性与服务保证）来确定这些预算的技术。
引用
@article{arxiv.2003.08364,
title = {Dynamic Budget Management with Service Guarantees for Mixed-Criticality Systems},
author = {Xiaozhe Gu and Arvind Easwaran},
journal= {arXiv preprint arXiv:2003.08364},
year = {2020}
}
备注
\copyright 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works