Enormous efforts have been spent in the derivation of sufficient schedulability tests for popular global schedulers such as global fixed-priority (G-FP) and global earliest-deadline first (G-EDF). Among all the proposals, response-time analysis techniques are established as the most popular ones and have been widely adopted by several authors in subsequent researches. Such tests are based on interference bounds that have been derived by exploiting the work-conserving property of such schedulers, and are typically expressed with a 1 / m multiplier in the interference equation (with m being the number of available processors). This paper shows that the popular response-time analysis for G-EDF is ineffective with respect to partitioned EDF (P-EDF) scheduling. That is, it is proven that every task set that is deemed schedulable by such an analysis is also schedulable under P-EDF by adopting a trivial partitioning algorithm. Furthermore, an analogous result is proven for global first-in first-out (G-FIFO) scheduling when analyzed with a 1 / m-based interference bound. Finally, experimental results are presented to compare sufficient tests for G-EDF and G-FIFO with the corresponding partitioned schemes under a vast collection of partitioning heuristics. The results show that the considered tests for global scheduling are always outperformed by those for partitioned scheduling exhibiting a significant performance gap.

中文翻译：

---

关于基于 1/m 的干扰边界在全局 EDF 和 FIFO 调度分析中的无效性

在为流行的全局调度程序（例如全局固定优先级（G-FP）和全局最早截止日期优先（G-EDF））推导足够的可调度性测试方面已经付出了巨大的努力。在所有提案中，响应时间分析技术被确立为最受欢迎的技术，并在随后的研究中被几位作者广泛采用。此类测试基于通过利用此类调度程序的工作节约特性得出的干扰界限，并且通常在干扰方程中用 1 / m 乘数表示（其中 m 是可用处理器的数量）。本文表明，对于分区 EDF (P-EDF) 调度，流行的 G-EDF 响应时间分析是无效的。那是，证明通过这种分析认为可调度的每个任务集在 P-EDF 下也可以通过采用平凡分区算法进行调度。此外，当使用基于 1/m 的干扰界限进行分析时，对于全局先进先出 (G-FIFO) 调度证明了类似的结果。最后，给出了实验结果，以在大量分区启发式算法下将 G-EDF 和 G-FIFO 的充分测试与相应的分区方案进行比较。结果表明，所考虑的全局调度测试总是优于表现出显着性能差距的分区调度测试。当使用基于 1 / m 的干扰界限进行分析时，对于全局先进先出 (G-FIFO) 调度证明了类似的结果。最后，给出了实验结果，以在大量分区启发式算法下将 G-EDF 和 G-FIFO 的充分测试与相应的分区方案进行比较。结果表明，所考虑的全局调度测试总是优于表现出显着性能差距的分区调度测试。当使用基于 1 / m 的干扰界限进行分析时，对于全局先进先出 (G-FIFO) 调度证明了类似的结果。最后，给出了实验结果，以在大量分区启发式算法下将 G-EDF 和 G-FIFO 的充分测试与相应的分区方案进行比较。结果表明，所考虑的全局调度测试总是优于表现出显着性能差距的分区调度测试。