混合关键性系统的任务级和系统级调度模式的结合
摘要：混合关键性系统的不同调度算法最近被提出。这些算法的共同点是当高关键任务缺乏计算资源时，放弃低关键任务。这是通过从正常模式切换到关键模式来实现的。我们将算法区分为系统级模式切换和任务级模式切换两个主要类别。系统级模式算法只允许低关键（LC）任务在正常模式下执行。任务级模式切换算法允许将个别高关键任务（HC）的模式从低（LO）切换到高（HI），以优先于所有LC任务。本文研究了一种支持动态任务级和系统级模式切换的混合关键性系统的在线调度算法。当HC任务的作业超出LC预算时，只有该特定作业会切换到HI模式。如果无法容纳该作业，则系统将切换到关键模式。为了适应HC作业的资源可用性，LC任务被降级，通过拉长它们的周期直到关键模式下的作业完成执行。拉长将一直进行，直到满足资源可用性。我们已经使用Uppaal对所提出的算法进行了机械化和实施。为了研究我们调度算法的效率，我们进行了一个案例研究，并将结果与现有算法进行了比较。
作者：Jalil Boudjadar, Saravanan Ramanathan, Arvind Easwaran, Ulrik Nyman
论文ID：2003.05442
分类：Operating Systems
分类简称：cs.OS
提交时间：2020-03-13