.png){kind=icon}
返回
Termination Checking and Task Decomposition for Task-Based Intermittent Programs
.png){kind=icon}
PRE
AI
DOI：10.1145/3178372.3179525.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Emerging energy-harvesting computer systems extract energy from their environment to compute, sense, and communicate with no battery or tethered power supply. Building software for energy-harvesting devices is a challenge, because they operate only intermittently as energy is available. Programs frequently reboot due to power loss, which can corrupt program state and prevent forward progress. Task-based programming models allow intermittent execution of long-running applications, but require the programmer to decompose code into tasks that will eventually complete between two power failures. Task decomposition is challenging and no tools exist to aid in task decomposition. We propose CleanCut, a tool that can check for and report non-terminating tasks in existing code, as well as automatically decompose code into efficient, terminating tasks. CleanCut is based on a statistical model for energy of paths through the program. We applied a prototype of CleanCut to four applications, including pattern-recognition, encryption, compression, and data filtering. Our experiments demonstrated the risk of non-termination in existing code and showed that CleanCut finds efficient task decompositions that execute 2.45x faster on average than manually placed boundaries.
Keyword:
intermittent computing
energy estimation
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
P
机构
引用论文
.png){kind=icon}
Hibernus plus plus : A Self-Calibrating and Adaptive System for Transiently-Powered Embedded Devices
PREAI
分享收藏Interactive Learning Environment for Bio-Inspired Optimization Algorithms for UAV Path Planning
PREAI
分享收藏
查看更多内容