On the impossibility of min-process non-blocking checkpointing and an efficient checkpointing algorithm for mobile computing systems

Guohong Cao, Mukesh Singhal

Research output: Chapter in Book/Report/Conference proceedingConference contribution

46 Scopus citations

Abstract

Mobile computing raises many new issues, such as lack of stable storage, low bandwidth of wireless channel, high mobility, and limited battery life. These new issues make traditional checkpointing algorithms unsuitable. R. Prakash and M. Singhal (1996) proposed the first coordinated checkpointing algorithm for mobile computing systems. However we showed that their algorithm may result in an inconsistency. In this paper, we prove a more general result about coordinated checkpointing: there does not exist a non-blocking algorithm that forces only a minimum number of processes to take their checkpoints. Based on the proof, we propose an efficient algorithm for mobile computing systems, which forces only a minimum number of processes to take checkpoints and dramatically reduces the blocking time during the checkpointing process. Correctness proofs and performance analysis of the algorithm are provided.

Original languageEnglish (US)
Title of host publicationProceedings - 1998 International Conference on Parallel Processing, ICPP 1998
EditorsTen H. Lai
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages37-44
Number of pages8
ISBN (Electronic)0818686502
DOIs
StatePublished - 1998
Event1998 International Conference on Parallel Processing, ICPP 1998 - Minneapolis, United States
Duration: Aug 10 1998Aug 14 1998

Publication series

NameProceedings of the International Conference on Parallel Processing
ISSN (Print)0190-3918

Other

Other1998 International Conference on Parallel Processing, ICPP 1998
CountryUnited States
CityMinneapolis
Period8/10/988/14/98

All Science Journal Classification (ASJC) codes

  • Software
  • Mathematics(all)
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'On the impossibility of min-process non-blocking checkpointing and an efficient checkpointing algorithm for mobile computing systems'. Together they form a unique fingerprint.

Cite this