在安排时,应该完全理解一些定义。 Schedulabiltiy测试就是其中之一。
有一本来自Sanjoy K. Baruah(实时系统的多处理器调度)的书,它解释了 Schedulabilty测试如下:
让 A 表示调度算法。如果 A 在安排每个潜在的infiinte不同作业集合时满足所有截止日期,那么零星的任务系统 T 就会被称为可调度可以由 T [...]
生成
可安全性测试的完全和足够之间也有区别:
如果标识所有可A调度的系统,则会将调度标准测试称为 exact 。如果测试标识某些A-schedulable 系统,则该测试称为足够。
所以,非正式地说,我可以说,使用任务系统 T 的参数(例如句点,截止日期)来制定关于时间表的陈述的(in)方程是< strong>可安排性测试。到目前为止,我已经理解了。
但完全和足够在这种情况下意味着什么?对我来说,某些算法要么是可调度的,要么是(对于所有不同的作业集合)。有人可以给我一个例子或以简单的方式解释它吗?
答案 0 :(得分:0)
你已经有了这个定义。
完全测试将为您提供所有可调度系统。
足够的测试可以给你一个然后停止。
假设您需要安排3个工作。您需要逐个运行它们,并且没有其他约束(任何排序都有效)。
足够的测试会告诉您可以按1,2,3的顺序安排它们。
完全测试会告诉列出所有可能的作业组合。