Work-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness

Lin Zhang, Zifan Wang, Fanxin Kong

Research output: Chapter in Book/Entry/PoemConference contribution

2 Scopus citations

Abstract

This paper proposes an optimal checkpoint scheme for fault resilience in real-time systems, in which we consider both logical consistency and timing correctness. First, we partition message-passing processes into a directed acyclic graph (DAG) considering their dependencies, where the logical consistency of checkpoints is guaranteed. Then, we find the critical path of the DAG, which is the longest path performed in sequence. Next, we analyze the optimal checkpoint strategy on the critical path where the overall execution time (including checkpointing overhead) is minimized. When a fault is detected, the system rolls back to the nearest valid checkpoint for recovery. The optimal number of checkpoints and their intervals are derived by the algorithm.

Original languageEnglish (US)
Title of host publicationProceeding - 43rd IEEE Real-Time Systems Symposium, RTSS 2022
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages515-518
Number of pages4
ISBN (Electronic)9781665453462
DOIs
StatePublished - 2022
Externally publishedYes
Event43rd IEEE Real-Time Systems Symposium, RTSS 2022 - Houston, United States
Duration: Dec 5 2022Dec 8 2022

Publication series

NameProceedings - Real-Time Systems Symposium
Volume2022-December
ISSN (Print)1052-8725

Conference

Conference43rd IEEE Real-Time Systems Symposium, RTSS 2022
Country/TerritoryUnited States
CityHouston
Period12/5/2212/8/22

Keywords

  • Real-time systems
  • checkpointing
  • fault resilience
  • logical consistency
  • timing correctness

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint

Dive into the research topics of 'Work-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness'. Together they form a unique fingerprint.

Cite this