RMSリアルタイムスケジューリングが真であるためには、関係の証明に問題はありません。私は式の右辺を解決する方法を見ることができますが、どのようにしているものをCとTを知らないとき、私はそれが必要ではないことを証明し、それが十分であることを確認することができますか？

Question

私は、xのような変数にC/Tを変更し、N = 1から始まり、RHSがLHSまで> =でない限り、各ステップでxを解くことについて考えました。これは正しいことでしょうか？

Answer 1

質問によれば、n（2 ^（1/n）-1）を指定した境界は、それが真であればタスクの集合はスケジューリング可能であるが完全ではないという意味で十分ですRMSでスケジューリング可能なタスクセット。簡単な例は高調波タスクセットです。ハーモニック・タスク・セットは、各期間が小さな期間のすべてのタスクの正確な倍数であるものです。簡単な例は、それぞれ1の容量と2の期間を持つ2つのタスクのタスクセットです。これは100％の使用率を持ち、RMSの下でスケジューリング可能ですが、その使用率はN = 2のチャートにリストされている0.828より大きくなります。

一般に

、フォロー再発関係が各タスクiについて解かれるRMSの下で、タスク集合がスケジューリング可能であるかどうかを決定する：この値は、暗黙的な期限を仮定し、各タスクのT_I未満である場合

）は、タスクセットよりもスケジューリング可能です。