Skip to Main content Skip to Navigation
Conference papers

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
Inria Rennes – Bretagne Atlantique , IRISA-D3 - ARCHITECTURE
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Erven Rohou Connect in order to contact the contributor
Submitted on : Thursday, August 13, 2020 - 9:17:10 AM
Last modification on : Monday, April 4, 2022 - 9:28:24 AM
Long-term archiving on: : Monday, November 30, 2020 - 7:07:49 PM


Files produced by the author(s)



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⟩



Record views


Files downloads