混合临界度调度与共享缓存动态重分配
摘要：混合关键性系统的设计常常涉及到安全保证和性能之间痛苦的权衡。然而，利用更详细的架构模型在混合关键系统的设计和调度安排分析中可以提供更大的可靠性分析和更好性能的机会。出于这种观点的驱动，我们提出了对Vestal的混合关键性多核系统模型的扩展，该模型考虑了最后一级缓存的每个任务分区，并支持在系统切换到高关键性模式时将最初为较低关键性任务保留的缓存部分动态重新分配以实现更好的可调度性。对于该模型，我们应用了具有Ekberg和Yi的截止时间缩放技术的分区EDF调度。我们的可调度性分析和比例因子计算充分考虑到分配给每个任务的缓存资源，通过使用考虑这些资源的WCET估计值。因此，它能够利用缓存分区的动态重配置，在模式转换时提供更好的性能，以证明可调度性。我们还提出了在低关键性和高关键性模式下对缓存进行分区的启发式方法，以促进可调度性。我们对合成任务集的实验表明，与基线的基于缓存的安排相比，在模式转换事件中没有从低关键性任务到高关键性任务的缓存资源重新分配，可获得实质性的可调度性改善。
作者：Muhammad Ali Awan and Konstantinos Bletsas and Pedro F. Souto and Benny Akesson and Eduardo Tovar
论文ID：1704.08876
分类：Operating Systems
分类简称：cs.OS
提交时间：2017-05-01