License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2018.4
URN: urn:nbn:de:0030-drops-97506
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/9750/
Go to the corresponding OASIcs Volume Portal


Guet, Fabrice ; Santinelli, Luca ; Morio, Jérôme ; Phavorin, Guillaume ; Jenn, Eric

Toward Contention Analysis for Parallel Executing Real-Time Tasks

pdf-format:
OASIcs-WCET-2018-4.pdf (0.5 MB)


Abstract

In measurement-based probabilistic timing analysis, the execution conditions imposed to tasks as measurement scenarios, have a strong impact to the worst-case execution time estimates. The scenarios and their effects on the task execution behavior have to be deeply investigated. The aim has to be to identify and to guarantee the scenarios that lead to the maximum measurements, i.e. the worst-case scenarios, and use them to assure the worst-case execution time estimates.
We propose a contention analysis in order to identify the worst contentions that a task can suffer from concurrent executions. The work focuses on the interferences on shared resources (cache memories and memory buses) from parallel executions in multi-core real-time systems. Our approach consists of searching for possible task contenders for parallel executions, modeling their contentiousness, and classifying the measurement scenarios accordingly. We identify the most contentious ones and their worst-case effects on task execution times. The measurement-based probabilistic timing analysis is then used to verify the analysis proposed, qualify the scenarios with contentiousness, and compare them. A parallel execution simulator for multi-core real-time system is developed and used for validating our framework.
The framework applies heuristics and assumptions that simplify the system behavior. It represents a first step for developing a complete approach which would be able to guarantee the worst-case behavior.

BibTeX - Entry

@InProceedings{guet_et_al:OASIcs:2018:9750,
  author =	{Fabrice Guet and Luca Santinelli and J{\'e}r{\^o}me Morio and Guillaume Phavorin and Eric Jenn},
  title =	{{Toward Contention Analysis for Parallel Executing Real-Time Tasks}},
  booktitle =	{18th International Workshop on Worst-Case Execution Time  Analysis (WCET 2018)},
  pages =	{4:1--4:13},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-073-6},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{63},
  editor =	{Florian Brandner},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/9750},
  doi =		{10.4230/OASIcs.WCET.2018.4},
  annote =	{Keywords: Contention analysis, parallel executions, measurement-based probabilistic timing analysis, probabilistic worst-case execution time}
}

Keywords: Contention analysis, parallel executions, measurement-based probabilistic timing analysis, probabilistic worst-case execution time
Collection: 18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018)
Issue Date: 2018
Date of publication: 24.09.2018


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI