返回
A Simpler, Safer Programming and Execution Model for Intermittent Systems
DOI:10.1145/2813885.2737978.png)
摘要
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
IF:
0
论文数:
32
被引数:
0
机构
引用论文
Illuminating the relationship between personality disorder and violence: Contributions of the General Aggression Model.阐明人格障碍与暴力之间的关系: 一般攻击模型的贡献。
Investigating the Relationship Between DSM-5 Personality Disorder Domains and Facets and Aggression in an Offender Population Using the Personality Inventory for the DSM-5使用 DSM-5的人格量表 调查罪犯人群中 DSM-5 人格障碍领域与方面和攻击之间的关系

