process - リアルタイムスケジューリングのスケジューリング方程式を証明する方法は?

Question

andrew s tanenbaumの最新のオペレーティング システムの第 2 章のプロセスに関するリアルタイム スケジューリングでは、特定のプロセスのスケジューリング可能性は次の方程式によって管理されると述べています。

イベント i は期間 Pi で発生し、それぞれを処理するために Ci 秒の CPU 時間を必要とします

これを証明する方法を誰か教えてください。

Answer 1

わかりました私は解決策を考え出すことができました。

Pi が周期の場合、1/Pi は周波数です。次に、Ci/Pi は、1 秒あたりの i イベントにかかった時間です。m 個のイベントすべてをスケジュールできるようにするには、Sum (Ci/Pi) を 1 以下にする必要があります。