Mementos: System Support for Long-Running Computation on RFID-Scale Devices
Mementos: System Support for Long-Running Computation on RFID-Scale Devices
复制标题
DOI：
10.1145/1961295.1950386
复制
发表时间：
2011-03-01
影响因子：
--
通讯作者：
Fu, Kevin
中科院分区：
文献类型：
--
作者：
Ransford, Benjamin;Sorber, Jacob;Fu, Kevin
诸如RFID标签、动能采集器和智能卡之类的瞬时供电计算设备通常依赖于在能量匮乏导致易失性存储器完全丢失之前在严格的时间约束下完成任务的程序。Mementos是一个软件系统，它将通用程序转换为可中断的计算，通过自动的、能量感知的状态检查点来保护这些计算免受频繁的断电。Mementos包括LLVM编译器基础设施的优化通道集合和一个可在管理存储在非易失性存储器中的状态检查点的同时对能量测量进行硬件支持的DLL库。我们评估纪念品对不同的测试用例中的跟踪驱动的模拟器的瞬态供电的RFID规模的设备。虽然Mementos的能量检查在能量充足时会增加运行时间，但它们允许Mementos在能量减少时安全地暂停执行，有效地将计算分散到零个或多个电源故障。本文的贡献是：RFID规模的设备上的程序的运行时环境的研究;这些设备的能量感知状态检查点系统，实现了MSP430系列的微控制器;和跟踪驱动的模拟器瞬态供电的RFID规模的设备。
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints before energy starvation leads to complete loss of volatile memory. Mementos is a software system that transforms general-purpose programs into interruptible computations that are protected from frequent power losses by automatic, energy-aware state checkpointing. Mementos comprises a collection of optimization passes for the LLVM compiler infrastructure and a linkable library that exercises hardware support for energy measurement while managing state checkpoints stored in nonvolatile memory. We evaluate Mementos against diverse test cases in a trace-driven simulator of transiently powered RFID-scale devices. Although Mementos's energy checks increase run time when energy is plentiful, they allow Mementos to safely suspend execution when energy dwindles, effectively spreading computation across zero or more power failures. This paper's contributions are: a study of the runtime environment for programs on RFID-scale devices; an energy-aware state checkpointing system for these devices that is implemented for the MSP430 family of microcontrollers; and a trace-driven simulator of transiently powered RFID-scale devices.