Task synchronization in reservation-based real-time systems

Task synchronization in reservation-based real-time systems
复制标题

基于预约的实时系统中的任务同步

DOI:
10.1109/tc.2004.120
复制
发表时间:
2004
影响因子:
3.7
通讯作者:
Luca Abeni
Luca Abeni
中科院分区:
计算机科学2区
文献类型:
--
作者:
Giuseppe Lipari;Gerardo Lamastra;Luca Abeni

文献摘要

被引文献

相似文献

在本文中,我们提出了带宽继承(BWI)协议,一个新的战略,调度实时任务在动态系统中,它扩展了资源预留框架的系统,任务可以通过共享资源进行交互。所提出的协议提供了独立的任务组之间的时间隔离,并使可并行性分析,以保证硬实时任务的性能。我们表明,BWI是著名的优先级继承协议的动态预约系统的自然扩展。的协议的形式化分析,并提出了一个保证测试的硬实时任务,考虑到硬实时任务与软实时任务相互作用的情况下。
In this paper, we present the BandWidth Inheritance (BWI) protocol, a new strategy for scheduling real-time tasks in dynamic systems, which extends the resource reservation framework to systems where tasks can interact through shared resources. The proposed protocol provides temporal isolation between independent groups of tasks and enables a schedulability analysis for guaranteeing the performance of hard real-time tasks. We show that BWI is the natural extension of the well-known priority inheritance protocol to dynamic reservation systems. A formal analysis of the protocol is presented and a guarantee test for hard real-time tasks is proposed that takes into account the case in which hard real-time tasks interact with soft real-time tasks.