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

On Schedulability Analysis of EDF Scheduling by Considering Suspension as Blocking

Mario Günzel, Jian-Jia Chen

摘要：

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

英文摘要：

During the execution of a job, it may suspend itself, i.e., its computation ceases to process until certain activities are complete to be resumed. This paper provides a counterexample of the schedulability analysis by Devi in Euromicro Conference on Real-Time Systems (ECRTS) in 2003, which is the only existing suspension-aware analysis specialized for uniprocessor systems when preemptive earliest-deadline-first (EDF) is applied for scheduling dynamic selfsuspending tasks.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

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

Comments on "Gang EDF Schedulability Analysis"

这份简短的报告在Kato等人提出的可验证性测试中提出了一个正确性问题，“Gang EDF Scheduling of Parallel Task Systems”，第30届IEEE实时系统研讨会，2009年，pp. 459-468.

2017-05-16cs.OS

自挂起实时的类EDF调度

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

在实时的【形】系统中，可重构性测试被用来提供时序保证。然而，对于自挂起任务集，目前的挂起感知可并行性测试仅限于任务级固定优先级（TFP）调度或最早期限优先（EDF）约束的任务系统。在这项工作中，我们提供了一个统一的可扩展性测试单处理器版本的全球EDF样（GEL）和任意截止日期的任务集。现有的大量调度算法都可以看作是EDF类算法，如EDF、先进先出（FIFO）、最早准截止时间优先（EQDF）和挂起感知EDF（SAEDF）等。因此，统一的可验证性测试适用于这些算法。此外，可验证性测试也可以应用于TFP调度。我们的分析是第一个暂停感知的可扩展性测试适用于任意截止期零星的实时的【形】任务系统下的作业级固定优先级（JFP）调度，如EDF。此外，它是第一个统一的暂停感知可扩展性测试框架，涵盖了广泛的调度算法。通过数值模拟，我们表明，可扩展性测试优于最先进的EDF约束的最后期限的情况下。此外，我们证明了EQDF和SAEDF下的不同配置的性能。

2021-11-18cs.OS

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

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

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

2010-12-29cs.OS

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

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为基础的计划，确保有限的最后期限迟到。在该方案中，必须关注每个任务的利用率，但不需要严格限制总体利用率。我们的计划应该使广泛的软实时的应用程序被调度的总利用率没有限制。并提出可用于减少拖期和提高任务效率的技术和策略。

2012-05-01cs.OS

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

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

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

2024-10-22cs.OS

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

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

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

2020-03-11cs.OScs.SYeess.SY

更多相关论文收起更多论文

共享Cache动态重分配的混合关键度调度

Mixed-criticality Scheduling with Dynamic Redistribution of Shared Cache

混合临界系统的设计通常涉及安全保证和性能之间的痛苦权衡。然而，在设计和分析混合临界系统的调度安排时使用更详细的体系结构模型可以在分析中提供更大的信心，但也有机会获得更好的性能。出于这一观点，我们提出了一个扩展的Vestal 19 s模型的mixedcriticalitymulticore系统，（i）占每taskpartitioning的最后一级缓存和（ii）支持的dynamicreassignment，更好的可扩展性，缓存部分最初保留较低的关键性任务的higher-criticalitytasks，当系统切换到高关键性模式。在此模型中，我们采用了Ekberg和Yi 19的最后期限缩放技术的EDF分区调度。我们的可扩展性分析和比例因子计算是通过使用考虑到这些资源的WCET估计来认识分配给每个任务的缓存资源。因此，它能够在模式改变时利用缓存分区的动态重新配置，以获得更好的性能。我们还提出了在低和高临界模式下划分缓存的策略，以提高可扩展性。我们的实验与合成任务集，表明有形的改进inaccurability相比，基线缓存感知的执行，没有重新分配的缓存资源从低到高的关键性任务的情况下，模式的变化。

2017-04-28cs.OS

基于利用率差异的混合关键系统分区调度

Utilization Difference Based Partitioned Scheduling of Mixed-Criticality Systems

混合关键性（MC）系统将具有不同关键性的多个功能整合到单个硬件平台上。这种系统提高了整体资源利用率，同时保证了关键任务的资源。在本文中，我们专注于分区多处理机MC调度问题，特别是设计有效的分区策略的问题。我们开发了两个新的分区策略的基础上的原则，平均分配的关键任务的总高临界利用率和总低临界利用率之间的差异在所有处理器。通过平衡这种差异，我们能够减少悲观主义的单处理器MC可扩展性测试，适用于每个处理器，从而提高整体可扩展性。为了评估所提出的策略的可扩展性性能，我们将它们与现有的分区算法进行了广泛的实验比较。我们表明，所提出的策略是有效的动态优先级最早期限第一与虚拟截止日期（EDF VD）和固定优先级的自适应混合关键性（AMC）算法。具体来说，我们的研究结果表明，所提出的策略提高了高达28.1%和36.2%的隐式和有约束的最后期限的任务系统分别。

2020-03-11cs.OS

LINTS^RT：一个学习驱动的嵌入式系统智能调度测试平台

LINTS^RT: A Learning-driven Testbed for Intelligent Scheduling in Embedded Systems

由于最先进的嵌入式系统中的工作负载和硬件资源的复杂性不断增加，开发高效的实时嵌入式系统和相应的可扩展性测试变得相当具有挑战性。虽然在实践中可以实现接近最佳的可调度性性能，以支持简单的系统模型，添加任何小的复杂性元素到问题的上下文中，如非抢占或资源异构性将导致显着的悲观，这可能不会被任何现有的调度技术消除。在本文中，我们提出了LINTS^RT，一个基于学习的智能实时调度测试平台，它有可能处理在实践中看到的各种复杂性。LINTS^RT的设计从根本上受到AlphaGo Zero的启发，用于玩棋盘游戏Go，并特别解决了由于实时调度上下文而带来的几个关键挑战。我们首先介绍了LINTS^RT的简洁设计，以支持基本情况：在同构多处理器上调度零星工作负载，然后演示如何轻松扩展该框架以处理进一步的复杂性，例如非抢占和资源异构性。应用程序和操作系统级的实现和评估都表明，与最常用的编译器、全局EDF和RM相比，LINTS^RT能够在不同的设置下实现显著更高的运行时可编译性。据我们所知，这项工作是第一次尝试设计和实现一个可扩展的基于学习的测试平台，自主实时调度决策。

2020-07-10cs.OS