我无法理解RMS调度证明

时间:2016-10-13 14:44:11

标签: static proof rms

我是韩国人。对不起我糟糕的英语。

我几天前学会了RMS调度 而且,我的教授解释了这些证明。

For example, there are two tasks

Proof

第二页是'证明'是我无法理解的。

什么是T_n和C_n 案例(1)中[T2 / T1]的含义是什么。 (显然,案例(2)中的下一步)

PLZ,解释一下。 THX。

1 个答案:

答案 0 :(得分:0)

定期任务是一次又一次重复执行的任务。给定周期性任务ForbiddenException,有两个与之关联的数量:

  • 期间,表示为t
  • 截止日期,表示为T

句点C测量任务应至少执行一次的时间间隔。例如,如果TT,则任务100 ms必须至少执行一次t。这意味着它必须每100 ms至少执行两次,依此类推。换句话说,在200 ms个时间单位(例如T)之后,ms有一个新的截止日期,目标是让任务在截止日期到期之前完成新的执行。

数量t衡量任务的最长执行时间。这意味着在其执行的每个实例中,任务都保证在C个单位时间内完成。为简单起见,您可以将C视为常量执行时间;请记住,在某些情况下,执行可能会更快完成。

请注意,如果C,则无法遵守这些约束。这就是假设C > T的原因。在上面的示例中,C < T应小于C,例如100 ms。案例C = 40 ms也不重要,因为您只有在完成后才能重新执行C = T,而没有任何时间来共享处理器(例如, CPU)与其他任务。

整数商t是一段时间内任务可以执行的最大次数。发生这种情况时,任务将使用处理器总处理时间的[T/C]。在上面的示例中,我们有U = C/T,您可以在[T/C] = [100/40] = 2的每个句点中最多重复t两次,这将分配T或{{1}总处理时间。数量U = 40/100 = 0.4称为利用率

通过这些描述,您现在应该可以在任何在线介绍RMS并理解它。例如,您可能需要查看this one