17、动态QoS管理中的可调度性分析

动态QoS管理中的可调度性分析

在嵌入式系统中，提高资源效率的需求促使人们采用在线自适应和重新配置技术，动态QoS管理就是其中的关键。而对于具有实时要求的系统，需要合适的可调度性分析器来确保系统的及时响应。下面将详细介绍几种考虑释放抖动的基于利用率的可调度性测试方法，并通过模拟实验和实际应用案例进行分析。

1. 可调度性测试条件

1.1 多条件测试

若满足以下 (n) 个条件，则任务集是可调度的：
(\forall i = 1..n)
(\sum_{j = 1}^{i} \frac{C_j}{T_j} + \frac{\max_{j = 1..i} J_j}{T_i} \leq U_{lub}^{RM, EDF}(i))

1.2 简化单条件测试

基于上述多条件测试，还有两种简化的单条件测试方法：
- 测试（3）：(\sum_{i = 1}^{n} \frac{C_i}{T_i} + \frac{\max_{i = 1..n} J_i}{T_1} \leq U_{lub}^{RM}(n))
- 测试（4）：(\sum_{i = 1}^{n} \frac{C_i}{T_i} + \max_{i = 1..n} \frac{\max_{j = 1..i} J_j}{T_i} \leq U_{lub}^{RM, EDF}(n))

测试（3）在任务周期分散较大的情况下可能过于悲观，因为长周期任务的释放抖动可能较长，而该测试仅用最短周期来除抖动项。测试（4）虽然计算成本较高，但比测试（3）更准确，因为抖动项除以的周期是递增的。

1.3 参考测试