Optimistic recovery in distributed systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Optimistic recovery in distributed systems

Full text

Pdf (1.75 MB)

Source

ACM Transactions on Computer Systems (TOCS) archive
Volume 3 , Issue 3 (August 1985) table of contents

Pages: 204 - 226

Year of Publication: 1985

ISSN:0734-2071

Authors

Rob Strom	IBM Thomas J. Watson Research Center, Yorktown Heights, NY
Shaula Yemini	IBM Thomas J. Watson Research Center, Yorktown Heights, NY

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 10, Downloads (12 Months): 104, Citation Count: 125

Additional Information:

abstract references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/3959.3962 What is a DOI?

ABSTRACT

Optimistic Recovery is a new technique supporting application-independent transparent recovery from processor failures in distributed systems. In optimistic recovery communication, computation and checkpointing proceed asynchronously. Synchronization is replaced by causal dependency tracking, which enables a posteriori reconstruction of a consistent distributed system state following a failure using process rollback and message replay.

Because there is no synchronization among computation, communication, and checkpointing, optimistic recovery can tolerate the failure of an arbitrary number of processors and yields better throughput and response time than other general recovery techniques whenever failures are infrequent.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	AGHILI, H., KIM, W., MCPHERSON, J., SCHKOLNICK, M, AND STRONG, R. A highly available database system. IBM Research Rep. RJ 3755, IBM, Jan. 1983.
	2	BARTLETT, J. F. A 'nonstop' operating system. In l lth Hawaii International Conference on System Sciences. University of Hawaii, 1978.
	3	Lawrence A. Bjork, Recovery scenario for a DB/DC system, Proceedings of the annual conference, p.142-146, August 27-29, 1973, Atlanta, Georgia, United States [doi>10.1145/800192.805695]
	4	Anita Borg , Jim Baumbach , Sam Glazer, A message system supporting fault tolerance, Proceedings of the ninth ACM symposium on Operating systems principles, p.90-99, October 10-13, 1983, Bretton Woods, New Hampshire, United States
	5	K. Mani Chandy , Leslie Lamport, Distributed snapshots: determining global states of distributed systems, ACM Transactions on Computer Systems (TOCS), v.3 n.1, p.63-75, Feb. 1985 [doi>10.1145/214451.214456]
	6	Charles T. Davies, Jr., Recovery semantics for a DB/DC system, Proceedings of the annual conference, p.136-141, August 27-29, 1973, Atlanta, Georgia, United States [doi>10.1145/800192.805694]
	7	Jim Gray , Paul McJones , Mike Blasgen , Bruce Lindsay , Raymond Lorie , Tom Price , Franco Putzolu , Irving Traiger, The Recovery Manager of the System R Database Manager, ACM Computing Surveys (CSUR), v.13 n.2, p.223-242, June 1981 [doi>10.1145/356842.356847]
	8	JEFFERSON, D. Virtual time. USC Tech. Rep. TR-83-213, Univ. of Southern California, Los Angeles, May 1983.
	9	Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
	10	LAMPSON, B., AND STURGIS, H. Crash recovery in a distributed storage system. Xerox PARC Tech. Rep., Xerox Palo Alto Research Center, Palo Alto, Calif., Apr. 1979.
	11	Barbara Liskov , Robert Scheifler, Guardians and actions: linguistic support for robust, distributed programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.7-19, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582155]
	12	C. Mohan , B. Lindsay, Efficient commit protocols for the tree of processes model of distributed transactions, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.76-88, August 17-19, 1983, Montreal, Quebec, Canada [doi>10.1145/800221.806711]
	13	MOHAN, C., STRONG, H. R., ANt) FINKELSTEIN, S. Method for distributed transaction commit and recovery using Byzantine agreement within clusters of processors. IBM Res. Rep. RJ 3882, IBM, San Jose, Calif., June 1983.
	14	RUSSELL, D.L. State restoration in systems of communicating processes. IEEE Trans. Softw. Eng. SE-6, (2), (Mar. 1980), 193-194.
	15	SCHNEIDER, F.B. Fail-stop processors. In Digest of Papers from Spring Compcon '83 (Mar.). IEEE Computer Society, San Francisco, 1983.
	16	SCOTT, R. K., GAULT, J. W., MCALL~STER, D. G., AND W~GGS, J. Experimental validation of six fault-tolerant software reliability models. In Proceedings of 14th Annual Symposium on Fault- Tolerant Computer Systems (Kissimmee, Fla., June 20-22). 1984.
	17	STROM, R. E., AND YEMINI, S. Optimistic recovery: An asynchronous approach to fault tolerance in distributed systems. Proceedings of the 14th Annual Symposium on Fault Tolerant Computer Systems (June 20-22, 1984).
	18	STROM, R., AND YEMINI, S. Synthesizing distributed and parallel programs through optimistic transformations. IBM Res. Rep. RC 10797, IBM, 1984.
	19	A. S. Tanenbaum, Computer networks, Prentice-Hall, Inc., Upper Saddle River, NJ, 1988

CITED BY 125

	Om. P. Damani , Vijay K. Garg, Fault-tolerant distributed simulation, ACM SIGSIM Simulation Digest, v.28 n.1, p.38-45, July 1998
	Larry L. Peterson , Nick C. Buchholz , Richard D. Schlichting, Preserving and using context information in interprocess communication, ACM Transactions on Computer Systems (TOCS), v.7 n.3, p.217-246, Aug. 1989
	Z. Tong , R. Y. Kain , W. T. Tsai, Rollback Recovery in Distributed Systems Using Loosely Synchronized Clocks, IEEE Transactions on Parallel and Distributed Systems, v.3 n.2, p.246-251, March 1992
	Alon Kleinman , Yael Moscowitz , Amir Pnueli , Ehud Sharpio, Communication with directed logic variables, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.221-232, January 21-23, 1991, Orlando, Florida, United States
	Tein-Hsiang Lin , Kang G. Shin, Damage Assessment for Optimal Rollback Recovery, IEEE Transactions on Computers, v.47 n.5, p.603-613, May 1998
	Florin Sultan , Liviu Iftode , Thu Nguyen, Scalable fault-tolerant distributed shared memory, Proceedings of the 2000 ACM/IEEE conference on Supercomputing (CDROM), p.20-es, November 04-10, 2000, Dallas, Texas, United States
	Nuno Neves , Miguel Castro , Paulo Guedes, A checkpoint protocol for an entry consistent shared memory system, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.121-129, August 14-17, 1994, Los Angeles, California, United States
	Henri E. Bal , Jennifer G. Steiner , Andrew S. Tanenbaum, Programming languages for distributed computing systems, ACM Computing Surveys (CSUR), v.21 n.3, p.261-322, Sep. 1989
	David Petrou , Khalil Amiri , Gregory R. Ganger , Garth A. Gibson, Easing the management of data-parallel systems via adaptation, Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system, September 17-20, 2000, Kolding, Denmark
	David F. Bacon , Robert E. Strom, Optimistic parallelization of communicating sequential processes, ACM SIGPLAN Notices, v.26 n.7, p.155-166, July 1991
	Crispin Cowan , Hanan Lutfiyya, Formal semantics for expressing optimism: the meaning of HOPE, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.164-173, August 20-23, 1995, Ottowa, Ontario, Canada
	K. Birman , T. Joseph, Exploiting virtual synchrony in distributed systems, ACM SIGOPS Operating Systems Review, v.21 n.5, p.123-138, Nov. 1987
	David B. Johnson , Willy Zwaenepoel, Transparent optimistic rollback recovery, Proceedings of the 4th workshop on ACM SIGOPS European workshop, p.1-4, September 03-05, 1990, Bologna, Italy
	David Lomet , Mark Tuttle, Logical logging to extend recovery to new domains, ACM SIGMOD Record, v.28 n.2, p.73-84, June 1999
	Mike Livesey , Colin Allison, Operating system level support for coherence in distributed systems, Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, September 21-23, 1992, Mont Saint-Michel, France
	Anjali Agarwal , J. William Atwood, A unified approach to fault-tolerance in communication protocols based on recovery procedures, IEEE/ACM Transactions on Networking (TON), v.4 n.5, p.785-795, Oct. 1996
	R. H. B. Netzer , J. Xu, Adaptive message logging for incremental replay of message-passing programs, Proceedings of the 1993 ACM/IEEE conference on Supercomputing, p.840-849, December 1993, Portland, Oregon, United States
	Richard Koo , Sam Toueg, Checkpointing and rollback-recovery for distributed systems, Proceedings of 1986 ACM Fall joint computer conference, p.1150-1158, November 1986, Dallas, Texas, United States
	Manhoi Choy , Hong V. Leong , Man Hon Wong, On distributed object checkpointing and recovery, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.64-73, August 20-23, 1995, Ottowa, Ontario, Canada
	Janice M. Stone, A graphical representation of concurrent processes, ACM SIGPLAN Notices, v.24 n.1, p.226-235, Jan. 1989
	J. M. Stone, Debugging concurrent processes: a case study, ACM SIGPLAN Notices, v.23 n.7, p.145-153, July 1988
	Haim Gaifman , Michael J. Maher , Ehud Shapiro, Replay, recovery, replication, and snapshots of nondeterministic concurrent programs, Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.241-255, August 19-21, 1991, Montreal, Quebec, Canada
	Anita Borg , Wolfgang Blau , Wolfgang Graetsch , Ferdinand Herrmann , Wolfgang Oberle, Fault tolerance under UNIX, ACM Transactions on Computer Systems (TOCS), v.7 n.1, p.1-24, Feb. 1989
	George Bosilca , Aurelien Bouteiller , Franck Cappello , Samir Djilali , Gilles Fedak , Cecile Germain , Thomas Herault , Pierre Lemarinier , Oleg Lodygensky , Frederic Magniette , Vincent Neri , Anton Selikhov, MPICH-V: toward a scalable fault tolerant MPI for volatile nodes, Proceedings of the 2002 ACM/IEEE conference on Supercomputing, p.1-18, November 16, 2002, Baltimore, Maryland
	David E. Lowell , Peter M. Chen, Persistent messages in local transactions, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.219-226, June 28-July 02, 1998, Puerto Vallarta, Mexico
	Lorenzo Alvisi , Keith Marzullo, Trade-offs in implementing causal message logging protocols, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.58-67, May 23-26, 1996, Philadelphia, Pennsylvania, United States
	Arthur P. Goldberg , Ajei Gopal , Andy Lowry , Rob Strom, Restoring consistent global states of distributed computations, ACM SIGPLAN Notices, v.26 n.12, p.144-154, Dec. 1991
	David B. Johnson , Willy Zwaenepoel, Recovery in distributed systems using asynchronous message logging and checkpointing, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.171-181, August 15-17, 1988, Toronto, Ontario, Canada
	Pierangela Samarati , Paul Ammann , Sushil Jajodia, Propagation of authorizations in distributed database systems, Proceedings of the 2nd ACM Conference on Computer and communications security, p.136-147, November 1994, Fairfax, Virginia, United States
	Om P. Damani , Yi-Min Wang , Vijay K. Garg, Optimistic distributed simulation based on transitive dependency tracking, ACM SIGSIM Simulation Digest, v.27 n.1, p.90-97, July 1997
	William E. Weihl, Fault-tolerant parallel computing, Proceedings of the 4th workshop on ACM SIGOPS European workshop, p.1-4, September 03-05, 1990, Bologna, Italy
	David F. Bacon, Transparent recovery in distributed systems, Proceedings of the 4th workshop on ACM SIGOPS European workshop, p.1-4, September 03-05, 1990, Bologna, Italy
	Jinho Ahn , Sung-Gi Min , Chong-Sun Hwang , Heonchang Yu, Efficient Garbage Collection Schemes for Causal Message Logging with Independent Checkpointing, The Journal of Supercomputing, v.22 n.2, p.175-196, June 2002
	E. N. (Mootaz) Elnozahy , Lorenzo Alvisi , Yi-Min Wang , David B. Johnson, A survey of rollback-recovery protocols in message-passing systems, ACM Computing Surveys (CSUR), v.34 n.3, p.375-408, September 2002
	A. P. Sistla , J. L. Welch, Efficient distributed recovery using message logging, Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, p.223-238, June 1989, Edmonton, Alberta, Canada
	Flavin Cristian, Understanding fault-tolerant distributed systems, Communications of the ACM, v.34 n.2, p.56-78, Feb. 1991
	Frederic T. Chong , Thomas F. Knight, Jr., Design and performance of multipath MIN architectures, Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures, p.286-295, June 29-July 01, 1992, San Diego, California, United States
	Peng Liu , Xu Hao, Efficient damage assessment and repair in resilient distributed database systems, Proceedings of the fifteenth annual working conference on Database and application security, p.75-89, July 15-18, 2001, Niagara, Ontario, Canada
	D. Manivannan , M. Singhal, Asynchronous recovery without using vector timestamps, Journal of Parallel and Distributed Computing, v.62 n.12, p.1695-1728, December 2002
	Yehuda Afek , Shlomi Dolev, Local stabilizer, Journal of Parallel and Distributed Computing, v.62 n.5, p.745-765, May 2002
	S. Venkatesan , Tony T-Y. Juang, Efficient algorithms for optimistic crash recovery, Distributed Computing, v.8 n.2, p.105-114, October 1994
	K. L. Wu , W. K. Fuchs , J. H. Patel, Error Recovery in Shared Memory Multiprocessors Using Private Caches, IEEE Transactions on Parallel and Distributed Systems, v.1 n.2, p.231-240, April 1990
	Michel Banâtre , Alain Gefflaut , Philippe Joubert , Christine Morin , Peter A. Lee, An Architecture for Tolerating Processor Failures in Shared-Memory Multiprocessors, IEEE Transactions on Computers, v.45 n.10, p.1101-1115, October 1996
	Jean-Michel Hélary , Michel Raynal , Giovanna Melideo , Roberto Baldoni, Efficient Causality-Tracking Timestamping, IEEE Transactions on Knowledge and Data Engineering, v.15 n.5, p.1239-1250, September 2003
	Yi-Min Wang, Consistent Global Checkpoints that Contain a Given Set of Local Checkpoints, IEEE Transactions on Computers, v.46 n.4, p.456-468, April 1997
	Jacob Slonim , Patrick Finnigan , Alberto Mendelson , Toby Teorey , Michael Bauer , Paul Larson , Richard McBride , Yechiam Yemini , Shaula Yemini, Towards a new distributed programming environment (CORDS), Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research, October 28-30, 1991, Toronto, Ontario, Canada
	Alicia Rubio , Rafael Ors, A comparative analysis of the reliability of simple and two-level checkpointing techniques in two different distributed industrial control system architectures, Systems Analysis Modelling Simulation, v.43 n.7, p.945-957, July 2003
	Crispin Cowan, Optimistic replication in HOPE, Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research, November 09-12, 1992, Toronto, Ontario, Canada
	Golden G. Richard III , Mukesh Singhal, Complete Process Recovery: Using Vector Time to Handle Multiple Failures in Distributed Systems, IEEE Parallel & Distributed Technology: Systems & Technology, v.5 n.2, p.50-59, April 1997
	Golden G. Richard III , Mukesh Singhal, Complete Process Recovery: Using Vector Time to Handle Multiple Failures in Distributed Systems, IEEE Parallel & Distributed Technology: Systems & Technology, v.5 n.2, p.50-59, April 1997
	Jacob Slonim , Patrick Finnigan , Alberto Mendelson , Toby Teorey , Michael Bauer , Paul Larson , Richard McBride , Yechiam Yemini , Shaula Yemini, Towards a new distributed programming environment (CORDS), Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research, October 28-30, 1991, Toronto, Ontario, Canada
	Lorenzo Alvisi , Karan Bhatia , Keith Marzullo, Causality tracking in causal message-logging protocols, Distributed Computing, v.15 n.1, p.1-15, January 2002
	Partha Sarathi Mandal , Krishnendu Mukhopadhyaya, Concurrent checkpoint initiation and recovery algorithms on asynchronous ring networks, Journal of Parallel and Distributed Computing, v.64 n.5, p.649-661, May 2004
	Om P. Damani , Yi-Min Wang , Vijay K. Garg, Distributed recovery with K-optimistic logging, Journal of Parallel and Distributed Computing, v.63 n.12, p.1193-1218, December 2003
	J. S. Auerbach , D. F. Bacon , A. P. Goldberg , G. S. Goldszmidt , M. T. Kennedy , A. R. Lowry , J. R. Russell , W. Silverman , R. E. Strom , D. M. Yellin , S. A. Yemini, High-level language support for programming distributed systems, Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research, October 28-30, 1991, Toronto, Ontario, Canada
	Jeffrey Mogul , Lawrence Brakmo , David E. Lowell , Dinesh Subhraveti , Justin Moore, Unveiling the transport, ACM SIGCOMM Computer Communication Review, v.34 n.1, January 2004
	Taesoon Park , Junguk L. Kim, A checkpointing recovery approach in a distributed system on the CSMA/CD network, Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's, p.614-623, April 1992, Kansas City, Missouri, United States
	David Lomet , Gerhard Weikum, Efficient transparent application recovery in client-server information systems, ACM SIGMOD Record, v.27 n.2, p.460-471, June 1998
	E. N. Elnozahy, On the relevance of communication costs of rollback-recovery protocols, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.74-79, August 20-23, 1995, Ottowa, Ontario, Canada
	Florin Sultan , Thu D. Nguyen , Liviu Iftode, Lazy Garbage Collection of Recovery State for Fault-Tolerant Distributed Shared Memory, IEEE Transactions on Parallel and Distributed Systems, v.13 n.10, p.1085-1098, October 2002
	P. R. Wilson , T. G. Moher, Demonic memory for process histories, ACM SIGPLAN Notices, v.24 n.7, p.330-343, July 1989
	Golden G. Richard III , Mukesh Singhal, Complete Process Recovery: Using Vector Time to Handle Multiple Failures in Distributed Systems, IEEE Parallel & Distributed Technology: Systems & Technology, v.5 n.2, p.50-59, April 1997
	Elmootazbellah N. Elnozahy , James S. Plank, Checkpointing for Peta-Scale Systems: A Look into the Future of Practical Rollback-Recovery, IEEE Transactions on Dependable and Secure Computing, v.1 n.2, p.97-108, April 2004
	Elmootazbellah N. Elnozahy , Willy Zwaenepoel, Manetho: Transparent Roll Back-Recovery with Low Overhead, Limited Rollback, and Fast Output Commit, IEEE Transactions on Computers, v.41 n.5, p.526-531, May 1992
	Robert H. B. Netzer , Jian Xu, Adaptive Message Logging for Incremental Program Replay, IEEE Parallel & Distributed Technology: Systems & Technology, v.1 n.4, p.32-39, November 1993
	David L. Detlefs , Maurice P. Herlihy , Jeannette M. Wing, Inheritance of Synchronization and Recovery Properties in Avalon/C++, Computer, v.21 n.12, p.57-69, December 1988
	Lorenzo Alvisi , Keith Marzullo, Message Logging: Pessimistic, Optimistic, Causal, and Optimal, IEEE Transactions on Software Engineering, v.24 n.2, p.149-159, February 1998
	Rong N. Chang , Chinya V. Ravishankar , Jacob Slonim, A service acquisition mechanism for the client/service model in cygnus, Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research, October 28-30, 1991, Toronto, Ontario, Canada
	Guohong Cao , Mukesh Singhal, Checkpointing with mutable checkpoints, Theoretical Computer Science, v.290 n.2, p.1127-1148, 2 January 2003
	Alan Dearle, Toward Ubiquitous Environments for Mobile Users, IEEE Internet Computing, v.2 n.1, p.22-32, January 1998
	Guohong Cao , Mukesh Singhal, On Coordinated Checkpointing in Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, v.9 n.12, p.1213-1225, December 1998
	J. L. Kim , T. Park, An Efficient Protocol for Checkpointing Recovery in Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, v.4 n.8, p.955-960, August 1993
	Jared C. Smolens , Brian T. Gold , Jangwoo Kim , Babak Falsafi , James C. Hoe , Andreas G. Nowatzyk, Fingerprinting: bounding soft-error detection latency and bandwidth, ACM SIGPLAN Notices, v.39 n.11, November 2004
	Rick Bubenik , Willy Zwaenepoel, Optimistic Make (Software Design), IEEE Transactions on Computers, v.41 n.2, p.207-217, February 1992
	Jichiang Tsai , Sy-Yen Kuo , Yi-Min Wang, Theoretical Analysis for Communication-Induced Checkpointing Protocols with Rollback-Dependency Trackability, IEEE Transactions on Parallel and Distributed Systems, v.9 n.10, p.963-971, October 1998
	S. Venkatesan , Tony Tong-Ying Juang , Sridhar Alagar, Optimistic Crash Recovery without Changing Application Messages, IEEE Transactions on Parallel and Distributed Systems, v.8 n.3, p.263-271, March 1997
	Michel Raynal , Mukesh Singhal, Logical Time: Capturing Causality in Distributed Systems, Computer, v.29 n.2, p.49-56, February 1996
	Ravi Prakash , Mukesh Singhal, Low-Cost Checkpointing and Failure Recovery in Mobile Computing Systems, IEEE Transactions on Parallel and Distributed Systems, v.7 n.10, p.1035-1048, October 1996
	Mohamed F. Younis , Thomas J. Marlowe , Alexander D. Stoyen , Grace Tsai, Statically Safe Speculative Execution for Real-Time Systems, IEEE Transactions on Software Engineering, v.25 n.5, p.701-721, September 1999
	Guohong Cao , Mukesh Singhal, Mutable Checkpoints: A New Checkpointing Approach for Mobile Computing Systems, IEEE Transactions on Parallel and Distributed Systems, v.12 n.2, p.157-172, February 2001
	Sriram Rao , Lorenzo Alvisi , Harrick M. Vin, The Cost of Recovery in Message Logging Protocols, IEEE Transactions on Knowledge and Data Engineering, v.12 n.2, p.160-173, March 2000
	JinHo Ahn , Sung-Gi Min , Chong-Sun Hwang, A causal message logging protocol for mobile nodes in mobile computing systems, Future Generation Computer Systems, v.20 n.4, p.663-686, May 2004
	Florin Sultan , Thu D. Nguyen , Liviu Iftode, Lazy Garbage Collection of Recovery State for Fault-Tolerant Distributed Shared Memory, IEEE Transactions on Parallel and Distributed Systems, v.13 n.7, p.673-686, July 2002
	D. Agrawal , J. R. Agre, Recovering from Multiple Process Failures in the Time Warp Mechanism, IEEE Transactions on Computers, v.41 n.12, p.1504-1514, December 1992
	Yi-Min Wang , Yennun Huang , W. Kent Fuchs , Chandra Kintala, Progressive Retry for Software Failure Recovery in Message-Passing Applications, IEEE Transactions on Computers, v.46 n.10, p.1137-1141, October 1997
	Anurag Agarwal , Vijay K. Garg, Efficient dependency tracking for relevant events in shared-memory systems, Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing, July 17-20, 2005, Las Vegas, NV, USA
	Feng Qin , Joseph Tucek , Jagadeesan Sundaresan , Yuanyuan Zhou, Rx: treating bugs as allergies---a safe method to survive software failures, ACM SIGOPS Operating Systems Review, v.39 n.5, December 2005
	Reinhard Schwarz , Friedemann Mattern, Detecting causal relationships in distributed computations: in search of the holy grail, Distributed Computing, v.7 n.3, p.149-174, March 1994
	Yi-Min Wang , Pi-Yu Chung , In-Jen Lin , W. Kent Fuchs, Checkpoint Space Reclamation for Uncoordinated Checkpointing in Message-Passing Systems., IEEE Transactions on Parallel and Distributed Systems, v.6 n.5, p.546-554, May 1995
	Sayantan Chakravorty , Celso L. Mendes , Laxmikant V. Kalé , Terry Jones , Andrew Tauferner , Todd Inglett , José Moreira, HPC-Colony: services and interfaces for very large systems, ACM SIGOPS Operating Systems Review, v.40 n.2, April 2006
	Partha Sarathi Mandal , Krishnendu Mukhopadhyaya, Performance analysis of different checkpointing and recovery schemes using stochastic model, Journal of Parallel and Distributed Computing, v.66 n.1, p.99-107, January 2006
	Himadri Sekhar Paul , Arobinda Gupta , Amit Sharma, Finding a suitable checkpoint and recovery protocol for a distributed application, Journal of Parallel and Distributed Computing, v.66 n.5, p.732-749, May 2006
	J. Hamilton Slye , E. N. Elnozahy, Support for Software Interrupts in Log-Based Rollback-Recovery, IEEE Transactions on Computers, v.47 n.10, p.1113-1123, October 1998
	Ge-Ming Chiu , Cheng-Ru Young, Efficient Rollback-Recovery Technique in Distributed Computing Systems, IEEE Transactions on Parallel and Distributed Systems, v.7 n.6, p.565-577, June 1996
	Diego Cucuzzo , Stefano D'Alessio , Francesco Quaglia , Paolo Romano, A Lightweight Heuristic-based Mechanism for Collecting Committed Consistent Global States in Optimistic Simulation, Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications, p.227-234, October 22-26, 2007
	Yuanyuan Zhou , Peter M. Chen , Kai Li, Fast cluster failover using virtual memory-mapped communication, Proceedings of the 13th international conference on Supercomputing, p.373-382, June 20-25, 1999, Rhodes, Greece
	Thomas Huining Feng , Edward A. Lee, Incremental checkpointing with application to distributed discrete event simulation, Proceedings of the 37th conference on Winter simulation, December 03-06, 2006, Monterey, California
	Daniel J. Scales , Monica S. Lam, Transparent fault tolerance for parallel applications on networks of workstations, Proceedings of the Annual Technical Conference on USENIX 1996 Annual Technical Conference, p.27-27, January 22-26, 1996, San Diego, CA
	Camille Coti , Thomas Herault , Pierre Lemarinier , Laurence Pilard , Ala Rezmerita , Eric Rodriguez , Franck Cappello, MPI tools and performance studies---Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI, Proceedings of the 2006 ACM/IEEE conference on Supercomputing, November 11-17, 2006, Tampa, Florida
	Ramakrishna Gummadi , Nupur Kothari , Todd Millstein , Ramesh Govindan, Declarative failure recovery for sensor networks, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada
	Hon F. Li , Zunce Wei , Dhrubajyoti Goswami, Quasi-atomic recovery for distributed agents, Parallel Computing, v.32 n.10, p.733-758, November, 2006
	David E. Lowell , Subhachandra Chandra , Peter M. Chen, Exploring failure transparency and the limits of generic recovery, Proceedings of the 4th conference on Symposium on Operating System Design & Implementation, p.20-20, October 22-25, 2000, San Diego, California
	Sudarshan M. Srinivasan , Srikanth Kandula , Christopher R. Andrews , Yuanyuan Zhou, Flashback: a lightweight extension for rollback and deterministic replay for software debugging, Proceedings of the USENIX Annual Technical Conference 2004 on USENIX Annual Technical Conference, p.3-3, June 27-July 02, 2004, Boston, MA
	Edmund B. Nightingale , Kaushik Veeraraghavan , Peter M. Chen , Jason Flinn, Rethink the sync, Proceedings of the 7th conference on USENIX Symposium on Operating Systems Design and Implementation, p.1-1, November 06-08, 2006, Seattle, WA
	Partha Sarathi Mandal , Krishnendu Mukhopadhyaya, Self-stabilizing algorithm for checkpointing in a distributed system, Journal of Parallel and Distributed Computing, v.67 n.7, p.816-829, July, 2007
	Feng Qin , Joseph Tucek , Yuanyuan Zhou , Jagadeesan Sundaresan, Rx: Treating bugs as allergies—a safe method to survive software failures, ACM Transactions on Computer Systems (TOCS), v.25 n.3, p.7-es, August 2007
	Sharon Simmons , Dennis Edwards, Quantitative causality, Neural, Parallel & Scientific Computations, v.15 n.1, p.103-124, March 2007
	Jinsong Ouyang , Piyush Maheshwari, Supporting Cost-Effective Fault Tolerance in Distributed Message-Passing Applications with File Operations, The Journal of Supercomputing, v.14 n.3, p.207-232, Dec.1.1999
	Bouteiller Bouteiller , Franck Cappello , Thomas Herault , Krawezik Krawezik , Pierre Lemarinier , Magniette Magniette, MPICH-V2: a Fault Tolerant MPI for Volatile Nodes based on Pessimistic Sender Based Message Logging, Proceedings of the 2003 ACM/IEEE conference on Supercomputing, p.25, November 15-21, 2003
	Jiannong Cao , K. C. Wang, An abstract model of rollback recovery control in distributed systems, ACM SIGOPS Operating Systems Review, v.26 n.4, p.62-76, Oct. 1992
	David F. Bacon, Transparent recovery in distributed systems (position paper), ACM SIGOPS Operating Systems Review, v.25 n.2, p.91-94, April 1991
	David B. Johnson , Willy Zwaenepoel, Transparent optimistic rollback recovery, ACM SIGOPS Operating Systems Review, v.25 n.2, p.99-102, April 1991
	Michel Raynal, About logical clocks for distributed systems, ACM SIGOPS Operating Systems Review, v.26 n.1, p.41-48, Jan. 1992
	Özalp Babaoğlu, Fault-tolerant computing based on Mach, ACM SIGOPS Operating Systems Review, v.24 n.1, p.27-39, Jan. 1990
	Jinho Ahn, 2-step algorithm for enhancing effectiveness of sender-based message logging, Proceedings of the 2007 spring simulation multiconference, March 25-29, 2007, Norfolk, Virginia
	D. Manivannan , Q. Jiang , Jianchang Yang , M. Singhal, A quasi-synchronous checkpointing algorithm that prevents contention for stable storage, Information Sciences: an International Journal, v.178 n.15, p.3110-3117, August, 2008
	Pierre Lemarinier , Aurelien Bouteiller , Geraud Krawezik , Franck Cappello, Coordinated checkpoint versus message log for fault tolerant MPI, International Journal of High Performance Computing and Networking, v.2 n.2-4, p.146-155, February 2004
	Edmund B. Nightingale , Kaushik Veeraraghavan , Peter M. Chen , Jason Flinn, Rethink the sync, Proceedings of the 7th symposium on Operating systems design and implementation, November 06-08, 2006, Seattle, Washington
	Jinho Ahn, Lightweight log management algorithm for removing logged messages of sender processes with little overhead, WSEAS Transactions on Computers, v.7 n.6, p.804-813, June 2008
	Qiangfeng Jiang , Yi Luo , D. Manivannan, An optimistic checkpointing and message logging approach for consistent global checkpoint collection in distributed systems, Journal of Parallel and Distributed Computing, v.68 n.12, p.1575-1589, December, 2008
	D. Manivannan , Q. Jiang , Jianchang Yang , M. Singhal, A quasi-synchronous checkpointing algorithm that prevents contention for stable storage, Information Sciences: an International Journal, v.178 n.15, p.3109-3116, August, 2008
	Edmund B. Nightingale , Kaushik Veeraraghavan , Peter M. Chen , Jason Flinn, Rethink the sync, ACM Transactions on Computer Systems (TOCS), v.26 n.3, p.1-26, September 2008
	Anurag Agarwal , Vijay K. Garg, Efficient dependency tracking for relevant events in concurrent systems, Distributed Computing, v.19 n.3, p.163-183, January 2007
	Siddharth Choudhuri , Tony Givargis, FlashBox: a system for logging non-deterministic events in deployed embedded systems, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii
	B. Gupta , S. Rahimi, A novel low-overhead recovery approach for distributed systems, Journal of Computer Systems, Networks, and Communications, 2009, p.1-8, January 2009

INDEX TERMS

Classification:
C. Computer Systems Organization
C.1 PROCESSOR ARCHITECTURES
C.2 COMPUTER-COMMUNICATION NETWORKS
C.2.4 Distributed Systems
Subjects: Network operating systems

D. Software
D.1 PROGRAMMING TECHNIQUES
D.4 OPERATING SYSTEMS
D.4.7 Organization and Design
Subjects: Distributed systems

General Terms:
Algorithms, Reliability, Verification

REVIEW

"Brent T. Hailpern : Reviewer"

This paper discusses a processor-failure recovery technique for a system of communicating processes. The technique is implemented as a component of the process-scheduling and network-interface portion of the operating system. By being part of th more...

Collaborative Colleagues:

Rob Strom: colleagues

Shaula Yemini: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player