Affordable Access

Compiler Optimizations for Safe Insertion of Checkpoints in Intermittently Powered Systems

Authors
  • Yarahmadi, Bahram
  • Rohou, Erven
Publication Date
Jul 05, 2020
Source
HAL
Keywords
Language
English
License
Unknown
External links

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.

Report this publication

Statistics

Seen <100 times