arXiv 0908.35192009-08-25cs.OS

异构多处理器实时的系统中固定作业优先级调度器的可预测性

Predictability of Fixed-Job Priority Schedulers on Heterogeneous Multiprocessor Real-Time Systems

Liliana Cucu-Grosjean, Joël Goossens

摘要：

研究了实时的【形】系统的多处理机固定作业优先级调度问题。异构多处理器平台的可预测性分析的一个重要属性，可预测性（无论执行时间），进行了研究。我们的主要贡献是表明，任何FJP浏览器在不相关的平台上都是可预测的。一个方便的结果是，任何FJP编译器在统一的多处理器上都是可预测的。

英文摘要：

The multiprocessor Fixed-Job Priority (FJP) scheduling of real-time systems is studied. An important property for the schedulability analysis, the predictability (regardless to the execution times), is studied for heterogeneous multiprocessor platforms. Our main contribution is to show that any FJP schedulers are predictable on unrelated platforms. A convenient consequence is the fact that any FJP schedulers are predictable on uniform multiprocessors.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

同一多处理机平台上实时的并行程序的周期性行为

On the periodic behavior of real-time schedulers on identical multiprocessor platforms

本文提出了一个一般的周期性结果，任何确定性和无记忆调度算法（包括非工作守恒算法），对于任何情况下，在相同的多处理器平台。我们所说的上下文是指硬件架构（单处理器、多核），以及关键部分、优先约束、自暂停等任务约束。由于结果仅基于版本和截止日期，因此它独立于任何其他参数。请注意，我们并不要求给定的间隔是最小的，但它是任何确定性和无记忆调度器提供的任何可行调度的任何周期的上界。

2013-05-16cs.OS

多处理器平台上周期任务实时的调度的精确可行性检验

Exact Feasibility Tests for Real-Time Scheduling of Periodic Tasks upon Multiprocessor Platforms

本文研究多处理机平台上周期任务系统的全局调度问题。我们首先展示两个非常普遍的属性，它们在单处理器平台上是众所周知的，在多处理器平台上仍然存在：（i）在很少的和不那么严格的假设下，我们证明了周期任务系统的可行调度从某个点开始是周期性的，其周期等于任务周期的最小公倍数;（ii）对于同步周期任务系统的特定情况，我们表明，可行的时间表重复从原点。然后，我们提出了我们的主要结果：我们的特征，为任务级固定优先级的机器人和异步约束或任意的截止日期周期性任务模型，上界的第一个时刻的时间表重复。我们表明，作业级固定优先级的多处理器平台上是可预测的。对于任务级固定优先级调度器，基于上界和可预测性，我们提供了异步约束或任意截止期周期任务集，精确的可行性测试。最后，对于作业级固定优先级EDF调度程序，这样的上限仍然未知，我们提供了一个确切的可行性测试。

2008-01-28cs.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

A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks

The online feasibility problem (for a set of sporadic tasks) asks whether there is a scheduler that always prevents deadline misses (if any), whatever the sequence of job releases, which is a priori} unknown to the scheduler. In the multiprocessor setting, this problem is notoriously difficult. The only exact test for this problem has been proposed by Bonifaci and Marchetti-Spaccamela: it consists in modelling all the possible behaviours of the scheduler and of the tasks as a graph; and to interpret this graph as a game between the tasks and the scheduler, which are seen as antagonistic player…

2017-04-04cs.GTcs.OS

多处理器平台上多模式实时的应用的全局调度

Global Scheduling of Multi-Mode Real-Time Applications upon Multiprocessor Platforms

多模式实时的【形】系统是那些支持不同操作模式的应用程序的系统，其中每种模式的特征在于一组特定的任务。在运行时，这样的系统可以在任何时候被请求从其当前操作模式切换到另一模式（称为“新模式”），通过用新模式的任务替换当前任务集。因此，确保满足所有定时要求不仅需要对每个模式的任务执行可并行性测试，而且还需要（i）指定用于从一个模式转换到另一个模式的协议，以及（ii）执行用于每个转换的可并行性测试。我们提出了两个不同的协议，管理统一和相同的多处理器平台在运行时的模式转换，每个特定的任务要求。对于每一个协议，我们正式建立可验证性分析，事先表明是否所有的时间要求将在系统的任何模式转换满足。这是在假定固定任务优先级和固定作业优先级的情况下执行的。

2011-02-10cs.OS

FRAP：一种用于多处理器实时系统的灵活资源访问协议

FRAP: A Flexible Resource Accessing Protocol for Multiprocessor Real-Time Systems

本文针对FP-FPS多处理器系统提出基于自旋的灵活资源访问协议FRAP，允许任务在任意优先级自旋，并设计了基于MCMF的阻塞分析保证可预测性，显著提升了系统可调度性。

2024-08-27cs.OS

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

实用条件下的最优多处理机实时的调度算法设计（扩充版）

On the Design of an Optimal Multiprocessor Real-Time Scheduling Algorithm under Practical Considerations (Extended Version)

本研究针对硬实时的【形】系统的多处理机排程问题，特别是在考虑实际限制的情况下，着重于最佳化与整体排程问题。首先，我们提出了一个改进的优化算法BF。我们正式证明我们的适应是（i）最优的，即，它总是生成可行的调度，只要这样的调度存在;以及（i i）有效，即，它符合所有要求。我们还表明，它通过提供O（n）的计算复杂度优于BF，其中n是要调度的任务数。接下来，我们提出了一个可调度性分析，该分析先验地表明了我们对BF的改进是否可以在不错过任何截止日期的情况下调度实时的【形】应用。据我们所知，这种分析是第一个考虑到操作系统产生的所有主要开销的多处理器测试。

2011-01-24cs.DCcs.OS

周期性和并行刚性实时的任务的Gang FTP调度

Gang FTP scheduling of periodic and parallel rigid real-time tasks

在本文中，我们考虑周期性和并行刚性任务的调度。我们为固定任务优先级（FTP）Gang调度程序子类提供（并证明是正确的）精确的可扩展性测试：单调性，空闲，有限Gang和有限松弛回收。此外，我们研究的可预测性，我们表明，帮派FJP的可预测性是不可预测的，我们确定了几个子类实际上是可预测的。此外，我们扩展了刚性，可塑性和可塑性工作的定义，经常性任务。

2010-06-14cs.OS

Optimal Virtual Cluster-based Multiprocessor Scheduling

Scheduling of constrained deadline sporadic task systems on multiprocessor platforms is an area which has received much attention in the recent past. It is widely believed that finding an optimal scheduler is hard, and therefore most studies have focused on developing algorithms with good processor utilization bounds. These algorithms can be broadly classified into two categories: partitioned scheduling in which tasks are statically assigned to individual processors, and global scheduling in which each task is allowed to execute on any processor in the platform. In this paper we consider a thi…

2020-04-06cs.DCcs.OS

实时的系统划分方案的多准则评价

Multi-Criteria Evaluation of Partitioning Schemes for Real-Time Systems

本文研究了多处理机实时的【形】调度的划分方法。这种方法似乎是最简单的，因为一旦完成了任务集的划分，问题就简化为很好理解的单处理器问题。同时，在处理器上划分任务没有最优和多项式的解决方案。在本文中，我们分析了划分算法从几个角度来看，对于一个给定的任务集和特定的约束（处理器数量，任务集类型等），我们应该能够识别最佳启发式和最佳可验证性测试。我们还分析了并行性对单处理器测试性能的影响以及特定任务顺序对并行性的影响。在分区调度的情况下，固定优先级调度器和EDF之间的性能差异的研究也被认为是。

2010-04-21cs.OS

TempoNet：基于Transformer的强化学习调度器用于自适应截止时间导向的实时调度

TempoNet: Slack-Quantized Transformer-Guided Reinforcement Scheduler for Adaptive Deadline-Centric Real-Time Dispatchs

University of Macau（澳门大学）；Tsinghua University（清华大学）；Northeast Normal University（东北师范大学）；Shanghai AI Laboratory（上海人工智能实验室）；The Australian National University（澳大利亚国立大学）；Peking University（北京大学）；Harbin University of Science and Technology（哈尔滨理工大学）；Renmin University of China（中国人民大学）；Adelaide University（阿德莱德大学）

TempoNet结合Transformer与深度Q近似，通过时间松弛量化和稀疏注意力机制提升实时调度性能，实现高吞吐量下的截止时间保障。

2026-08-04cs.LGcs.OScs.SY

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

Due to the increasing complexity seen in both workloads and hardware resources in state-of-the-art embedded systems, developing efficient real-time schedulers and the corresponding schedulability tests becomes rather challenging. Although close to optimal schedulability performance can be achieved for supporting simple system models in practice, adding any small complexity element into the problem context such as non-preemption or resource heterogeneity would cause significant pessimism, which may not be eliminated by any existing scheduling technique. In this paper, we present LINTS^RT, a lea…

2020-07-10cs.OS

HetSched: Quality-of-Mission Aware Scheduling for Autonomous Vehicle SoCs

Systems-on-Chips (SoCs) that power autonomous vehicles (AVs) must meet stringent performance and safety requirements prior to deployment. With increasing complexity in AV applications, the system needs to meet these real-time demands of multiple safety-critical applications simultaneously. A typical AV-SoC is a heterogeneous multiprocessor consisting of accelerators supported by general-purpose cores. Such heterogeneity, while needed for power-performance efficiency, complicates the art of task scheduling. In this paper, we demonstrate that hardware heterogeneity impacts the scheduler's effect…

2022-03-25cs.ARcs.DCcs.OS

Linux内核中的联合时间与事件触发调度

Joint Time-and Event-Triggered Scheduling in the Linux Kernel

提出一种Linux内核低开销时间触发（TT）调度类，结合Slot shifting算法管理非时间触发核，利用松弛时间为实时非周期任务提供执行时间保证，并在服务器级硬件上完成评估。

2023-07-27cs.OS