research-article

Enabling Failure-resilient Intermittently-powered Systems Without Runtime Checkpointing

Authors:

Tei-Wei KuoAuthors Info & Claims

DAC '19: Proceedings of the 56th Annual Design Automation Conference 2019

Article No.: 104, Pages 1 - 6

https://doi.org/10.1145/3316781.3317816

Published: 02 June 2019 Publication History

Abstract

Self-powered intermittent systems enable accumulative execution in unstable power environments, where checkpointing is often adopted as a means to achieve data consistency and system recovery under 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 enables failure-resilient intermittently-powered systems without runtime checkpointing. Our design enforces the consistency and serializability of concurrent task execution while maximizing computation progress, as well as allows instant system recovery after power resumption, 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 achieves up to 11.8 times the computation progress achieved by checkpointing-based approaches, while reducing the recovery time by nearly 90%.

References

[1]

P. Bogdan, M. Pajic, P. P. Pande, and V. Raghunathan. Making the Internet-of-Things a Reality: From Smart Models, Sensing and Actuation to Energy-Efficient Architectures. In Proc. of IEEE/ACM CODES+ISSS, pages 1--10, 2016.

Digital Library

[2]

W.-M. Chen, T.-S. Cheng, P.-C. Hsiu, and T.-W. Kuo. Value-Based Task Scheduling for Nonvolatile Processor-Based Embedded Devices. In Proc. IEEE RTSS, pages 247--256, 2016.

[3]

J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers Inc., 1st edition, 1992.

Digital Library

[4]

H. Jayakumar and A. Raha and V. Raghunathan. Quickrecall: A low overhead hw/sw approach for enabling computations across power cycles in transiently powered computers. In International Conference on VLSI Design and International Conference on Embedded Systems, pages 330--335, 2014.

Digital Library

[5]

C.-K. Kang, C.-H. Lin, P.-C. Hsiu, and M.-S. Chen. HomeRun: HW/SW Co-Design for Program Atomicity on Self-Powered Intermittent Systems. In Proc. of IEEE/ACM ISLPED, pages 29:1--29:6, 2018.

Digital Library

[6]

Q. Li, M. Zhao, J. Hu, Y. Liu, Y. He, and C. J. Xue. Compiler Directed Automatic Stack Trimming for Efficient Non-volatile Processors. In Proc. of IEEE/ACM DAC, pages 1--6, 2015.

Digital Library

[7]

Q. Liu and C. Jung. Lightweight Hardware Support for Transparent Consistency-aware Checkpointing in Intermittent Energy-harvesting Systems. In Proc. of IEEE NVMSA, pages 1--6, 2016.

[8]

Y. Liu, Z. Li, H. Li, Y. Wang, X. Li, K. Ma, S. Li, M.-F. Chang, S. John, Y. Xie, J. Shu, and H. Yang. Ambient Energy Harvesting Nonvolatile Processors: From Circuit to System. In Proc. of IEEE/ACM DAC, pages 150:1--150:6, 2015.

Digital Library

[9]

B. Lucia and B. Ransford. A Simpler, Safer Programming and Execution Model for Intermittent Systems. In Proc. of ACM PLDI, pages 575--585, 2015.

Digital Library

[10]

K. Ma, X. Li, H. Liu, X. Sheng, Y. Wang, K. Swaminathan, Y. Liu, Y. Xie, J. Sampson, and V. Narayanan. Dynamic Power and Energy Management for Energy Harvesting Nonvolatile Processor Systems. ACM Trans. Embed. Comput. Syst., pages 107:1--107:23, 2017.

Digital Library

[11]

K. Maeng, A. Colin, and B. Lucia. Alpaca: Intermittent Execution Without Checkpoints. Proc. ACM Program. Lang., pages 96:1--96:30, 2017.

Digital Library

[12]

N. Onizawa, A. Mochizuki, A. Tamakoshi, and T. Hanyu. Sudden Power-Outage Resilient In-Processor Checkpointing for Energy-Harvesting Nonvolatile Processors. IEEE Transactions on Emerging Topics in Computing, pages 151--163, 2017.

[13]

M. OÌĹzsu and P. Valduriez. Principles of Distributed Database Systems. NY: Springer, 3st edition, 2011.

Digital Library

[14]

C. Pan, M. Xie, Y. Liu, Y. Wang, C. J. Xue, Y. Wang, Y. Chen, and J. Hu. A Lightweight Progress Maximization Scheduler for Non-volatile Processor Under Unstable Energy Harvesting. In Proc. of ACM SIGPLAN/SIGBED, pages 101--110, 2017.

Digital Library

[15]

B. Ransford and B. Lucia. Nonvolatile Memory is a Broken Time Machine. In Proc. of MSPC, pages 5:1--5:3, 2014.

Digital Library

[16]

Y. Wang, H. Jia, Y. Liu, Q. Li, C. J. Xue, and H. Yang. Register Allocation for Hybrid Register Architecture in Nonvolatile Processors. In Proc. of IEEE ISCAS, pages 1050--1053, 2014.

[17]

Y. Wang, Y. Liu, S. Li, D. Zhang, B. Zhao, M. F. Chiang, Y. Yan, B. Sai, and H. Yang. A 3us Wake-up Time Nonvolatile Processor Based on Ferroelectric Flip-flops. In Proc. of ESSCIRC, pages 149--152, 2012.

[18]

M. Xie, M. Zhao, C. Pan, J. Hu, Y. Liu, and C. J. Xue. Fixing the Broken Time Machine: Consistency-aware Checkpointing for Energy Harvesting Powered Non-volatile Processor. In Proc. of IEEE/ACM DAC, pages 1--6, 2015.

Digital Library

[19]

D. Zhang, Y. Liu, X. Sheng, J. Li, T. Wu, C. J. Xue, and H. Yang. Deadline-aware Task Scheduling for Solar-powered Nonvolatile Sensor Nodes with Global Energy Migration. In Proc. of IEEE/ACM DAC, pages 1--6, 2015.

Digital Library

[20]

M. Zhao, K. Qiu, Y. Xie, J. Hu, and C. J. Xue. Redesigning Software and Systems for Non-volatile Processors on Self-powered Devices. In Proc. of IFIP/IEEE VLSI-SoC, pages 1--6, 2016.

Cited By

Zhang WZhang QLv MLiu SZhou ZChen QGuan NJu L(2023)Adaptive Task-Based Intermittent Computing System With Parallel State BackupIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2022.321398942:6(1798-1809)Online publication date: Jun-2023
https://doi.org/10.1109/TCAD.2022.3213989
Tsai WChen WKuo THsiu P(2022)Intermittent-Aware Distributed Concurrency ControlIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2022.319750241:11(3721-3732)Online publication date: Nov-2022
https://doi.org/10.1109/TCAD.2022.3197502
Sun WFan WZhao MSong WCai XLiu TJia Z(2022)Deep Reinforcement-Learning-Guided Backup for Energy Harvesting Powered SystemsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2021.305632841:2(346-358)Online publication date: Feb-2022
https://doi.org/10.1109/TCAD.2021.3056328
Show More Cited By

Index Terms

Enabling Failure-resilient Intermittently-powered Systems Without Runtime Checkpointing
1. Computer systems organization
  1. Dependable and fault-tolerant systems and networks
    1. Reliability
  2. Embedded and cyber-physical systems
    1. Embedded systems
      1. Embedded software
2. Computing methodologies
  1. Concurrent computing methodologies
    1. Concurrent algorithms

Recommendations

Adaptive Energy Budgeting for Atomic Operations in Intermittently-Powered Systems
ENSsys '20: Proceedings of the 8th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems

Intermittently-powered energy-harvesting systems offer the potential to form a long-lasting and environmentally friendly Internet of Things. Atomic operations in such systems refer to those that should be executed without interruption, e.g. wireless ...
A low-overhead recovery technique using quasi-synchronous checkpointing
ICDCS '96: Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS '96)

In this paper, we propose a quasi-synchronous checkpointing algorithm and a low-overhead recovery algorithm based on it. The checkpointing algorithm preserves process autonomy by allowing them to take checkpoints asynchronously and uses communication-...
Quasi-synchronous checkpointing and failure recovery in distributed systems

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '19: Proceedings of the 56th Annual Design Automation Conference 2019

June 2019

1378 pages

ISBN:9781450367257

DOI:10.1145/3316781

Copyright © 2019 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGDA: ACM Special Interest Group on Design Automation
IEEE-CEDA

In-Cooperation

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 June 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

DAC '19

Sponsor:

SIGDA

DAC '19: The 56th Annual Design Automation Conference 2019

June 2 - 6, 2019

NV, Las Vegas, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
157
Total Downloads

Downloads (Last 12 months)18
Downloads (Last 6 weeks)2

Reflects downloads up to 28 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Zhang WZhang QLv MLiu SZhou ZChen QGuan NJu L(2023)Adaptive Task-Based Intermittent Computing System With Parallel State BackupIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2022.321398942:6(1798-1809)Online publication date: Jun-2023
https://doi.org/10.1109/TCAD.2022.3213989
Tsai WChen WKuo THsiu P(2022)Intermittent-Aware Distributed Concurrency ControlIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2022.319750241:11(3721-3732)Online publication date: Nov-2022
https://doi.org/10.1109/TCAD.2022.3197502
Sun WFan WZhao MSong WCai XLiu TJia Z(2022)Deep Reinforcement-Learning-Guided Backup for Energy Harvesting Powered SystemsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2021.305632841:2(346-358)Online publication date: Feb-2022
https://doi.org/10.1109/TCAD.2021.3056328
Choi JKittinger LLiu QJung C(2022)Compiler-Directed High-Performance Intermittent Computation with Power Failure Immunity2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS54340.2022.00012(40-54)Online publication date: May-2022
https://doi.org/10.1109/RTAS54340.2022.00012
Lv MXu E(2022)Efficient DNN Execution on Intermittently-Powered IoT Devices With Depth-First InferenceIEEE Access10.1109/ACCESS.2022.320371910(101999-102008)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3203719
Jia MSha EZhuge QGu S(2022)Transient computing for energy harvesting systemsJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2022.102743132:COnline publication date: 1-Nov-2022
https://dl.acm.org/doi/10.1016/j.sysarc.2022.102743
Zhang WLiu SLv MChen QGuan N(2021)Intermittent Computing with Efficient State Backup by Asynchronous DMA2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE51398.2021.9473945(543-548)Online publication date: 1-Feb-2021
https://doi.org/10.23919/DATE51398.2021.9473945
Chen WKuo THsiu P(2021)Heterogeneity-aware Multicore Synchronization for Intermittent SystemsACM Transactions on Embedded Computing Systems10.1145/347699220:5s(1-22)Online publication date: 17-Sep-2021
https://dl.acm.org/doi/10.1145/3476992
Lim WTu CWu CChang Y(2021)iCheck: Progressive Checkpointing for Intermittent SystemsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2020.304657140:11(2224-2236)Online publication date: Nov-2021
https://doi.org/10.1109/TCAD.2020.3046571
Kang CMendis HLin CChen MHsiu P(2020)Everything Leaves Footprints: Hardware Accelerated Intermittent Deep InferenceIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2020.3012217(1-1)Online publication date: 2020
https://doi.org/10.1109/TCAD.2020.3012217
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten