Virtualizing Intermittent Computing
Caglar Durmaz, Kasim Sinan Yildirim, Geylani Kardas
TL;DR
This paper introduces PureVM and PureLANG, a virtualization framework for intermittent computing that enables portable and reusable applications despite power failures.
Contribution
It presents the first virtualization approach for intermittent computing, creating a portable VM and a continuation-passing language for transiently-powered devices.
Findings
PureVM abstracts transient power states effectively.
PureLANG enables portable programming models.
The approach improves reusability of intermittent applications.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsEnergy Harvesting in Wireless Networks · IoT and Edge/Fog Computing · Parallel Computing and Optimization Techniques