Alpaca：无检查点的间歇性执行
Alpaca: Intermittent Execution without Checkpoints
摘要：
能量收集设备的出现为无电池传感和计算设备创造了潜力。这些设备只能间歇性地运行，因为能源是可用的，这给软件开发人员带来了许多挑战。程序员面临着一个复杂的设计空间，需要对能量、内存一致性和向前进展进行推理。本文介绍了Alpaca，一个低开销的间歇计算的能量收集设备的编程模型。Alpaca程序由一系列用户定义的任务组成。Alpaca运行时以任务的粒度保留执行进度。Alpaca的关键见解是任务之间共享数据的私有化。任务中共享值的更新是私有化的，仅在任务成功执行时提交到主存，确保数据在断电时保持一致。Alpaca提供了熟悉的编程接口和高效的运行时模型。我们还提供了Alpaca的一个替代版本Alpaca-undo，它使用undo-logging和rollback来代替私有化和提交。我们实现了两个版本的Alpaca的原型，作为对C的扩展，并使用LLVM编译器传递。我们评估了Alpaca，并直接与之前工作中的三个系统进行了比较。与以前的系统相比，Alpaconsimme将性能提高了23.8倍，同时在许多情况下还将内存占用量提高了17.6倍。
英文摘要：
The emergence of energy harvesting devices creates the potential for batteryless sensing and computing devices. Such devices operate only intermittently, as energy is available, presenting a number of challenges for software developers. Programmers face a complex design space requiring reasoning about energy, memory consistency, and forward progress. This paper introduces Alpaca, a low-overhead programming model for intermittent computing on energy-harvesting devices. Alpaca programs are composed of a sequence of user-defined tasks. The Alpaca runtime preserves execution progress at the granularity of a task. The key insight in Alpaca is the privatization of data shared between tasks. Updates of shared values in a task are privatized and only committed to main memory on successful execution of the task, ensuring that data remain consistent despite power failures. Alpaca provides a familiar programming interface and a highly efficient runtime model. We also present an alternate version of Alpaca, Alpaca-undo, that uses undo-logging and rollback instead of privatization and commit. We implemented a prototype of both versions of Alpaca as an extension to C with an LLVM compiler pass. We evaluated Alpaca, and directly compared to three systems from prior work. Alpacaconsistently improves performance compared to the previous systems, by up to 23.8x, while also improving memory footprint in many cases, by up to 17.6x.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
