Université de Rennes 1 Static and dynamic compiler support for intermittently powered computer systems Support des compilateurs statiques et dynamiques pour les systèmes informatiques alimentés par intermittence Exécution intermittenteanalyse statiquepoint de contrôlecompilation dynamique Intermittent ExecutionStatic AnalysisCheckpointDynamic Compilation Logiciels -- Vérification Compilateurs (logiciels) 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. With the advent of Internet of things (IoT), there is a need to provide energy for a massive number of smart tiny devices without using large, heavy, and high maintenance batteries. One promising way is to harvest energy from the environment and store it into an energy buffer such as a capacitor. In this way, programs are being executed as long as there is available energy in the capacitor, and crash when it exhausts. Recently, different software and hardware based checkpointing strategies have been proposed to make forward progress toward execution for energy harvesting IoT devices. This thesis introduces two different software solutions based on static and dynamic compilation. The proposed static compiler inserts checkpoints based on statically-computed worst-case energy consumption of code sections. Moreover, it applies classical compiler optimizations in order to decrease the required number of checkpoints at runtime. The proposed dynamic compilation technique delays checkpoint placement and specialization to the runtime and takes decisions based on the past power failures and execution paths taken before each power failure. Both proposed solutions guarantee making forward progress as well as keeping the memory consistent. Furthermore, they aim to increase portability by not using any hardware feature of the IoT device. In addition, they are transparent to the programmer. Electronic Thesis or DissertationText en application/pdf1 : 2090 Kohttps://ged.univ-rennes1.fr/nuxeo/site/esupversions/46933bb8-95f0-4ee0-a4e4-742f77b5f67c Yarahmadi Bahram 1987-09-02 IR 257604928 bahram.yarahmadi@gmail.com 2021REN1S026 http://www.theses.fr/2021REN1S026 2021-07-01 Informatique Universite de Rennes 1thesis.degree.grantor_1 02778715X Doctorat non ouiRohouErvenintervenant_1135287065SentieysOlivierintervenant_2061585920CharlesHenri-Pierreintervenant_5052298264Méndez RealMariaintervenant_622621723XGamatié‎Abdoulayeintervenant_3081102828RastelloFabriceintervenant_4149155727 MATHSTICecoleDoctorale_1 204770424 INRIA-RENNES partenaireRecherche_1 133175863 ddc:004 RohouErvenSentieysOlivierGamatié‎AbdoulayeRastelloFabriceCharlesHenri-PierreMéndez RealMariaUniversite de Rennes 1Sciences et technologie, medecine, pharmacie, odontologie, droit, economie, gestion, philosophieMATHSTICÉcole doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) INRIA-RENNES ASCII PDF 2140349