STR2RTS: Refactored StreamIT benchmarks into statically analyzable parallel benchmarks for WCET estimation & real-time scheduling

Benjamin Rouxel 1, 2 Isabelle Puaut 1, 2
2 PACAP - Pushing Architecture and Compilation for Application Performance
Inria Rennes – Bretagne Atlantique , IRISA_D3 - ARCHITECTURE
Abstract : We all had quite a time to find non-proprietary architecture-independent exploitable parallel benchmarks for Worst-Case Execution Time (WCET) estimation and real-time scheduling. However , there is no consensus on a parallel benchmark suite, when compared to the single-core era and the Mälardalen benchmark suite [12]. This document bridges part of this gap, by presenting a collection of benchmarks with the following good properties: (i) easily analyzable by static WCET estimation tools (written in structured C language, in particular neither goto nor dynamic memory allocation, containing flow information such as loop bounds); (ii) independent from any particular run-time system (MPI, OpenMP) or real-time operating system. Each benchmark is composed of the C source code of its tasks, and an XML description describing the structure of the application (tasks and amount of data exchanged between them when applicable). Each benchmark can be integrated in a full end-to-end empirical method validation protocol on multi-core architecture. This proposed collection of benchmarks is derived from the well known StreamIT [21] benchmark suite and will be integrated in the TACleBench suite [11] in a near future. All these benchmarks are available at https://gitlab.inria.fr/brouxel/STR2RTS.
Type de document :
Communication dans un congrès
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. 〈10.4230/OASIcs.WCET.2017.1〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

http://hal.upmc.fr/hal-01590446
Contributeur : Isabelle Puaut <>
Soumis le : mardi 19 septembre 2017 - 15:40:32
Dernière modification le : vendredi 9 février 2018 - 15:40:00

Fichier

WCET_2017_Benjamin.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Citation

Benjamin Rouxel, Isabelle Puaut. STR2RTS: Refactored StreamIT benchmarks into statically analyzable parallel benchmarks for WCET estimation & real-time scheduling. 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. 〈10.4230/OASIcs.WCET.2017.1〉. 〈hal-01590446〉

Partager

Métriques

Consultations de la notice

123

Téléchargements de fichiers

39