实时系统中的迟到、迟到、松懈和临界之间的差异

Question

在实时系统的上下文中，术语迟到、迟到、松懈和临界之间有什么区别？

Answer 1

这是一个由 3 部分组成的混淆问题。（你为什么不知道谷歌？）

Part 1 迟到和迟到：迟到是完成时间减去最后期限；积极的迟到是迟到；负迟到是早。

第 2 部分：松弛也称为松弛时间。如果任务现在开始，它是任务完成后剩余的时间量。

第 3 部分：关键性根据上下文有不同的定义。在实时计算上下文中（Google 没有帮助），它最常用于“时间关键性”、“安全性关键性”等。非正式地，它指的是系统所需属性对及时性的依赖性，安全等。我使用术语“时间关键性”作为“实时”的概括，与行为（例如，任务）有关，其对系统的积极或消极效用取决于行为的及时性。及时性不是通常在实时计算社区中定义，但我将其定义为包括

行为的完成时间相对于行为的调度最优性（或更普遍的可满足性）标准（满足最后期限是一个简单的特例）

满意度的可预测性（例如，完成时间）——非正式地，可以提前推理（理想情况下已知）满意度的程度。

传统的实时计算几乎只关注一个狭隘的特殊情况，在这种情况下，可满足性只是所有行为（任务）是否满足其最后期限。（请注意，在调度理论的非常大的领域中，实时计算社区不熟悉，迟到因此迟到和早在行为调度可满足性标准中非常常用。）因此对于常规实时计算，可满足性的可预测性是一个简单的特殊情况，即绝对提前知道受期限限制的行为是否都将满足其期限（假设一些非常强大的假设成立）。