Automated checkpointing for enabling intensive applications on energy harvesting devices

We propose a framework that enables intensive computation on ultra-low power devices with discontinuous energy-harvesting supplies. We devise an optimization algorithm that efficiently partitions the applications into smaller computational steps during high-level synthesis. Our system finds low-over...

Full description

Saved in:
Bibliographic Details
Published inProceedings of the 2013 International Symposium on Low Power Electronics and Design pp. 27 - 32
Main Authors Mirhoseini, Azalia, Songhori, Ebrahim M., Koushanfar, Farinaz
Format Conference Proceeding
LanguageEnglish
Published Piscataway, NJ, USA IEEE Press 04.09.2013
SeriesACM Conferences
Subjects
Applied computing > Physical sciences and engineering > Electronics
Hardware > Hardware validation
Software and its engineering > Software organization and properties > Extra-functional properties > Software fault tolerance > Checkpoint > restart
battery-less RFID
energy harvesting
hardware checkpointing
high level synthesis
Online AccessGet full text

Cover

More Information
Summary:We propose a framework that enables intensive computation on ultra-low power devices with discontinuous energy-harvesting supplies. We devise an optimization algorithm that efficiently partitions the applications into smaller computational steps during high-level synthesis. Our system finds low-overhead checkpoints that minimize recomputation cost due to power losses, then inserts the checkpoints at the design's register-transfer level. The checkpointing rate is automatically adapted to the source's realtime behavior. We evaluate our mechanisms on a battery-less RF energy-harvester platform. Extensive experiments targeting applications in medical implant devices demonstrate our approach's ability to successfully execute complex computations for various supply patterns with low time, energy, and area overheads.
ISBN:1479912352
9781479912353
DOI:10.5555/2648668.2648678