COURTAUD Cédric

PhD graduated
Team : Whisper
Departure date : 01/30/2020
https://lip6.fr/Cedric.Courtaud

Supervision : Gilles MULLER

Co-supervision : GRACIA PÉREZ Daniel, SOPENA Julien

Characterization of the sensitivity to memory interferences in real-time systems embedded on multi-core platforms

Interference on the memory system can cause significant slowdowns to applications running in parallel on COTS multi-core processors. They are caused by concurrent accesses to shared hardware resources in the memory system. The magnitude of the delays caused by this phenomenon is difficult to predict, making interference a major obstacle to the adoption of COTS multi-core processors in real-time systems.
This thesis is devoted to the characterization of the sensitivity of an application to memory interferences based on a characterization of its behavior in isolation. The goal is to determine a priori if an application is sensitive to this problem or not. Using a set of microbenchmarks that we have previously introduced, we show that a purely quantitative characterization of memory access behavior characterizes the sensitivity to interference in a very imprecise way.
In order to allow a more precise characterization of sensitivity, we introduce different metrics to quantify quantitative and qualitative aspects of memory use. In order to measure these metrics, we implement a profiler prototype based on dynamic binary instrumentation approaches.
In addition to allowing the measurement of qualitative aspects, this tool produces high-resolution profiles that clearly distinguish the different phases in application behaviors. Finally, we use data from our microbenchmarks to train a machine learning algorithm according to several characterizations.
Experimental results show significant reductions in error reduction for the prediction of the delay undergone by applications of the MiBench and PARSEC suites.

Defence : 01/28/2020

Jury members :

Daniel Hagimont, Professeur des Universités, INPT/ ENSEEIHT [Rapporteur]
GIlles Grimaud, Professeur des Universités, Université de Lille 1 [Rapporteur]
Liliana Cucu-Grosjean, Chargée de recherche, Inria
Lionel Lacasagne, Professeur des Universités, Sorbonne Université
Mme. Isabelle Puaut , Professeure des Universités, Université de Rennes 1
Daniel Gracia Pérez, Ingénieur de recherche, Thales
Julien Sopena, Maître de conférence, Sorbonne Université
M. Gilles Muller, Directeur de recherche, Inria

Departure date : 01/30/2020

2016-2020 Publications

Mentions légales
Site map