Fast and Energy-Efficient State Checkpointing for Intermittent Computing

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).
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.

TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Datorsystem hsv//swe
ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Computer Systems hsv//eng
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

Bhatti, NaveedAir University, Pakistan (author)
Alizai, HamadLahore University of Management Science, Pakistan (author)
Siddiqui, JunaidLahore University of Management Science, Pakistan (author)
Mottola, LucaRISE,Datavetenskap,Politecnico di Milano, Italy; RISE, Sweden(Swepub:uu)lucmo115 (author)
Lahore University of Management Science, PakistanAir University, Pakistan (creator_code:org_t)

In:ACM Transactions on Embedded Computing Systems: Association for Computing Machinery19:61539-90871558-3465

By the author/editor: Ahmed, Saad; Bhatti, Naveed; Alizai, Hamad; Siddiqui, Junaid; Mottola, Luca

About the subject

ENGINEERING AND TECHNOLOGY: ENGINEERING AND ...; and Electrical Engin ...; and Computer Systems

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.