Virtualizing Intermittent Computing
Programming Languages
2021-11-30 v1 Hardware Architecture
Abstract
Intermittent computing requires custom programming models to ensure the correct execution of applications despite power failures. However, existing programming models lead to programs that are hardware-dependent and not reusable. This paper aims at virtualizing intermittent computing to remedy these problems. We introduce PureVM, a virtual machine that abstracts a transiently powered computer, and PureLANG, a continuation-passing-style programming language to develop programs that run on PureVM. This virtualization, for the first time, paves the way for portable and reusable transiently-powered applications.
Cite
@article{arxiv.2111.14249,
title = {Virtualizing Intermittent Computing},
author = {Caglar Durmaz and Kasim Sinan Yildirim and Geylani Kardas},
journal= {arXiv preprint arXiv:2111.14249},
year = {2021}
}