.png){kind=icon}
返回
WARio: Efficient Code Generation for Intermittent Computing
.png){kind=icon}
OA
AI
DOI：10.1145/3519939.3523454.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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.
Keyword:
intermittent computing
battery-free
compiler
embedded system
code transformation
optimization
期刊
机构
引用论文
Hibernus plus plus : A Self-Calibrating and Adaptive System for Transiently-Powered Embedded Devices
PREAI
分享收藏Large-Scale Mutagenesis in p19ARF- and p53-Deficient Mice Identifies Cancer Genes and Their Collaborative Networks.png)
Cell
OAAI
CellIF0
OAAI分享收藏
查看更多内容