Support des compilateurs statiques et dynamiques pour les systèmes informatiques alimentés par intermittence

Type de soutenance
Thèse
Date de début
Date de fin
Lieu
IRISA Rennes
Salle
Lipari
Orateur
Bahram Yarahmadi
Département
Sujet

Récemment, différentes stratégies de checkpointing basées sur le logiciel et le matériel ont été proposées pour avancer vers l'exécution pour les dispositifs IoT de récolte d'énergie.  Cette thèse présente deux solutions logicielles différentes basées sur la compilation statique et dynamique. Le compilateur statique proposé insère des points de contrôle basés sur la pire consommation d'énergie des sections de code calculée de manière statique. En outre, il applique les optimisations classiques du compilateur afin de réduire le nombre de points de contrôle requis à l'exécution. La technique de compilation dynamique proposée reporte le placement et la spécialisation des points de contrôle au moment de l'exécution et prend des décisions en fonction des pannes de courant passées et des chemins d'exécution empruntés avant chaque panne de courant. Les deux solutions proposées garantissent une progression vers l'avant ainsi que le maintien de la cohérence de la mémoire. En outre, elles visent à accroître la portabilité en n'utilisant aucune caractéristique matérielle des systèmes IoT. En outre, elles sont transparentes pour le programmeur.

Composition du jury
Abdoulaye GAMATIE Directeur de Recherches, CNRS/LIRMM Montpellier
Maria MENDEZ REAL Maître de Conférences, Université de Nantes
Fabrice RASTELLO Directeur de Recherches, Inria Grenoble
Henri-Pierre CHARLES Directeur de Recherches Research Director CEA Grenoble
Olivier SENTIEYS Professeur, Université de Rennes 1
Erven Rohou Directeur de Recherches, Inria Rennes (Directeur de thèse)