Precise scheduling of mixed-criticality tasks by varying processor speed
Precise scheduling of mixed-criticality tasks by varying processor speed
复制标题
DOI：
10.1145/3356401.3356410
复制
发表时间：
2019-11
期刊：
影响因子：
--
通讯作者：
Sai Sruti;Ashikahmed Bhuiyan;Zhishan Guo
中科院分区：
文献类型：
--
作者：
Sai Sruti;Ashikahmed Bhuiyan;Zhishan Guo
在本文中，我们扩展了不精确的混合关键度（IMC）模型的精确任务调度。我们还集成了IMC模型与动态电压和频率缩放（DVFS）技术，使能量最小化。MC系统精确调度的挑战是同时在悲观和乐观假设下保证所有任务的时序正确性。据我们所知，这是第一个工作，以解决集成DVFS节能技术与精确调度的MC模型的所有任务。我们目前的利用率为基础的可扩展性测试和充分条件，这样的系统下两个著名的MC框架，EDF-VD和MCF。对统一模型给出了加速比和逼近比的定量研究。基于随机生成集的实证研究验证了理论结果以及所提出的算法的有效性。
In this paper, we extend the imprecise mixed-criticality (IMC) model to precise scheduling of tasks. We also integrate the IMC model with the dynamic voltage and frequency scaling (DVFS) technique to enable energy minimization. The challenge in precise scheduling of MC systems is to guarantee the timing correctness all tasks under both pessimistic and optimistic assumptions simultaneously. To our knowledge, this is the first work to address the integration of DVFS energy-conserving techniques with precise scheduling of all tasks of the MC model. We present utilization based schedulability tests and sufficient conditions for such systems under two well-known MC frameworks, EDF-VD and MCF. A quantitative study in the forms of speedup bound and approximation ratio are derived for the unified model. Empirical studies based on randomly generated sets are conducted to verify the theoretical results as well as the effectiveness of the proposed algorithms.