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

Differences between lateness, tardiness, laxity, and criticality in real-time systems

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

这是一个由三部分组成的令人困惑的问题。 (为什么你不知道Google?)

第 1 部分迟到和迟到:迟到是完成时间减去截止日期;积极的迟到是迟到;负迟到就是早。

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

第 3 部分:临界性根据上下文有不同的定义。在实时计算上下文中(Google 没有帮助),它最常用于 "time-criticality," 安全关键”等。非正式地,它指的是系统所需属性的依赖性关于及时性、安全性等。我使用术语 "time-criticality" 作为 "real-time," 的概括,这些行为(例如,任务)对系统的积极或消极效用取决于行为的及时性。及时性在实时计算社区中通常没有定义,但我将其定义为

行为的完成时间相对于行为的调度最优性(或更普遍的可满足性)标准(满足截止日期是一个简单的特例)

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

传统的实时计算几乎只关注一种狭隘的特殊情况,在这种情况下,可满足性只是所有行为(任务)是否都在截止日期前完成。 (请注意,在调度理论的非常大的领域中,实时计算社区不熟悉,延迟因此迟到和提前在行为调度可满足性标准中非常常用。)因此对于传统的实时计算,可满足性的可预测性是一个简单的特殊情况,即完全提前知道受截止日期约束的行为是否都将在截止日期前完成(假定一些非常强大的假设成立)。