Скачать или смотреть [LCTES'25] vNV-Heap: An Ownership-Based Virtually Non-volatile Heap for Embedded Systems

vNV-Heap: An Ownership-Based Virtually Non-Volatile Heap for Embedded Systems (Video, LCTES 2025)
Markus Elias Gerber, Luis Gerhorst, Ishwar Mudraje, Kai Vogelgesang, Thorsten Herfet, and Peter Wägemann
(Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany; Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany; Saarland University, Germany; Saarland University, Germany; Saarland University, Germany; Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany)

Abstract: The Internet of Batteryless Things might revolutionize our understanding of connected devices by harvesting required operational energy from the environment. These systems come with the system-software challenge that the intermittently powered IoT devices have to checkpoint their state in non-volatile memory to later resume with this state when sufficient energy is available. The scarce energy resources demand that only modified data is persisted before a power failure, which requires precise modification tracking.


We present vNV-Heap, the first ownership-based virtually Non-Volatile Heap for intermittently powered systems with guaranteed power-failure resilience. The heap exploits ownership systems, a zero-cost (i.e., compile-time) abstraction for example implemented by Rust, to track modifications and virtualize object persistence. To achieve power-failure resilience, our heap is designed and implemented to guarantee bounded operations by static program code analysis: For example, the heap allows for determining a worst-case energy consumption for the operation of persisting modified and currently volatile objects. The evaluation of our open-source implementation on an embedded hardware platform (i.e., ESP32-C3) shows that using our heap abstraction is more energy efficient than existing approaches while also providing runtime guarantees by static worst-case bounds.

Article: https://doi.org/10.1145/3735452.3735534

Supplementary archive: https://doi.org/10.1145/3712433 (Badges: Artifacts Available, Artifacts Evaluated — Reusable, Results Reproduced)

Supplementary web page: https://gitos.rrze.fau.de/i4/openacce...

ORCID: https://orcid.org/0009-0005-9089-4902, https://orcid.org/0000-0002-3401-430X, https://orcid.org/0009-0003-6870-7862, https://orcid.org/0000-0002-7633-1880, https://orcid.org/0000-0002-3746-7638, https://orcid.org/0000-0002-3730-533X

Video Tags: Intermittent Computing, Non-Volatile Memory, Memory Safety, Rust, Power-Failure Resilience, pldiws25lctesmain-p94-p, doi:10.1145/3735452.3735534, doi:10.1145/3712433, orcid:0009-0005-9089-4902, orcid:0000-0002-3401-430X, orcid:0009-0003-6870-7862, orcid:0000-0002-7633-1880, orcid:0000-0002-3746-7638, orcid:0000-0002-3730-533X, Artifacts Available, Artifacts Evaluated — Reusable, Results Reproduced

Presentation at the LCTES 2025 conference, June 16–17, 2025, https://pldi25.sigplan.org/home/LCTES...
Sponsored by ACM SIGPLAN, ACM SIGBED,