Intermittent computing requires custom programming models to ensure the correct execution of applications despite power failures. However, existing programming models lead to the 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 transientlypowered applications.
Virtualizing Intermittent Computing / Durmaz, C.; Yildirim, K. S.; Kardas, G.. - In: IEEE INTERNET OF THINGS JOURNAL. - ISSN 2327-4662. - 9:21(2022), pp. 20869-20878. [10.1109/JIOT.2022.3176587]
Virtualizing Intermittent Computing
Yildirim K. S.;
2022-01-01
Abstract
Intermittent computing requires custom programming models to ensure the correct execution of applications despite power failures. However, existing programming models lead to the 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 transientlypowered applications.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
