对“Gang EDF可扩展性分析”的评论

EDF-Like Scheduling for Self-Suspending Real-Time Tasks

In real-time systems, schedulability tests are utilized to provide timing guarantees. However, for self-suspending task sets, current suspension-aware schedulability tests are limited to Task-Level Fixed-Priority~(TFP) scheduling or Earliest-Deadline-First~(EDF) with constrained-deadline task systems. In this work we provide a unifying schedulability test for the uniprocessor version of Global EDF-Like (GEL) schedulers and arbitrary-deadline task sets. A large body of existing scheduling algorithms can be considered as EDF-Like, such as EDF, First-In-First-Out~(FIFO), Earliest-Quasi-Deadline-F…

将挂起视为阻塞的EDF调度的可调度性分析

On Schedulability Analysis of EDF Scheduling by Considering Suspension as Blocking

在作业执行期间，它可以挂起自己，即，其计算停止处理，直到某些活动完成以恢复。本文给出了Devi在2003年欧洲实时系统会议（ECRTS）上提出的可调度性分析的一个反例，该分析是目前唯一一个专门针对单处理器系统的抢占式最早截止期优先（EDF）调度动态自挂起任务的挂起感知分析.

全同多处理器上周期硬实时的任务全局EDF调度的精确可调度性检验

Exact Schedulability Test for global-EDF Scheduling of Periodic Hard Real-Time Tasks on Identical Multiprocessors

在本文中，我们考虑的硬实时的【形】系统的调度问题，由周期性的约束期限的任务在相同的多处理器平台上。我们假设任务是通过使用全局EDF调度器来调度的。我们建立了一个精确的可预测性测试，一方面利用它的可预测性，另一方面通过提供一个可行性区间，以便如果它是可能的，找到一个有效的时间表，在这个区间内包含的所有工作，那么整个系统将被标记为可行的。此外，我们通过一个反例表明，梁[Leung 1989]提出的可行性区间，从而可验证性检验是不正确的，我们表明哪些参数实际上是不正确的。

基于最早截止时间优先调度算法的多处理器软实时的系统可并行性测试

Schedulability Test for Soft Real-Time Systems under Multiprocessor Environment by using an Earliest Deadline First Scheduling Algorithm

本文研究了用于软实时的多处理机系统中周期性任务调度的单处理机实时系统最优调度算法EDF。在硬实时的系统中，基于EDF的方案和RMA调度（这是唯一已知的在多处理器上优化调度经常性实时的任务的方法）存在显著的差异：在M个处理器上，所有已知的EDF变体都具有大约M/2的基于利用率的可扩展性界限，而RMA算法可以充分利用所有处理器。这是不幸的，因为基于EDF的算法需要较低的调度和任务迁移开销。在硬实时的系统的工作中，已经证明可以通过限制每个任务的利用率来减少可调度性的这种差异。我们的主要贡献是一个新的EDF为基础的计划，确保有限的最后期限迟到。在该方案中，必须关注每个任务的利用率，但不需要严格限制总体利用率。我们的计划应该使广泛的软实时的应用程序被调度的总利用率没有限制。并提出可用于减少拖期和提高任务效率的技术和策略。

FP/EDF执行时间优化：已知结果与开放问题

Optimizing over FP/EDF Execution Times: Known Results and Open Problems

本文回顾了FP和EDF精确可调度性约束的线性形式化方法，使设计者能在实时截止时间约束下优化未指定的任务执行时间以最小化代价。

混合关键实时的系统动态优先级调度的有效可并行性测试

Efficient Schedulability Test for Dynamic-Priority Scheduling of Mixed-Criticality Real-Time Systems

许多安全关键应用领域中的系统都受到认证要求的约束。在这样的系统中，通常有不同的应用程序提供具有不同关键程度的功能。因此，对这些不同关键程度的功能的认证要求也各不相同，高度关键的功能需要非常高的保证水平，而不太关键的功能需要相对较低的保证水平。考虑到在截止日期内以保证预算的形式给予各种应用程序的时间保证，这种多关键性系统的实时的【形】调度理论最近一直在发展中。特别是，一种称为最早截止日期优先与虚拟截止日期（EDF-VD）的算法已经显示出了很多的承诺，两个关键级别的系统，特别是在通过实验结果证明的实际性能方面。在本文中，我们设计了一个新的可扩展性测试的EDF-VD扩展这些性能优势，多临界系统。我们提出了一种新的测试需求约束函数的基础上，也提出了一种新的虚拟的最后期限分配策略。通过大量的实验，我们表明，所提出的技术显着优于现有的各种通用的实时的【形】系统的策略。