基于反链和oracle的稀疏混合关键性实时系统精确可调度性测试
操作系统
2024-10-25 v1
摘要
本文解决了单处理器稀疏混合关键性实时系统中稀疏任务集的精确可调度性评估问题。我们通过一种有限自动机来建模该问题，需在其中进行探索以检查可调度性。为缓解状态爆炸问题，我们提供了一个以多种称为oracle的技术为参数化的通用算法。这些技术利用调度文献中的结果作为“插件”，使算法在实际中更高效。我们的方法实现了对精确可调度性测试所需搜索空间的最多99.998%的减少，使其适用于多达8个任务或最大周期为350的任务集。这一方法使我们能够挑战现有可调度性测试的悲观主义，并推导出一种新的动态优先级调度器，展示了其良好的性能。这篇文章是RTNS 2024论文的完整版本。
引用
@article{arxiv.2410.18308,
title = {Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles},
author = {Simon Picard and Antonio Paolillo and Gilles Geeraerts and Joël Goossens},
journal= {arXiv preprint arXiv:2410.18308},
year = {2024}
}
备注
In the proceedings of 32nd International Conference on Real-Time Networks and Systems, RTNS24, ACM, 2024