我可以看到如何解决方程的右侧但是当不知道C和T是什么时我怎么能证明它没有必要并且确认它是足够的?
我想把C / T换成……
正如问题所述,你提供的界限n(2 ^(1 / n)-1)就足够了,如果它是真的那么任务集是可调度的但是它不完整,它将拒绝任务集仍可在RMS下调度。一个简单的例子是谐波任务集。谐波任务集是每个周期都是具有小周期的所有任务的精确倍数的任务集。一个简单的例子是两个任务的任务集,每个任务的容量为1,周期为2.它具有100%的利用率,可在RMS下调度,但其利用率大于图表中列出的N = 2的百分比0.828。
通常,为了确定任务集是否在RMS下是可调度的,针对每个任务i解决了跟随递归关系:
如果假定隐含期限,则每个任务的此值小于T_i,而任务集是可调度的。