arrow
返回

A Simpler, Safer Programming and Execution Model for Intermittent Systems

delete2015-06-03
delete202
delete
OA
AI
B
Brandon Lucia *
B
Benjamin Ransford
DOI:10.1145/2813885.2737978delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Energy harvesting enables novel devices and applications without batteries, but intermittent operation under energy harvesting poses new challenges to memory consistency that threaten to leave applications in failed states not reachable in continuous execution. This paper presents analytical models that aid in reasoning about intermittence. Using these, we develop DINO (Death Is Not an Option), a programming and execution model that simplifies programming for intermittent systems and ensures volatile and nonvolatile data consistency despite near-constant interruptions. DINO is the first system to address these consistency problems in the context of intermittent execution. We evaluate DINO on three energy-harvesting hardware platforms running different applications. The applications fail and exhibit error without DINO, but run correctly with DINO's modest 1.8-2.7x run-time overhead. DINO also dramatically simplifies programming, reducing the set of possible failure-related control transfers by 5-9x.
Keyword:
Intermittent computing

期刊

A
ACM SIGPLAN Notices
IF:
0
论文数:
32
被引数:
0

机构

C
Carnegie Mellon University
学者数:
1.4W
论文数: 1.4W
被引数: 2.7W
U
University of Washington
学者数:
8.0W
论文数: 7.0W
被引数: 12.5W
引用论文

引用论文

x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors
err2010-07-01
err280
PREAI
errSewell, Peter; Sarkar, Susmit; Owens, Scott; Nardelli, Francesco Zappa; Myreen, Magnus O.
err分享
err收藏
err分享
err收藏
Building and Solving Mathematical Programming Models in Engineering and Science
err
IF0
err2011-10-28
err0
PREAI
errEnrique Castillo; Antonio J. Gonejo; Pablo Pedregal; Ricardo Garciá; Natalia Alguacil
err分享
err收藏
Electrochemically Deposited Zinc-Nickel Alloys
err2003-10-01
err0
PREAI
errT. V. Gaevskaya; T. V. Byk; L. S. Tsybul'skaya
err分享
err收藏
学者 查看更多内容