Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Fast and Energy-Efficient State Checkpointing for Intermittent Computing
Lahore University of Management Science, Pakistan.
Air University, Pakistan.
Lahore University of Management Science, Pakistan.
Lahore University of Management Science, Pakistan.
Show 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).

Available from: 2021-01-07 Created: 2021-01-07 Last updated: 2023-05-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Mottola, Luca

Search in DiVA

By author/editor
Mottola, Luca
By organisation
Data Science
In the same journal
ACM Transactions on Embedded Computing Systems
Natural Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 130 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf