无法证明关系对于 RMS 实时调度是真实的来说并不是必需的。
Having trouble proving relation is not necessary for RMS real-time scheduling to be true.
我知道如何求解等式右边，但是当不知道 C 和 T 是什么时，我如何证明它不是必需的并确认它是足够的？
我考虑过将 C/T 更改为一个变量，例如 x，并从 N = 1 开始，在每一步求解 x，直到 RHS 不 >= 到 LHS。这是解决此问题的正确方法吗？
正如问题所述，你提供的界限 n(2^(1/n)-1) 就足够了，如果它是真的那么任务集是可安排的但它不完整，它会拒绝在 RMS 下仍可调度的任务集。一个简单的例子是谐波任务集。谐波任务集是每个周期是所有具有小周期的任务的精确倍数。一个简单的例子是两个任务的任务集，每个任务的容量为 1，周期为 2。它具有 100% 的利用率，可以在 RMS 下进行调度，但它的利用率大于图表中列出的 N=2 的百分比 0.828。
一般来说，为了确定一个任务集在 RMS 下是否可调度，为每个任务 i 求解以下递推关系：
如果每个任务的这个值小于 T_i，假设隐式截止日期）则任务集是可安排的。
我知道如何求解等式右边，但是当不知道 C 和 T 是什么时，我如何证明它不是必需的并确认它是足够的？
我考虑过将 C/T 更改为一个变量，例如 x，并从 N = 1 开始，在每一步求解 x，直到 RHS 不 >= 到 LHS。这是解决此问题的正确方法吗？
正如问题所述，你提供的界限 n(2^(1/n)-1) 就足够了，如果它是真的那么任务集是可安排的但它不完整，它会拒绝在 RMS 下仍可调度的任务集。一个简单的例子是谐波任务集。谐波任务集是每个周期是所有具有小周期的任务的精确倍数。一个简单的例子是两个任务的任务集，每个任务的容量为 1，周期为 2。它具有 100% 的利用率，可以在 RMS 下进行调度，但它的利用率大于图表中列出的 N=2 的百分比 0.828。
一般来说，为了确定一个任务集在 RMS 下是否可调度，为每个任务 i 求解以下递推关系：
如果每个任务的这个值小于 T_i，假设隐式截止日期）则任务集是可安排的。