论文信息
- 标题：Generalized and Scalable Offset-Based Response Time Analysis of Fixed Priority Systems
- 作者：Deepak Vedha Raj Sudhakar, Karsten Albers, Frank Slomka
- 期刊：Journal of Systems Architecture (JSA), 2021（CCF B类期刊）
- 关键词：Modular performance analysis, Real-Time Calculus, timing offsets, arrival curves, service curves
概述
本文解决固定优先级系统中结合时序偏移的最坏情况响应时间（WCRT）计算问题。作者提出扩展 MPA-RTC（Modular Performance Analysis using Real-Time Calculus）框架来处理现有方法无法充分管理的偏移依赖关系。
关键问题
在分布式实时系统中，任务通常具有通过偏移表达的释放时间依赖。这些依赖防止同时激活并提高资源利用率。然而，现有的 MPA-RTC 方法忽略了这些依赖，可能产生过于悲观的 WCRT 估计。
主要贡献
- 识别在一个超周期内产生最坏情况任务干扰的关键到达模式
- 使用相位矩阵捕获独特的到达模式
- 提出启发式和近似技术以降低计算复杂度
- 展示了优于经典方法的可调度性比率
技术方法
利用 MPA-RTC 框架，通过到达曲线和服务曲线建模任务。方法系统地探索超周期内的潜在忙期，同时通过近似系数和启发式管理组合爆炸。
- 通过相位矩阵减少候选空闲点
- 应用近似系数限制测试点
- 将发现集成到 MPA-RTC 框架的贪心处理组件中
实验结果
在500个任务的系统上测试，所提方法相比传统 MPA-RTC 实现了约 99.1% 的可调度性改进，相比 Redell-RTA 方法改进了 30.7%。
该工作有效地桥接了经典响应时间分析与现代基于微积分的框架，使复杂分布式系统的实际时序约束分析成为可能。