Bahram Yarahmadi successfully defended his PhD on Thursday, July 1st, 2021.
Jury members
- Abdoulaye GAMATIE, Senior Researcher, CNRS/LIRMM Montpellier
- Maria MENDEZ REAL Assistant Professor, Université de Nantes
- Fabrice RASTELLO, Senior Researcher, Inria Grenoble
- Henri-Pierre CHARLES, Senior Researcher, CEA Grenoble
- Olivier SENTIEYS, Professor, Université de Rennes 1
- Erven Rohou, Senior Researcher, Inria Rennes
Title: Static and dynamic compiler support for intermittently powered computer systems
Abstract: 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.
