WARio

Title

WARio: efficient code generation for intermittent computing

 Author

Kortbeek, V. (TU Delft Embedded Systems)
Ghosh, Souradip (Carnegie Mellon University)
Hester, Josiah (Northwestern University)
Campanoni, Simone (Northwestern University)
Pawełczak, Przemysław (TU Delft Embedded Systems) ORCID 0000-0002-1302-1148

 Contributor

Jhala, Ranjit (editor)
Dillig, Isil (editor)

Date

2022

 Abstract

Intermittently operating embedded computing platforms powered by energy harvesting require software frameworks to protect from errors caused by Write After Read (WAR) dependencies. A powerful method of code protection for systems with non-volatile main memory utilizes compiler analysis to insert a checkpoint inside each WAR violation in the code. However, such software frameworks are oblivious to the code structure - -and therefore, inefficient - -when many consecutive WAR violations exist. Our insight is that by transforming the input code, i.e., moving individual write operations from unique WARs close to each other, we can significantly reduce the number of checkpoints. This idea is the foundation for WARio: a set of compiler transformations for efficient code generation for intermittent computing. WARio, on average, reduces checkpoint overhead by 58%, and up to 88%, compared to the state of the art across various benchmarks.


 Subject

battery-free
code transformation
compiler
embedded system
intermittent computing
optimization

 To reference this document use:

http://resolver.tudelft.nl/uuid:e766fef1-2ef2-4158-ba62-73953869aab7

 DOI

https://doi.org/10.1145/3519939.3523454

 Publisher

Association for Computing Machinery (ACM)

 ISBN

9781450392655

 Source

PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation

 Event

43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2022, 2022-06-13 → 2022-06-17, Virtual, Online, United States

 Series

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

 Part of collection

Institutional Repository

 Document type

conference paper

 Rights

© 2022 V. Kortbeek, Souradip Ghosh, Josiah Hester, Simone Campanoni, Przemysław Pawełczak
Files
PDF 3519939.3523454.pdf 806.44 KB
Close viewer