Fast and Energy-Efficient State Checkpointing for Intermittent ComputingShow others and affiliations
2020 (English)In: ACM Transactions on Embedded Computing Systems, ISSN 1539-9087, E-ISSN 1558-3465, Vol. 19, no 6, article id 45Article in journal (Refereed) Published
Abstract [en]
Intermittently powered embedded devices ensure forward progress of programs through state checkpointing in non-volatile memory. Checkpointing is, however, expensive in energy and adds to the execution times. To minimize this overhead, we present DICE, a system that renders differential checkpointing profitable on these devices. DICE is unique because it is a software-only technique and efficient because it only operates in volatile main memory to evaluate the differential. DICE may be integrated with reactive (Hibernus) or proactive (MementOS, HarvOS) checkpointing systems, and arbitrary code can be enabled with DICE using automatic code-instrumentation requiring no additional programmer effort. By reducing the cost of checkpoints, DICE cuts the peak energy demand of these devices, allowing operation with energy buffers that are one-eighth of the size originally required, thus leading to benefits such as smaller device footprints and faster recharging to operational voltage level. The impact on final performance is striking: with DICE, Hibernus requires one order of magnitude fewer checkpoints and one order of magnitude shorter time to complete a workload in real-world settings.
Place, publisher, year, edition, pages
Association for Computing Machinery , 2020. Vol. 19, no 6, article id 45
Keywords [en]
differential checkpointing, intermittent computing, Transiently powered computers, Digital storage, Automatic codes, Embedded device, Energy efficient, Non-volatile memory, Operational voltage, Peak energy demand, Real world setting, Software-only techniques, Energy efficiency
National Category
Natural Sciences
Identifiers
URN: urn:nbn:se:ri:diva-51202DOI: 10.1145/3391903Scopus ID: 2-s2.0-85097331607OAI: oai:DiVA.org:ri-51202DiVA, id: diva2:1515022
Note
Funding details: Stiftelsen för Strategisk Forskning, SSF; Funding text 1: This research has been partially supported by the Swedish Foundation for Strategic Research (SSF).
2021-01-072021-01-072023-05-25Bibliographically approved