ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Distributed snapshots: determining global states of distributed systems
Full text PdfPdf (992 KB)
Source ACM Transactions on Computer Systems (TOCS) archive
Volume 3 ,  Issue 1  (February 1985) table of contents
Pages: 63 - 75  
Year of Publication: 1985
ISSN:0734-2071
Authors
K. Mani Chandy  Department of Computer Sciences, University of Texas at Austin, Austin, TX
Leslie Lamport  Stanford Research Institute, Menlo Park, CA
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 36,   Downloads (12 Months): 456,   Citation Count: 325
Additional Information:

abstract   references   cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/214451.214456
What is a DOI?

ABSTRACT

This paper presents an algorithm by which a process in a distributed system determines a global state of the system during a computation. Many problems in distributed systems can be cast in terms of the problem of detecting global states. For instance, the global state detection algorithm helps to solve an important class of problems: stable property detection. A stable property is one that persists: once a stable property becomes true it remains true thereafter. Examples of stable properties are “computation has terminated,” “ the system is deadlocked” and “all tokens in a token ring have disappeared.” The stable property detection problem is that of devising algorithms to detect a given stable property. Global state detection can also be used for checkpointing.


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
K. Mani Chandy , J. Misra, Distributed computation on graphs: shortest path algorithms, Communications of the ACM, v.25 n.11, p.833-837, Nov 1982  [doi>10.1145/358690.358717]
2
K. Mani Chandy , Jayadev Misra , Laura M. Haas, Distributed deadlock detection, ACM Transactions on Computer Systems (TOCS), v.1 n.2, p.144-156, May 1983  [doi>10.1145/357360.357365]
 
3
DIJKSTRA, E.W. The distributed snapshot of K. M. Chandy and L. Lamport. Tech. Rep. EWD 864a, Univ. of Texas, Austin, Tex., 1984.
 
4
DIJKSTRA, E. W., AND SCHOLTEN, C.S. Termination detection for diffusing computations. Inf. Proc. Lett. 11, 1 (Aug. 1980), 1-4.
 
5
GLIGOR, V. D., AND SHATTUCK, S.H. Deadlock detection in distributed systems. IEEE Trans. Softw. Eng. SE-6, 5 (Sep. 1980), 435-440.
6
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]
 
7
LAMPORT, L., AND CHANDY, K.M. On partially-ordered event models of distributed computations. Submitted for publication.
 
8
MAHOUD, S. A., AND RIORDAN, J. S. Software controlled access to distributed databases. INFOR 15, 1 (Feb. 1977), 22-36.
 
9
MENASCE, D., AND MUNTZ, R. Locking and deadlock detection in distributed data bases. IEEE Trans. Softw. Eng. SE-5, 3 (May 1979), 195-202.
10
Jayadev Misra , K. M. Chandy, Termination Detection of Diffusing Computations in Communicating Sequential Processes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.37-43, Jan. 1982  [doi>10.1145/357153.357156]
11
Ron Obermarck, Distributed deadlock detection algorithm, ACM Transactions on Database Systems (TODS), v.7 n.2, p.187-208, June 1982  [doi>10.1145/319702.319717]

CITED BY  325
Amy L. Murphy , Gian Pietro Picco, Reliable Communication for Highly Mobile Agents, Autonomous Agents and Multi-Agent Systems, v.5 n.1, p.81-100, March 2002
Marija Rakic , Nenad Medvidovic, Increasing the confidence in off-the-shelf components: a software connector-based approach, ACM SIGSOFT Software Engineering Notes, v.26 n.3, p.11-18, May 2001
L. Bougé , N. Francez, A compositional approach to superimposition, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.240-249, January 10-13, 1988, San Diego, California, United States
Lior Shabtay , Adrian Segall, On the memory overhead of distributed snapshots, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.401, August 14-17, 1994, Los Angeles, California, United States
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
Baruch Awerbuch , Rafail Ostrovsky, Memory-efficient and self-stabilizing network RESET (extended abstract), Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.254-263, August 14-17, 1994, Los Angeles, California, United States
I. J. P. Elshoff, A distributed debugger for Amoeba, ACM SIGPLAN Notices, v.24 n.1, p.1-10, Jan. 1989
Neeraj Mittal , Vijay K. Garg, Debugging distributed programs using controlled re-execution, Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.239-248, July 16-19, 2000, Portland, Oregon, United States
James S. Plank , Kai Li, ickp: A Consistent Checkpointer for Multicomputers, IEEE Parallel & Distributed Technology: Systems & Technology, v.2 n.2, p.62-67, June 1994
Hsien-Kuang Chiou , Willard Korfhage, ENF event predicate detection in distributed systems, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.91-100, August 14-17, 1994, Los Angeles, California, United States
Bernadette Charron-Bost , Carole Delporte-Gallet , Hugues Fauconnier, Local and temporal predicates in distributed systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.1, p.157-179, Jan. 1995
Dalia Malki , Ken Birman , Aleta Ricciardi , André Schiper, Uniform actions in asynchronous distributed systems, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.274-283, August 14-17, 1994, Los Angeles, California, United States
Baruch Awerbuch , David Peleg, Online tracking of mobile users, Journal of the ACM (JACM), v.42 n.5, p.1021-1058, Sept. 1995
Madhavan Mukund , K. Narayan Kumar , Milind Sohoni, Bounded time-stamping in message-passing systems, Theoretical Computer Science, v.290 n.1, p.221-239, 1 January 2003
S. H. Son , J. L. Pfaltz, Reliability mechanisms for ADAMS, Proceedings of the third conference on Hypercube concurrent computers and applications, p.1390-1397, January 1989, Pasadena, California, United States
K. Li , J. F. Naughton , J. S. Plank, Low-Latency, Concurrent Checkpointing for Parallel Programs, IEEE Transactions on Parallel and Distributed Systems, v.5 n.8, p.874-879, August 1994
Isabelle Puaut, A distributed garbage collector for active objects, ACM SIGPLAN Notices, v.29 n.10, p.113-128, Oct. 1994
Paul F. Reynolds, Jr. , Carmen M. Pancerella , Sudhir Srinivasan, Making parallel simulations go fast, Proceedings of the 24th conference on Winter simulation, p.646-656, December 13-16, 1992, Arlington, Virginia, United States
Ching Tsun Chou , Eli Gafni, Understanding and verifying distributed algorithms using stratified decomposition, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.44-65, August 15-17, 1988, Toronto, Ontario, Canada
Praskash Panangaden , Kim Taylor, Concurrent common knowledge: a new definition of agreement for asynchronous systems, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.197-209, August 15-17, 1988, Toronto, Ontario, Canada
Ehud Shapiro, The family of concurrent logic programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.413-510, Sep. 1989
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
Yehuda Afek , Danny Dolev , Hagit Attiya , Eli Gafni , Michael Merritt , Nir Shavit, Atomic snapshots of shared memory, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.1-13, August 22-24, 1990, Quebec City, Quebec, Canada
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
Charles E. McDowell , David P. Helmbold, Debugging concurrent programs, ACM Computing Surveys (CSUR), v.21 n.4, p.593-622, Dec. 1989
George Varghese, Self-stabilization by counter flushing, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.244-253, August 14-17, 1994, Los Angeles, California, United States
Alexander I. Tomlinson , Vijay K. Garg, Detecting relational global predicates in distributed systems, ACM SIGPLAN Notices, v.28 n.12, p.21-31, Dec. 1993
S. Rajsbaum , M. Sidi, On the Performance of Synchronized Programs in Distributed Networks with Random Processing Times and Transmission Delays, IEEE Transactions on Parallel and Distributed Systems, v.5 n.9, p.939-950, September 1994
P. Frey , R. Radhakrishnan , H. W. Carter , P. A. Wilsey , P. Alexander, A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation, IEEE Transactions on Software Engineering, v.28 n.1, p.58-78, January 2002
Robert Cooper , Keith Marzullo, Consistent detection of global predicates, ACM SIGPLAN Notices, v.26 n.12, p.167-174, Dec. 1991
Michel Hurfin , Noël Plouzeau , Michel Raynal, Detecting atomic sequences of predicates in distributed computations, ACM SIGPLAN Notices, v.28 n.12, p.32-42, Dec. 1993
Gil Neiger , Sam Toueg, Simulating synchronized clocks and common knowledge in distributed systems, Journal of the ACM (JACM), v.40 n.2, p.334-367, April 1993
Shmuel Katz, A superimposition control construct for distributed systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.2, p.337-356, April 1993
Yehuda Afek , Shlomi Dolev, Local stabilizer, Journal of Parallel and Distributed Computing, v.62 n.5, p.745-765, May 2002
José M. Piquer, Indirect distributed garbage collection: handling object migration, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.5, p.615-647, Sept. 1996
Om. P. Damani , Vijay K. Garg, Fault-tolerant distributed simulation, ACM SIGSIM Simulation Digest, v.28 n.1, p.38-45, July 1998
Kenjiro Taura , Akinori Yonezawa, An effective garbage collection strategy for parallel programming languages on large scale distributed-memory machines, ACM SIGPLAN Notices, v.32 n.7, p.264-275, July 1997
Jeffrey K. Hollingsworth, An online computation of critical path profiling, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, p.11-20, May 22-23, 1996, Philadelphia, Pennsylvania, United States
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
Barbara Liskov , Rivka Ladin, Highly available distributed services and fault-tolerant distributed garbage collection, Proceedings of the fifth annual ACM symposium on Principles of distributed computing, p.29-39, August 11-13, 1986, Calgary, Alberta, Canada
Ken Hines , Gaetano Borriello, A geographically distributed framework for embedded system design and validation, Proceedings of the 35th annual conference on Design automation, p.140-145, June 15-19, 1998, San Francisco, California, United States
Alex Scherer , Honghui Lu , Thomas Gross , Willy Zwaenepoel, Transparent adaptive parallelism on NOWs using OpenMP, ACM SIGPLAN Notices, v.34 n.8, p.96-106, Aug. 1999
S. Even , S. Rajsbaum, The use of a synchronizer yields maximum computation rate in distributed networks, Proceedings of the twenty-second annual ACM symposium on Theory of computing, p.95-105, May 13-17, 1990, Baltimore, Maryland, United States
Eli Gafni , Michael Merritt , Gadi Taubenfeld, The concurrency hierarchy, and algorithms for unbounded concurrency, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, p.161-169, August 2001, Newport, Rhode Island, United States
Cüneyt Özveren , Robert Simcoe , George Varghese, Reliable and efficient hop-by-hop flow control, ACM SIGCOMM Computer Communication Review, v.24 n.4, p.89-100, Oct. 1994
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
S. Katz , C. A. Richter , K.-S. The, PARIS: a system for reusing partially interpreted schemas, Proceedings of the 9th international conference on Software Engineering, p.377-385, March 1987, Monterey, California, 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
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
Danny Dolev , Eli Gafni , Nir Shavit, Toward a non-atomic era: l-exclusion as a test case, Proceedings of the twentieth annual ACM symposium on Theory of computing, p.78-92, May 02-04, 1988, Chicago, Illinois, United States
Yehuda Afek , Eli Gafni , Adi Rosén, The slide mechanism with applications in dynamic networks, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing, p.35-46, August 10-12, 1992, Vancouver, British Columbia, Canada
J. M. Stone, Debugging concurrent processes: a case study, ACM SIGPLAN Notices, v.23 n.7, p.145-153, July 1988
Vijay A. Saraswat , Kenneth Kahn , David Weinbaum, Detecting stable properties of networks in concurrent logic programming languages, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.210-222, August 15-17, 1988, Toronto, Ontario, Canada
Nalini Venkatasubramanian , Carolyn Talcott, Reasoning about meta level activities in open distributed systems, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.144-152, August 20-23, 1995, Ottowa, Ontario, Canada
Victor C. Zandy , Barton P. Miller, Reliable network connections, Proceedings of the 8th annual international conference on Mobile computing and networking, September 23-28, 2002, Atlanta, Georgia, USA
Alan Demers , Dan Greene , Carl Hauser , Wes Irish , John Larson , Scott Shenker , Howard Sturgis , Dan Swinehart , Doug Terry, Epidemic algorithms for replicated database maintenance, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.1-12, August 10-12, 1987, Vancouver, British Columbia, Canada
Shmuel Katz , Doron Peled, Interleaving set temporal logic, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.178-190, August 10-12, 1987, Vancouver, British Columbia, Canada
Adiseshu Hari , George Varghese , Guru Parulkar, An architecture for packet-striping protocols, ACM Transactions on Computer Systems (TOCS), v.17 n.4, p.249-287, Nov. 1999
Gil Neiger , Sam Toueg, Substituting for real time and common knowledge in asynchronous distributed systems, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.281-293, August 10-12, 1987, Vancouver, British Columbia, Canada
Marco Schneider, Self-stabilization, ACM Computing Surveys (CSUR), v.25 n.1, p.45-67, March 1993
Kia Makki , Niki Pissinou, Detection and resolution of deadlocks in distributed database systems, Proceedings of the fourth international conference on Information and knowledge management, p.411-416, November 29-December 02, 1995, Baltimore, Maryland, United States
Bojan Grošelj, Fault-tolerant distributed simulation, Proceedings of the 23rd conference on Winter simulation, p.637-641, December 08-11, 1991, Phoenix, Arizona, United States
George Varghese , Roger Chamberlain , William E. Weihl, The pessimism behind optimistic simulation, ACM SIGSIM Simulation Digest, v.24 n.1, p.126-131, July 1994
Gruia-Catalin Roman , Kenneth C. Cox, Declarative visualization in the shared dataspace paradigm, Proceedings of the 11th international conference on Software engineering, p.34-43, May 1989, Pittsburgh, Pennsylvania, United States
Anish Arora , Sandeep Kulkarni , Murat Demirbas, Resettable vector clocks, Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.269-278, July 16-19, 2000, Portland, Oregon, United States
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
Yehuda Afek , Michael Saks, Detecting global termination conditions in the face of uncertainty, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.109-124, August 10-12, 1987, Vancouver, British Columbia, Canada
Joseph Y. Halpern , Yoram Moses, Knowledge and common knowledge in a distributed environment, Journal of the ACM (JACM), v.37 n.3, p.549-587, July 1990
Roberto Baldoni , Jean-Michel Hélary , Michel Raynal, Rollback-dependency trackability: visible characterizations, Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing, p.33-42, May 04-06, 1999, Atlanta, Georgia, United States
Edgar Knapp, Deadlock detection in distributed databases, ACM Computing Surveys (CSUR), v.19 n.4, p.303-328, Dec. 1987
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
S. H. Son, An Adaptive Checkpointing Scheme for Distributed Databases with Mixed Types of Transactions, IEEE Transactions on Knowledge and Data Engineering, v.1 n.4, p.450-458, December 1989
Yehuda Afek , Gad M. Landau , Baruch Schieber , Moti Yung, The power of multimedia: combining point-to point and multi-access networks, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.90-104, August 15-17, 1988, Toronto, Ontario, Canada
Nuno Neves , W. Kent Fuchs, Adaptive recovery for mobile environments, Communications of the ACM, v.40 n.1, p.68-74, Jan. 1997
Janice M. Stone, A graphical representation of concurrent processes, ACM SIGPLAN Notices, v.24 n.1, p.226-235, Jan. 1989
C. E. Hrischuk , C. M. Woodside, Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System, IEEE Transactions on Software Engineering, v.28 n.4, p.321-339, April 2002
Steven K. Andrianoff, A module on distributed systems for the operating systems course, ACM SIGCSE Bulletin, v.22 n.1, p.176-180, Feb. 1990
David R. Jefferson, Virtual time, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.404-425, July 1985
Wing Hong Cheung , James P. Black , Eric Manning, A Framework for Distributed Debugging, IEEE Software, v.7 n.1, p.106-115, January 1990
Mani Chandy , Jayadev Misra, An example of stepwise refinement of distributed programs: quiescence detection, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.3, p.326-343, July 1986
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
Greg Bronevetsky , Daniel Marques , Keshav Pingali , Paul Stodghill, Collective operations in application-level fault-tolerant MPI, Proceedings of the 17th annual international conference on Supercomputing, June 23-26, 2003, San Francisco, CA, USA
James Arthur Kohl , Philip M. Papadopoulas, Efficient and flexible fault tolerance and migration of scientific simulations using CUMULVS, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, p.60-71, August 03-04, 1998, Welches, Oregon, United States
Amy L. Murphy , Gruia-Catalin Roman , George Varghese, An algorithm for message delivery to mobile units, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.292, August 21-24, 1997, Santa Barbara, California, United States
Akhil Kumar , Michael Stonebraker, Semantics based transaction management techniques for replicated data, ACM SIGMOD Record, v.17 n.3, p.117-125, June 1988
Christoper H. Young , Radharamanan Radhakrishnan , Philip A. Wilsey, Optimism: not just for event execution anymore, Proceedings of the thirteenth workshop on Parallel and distributed simulation, p.136-143, May 01-04, 1999, Atlanta, Georgia, United States
Gregory R. Andrews, Paradigms for process interaction in distributed programs, ACM Computing Surveys (CSUR), v.23 n.1, p.49-90, March 1991
Robert H. B. Netzer , Timothy W. Brennan , Suresh K. Damodaran-Kamal, Debugging race conditions in message-passing programs, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, p.31-40, May 22-23, 1996, Philadelphia, Pennsylvania, United States
Karl Abrahamson, On achieving consensus using a shared memory, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.291-302, August 15-17, 1988, Toronto, Ontario, Canada
Madalene Spezialetti, An approach to reducing delays in recognizing distributed event occurrences, ACM SIGPLAN Notices, v.26 n.12, p.155-166, Dec. 1991
Chengzheng Sun, Undo as concurrent inverse in group editors, ACM Transactions on Computer-Human Interaction (TOCHI), v.9 n.4, p.309-361, December 2002
Dieter Kranzlmüller , Nam Thoai , Jens Volkert, Error detection in large-scale parallel programs with long runtimes, Future Generation Computer Systems, v.19 n.5, p.689-700, July 2003
Kenneth P. Birman , Bradford B. Glade, Reliability Through Consistency, IEEE Software, v.12 n.3, p.29-41, May 1995
Vijay K. Garg, Methods for Observing Global Properties in Distributed Systems, IEEE Parallel & Distributed Technology: Systems & Technology, v.5 n.4, p.69-77, October 1997
Kasidit Chanchio , Xian-He Sun, Communication State Transfer for the Mobility of Concurrent Heterogeneous Computing, IEEE Transactions on Computers, v.53 n.10, p.1260-1273, October 2004
Loon-Been Chen , I-Chen Wu, An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates, IEEE Transactions on Software Engineering, v.28 n.11, p.1077-1084, November 2002
Jichiang Tsai, On Properties of RDT Communication-Induced Checkpointing Protocols, IEEE Transactions on Parallel and Distributed Systems, v.14 n.8, p.755-764, August 2003
Taesoon Park , Inseon Lee , Heon Y. Yeom, An efficient causal logging scheme for recoverable distributed shared memory systems, Parallel Computing, v.28 n.11, p.1549-1572, November 2002
Ajay D. Kshemkalyani, A Fine-Grained Modality Classification for Global Predicates, IEEE Transactions on Parallel and Distributed Systems, v.14 n.8, p.807-816, August 2003
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
Greg Bronevetsky , Daniel Marques , Keshav Pingali , Paul Stodghill, Automated application-level checkpointing of MPI programs, ACM SIGPLAN Notices, v.38 n.10, October 2003
Ashfaq A. Khokhar , Susanne E. Hambrusch , Erturk Kocalar, Termination detection in data-driven parallel computations/applications, Journal of Parallel and Distributed Computing, v.63 n.3, p.312-326, March 2003
Bikram Sengupta , Rance Cleaveland, Triggered message sequence charts, ACM SIGSOFT Software Engineering Notes, v.27 n.6, November 2002
S. Venkatesan , Tony T-Y. Juang, Efficient algorithms for optimistic crash recovery, Distributed Computing, v.8 n.2, p.105-114, October 1994
Bikram Sengupta , Rance Cleaveland, Triggered message sequence charts, Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, November 18-22, 2002, Charleston, South Carolina, USA
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
Marcelo Glusman , Shmuel Katz, A Mechanized Proof Environment for the Convenient Computations Proof Method, Formal Methods in System Design, v.23 n.2, p.115-142, September 2003
A. Arora , M. Gouda, Distributed Reset, IEEE Transactions on Computers, v.43 n.9, p.1026-1038, September 1994
L. A. Laranjeira , M. Malek , R. Jenevein, Nest: A Nested-Predicate Scheme for Fault Tolerance, IEEE Transactions on Computers, v.42 n.11, p.1303-1324, November 1993
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
R. Kurki-Suonio, Action systems in incremental and aspect-oriented modeling, Distributed Computing, v.16 n.2-3, p.201-217, September 2003
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
Yoram Moses , Zvi Polunsky , Ayellet Tal , Leonid Ulitsky, Algorithm Visualization For Distributed Environments, Proceedings of the 1998 IEEE Symposium on Information Visualization, p.71-78, October 19-20, 1998, North Carolina
B. Gupta , Z. Liu , Z. Liang, On designing direct dependency: based fast recovery algorithms for distributed systems, ACM SIGOPS Operating Systems Review, v.38 n.1, p.58-73, January 2004
Neeraj Mittal , Vijay K. Garg, Finding missing synchronization in a distributed computation using controlled re-execution, Distributed Computing, v.17 n.2, p.107-130, August 2004
Nitin H. Vaidya, A case for two-level distributed recovery schemes, ACM SIGMETRICS Performance Evaluation Review, v.23 n.1, p.64-73, May 1995
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
Hari Adiseshu , Guru Parulkar , George Varghese, A reliable and scalable striping protocol, ACM SIGCOMM Computer Communication Review, v.26 n.4, p.131-141, Oct. 1996
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
M. Ahuja, An Implementation of F-Channels, IEEE Transactions on Parallel and Distributed Systems, v.4 n.6, p.658-667, June 1993
Emmanuelle Anceaume , Jean-Michel Hélary , Michel Raynal, Tracking immediate predecessors in distributed computations, Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures, August 10-13, 2002, Winnipeg, Manitoba, Canada
Pablo Galdámez , Declan Murphy , José M. Bernabéu-Aubánjosep , Francesc D. Muñoz-Escoi, Event-Based Techniques to Debug an Object Request Broker, The Journal of Supercomputing, v.13 n.2, p.133-149, March/April 1999
M. Ahuja , T. Carlson , A. Gahlot, Passive-Space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing, IEEE Transactions on Software Engineering, v.19 n.9, p.845-855, September 1993
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
D. Wybranietz , D. Haban, Monitoring and performance measuring distributed systems during operation, ACM SIGMETRICS Performance Evaluation Review, v.16 n.1, p.197-206, May 1988
D. Kumar, Development of a Class of Distributed Termination Detection Algorithms, IEEE Transactions on Knowledge and Data Engineering, v.4 n.2, p.145-155, April 1992
S. Pilarski , T. Kameda, Checkpointing for Distributed Databases: Starting from the Basics, IEEE Transactions on Parallel and Distributed Systems, v.3 n.5, p.602-610, September 1992
Chia-Shiang Shih , John A. Stankovic, Distributed deadlock detection in Ada run-time environments, Proceedings of the conference on TRI-ADA '90, p.362-375, December 03-06, 1990, Baltimore, Maryland, United States
Atsushi Hori , Hiroshi Tezuka , Yutaka Ishikawa, Highly efficient gang scheduling implementation, Proceedings of the 1998 ACM/IEEE conference on Supercomputing (CDROM), p.1-14, November 07-13, 1998, San Jose, CA
Jean-Michael Helary , Claude Jard , Noël Plouzeau , Michel Raynal, Detection of stable properties in distributed applications, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.125-136, August 10-12, 1987, Vancouver, British Columbia, Canada
Shmuel Katz , Kenneth Perry, Self-stabilizing extensions for message-passing systems, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.91-101, August 22-24, 1990, Quebec City, Quebec, Canada
Amy L. Murphy, Algorithm development in the mobile environment, Proceedings of the 21st international conference on Software engineering, p.728-729, May 16-22, 1999, Los Angeles, California, United States
Yehuda Afek , Hagit Attiya , Danny Dolev , Eli Gafni , Michael Merritt , Nir Shavit, Atomic snapshots of shared memory, Journal of the ACM (JACM), v.40 n.4, p.873-890, Sept. 1993
Marc Khouzam , Thomas Kunz, Single stepping in event-visualization tools, Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research, p.19, November 12-14, 1996, Toronto, Ontario, Canada
Rob Strom , Shaula Yemini, Optimistic recovery in distributed systems, ACM Transactions on Computer Systems (TOCS), v.3 n.3, p.204-226, Aug. 1985
Carol Critchlow , Kim Taylor, The inhibition spectrum and the achievement of causal consistency, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.31-42, August 22-24, 1990, Quebec City, Quebec, Canada
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
Sang Hyuk Son , Ashok K. Agrawala, Distributed Checkpointing for Globally Consistent States of Databases, IEEE Transactions on Software Engineering, v.15 n.10, p.1157-1167, October 1989
Jean-Michel Hélary , Achour Mostefaoui , Michel Raynal, Communication-Induced Determination of Consistent Snapshots, IEEE Transactions on Parallel and Distributed Systems, v.10 n.9, p.865-877, September 1999
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
Murray S. Mazer, A link between knowledge and communication in faulty distributed systems, Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge, March 04-07, 1990, Pacific Grove, California
Murray S. Mazer, A knowledge theoretic account of recovery in distributed systems: the case of negotiated commitment, Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge, March 07-09, 1988, Pacific Grove, California
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
Dennis Kafura , Manibrata Mukherji , Douglas M. Washabaugh, Concurrent and Distributed Garbage Collection of Active Objects, IEEE Transactions on Parallel and Distributed Systems, v.6 n.4, p.337-350, April 1995
Guohong Cao , Mukesh Singhal, Checkpointing with mutable checkpoints, Theoretical Computer Science, v.290 n.2, p.1127-1148, 2 January 2003
Adnan Agbaria , Hagit Attiya , Roy Friedman , Roman Vitenberg, Quantifying rollback propagation in distributed checkpointing, Journal of Parallel and Distributed Computing, v.64 n.3, p.370-384, March 2004
Craig M. Chase , Vijay K. Garg, Detection of global predicates: techniques and their limitations, Distributed Computing, v.11 n.4, p.191-201, October 1998
Ying Zhang , Robert Dick , Krishnendu Chakrabarty, Energy-aware deterministic fault tolerance in distributed real-time embedded systems, Proceedings of the 41st annual conference on Design automation, June 07-11, 2004, San Diego, CA, USA
Carol Critchlow , Kim Taylor, The inhibition spectrum and the achievement of causal consistency, Distributed Computing, v.10 n.1, p.11-27, July 1996
V. K. Garg , B. Waldecker, Detection of Weak Unstable Predicates in Distributed Programs, IEEE Transactions on Parallel and Distributed Systems, v.5 n.3, p.299-307, March 1994
Guy Dumais , Hon F. Li, Distributed Predicate Detection in Series-Parallel Systems, IEEE Transactions on Parallel and Distributed Systems, v.13 n.4, p.373-387, April 2002
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
Guo-Hui Li , Hong-Ya Wang, A novel min-process checkpointing scheme for mobile computing systems, Journal of Systems Architecture: the EUROMICRO Journal, v.51 n.1, p.45-61, January 2005
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
David W. Miller , Jinhua Guo , Eileen Kraemer , Yin Xiong, On-the-fly calculation and verification of consistent steering transactions, Proceedings of the 2001 ACM/IEEE conference on Supercomputing (CDROM), p.1-17, November 10-16, 2001, Denver, Colorado
K. Mani Chandy , Joseph Kiniry , Adam Rifkin , Daniel Zimmerman, Webs of Archived Distributed Computations for Asynchronous Collaboration, The Journal of Supercomputing, v.11 n.2, p.101-118, Oct. 1997
N. Stankovic , K. Zhang, A Distributed Parallel Programming Framework, IEEE Transactions on Software Engineering, v.28 n.5, p.478-493, May 2002
Gurdip Singh, Constraint-based structuring of network protocols, Distributed Computing, v.12 n.1, p.1-12, March 1999
Greg Bronevetsky , Daniel Marques , Keshav Pingali , Peter Szwed , Martin Schulz, Application-level checkpointing for shared memory programs, ACM SIGARCH Computer Architecture News, v.32 n.5, December 2004
Ashis Tarafdar , Vijay K. Garg, Predicate control: synchronization in distributed computations with look-ahead, Journal of Parallel and Distributed Computing, v.64 n.2, p.219-237, February 2004
Ajay D. Kshemkalyani, The power of logical clock abstractions, Distributed Computing, v.17 n.2, p.131-150, August 2004
Eric Anderson , Dave Patterson, Extensible, Scalable Monitoring for Clusters of Computers, Proceedings of the 11th USENIX conference on System administration, October 26-31, 1997, San Diego, California
D. Manivannan , Robert H. B. Netzer , Mukesh Singhal, Finding Consistent Global Checkpoints in a Distributed Computation, IEEE Transactions on Parallel and Distributed Systems, v.8 n.6, p.623-627, June 1997
Jeffrey K. Hollingsworth, Critical Path Profiling of Message Passing and Shared-Memory Programs, IEEE Transactions on Parallel and Distributed Systems, v.9 n.10, p.1029-1040, October 1998
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
V. K. Garg , J. Ghosh, Repeated Computation of Global Functions in a Distributed Environment, IEEE Transactions on Parallel and Distributed Systems, v.5 n.8, p.823-834, August 1994
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
Nitin H. Vaidya, A Case for Two-Level Recovery Schemes, IEEE Transactions on Computers, v.47 n.6, p.656-666, June 1998
Ten-Hwang Lai , Li-Fen Wu, An (N -1)-Resilient Algorithm for Distributed Termination Detection, IEEE Transactions on Parallel and Distributed Systems, v.6 n.1, p.63-78, January 1995
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
Nitin H. Vaidya, Staggered Consistent Checkpointing, IEEE Transactions on Parallel and Distributed Systems, v.10 n.7, p.694-702, July 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
Abhay Vardhan , Gul Agha, Using passive object garbage collection algorithms for garbage collection of active objects, ACM SIGPLAN Notices, v.38 n.2 supplement, February 2003
Sridhar Alagar , Subbarayan Venkatesan, Techniques to Tackle State Explosion in Global Predicate Detection, IEEE Transactions on Software Engineering, v.27 n.8, p.704-714, August 2001
A Global-State-Triggered Fault Injector for Distributed System Evaluation, IEEE Transactions on Parallel and Distributed Systems, v.15 n.7, p.593-605, July 2004
Vijay K. Garg , Brian Waldecker, Detection of Strong Unstable Predicates in Distributed Programs, IEEE Transactions on Parallel and Distributed Systems, v.7 n.12, p.1323-1333, December 1996
J.-M. Hélary , A. Mostefaoui , R. H. B. Netzer , M. Raynal, Communication-based prevention of useless checkpoints in distributed computations, Distributed Computing, v.13 n.1, p.29-43, January 2000
Christof Fetzer, Perfect Failure Detection in Timed Asynchronous Systems, IEEE Transactions on Computers, v.52 n.2, p.99-112, February 2003
J. M. Hélary , A. Mostefaoui , M. Raynal, Interval consistency of asynchronous distributed computations, Journal of Computer and System Sciences, v.64 n.2, p.329-349, March 2002
Makoto Yokoo , Edmund H. Durfee , Toru Ishida , Kazuhiro Kuwabara, The Distributed Constraint Satisfaction Problem: Formalization and Algorithms, IEEE Transactions on Knowledge and Data Engineering, v.10 n.5, p.673-685, September 1998
Zhang Youhui , Wang Dongsheng, A checkpoint-based high availability run-time system for Windows NT clusters, ACM SIGOPS Operating Systems Review, v.36 n.2, p.12-18, April 2002
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
Jean-Michel Hélary , Robert H. B. Netzer , Michel Raynal, Consistency Issues in Distributed Checkpoints, IEEE Transactions on Software Engineering, v.25 n.2, p.274-281, March 1999
T. Camp , P. Kearns , M. Ahuja, Proof Rules for Flush Channels, IEEE Transactions on Software Engineering, v.19 n.4, p.366-378, April 1993
Tadashi Araragi, Fault tolerance for internet agent systems: in cases of stop failure and byzantine failure, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, July 25-29, 2005, The Netherlands
Taesoon Park , Namyoon Woo , Heon Y. Yeom, An Efficient Optimistic Message Logging Scheme for Recoverable Mobile Computing Systems, IEEE Transactions on Mobile Computing, v.1 n.4, p.265-277, October 2002
Roberto Baldoni , Francesco Quaglia , Paolo Fornara, An Index-Based Checkpointing Algorithm for Autonomous Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, v.10 n.2, p.181-192, February 1999
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
Prakash Panangaden , Kim Taylor, Concurrent common knowledge: defining agreement for asynchronous systems, Distributed Computing, v.6 n.2, p.73-93, September 1992
Bernadette Charron-Bost , Friedemann Mattern , Gerard Tel, Synchronous, asynchronous, and causally ordered communication, Distributed Computing, v.9 n.4, p.173-191, February 1996
Shmuel Katz , Doron Peled, Verification of distributed programs using representative interleaving sequences, Distributed Computing, v.6 n.2, p.107-120, September 1992
Shlomi Dolev , Frank Stomp, Safety assurance via on-line monitoring, Distributed Computing, v.16 n.4, p.269-277, December 2003
Bojan Groselj, Bounded and Minimum Global Snapshots, IEEE Parallel & Distributed Technology: Systems & Technology, v.1 n.4, p.72-83, November 1993
Bojan Groselj, Bounded and Minimum Global Snapshots, IEEE Parallel & Distributed Technology: Systems & Technology, v.1 n.4, p.72-83, November 1993
Sujatha Kashyap , Vijay K. Garg, Intractability results in predicate detection, Information Processing Letters, v.94 n.6, p.277-282, 30 June 2005
Soojung Lee, Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model, IEEE Transactions on Software Engineering, v.30 n.9, p.561-573, September 2004
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
Christian Bessière , Arnold Maestre , Ismel Brito , Pedro Meseguer, Asynchronous backtracking without adding links: a new member in the ABT family, Artificial Intelligence, v.161 n.1-2, p.7-24, January 2005
Y. C. Tay , W. Tim Loke, On deadlocks of exclusive AND-requests for resources, Distributed Computing, v.9 n.2, p.77-94, October 1995
Jean-Michel Hélary , Michel Raynal, Towards the construction of distributed detection programs, with an application to distributed termination, Distributed Computing, v.7 n.3, p.137-147, March 1994
André Schiper , Alain Sandoz, Strong stable properties in distributed systems, Distributed Computing, v.8 n.2, p.93-103, October 1994
A. Selikhov , C. Germain, A channel memory based fault tolerance for MPI applications, Future Generation Computer Systems, v.21 n.5, p.709-715, May 2005
Alex Ho , Steven Hand, On the design of a pervasive debugger, Proceedings of the sixth international symposium on Automated analysis-driven debugging, p.117-122, September 19-21, 2005, Monterey, California, USA
A. D. Kshemkalyani , M. Singhal, Efficient Detection and Resolution of Generalized Distributed Deadlocks, IEEE Transactions on Software Engineering, v.20 n.1, p.43-54, January 1994
James H. Graham , Adel S. Elmaghraby , Irfan Karachiwala , Hussam Soliman, A VISUAL ENVIRONMENT FOR DISTRIBUTED SIMULATION SYSTEMS, ACM SIGSIM Simulation Digest, v.25 n.3, p.13-22, Winter 1996
Marius-Calin Silaghi , Boi Faltings, Asynchronous aggregation and consistency in distributed constraint satisfaction, Artificial Intelligence, v.161 n.1-2, p.25-53, January 2005
Punit Chandra , Ajay D. Kshemkalyani, Causality-Based Predicate Detection across Space and Time, IEEE Transactions on Computers, v.54 n.11, p.1438-1453, November 2005
Keith Marzullo , Laura S. Sabel, Efficient detection of a class of stable properties, Distributed Computing, v.8 n.2, p.81-91, October 1994
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
Christine Morin , Isabelle Puaut, A Survey of Recoverable Distributed Shared Virtual Memory Systems, IEEE Transactions on Parallel and Distributed Systems, v.8 n.9, p.959-969, September 1997
S. Venkatesan , Brhama Dathan, Testing and Debugging Distributed Programs Using Global Predicates, IEEE Transactions on Software Engineering, v.21 n.2, p.163-177, February 1995
Gruia-Catalin Roman , H. Conrad Cunningham, Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency, IEEE Transactions on Software Engineering, v.16 n.12, p.1361-1373, December 1990
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
Shmuel Katz , Kenneth J. Perry, Self-stabilizing extensions for message-passing systems, Distributed Computing, v.7 n.1, p.17-26, November 1993
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
Anish Arora , Sandeep S. Kulkarni , Murat Demirbas, Resettable vector clocks, Journal of Parallel and Distributed Computing, v.66 n.2, p.221-237, February 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
Reinhard Schwarz, Causality 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
Sergio Rajsbaum, ACM SIGACT News distributed computing column 12, ACM SIGACT News, v.34 n.3, September 2003
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
Tracy Camp , Phil Kearns, Fast batched data transfer with flush channels: a performance analysis, Journal of Parallel and Distributed Computing, v.66 n.6, p.780-795, June 2006
Anirban Majumdar , Clark Thomborson, Manufacturing opaque predicates in distributed systems for code obfuscation, Proceedings of the 29th Australasian Computer Science Conference, p.187-196, January 16-19, 2006, Hobart, Australia
Neeraj Mittal , Vijay K. Garg, Techniques and applications of computation slicing, Distributed Computing, v.17 n.3, p.251-277, March 2005
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
Robbert van Renesse, Causal controversy at Le Mont St.-Michel, ACM SIGOPS Operating Systems Review, v.27 n.2, p.44-53, April 1993
Nihar R. Mahapatra , Shantanu Dutt, An efficient delay-optimal distributed termination detection algorithm, Journal of Parallel and Distributed Computing, v.67 n.10, p.1047-1066, October, 2007
Oren Laadan , Jason Nieh, Transparent checkpoint-restart of multiple processes on commodity operating systems, 2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference, p.1-14, June 17-22, 2007, Santa Clara, CA
Hon F. Li , Juergen Rilling , Dhrubajyoti Goswami, Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems, Automated Software Engineering, v.11 n.1, p.63-89, January 2004
Gerard Tel , Friedemann Mattern, The derivation of distributed termination detection algorithms from garbage collection schemes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.1, p.1-35, Jan. 1993
Lei Ni , Aaron Harwood , Peter J. Stuckey, Realizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware, Proceedings of the 4th international workshop on Middleware for grid computing, November 27-December 01, 2006, Melbourne, Australia
Adam J. Lee , Marianne Winslett, Safety and consistency in policy-based authorization systems, Proceedings of the 13th ACM conference on Computer and communications security, October 30-November 03, 2006, Alexandria, Virginia, USA
R. Kordale , M. Ahamad , M. Devarakonda, Object caching in a CORBA compliant system, Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS), p.6-6, June 17-21, 1996, Toronto, Ontario, Canada
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
Gengbin Zheng , Chao Huang , Laxmikant V. Kalé, Performance evaluation of automatic checkpoint-based fault tolerance for AMPI and Charm++, ACM SIGOPS Operating Systems Review, v.40 n.2, April 2006
Greg Bronevetsky , Keshav Pingali , Paul Stodghill, Experimental evaluation of application-level checkpointing for OpenMP programs, Proceedings of the 20th annual international conference on Supercomputing, June 28-July 01, 2006, Cairns, Queensland, Australia
Rahul Garg , Vijay K. Garg , Yogish Sabharwal, Scalable algorithms for global snapshots in distributed systems, Proceedings of the 20th annual international conference on Supercomputing, June 28-July 01, 2006, Cairns, Queensland, Australia
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
Atul Singh , Petros Maniatis , Timothy Roscoe , Peter Druschel, Using queries for distributed monitoring and forensics, ACM SIGOPS Operating Systems Review, v.40 n.4, October 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
Adam J. Lee , Kazuhiro Minami , Marianne Winslett, Lightweight cnsistency enforcement schemes for distributed proofs with hidden subtrees, Proceedings of the 12th ACM symposium on Access control models and technologies, June 20-22, 2007, Sophia Antipolis, France
Jonathan S. Shapiro , Jonathan Adams, Design Evolution of the EROS Single-Level Store, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.59-72, June 10-15, 2002
Chih-Shun Hsu , Yu-Chee Tseng , Jang-Ping Sheu, An efficient reliable broadcasting protocol for wireless mobile ad hoc networks, Ad Hoc Networks, v.5 n.3, p.299-312, April, 2007
Ranganath Atreya , Neeraj Mittal , Ajay D. Kshemkalyani , Vijay K. Garg , Mukesh Singhal, Efficient detection of a locally stable predicate in a distributed system, Journal of Parallel and Distributed Computing, v.67 n.4, p.369-385, April, 2007
Jiang Wu , Yi Luo , D. Manivannan, An enhanced model-based checkpointing protocol, Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks, p.332-337, February 13-15, 2007, Innsbruck, Austria
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
Thilo Streichert , Dirk Koch , Christian Haubelt , Jürgen Teich, Modeling and design of fault-tolerant and self-adaptive reconfigurable networked embedded systems, EURASIP Journal on Embedded Systems, v.2006 n.1, p.9-9, January 2006
Ahlem BenHassine , Tu Bao Ho, An agent-based approach to solve dynamic meeting scheduling problems with preferences, Engineering Applications of Artificial Intelligence, v.20 n.6, p.857-873, September, 2007
Animashree Anandkumar , Chatschik Bisdikian , Dakshi Agrawal, Tracking in a spaghetti bowl: monitoring transactions using footprints, ACM SIGMETRICS Performance Evaluation Review, v.36 n.1, June 2008
Ming Chau , Didier El Baz , Ronan Guivarch , Pierre Spiteri, MPI implementation of parallel subdomain methods for linear and nonlinear convection--diffusion problems, Journal of Parallel and Distributed Computing, v.67 n.5, p.581-591, May, 2007
Denis Caromel , Alexandre di Costanzo , Christian Delbé, Peer-to-Peer and fault-tolerance: Towards deployment-based technical services, Future Generation Computer Systems, v.23 n.7, p.879-887, August, 2007
Karun N. Biyani , Sandeep S. Kulkarni, Testing Dynamic Adaptation in Distributed Systems, Proceedings of the Second International Workshop on Automation of Software Test, p.10, May 20-26, 2007
Özalp Babaoğlu , Renzo Davoli , Alberto Montresor, Group membership and view synchrony in partitionable asynchronous distributed systems: specifications, ACM SIGOPS Operating Systems Review, v.31 n.2, p.11-22, April 1997
Natalija Krivokapić , Alfons Kemper , Ehud Gudes, Deadlock detection in distributed database systems: a new algorithm and a comparative performance analysis, The VLDB Journal — The International Journal on Very Large Data Bases, v.8 n.2, p.79-100, October 1999
Jun-Lin Lin , Margaret H. Dunham, A Survey of Distributed Database Checkpointing, Distributed and Parallel Databases, v.5 n.3, p.289-319, July 1997
Taesoon Park , Heon Y. Yeom, A Low Overhead Logging Scheme for Fast Recovery in Distributed Shared Memory Systems, The Journal of Supercomputing, v.15 n.3, p.295-320, Mar.1.2000
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
Paul Grefen , Jennifer Widom, Protocols for Integrity Constraint Checking in FederatedDatabases, Distributed and Parallel Databases, v.5 n.4, p.327-355, Oct. 1997
Ahlem Ben Hassine , Tu Bao Ho , Takayuki Ito, Meetings scheduling solver enhancement with local consistency reinforcement, Applied Intelligence, v.24 n.2, p.143-154, April 2006
Toshiharu Sugawara , Victor Lesser, Learning to Improve Coordinated Actions in Cooperative Distributed Problem-Solving Environments, Machine Learning, v.33 n.2-3, p.129-153, Nov./Dec. 1998
Xiaohui Wei , Jiubin Ju, SFT: a consistent checkpointing algorithm with shorter freezing time, ACM SIGOPS Operating Systems Review, v.32 n.4, p.70-76, Oct. 1998
B. Gupta , S. K. Banerjee, A Roll-Forward Recovery Scheme for Solving the Problem of Coasting Forward for Distributed Systems, ACM SIGOPS Operating Systems Review, v.35 n.3, p.55-66, July 1 2001
Youssef Hamadi, Optimal Distributed Arc-Consistency, Constraints, v.7 n.3-4, p.367-385, July-October 2002
Kalyan S. Perumalla, µsik " A Micro-Kernel for Parallel/Distributed Simulation Systems, Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation, p.59-68, June 01-03, 2005
Hector Garcia-Molina , Christos A. Polyzois , Robert B. Hagmann, Two Epoch Algorithms for Disaster Recovery, Proceedings of the 16th International Conference on Very Large Data Bases, p.222-230, August 13-16, 1990
Gruia-Catalin Roman , Jamie Payton, A Termination Detection Protocol for Use in Mobile Ad Hoc Networks, Automated Software Engineering, v.12 n.1, p.81-99, January 2005
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
Martin Schulz , Greg Bronevetsky , Rohit Fernandes , Daniel Marques , Keshav Pingali , Paul Stodghill, Implementation and Evaluation of a Scalable Application-Level Checkpoint-Recovery Scheme for MPI Programs, Proceedings of the 2004 ACM/IEEE conference on Supercomputing, p.38, November 06-12, 2004
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
Alan Demers , Dan Greene , Carl Houser , Wes Irish , John Larson , Scott Shenker , Howard Sturgis , Dan Swinehart , Doug Terry, Epidemic algorithms for replicated database maintenance, ACM SIGOPS Operating Systems Review, v.22 n.1, p.8-32, Jan., 1988
A. L. Murphy , G.-C. Roman , G. Varghese, An Exercise in Formal Reasoning about Mobile Communications, Proceedings of the 9th international workshop on Software specification and design, p.25, April 16-18, 1998
David B. Johnson , Willy Zwaenepoel, Transparent optimistic rollback recovery, ACM SIGOPS Operating Systems Review, v.25 n.2, p.99-102, April 1991
Ahlem Ben Hassine , Xavier Defago , Tu Bao Ho, Agent-Based Approach to Dynamic Meeting Scheduling Problems, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, p.1132-1139, July 19-23, 2004, New York, New York
N. Plouzeau , M. Raynal, Elements for a course on the design of distributed algorithms, ACM SIGCSE Bulletin, v.24 n.2, p.35-40, June 1992
Thomas Kunz , Marc Khouzam, Concurrent single stepping in event-visualization tools, Cluster Computing, v.3 n.3, p.231-243, 2000
Özalp Babaoğlu, Fault-tolerant computing based on Mach, ACM SIGOPS Operating Systems Review, v.24 n.1, p.27-39, Jan. 1990
John P. John , Ethan Katz-Bassett , Arvind Krishnamurthy , Thomas Anderson , Arun Venkataramani, Consensus routing: the internet as a distributed system, Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation, p.351-364, April 16-18, 2008, San Francisco, California
Ricardo Marcelin-Jimenez , Sergio Rajsbaum , Brett Stevens, Cyclic Storage for Fault-Tolerant Distributed Executions, IEEE Transactions on Parallel and Distributed Systems, v.17 n.9, p.1028-1036, September 2006
Adam J. Lee , Marianne Winslett, Enforcing Safety and Consistency Constraints in Policy-Based Authorization Systems, ACM Transactions on Information and System Security (TISSEC), v.12 n.2, p.1-33, December 2008
Alper Tugay Mizrak , Yu-Chung Cheng , Keith Marzullo , Stefan Savage, Detecting and Isolating Malicious Routers, IEEE Transactions on Dependable and Secure Computing, v.3 n.3, p.230-244, July 2006
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
Heikki Kokkinen , Seamus Moloney, Towards distributed service provisioning, Proceedings of the 6th international conference on Mobile and ubiquitous multimedia, p.69-73, December 12-14, 2007, Oulu, Finland
Adnan Agbaria , Roy Friedman, Model-based performance evaluation of distributed checkpointing protocols, Performance Evaluation, v.65 n.5, p.345-365, May, 2008
Punit Chandra , Ajay D. Kshemkalyani, Data-stream-based global event monitoring using pairwise interactions, Journal of Parallel and Distributed Computing, v.68 n.6, p.729-751, June, 2008
Yannis Smaragdakis , Anthony Kay , Reimer Behrends , Michal Young, Transactions with isolation and cooperation, ACM SIGPLAN Notices, v.42 n.10, October 2007
Matteo Ceriotti , Amy L. Murphy , Gian Pietro Picco, Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
Michael De Rosa , Seth Goldstein , Peter Lee , Jason Campbell , Padmanabhan Pillai, Distributed Watchpoints: Debugging Large Modular Robot Systems, International Journal of Robotics Research, v.27 n.3-4, p.315-329, March 2008
Neeraj Mittal , Felix C. Freiling , S. Venkatesan , Lucia Draque Penso, On termination detection in crash-prone distributed systems with failure detectors, Journal of Parallel and Distributed Computing, v.68 n.6, p.855-875, June, 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
Lalit Kumar Awasthi , P. Kumar, A synchronous checkpointing protocol for mobile distributed systems: probabilistic approach, International Journal of Information and Computer Security, v.1 n.3, p.298-314, June 2007
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
Alex Ho , Steven Hand , Tim Harris, PDB: Pervasive Debugging With Xen, Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing, p.260-265, November 08-08, 2004
Sriram Krishnan , Dennis Gannon, Checkpoint and Restart for Distributed Components in XCAT3, Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing, p.281-288, November 08-08, 2004
Susanne Graf , Andreas Prinz, Time in State Machines, Fundamenta Informaticae, v.77 n.1-2, p.143-174, January 2007
Neeraj Mittal , Alper Sen , Vijay K. Garg, Solving Computation Slicing Using Predicate Detection, IEEE Transactions on Parallel and Distributed Systems, v.18 n.12, p.1700-1713, December 2007
Ajay D. Kshemkalyani, Temporal Predicate Detection Using Synchronized Clocks, IEEE Transactions on Computers, v.56 n.11, p.1578-1584, November 2007
Luca Allulli , Roberto Baldoni , Luigi Laura , Sara Tucci Piergiovanni, On the Complexity of Removing Z-Cycles from a Checkpoints and Communication Pattern, IEEE Transactions on Computers, v.56 n.6, p.853-858, June 2007
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
Parveen Kumar, A low-cost hybrid coordinated checkpointing protocol for mobile distributed systems, Mobile Information Systems, v.4 n.1, p.13-32, January 2008
Sharon Simmons , Dennis Edwards , Phil Kearns, Communication analysis of distributed programs, Scientific Programming, v.14 n.2, p.151-170, April 2006
Alper Sen , Vijay K. Garg, Formal Verification of Simulation Traces Using Computation Slicing, IEEE Transactions on Computers, v.56 n.4, p.511-527, April 2007
Ardalan Kangarlou , Dongyan Xu , Paul Ruth , Patrick Eugster, Taking snapshots of virtual networked environments, Proceedings of the 3rd international workshop on Virtualization technology in distributed computing, p.1-8, November 12-12, 2007, Reno, Nevada
Ajay Kshemkalyani , Bin Wu, Detecting Arbitrary Stable Properties Using Efficient Snapshots, IEEE Transactions on Software Engineering, v.33 n.5, p.330-346, May 2007
Baruch Awerbuch , Israel Cidon , Shay Kutten, Optimal maintenance of a spanning tree, Journal of the ACM (JACM), v.55 n.4, p.1-45, September 2008
Steven Y. Ko , Indranil Gupta , Yookyung Jo, A new class of nature-inspired algorithms for self-adaptive peer-to-peer computing, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.3 n.3, p.1-34, August 2008
Shlomi Dolev , Nir Tzachar, Empire of colonies: Self-stabilizing and self-organizing distributed algorithm, Theoretical Computer Science, v.410 n.6-7, p.514-532, February, 2009
Ismel Brito , Amnon Meisels , Pedro Meseguer , Roie Zivan, Distributed constraint satisfaction with partially known constraints, Constraints, v.14 n.2, p.199-234, June 2009
Anton Burtsev , Prashanth Radhakrishnan , Mike Hibler , Jay Lepreau, Transparent checkpoints of closed distributed systems in Emulab, Proceedings of the fourth ACM european conference on Computer systems, April 01-03, 2009, Nuremberg, Germany
Andreas Haeberlen , Ioannis Avramopoulos , Jennifer Rexford , Peter Druschel, NetReview: detecting when interdomain routing goes wrong, Proceedings of the 6th USENIX symposium on Networked systems design and implementation, p.437-452, April 22-24, 2009, Boston, Massachusetts
Maysam Yabandeh , Nikola Knezevic , Dejan Kostic , Viktor Kuncak, CrystalBall: predicting and preventing inconsistencies in deployed distributed systems, Proceedings of the 6th USENIX symposium on Networked systems design and implementation, p.229-244, April 22-24, 2009, Boston, Massachusetts
Nicola Dragoni , Fabio Massacci , Ayda Saidane, A self-protecting and self-healing framework for negotiating services and trust in autonomic communication systems, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.53 n.10, p.1628-1648, July, 2009
Franck Cappello, Fault Tolerance in Petascale/ Exascale Systems: Current Knowledge, Challenges and Research Opportunities, International Journal of High Performance Computing Applications, v.23 n.3, p.212-226, August 2009
Jozsef Kovacs, Transparent parallel checkpointing and migration in clusters and ClusterGrids, International Journal of Computational Science and Engineering, v.4 n.3, p.171-181, July 2009
Yek Loong Chong , Youssef Hamadi, Distributed Log-based Reconciliation, Proceeding of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy, p.108-112, May 22, 2006
Joshua Hursey , Timothy I. Mattox , Andrew Lumsdaine, Interconnect agnostic checkpoint/restart in open MPI, Proceedings of the 18th ACM international symposium on High performance distributed computing, June 11-13, 2009, Garching, Germany
Long Vu , Indranil Gupta , Jin Liang , Klara Nahrstedt, Measurement and modeling of a large-scale overlay for multimedia streaming, The Fourth International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness & Workshops, August 14-17, 2007, Vancouver, Canada
Damien Imbs , José Ramon de Mendivil , Michel Raynal, Brief announcement: virtual world consistency: a new condition for STM systems, Proceedings of the 28th ACM symposium on Principles of distributed computing, August 10-12, 2009, Calgary, AB, Canada
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
Fredrik Osterlind , Adam Dunkels , Zhitao He , Nicolas Tsiftes, Demo abstract: Sensornet checkpointing between simulated and deployed networks, Proceedings of the 2009 International Conference on Information Processing in Sensor Networks, p.411-412, April 13-16, 2009

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.4 Distributed Systems

Additional Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.1 Process Management
          Subjects: Scheduling; Synchronization; Concurrency; Multiprocessing/multiprogramming/multitasking; Deadlocks; Mutual exclusion
      D.4.5 Reliability
          Subjects: Verification; Checkpoint/restart; Fault-tolerance; Backup procedures


General Terms:
Algorithms

Collaborative Colleagues:
K. Mani Chandy: colleagues
Leslie Lamport: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player