process - 如何证明实时调度的可调度性方程？

Question

在andrew s tanenbaum 现代操作系统第二章关于进程的实时调度下，它说给定进程的可调度性由以下等式控制。

事件 i 在周期 Pi 内发生，并且需要 Ci 秒的 CPU 时间来处理每个事件

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

Answer 1

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

如果 Pi 是周期，则 1/Pi 是频率。那么 Ci/Pi 是每秒 i 个事件所花费的时间。为了能够调度所有 m 个事件，总和 (Ci/Pi) 应小于或等于 1。