Virtualizing Intermittent Computing

Virtualizing Intermittent Computing
复制标题

虚拟化间歇计算

DOI:
10.1109/jiot.2022.3176587
复制
发表时间:
2021
影响因子:
10.6
通讯作者:
G. Kardas
G. Kardas
中科院分区:
计算机科学1区
文献类型:
--
作者:
Caglar Durmaz;K. Yıldırım;G. Kardas

文献摘要

参考文献

被引文献

相似文献

间歇性计算需要自定义编程模型,以确保尽管故障发生了故障,但要确保应用程序的正确执行。但是,现有的编程模型导致了与硬件有关的程序,而不是可重复使用的程序。本文旨在虚拟化间歇性计算来解决这些问题。我们介绍了一种虚拟机PureVM,该虚拟机可以抽象一台瞬时动力的计算机,以及Purelang,Purelang是一种持续通过的编程语言,用于开发在PureVM上运行的程序。这种虚拟化首次为便携式和可重复使用的瞬时应用程序铺平了道路。
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 article 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.
DOI: 10.1109/tcad.2016.2547919
发表时间: 2016-12-01
影响因子: 2.9
作者:
Balsamo, Domenico;Weddell, Alex S.;Benini, Luca
通讯作者: Benini, Luca
DOI: 10.1145/3373376.3378476
发表时间: 2020-03
期刊: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子: --
作者:
Vito Kortbeek;K. Yıldırım;A. Bakar;Jacob M. Sorber;Josiah D. Hester;P. Pawełczak
通讯作者: Vito Kortbeek;K. Yıldırım;A. Bakar;Jacob M. Sorber;Josiah D. Hester;P. Pawełczak
DOI: 10.1145/3360609
发表时间: 2019-10
影响因子: --
作者:
Milijana Surbatovich;Limin Jia;Brandon Lucia
通讯作者: Milijana Surbatovich;Limin Jia;Brandon Lucia
DOI: 10.1145/3314221.3314583
发表时间: 2019-06
期刊: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子: --
作者:
E. Ruppel;Brandon Lucia
通讯作者: E. Ruppel;Brandon Lucia
基于任务的间歇性程序的终止检查和任务分解
DOI: 10.1145/3178372.3179525
发表时间: 2018
期刊: Proceedings of the 27th International Conference on Compiler Construction
影响因子: --
作者:
Colin, Alexei;Lucia, Brandon
通讯作者: Lucia, Brandon