Skip to Main content Skip to Navigation
Conference papers

MPU-based incremental checkpointing for transiently-powered systems

Gautier Berthou 1 Kevin Marquet 1 Tanguy Risset 1 Guillaume Salagnac 1
1 SOCRATE - Software and Cognitive radio for telecommunications
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03116944
Contributor : Tanguy Risset Connect in order to contact the contributor
Submitted on : Wednesday, January 20, 2021 - 5:05:37 PM
Last modification on : Wednesday, May 26, 2021 - 11:45:15 AM
Long-term archiving on: : Wednesday, April 21, 2021 - 7:03:40 PM

File

BMRS-dsd20.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Les métriques sont temporairement indisponibles