arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2003.08364cs.DCcs.OS
收藏

具有服务保障的混合关键系统动态预算管理

Dynamic Budget Management with Service Guarantees for Mixed-Criticality Systems

Xiaozhe Gu, Arvind Easwaran

备注：
©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
发表信息：
IEEE Real-Time Systems Symposium (RTSS), Porto, Portugal, 2016, pages 47-56
阅读 PDF
arXiv 页面 ↗HTML 原文 ↗

摘要：

许多现有的研究混合关键度（MC）调度假设，低关键度预算的高关键度应用程序是已知的先验。这些预算主要用作指导，以确定调度程序何时应该将系统模式从低切换到高。基于这一关键的观察，在本文中，我们提出了一个动态MC调度模型，根据该模型，低关键性的预算，个别高关键性的应用程序在运行时确定，而不是固定的离线。为确保始终为高关键性应用程序提供充足的预算，我们使用离线可扩展性分析来确定所有高关键性应用程序组合的系统范围内的总低关键性预算分配。这个总预算在我们的模型中用作指导，以确定是否需要模式切换。然后，运行时策略根据各种应用程序的执行要求并以尽可能推迟模式切换为目标，在这些应用程序之间分配总预算。我们表明，这种运行时策略是能够推迟模式切换更长的时间比任何策略，使用一个固定的低临界预算分配每个应用程序。最后，由于我们能够控制的总预算分配模式切换前的高关键性应用程序，我们还提出了技术，以确定这些预算考虑系统范围的目标，如可扩展性和服务保证低关键性应用程序。

英文摘要：

Many existing studies on mixed-criticality (MC) scheduling assume that low-criticality budgets for high-criticality applications are known apriori. These budgets are primarily used as guidance to determine when the scheduler should switch the system mode from low to high. Based on this key observation, in this paper we propose a dynamic MC scheduling model under which low-criticality budgets for individual high-criticality applications are determined at runtime as opposed to being fixed offline. To ensure sufficient budget for high-criticality applications at all times, we use offline schedulability analysis to determine a system-wide total low-criticality budget allocation for all the high-criticality applications combined. This total budget is used as guidance in our model to determine the need for a mode-switch. The runtime strategy then distributes this total budget among the various applications depending on their execution requirement and with the objective of postponing mode-switch as much as possible. We show that this runtime strategy is able to postpone mode-switches for a longer time than any strategy that uses a fixed low-criticality budget allocation for each application. Finally, since we are able to control the total budget allocation for high-criticality applications before mode-switch, we also propose techniques to determine these budgets considering system-wide objectives such as schedulability and service guarantee for low-criticality applications.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

↑