Recovering from process failures in the time warp mechanism

Jonathan R. Agre, Divyakant Agrawal

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

Abstract

A recovery procedure for distributed systems using the time warp control mechanism is described. Time warp is an optimistic execution technique in which synchronization is achieved using rollback. The recovery procedure is a protocol that exploits the redundancy already available to implement process rollback in the time warp mechanism. Thus, the recovery protocol has little additional bookkeeping overhead, unlike many other recovery procedures. An informal proof of the correctness of the recovery procedure for a single process failure is presented. The protocol is extended so that it becomes resilient to multiple process failures.

Original languageEnglish
Title of host publicationProceedings - Symposium on Reliability in Distributed Software and Database Systems
Editors Anon
Place of PublicationPiscataway, NJ, United States
PublisherPubl by IEEE
Pages53-61
Number of pages9
Publication statusPublished - 1 Dec 1989
Externally publishedYes
EventProceedings of the Eighth Symposium on Reliable Distributed Systems - Seattle, WA, USA
Duration: 10 Oct 198912 Oct 1989

Other

OtherProceedings of the Eighth Symposium on Reliable Distributed Systems
CitySeattle, WA, USA
Period10/10/8912/10/89

Fingerprint

Recovery
Redundancy
Synchronization

ASJC Scopus subject areas

  • Software

Cite this

Agre, J. R., & Agrawal, D. (1989). Recovering from process failures in the time warp mechanism. In Anon (Ed.), Proceedings - Symposium on Reliability in Distributed Software and Database Systems (pp. 53-61). Piscataway, NJ, United States: Publ by IEEE.

Recovering from process failures in the time warp mechanism. / Agre, Jonathan R.; Agrawal, Divyakant.

Proceedings - Symposium on Reliability in Distributed Software and Database Systems. ed. / Anon. Piscataway, NJ, United States : Publ by IEEE, 1989. p. 53-61.

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

Agre, JR & Agrawal, D 1989, Recovering from process failures in the time warp mechanism. in Anon (ed.), Proceedings - Symposium on Reliability in Distributed Software and Database Systems. Publ by IEEE, Piscataway, NJ, United States, pp. 53-61, Proceedings of the Eighth Symposium on Reliable Distributed Systems, Seattle, WA, USA, 10/10/89.
Agre JR, Agrawal D. Recovering from process failures in the time warp mechanism. In Anon, editor, Proceedings - Symposium on Reliability in Distributed Software and Database Systems. Piscataway, NJ, United States: Publ by IEEE. 1989. p. 53-61
Agre, Jonathan R. ; Agrawal, Divyakant. / Recovering from process failures in the time warp mechanism. Proceedings - Symposium on Reliability in Distributed Software and Database Systems. editor / Anon. Piscataway, NJ, United States : Publ by IEEE, 1989. pp. 53-61
@inproceedings{c4c8b6e1a94f40379ab941b9742f210f,
title = "Recovering from process failures in the time warp mechanism",
abstract = "A recovery procedure for distributed systems using the time warp control mechanism is described. Time warp is an optimistic execution technique in which synchronization is achieved using rollback. The recovery procedure is a protocol that exploits the redundancy already available to implement process rollback in the time warp mechanism. Thus, the recovery protocol has little additional bookkeeping overhead, unlike many other recovery procedures. An informal proof of the correctness of the recovery procedure for a single process failure is presented. The protocol is extended so that it becomes resilient to multiple process failures.",
author = "Agre, {Jonathan R.} and Divyakant Agrawal",
year = "1989",
month = "12",
day = "1",
language = "English",
pages = "53--61",
editor = "Anon",
booktitle = "Proceedings - Symposium on Reliability in Distributed Software and Database Systems",
publisher = "Publ by IEEE",

}

TY - GEN

T1 - Recovering from process failures in the time warp mechanism

AU - Agre, Jonathan R.

AU - Agrawal, Divyakant

PY - 1989/12/1

Y1 - 1989/12/1

N2 - A recovery procedure for distributed systems using the time warp control mechanism is described. Time warp is an optimistic execution technique in which synchronization is achieved using rollback. The recovery procedure is a protocol that exploits the redundancy already available to implement process rollback in the time warp mechanism. Thus, the recovery protocol has little additional bookkeeping overhead, unlike many other recovery procedures. An informal proof of the correctness of the recovery procedure for a single process failure is presented. The protocol is extended so that it becomes resilient to multiple process failures.

AB - A recovery procedure for distributed systems using the time warp control mechanism is described. Time warp is an optimistic execution technique in which synchronization is achieved using rollback. The recovery procedure is a protocol that exploits the redundancy already available to implement process rollback in the time warp mechanism. Thus, the recovery protocol has little additional bookkeeping overhead, unlike many other recovery procedures. An informal proof of the correctness of the recovery procedure for a single process failure is presented. The protocol is extended so that it becomes resilient to multiple process failures.

UR - http://www.scopus.com/inward/record.url?scp=0024936417&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0024936417&partnerID=8YFLogxK

M3 - Conference contribution

SP - 53

EP - 61

BT - Proceedings - Symposium on Reliability in Distributed Software and Database Systems

A2 - Anon, null

PB - Publ by IEEE

CY - Piscataway, NJ, United States

ER -