Compiler Optimizations for Safe Insertion of Checkpoints in Intermittently Powered Systems

Bahram Yarahmadi (1) , Erven Rohou (1)

1 PACAP - Pushing Architecture and Compilation for Application Performance

A large and increasing number of Internet-of-Things devices are not equipped with batteries and harvest energy from their environment. Many of them cannot be physically accessed once they are deployed (embedded in civil engineering structures, sent in the atmosphere or deep in the oceans). When they run out of energy, they stop executing and wait until the energy level reaches a threshold. Programming such devices is challenging in terms of ensuring memory consistency and guaranteeing forward progress. Previous work has proposed to insert checkpoints in the program so that execution can resume from well-defined locations. In this work, we propose to define these checkpoint locations based on statically-computed worst-case energy consumption of code sections. We also apply classical compiler optimizations in order to decrease the required number of checkpoints at runtime. As our method is based upon worst-case energy consumption, we can guarantee memory consistency and forward progress.

Mots clés: worst-case energy consumption; static analysis; energy harvesting; checkpoint

Domaines: Autre [cs.OH]

Bahram Yarahmadi, Erven Rohou. Compiler Optimizations for Safe Insertion of Checkpoints in Intermittently Powered Systems. SAMOS 2020 - International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, Jul 2020, Virtual, Greece. pp.1-16, ⟨10.1007/978-3-030-60939-9_12⟩. ⟨hal-02914953⟩