精确和充分的可调度性测试有什么区别？
What is the difference between an exact and a sufficient schedulability test?
说到调度一些定义应该完全理解。 可调度性测试就是其中之一。
Sanjoy K. Baruah 的一本书（实时系统的多处理器调度）解释了可调度性测试，如下所示：
Let A denote a scheduling algorithm. A sporadic task system T is said to be A-schedulable, if A meets all deadlines when scheduling each of the potentially infiinte different collection of jobs that could be generated by T [...]
对于可调度性测试精确和足够也有区别：
A schedulabiltiy test is called exact, if it identifies all A-schedulable systems. The test is called sufficient, if it identifies some A-schedulable systems.
所以，非正式地说，我可以说，一个使用任务系统 T 参数（例如周期、截止日期）的（不）方程式来说明可调度性是一个可调度性测试。至此我明白了。
但是 exact 和 sufficient 在这种情况下是什么意思？对我来说，某些算法要么 可调度 要么不（对于所有不同的作业集合）。有人可以给我举个例子或用简单的方式解释一下吗？
您已有定义。
精确 测试将为您提供所有可调度的系统。
一个足够测试可以给你一个然后停止。
假设您需要安排 3 个作业。您需要 运行 一个一个地处理它们，并且没有其他限制（任何排序都有效）。
sufficient 测试会告诉您可以按 1,2,3 的顺序安排它们。
A exact 测试将列出所有可能的工作组合。
说到调度一些定义应该完全理解。 可调度性测试就是其中之一。
Sanjoy K. Baruah 的一本书（实时系统的多处理器调度）解释了可调度性测试，如下所示：
Let A denote a scheduling algorithm. A sporadic task system T is said to be A-schedulable, if A meets all deadlines when scheduling each of the potentially infiinte different collection of jobs that could be generated by T [...]
对于可调度性测试精确和足够也有区别：
A schedulabiltiy test is called exact, if it identifies all A-schedulable systems. The test is called sufficient, if it identifies some A-schedulable systems.
所以，非正式地说，我可以说，一个使用任务系统 T 参数（例如周期、截止日期）的（不）方程式来说明可调度性是一个可调度性测试。至此我明白了。
但是 exact 和 sufficient 在这种情况下是什么意思？对我来说，某些算法要么 可调度 要么不（对于所有不同的作业集合）。有人可以给我举个例子或用简单的方式解释一下吗？
您已有定义。
精确 测试将为您提供所有可调度的系统。
一个足够测试可以给你一个然后停止。
假设您需要安排 3 个作业。您需要 运行 一个一个地处理它们，并且没有其他限制（任何排序都有效）。
sufficient 测试会告诉您可以按 1,2,3 的顺序安排它们。
A exact 测试将列出所有可能的工作组合。