Affiliation:
1. Lahore University of Management Sciences (LUMS), Lahore, Punjab, Pakistan
2. Air University, Islamabad, Pakistan
3. Politecnico di Milano, Italy and RISE, Sweden
Abstract
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.
Funder
Swedish Foundation for Strategic Research
Publisher
Association for Computing Machinery (ACM)
Subject
Hardware and Architecture,Software
Reference62 articles.
1. Efficient intermittent computing with differential checkpointing
2. ARDUINO. 2018. NANO. https://store.arduino.cc/usa/arduino-nano (accessed 2018-02-28). ARDUINO. 2018. NANO. https://store.arduino.cc/usa/arduino-nano (accessed 2018-02-28).
3. Ultrasonic Power and Data Link for Wireless Implantable Applications
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献