The Parallel Multi-Mode Digraph Task Model for Energy-Aware Real-Time Heterogeneous Multi-Core Systems

Many task models have been proposed to express and analyze the behavior of real-time applications at different levels of precision. Most of them target sequential applications with no support for parallelism. The digraph task model is one of the most general ones, as it allows modeling arbitrary dir...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on computers 2019-10, Vol.68 (10), p.1511-1524
Main Authors: Zahaf, Houssam-Eddine, Lipari, Giuseppe, Bertogna, Marko, Boulet, Pierre
Format: Article
Language:English
Subjects:
Analytical models
Computational modeling
Computer Science
Computer simulation
digraph
energy aware
Energy consumption
Energy management
Graph theory
Multicore processing
Operating Systems
parallel programming
Real time
Real-time systems
Solid modeling
Systems and Control
Task analysis
Task complexity
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Many task models have been proposed to express and analyze the behavior of real-time applications at different levels of precision. Most of them target sequential applications with no support for parallelism. The digraph task model is one of the most general ones, as it allows modeling arbitrary directed graphs (digraphs) for sequential job releases. In this paper, we extend the digraph task model to support intra-task parallelism. For the proposed parallel multi-mode digraph model, we derive sufficient schedulability tests and a dichotomic search to improve the test pessimism for a set of nn tasks onto a heterogeneous single-ISA multi-core platform. To reduce the computational complexity of the schedulability test, we also propose heuristics for (i) partitioning parallel digraph tasks onto the heterogeneous cores, and (ii) assigning core operating frequencies to reduce the overall energy consumption, while meeting real-time constraints. The effectiveness of the proposed approach is validated with an exhaustive set of simulations.
ISSN:0018-9340
1557-9956
DOI:10.1109/TC.2019.2909886