Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
The Art of Electronics
The design and implementation of a log-structured file system
ACM Transactions on Computer Systems (TOCS)
Compiler-assisted full checkpointing
Software—Practice & Experience
A Survey of Distributed Database Checkpointing
Distributed and Parallel Databases
Checkpointing and rollback-recovery for distributed systems
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Portable and Fault-Tolerant Software Systems
IEEE Micro
Compressed caching and modern virtual memory simulation
Compressed caching and modern virtual memory simulation
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation
Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization
Application-level checkpointing for shared memory programs
ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
Contiki - A Lightweight and Flexible Operating System for Tiny Networked Sensors
LCN '04 Proceedings of the 29th Annual IEEE International Conference on Local Computer Networks
Energy Scavenging for Mobile and Wireless Electronics
IEEE Pervasive Computing
TinyNode: a comprehensive platform for wireless sensor network applications
Proceedings of the 5th international conference on Information processing in sensor networks
Telos: enabling ultra-low power wireless research
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
Libckpt: transparent checkpointing under Unix
TCON'95 Proceedings of the USENIX 1995 Technical Conference Proceedings
Eon: a language and runtime system for perpetual systems
Proceedings of the 5th international conference on Embedded networked sensor systems
Sensornet Checkpointing: Enabling Repeatability in Testbeds and Realism in Simulations
EWSN '09 Proceedings of the 6th European Conference on Wireless Sensor Networks
SolarStore: enhancing data reliability in solar-powered storage-centric sensor networks
Proceedings of the 7th international conference on Mobile systems, applications, and services
Challenge: ultra-low-power energy-harvesting active networked tags (EnHANTs)
Proceedings of the 15th annual international conference on Mobile computing and networking
Recognizing daily activities with RFID-based sensors
Proceedings of the 11th international conference on Ubiquitous computing
Surviving sensor network software faults
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Storage coding for wear leveling in flash memories
ISIT'09 Proceedings of the 2009 IEEE international conference on Symposium on Information Theory - Volume 2
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
On the limits of effective hybrid micro-energy harvesting on mobile CRFID sensors
Proceedings of the 8th international conference on Mobile systems, applications, and services
Membrane: operating system support for restartable file systems
FAST'10 Proceedings of the 8th USENIX conference on File and storage technologies
HotPower'08 Proceedings of the 2008 conference on Power aware computing and systems
Non-interactive verifiable computing: outsourcing computation to untrusted workers
CRYPTO'10 Proceedings of the 30th annual conference on Advances in cryptology
Exploiting half-wits: smarter storage for low-power devices
FAST'11 Proceedings of the 9th USENIX conference on File and stroage technologies
Dewdrop: an energy-aware runtime for computational RFID
Proceedings of the 8th USENIX conference on Networked systems design and implementation
IEEE Transactions on Information Theory
Ekho: bridging the gap between simulation and reality in tiny energy-harvesting sensors
HotPower '11 Proceedings of the 4th Workshop on Power-Aware Computing and Systems
Flit: a bulk transmission protocol for RFID-scale sensors
Proceedings of the 10th international conference on Mobile systems, applications, and services
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on Probabilistic Embedded Computing
QuarkOS: pushing the operating limits of micro-powered sensors
HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems
Securing implantable cardiac medical devices: use of radio frequency energy harvesting
Proceedings of the 3rd international workshop on Trustworthy embedded devices
Fast tag searching protocol for large-scale RFID systems
IEEE/ACM Transactions on Networking (TON)
Enabling bit-by-bit backscatter communication in severe energy harvesting environments
NSDI'14 Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation
Hi-index | 0.00 |
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.