MPU-based incremental checkpointing for transiently-powered systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

MPU-based incremental checkpointing for transiently-powered systems


Transiently-powered devices are a class of small devices powered by energy harvesting. Because such devices are subject to frequent power outages, many recent works propose to checkpoint data residing in volatile RAM into non-volatile RAM. In this article, we propose a new incremental checkpointing mechanism supported by a common hardware component, namely a Memory Protection Unit (MPU). This mechanism leverages the hardware interrupts of the MPU: volatile RAM is read-only on boot and is progressively unlocked as soon as protection violations occur. The MPU interrupt handler is designed to flag the corresponding volatile RAM blocks as dirty, i.e., modified. When a power outage is foreseen to be imminent, the software simply has to copy the dirty blocks from volatile RAM into the non-volatile RAM to ensure application progress over power outages. We validate our approach analytically and in cycle-accurate simulation, and we show that the proposed solution can be easily implemented on real hardware.
Fichier principal
Vignette du fichier
BMRS-dsd20.pdf (272.15 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03116944 , version 1 (20-01-2021)



Gautier Berthou, Kevin Marquet, Tanguy Risset, Guillaume Salagnac. MPU-based incremental checkpointing for transiently-powered systems. DSD 2020 23rd Euromicro Conference on Digital System Design, Aug 2020, Kranj, France. pp.89-96, ⟨10.1109/DSD51259.2020.00025⟩. ⟨hal-03116944⟩
55 View
170 Download



Gmail Facebook X LinkedIn More