如何证明实时调度的可调度方程?

时间:2013-09-22 16:06:29

标签: process operating-system real-time scheduling

andrew s tanenbaum现代操作系统第二章关于流程,在实时调度下,它表示给定流程的可调度性由以下eqauation控制。 enter image description here

  

事件i以句点Pi发生,需要Ci秒的CPU时间   处理每个

有人可以告诉我如何证明这一点。

1 个答案:

答案 0 :(得分:0)

好的,我能够找到解决方案。

如果Pi是周期,则1 / Pi是频率。然后Ci / Pi是每秒i事件所花费的时间。为了能够安排所有m个事件,Sum(Ci / Pi)应该小于或等于1.