Enabling Failure-resilient Intermittent Systems Without Runtime Checkpointing

10/11/2019
by   Wei-Ming Chen, et al.
0

Self-powered intermittent systems typically adopt runtime checkpointing as a means to accumulate computation progress across power cycles and recover system status from power failures. However, existing approaches based on the checkpointing paradigm normally require system suspension and/or logging at runtime. This paper presents a design which overcomes the drawbacks of checkpointing-based approaches, to enable failure-resilient intermittent systems. Our design allows accumulative execution and instant system recovery under frequent power failures while enforcing the serializability of concurrent task execution to improve computation progress and ensuring data consistency without system suspension during runtime, by leveraging the characteristics of data accessed in hybrid memory. We integrated the design into FreeRTOS running on a Texas Instruments device. Experimental results show that our design can still accumulate progress when the power source is too weak for checkpointing-based approaches to make progress, and improves the computation progress by up to 43 the recovery time by at least 90

READ FULL TEXT

page 1

page 9

research
02/16/2022

NORM: An FPGA-based Non-volatile Memory Emulation Framework for Intermittent Computing

Intermittent computing systems operate by relying only on harvested ener...
research
09/19/2022

Rapid Recovery of Program Execution Under Power Failures for Embedded Systems with NVM

After power is switched on, recovering the interrupted program from the ...
research
09/13/2019

Alpaca: Intermittent Execution without Checkpoints

The emergence of energy harvesting devices creates the potential for bat...
research
05/05/2023

RARES: Runtime Attack Resilient Embedded System Design Using Verified Proof-of-Execution

Modern society is getting accustomed to the Internet of Things (IoT) and...
research
07/08/2020

Algorithm-Based Checkpoint-Recovery for the Conjugate Gradient Method

As computers reach exascale and beyond, the incidence of faults will inc...
research
10/26/2020

Resiliency in Numerical Algorithm Design for Extreme Scale Simulations

This work is based on the seminar titled “Resiliency in Numerical Algori...
research
07/29/2020

Towards a Formal Foundation of Intermittent Computing

Intermittently powered devices enable new applications in harsh or inacc...

Please sign up or login with your details

Forgot password? Click here to reset