问精确和充分的可调度性测试之间有什么区别？

EN

当涉及到调度时，应该完全理解一些定义。Schedulabiltiy试验是其中之一。

SanjoyK.Baruah(实时系统的多处理器调度)有一本书解释了Schedulabilty测试如下：

设A表示调度算法。一个零星的任务系统T被认为是A-可调度的，如果A在调度由T .

在精确和充分之间也有一个区别，用于Schedulability测试

一个可调度性测试称为精确测试，如果它识别了所有的A可调度系统.如果该测试标识为某些可调度的系统，则称为充分测试.

因此，非正式地说，我可以说，一个(In)方程使用任务系统T的参数(例如周期、截止日期)来声明可调度性，它是一个Schedulability测试。到目前为止我已经明白了。

但是，在这种情况下，精确地定义了和足够的意味着什么？对我来说，有些算法要么是可调度的，要么是不可调度的(对于所有不同的作业集合)。有人能给我举个例子或者用简单的方式来解释吗？