|
 ABSTRACT
The concept of one event happening before another in a distributed system is examined, and is shown to define a partial ordering of the events. A distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events. The use of the total ordering is illustrated with a method for solving synchronization problems. The algorithm is then specialized for synchronizing physical clocks, and a bound is derived on how far out of synchrony the clocks can become.
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
|
Schwartz, J.T. Relativity in lllustrations. New York U. Press, New York, 1962.
|
| |
2
|
Taylor, E.F., and Wheeler, J.A. Space-Time Physics, W.H. Freeman, San Francisco, 1966.
|
| |
3
|
Lamport, L. The implementation of reliable distributed multiprocess systems. To appear in Computer Networks.
|
| |
4
|
Ellingson, C, and Kulpinski, R.J. Dissemination of system-time. 1EEE Trans. Comm. Com-23, 5 (May 1973), 605-624.
|
CITED BY 1,112
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sameer Shende , Janice Cuny , Lars Hansen , Joydip Kundu , Stephen McLaughry , Odile Wolf, Event and state-based debugging in TAU: a prototype, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, p.21-30, May 22-23, 1996, Philadelphia, Pennsylvania, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
D. B. Terry , M. M. Theimer , Karin Petersen , A. J. Demers , M. J. Spreitzer , C. H. Hauser, Managing update conflicts in Bayou, a weakly connected replicated storage system, ACM SIGOPS Operating Systems Review, v.29 n.5, p.172-182, Dec. 3, 1995
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Özalp Babaoğlu , Lorenzo Alvisi , Alessandro Amoroso , Renzo Davoli , Luigi Alberto Giachini, Paralex: an environment for parallel programming in distributed systems, Proceedings of the 6th international conference on Supercomputing, p.178-187, July 19-24, 1992, Washington, D. C., United States
|
|
|
|
|
|
Ajei Gopal , Ray Strong , Sam Toueg , Flaviu Cristian, Early-delivery atomic broadcast, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.297-309, August 22-24, 1990, Quebec City, Quebec, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dieter Kranzlmüller , Siegfried Grabner , Jens Volkert, Event graph visualization for debugging large applications, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, p.108-117, May 22-23, 1996, Philadelphia, Pennsylvania, United States
|
|
|
Baruch Awerbuch , Oded Godlreich , Amir Herzberg, A quantitative approach to dynamic networks, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.189-203, August 22-24, 1990, Quebec City, Quebec, Canada
|
|
|
|
|
|
Janice Cuny , George Forman , Alfred Hough , Joydip Kundu , Calvin Lin , Lawrence Snyder , David Stemple, The Ariadne debugger: scalable application of event-based abstraction, ACM SIGPLAN Notices, v.28 n.12, p.85-95, Dec. 1993
|
|
|
|
|
|
E. Ender Bilir , Ross M. Dickson , Ying Hu , Manoj Plakal , Daniel J. Sorin , Mark D. Hill , David A. Wood, Multicast snooping: a new coherence method using a multicast address network, ACM SIGARCH Computer Architecture News, v.27 n.2, p.294-304, May 1999
|
|
|
|
|
|
D. Agrawal , A. El Abbadi , R. C. Steinke, Epidemic algorithms in replicated databases (extended abstract), Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.161-172, May 11-15, 1997, Tucson, Arizona, United States
|
|
|
|
|
|
Krishna A. Bharat , Scott E. Hudson, Supporting distributed, concurrent, one-way constraints in user interface applications, Proceedings of the 8th annual ACM symposium on User interface and software technology, p.121-132, November 15-17, 1995, Pittsburgh, Pennsylvania, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Maher Suleiman , Michèle Cart , Jean Ferrié, Serialization of concurrent operations in a distributed collaborative environment, Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge, p.435-445, November 16-19, 1997, Phoenix, Arizona, United States
|
|
|
|
|
|
Rivka Ladin , Barbara Liskov , Liuba Shrira, Lazy replication: exploiting the semantics of distributed services, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.43-57, August 22-24, 1990, Quebec City, Quebec, Canada
|
|
|
|
|
|
Baruch Awerbuch , Alan Baratz , David Peleg, Cost-sensitive analysis of communication protocols, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.177-187, August 22-24, 1990, Quebec City, Quebec, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Wanging Wu , Rajiv Gupta , Madalene Spezialetti, Experimental evaluation of on-line techniques for removing monitoring intrusion, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, p.30-39, August 03-04, 1998, Welches, Oregon, United States
|
|
|
Chengzheng Sun , Xiaohua Jia , Yanchun Zhang , Yun Yang , David Chen, Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems, ACM Transactions on Computer-Human Interaction (TOCHI), v.5 n.1, p.63-108, March 1998
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
James E. Lumpp, Jr. , Samuel A. Fineberg , Thomas L. Casavant , Wayne G. Nation , Edward C. Bronson , Howard Jay Siegel , Pierre H. Pero , Dan C. Marinescu , Thomas Schwederski, CAPS: a coding aid for PASM, Communications of the ACM, v.34 n.11, p.104-117, Nov. 1991
|
|
|
|
|
|
|
|
|
Antonio Fernández , Ernesto Jiménez , Vicent Cholvi, On the interconnection of causal memory systems, Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.163-170, July 16-19, 2000, Portland, Oregon, United States
|
|
|
|
|
|
Daniel Neri , Laurent Pautet , Samuel Tardieu, Debugging distributed applications with replay capabilities, Proceedings of the conference on TRI-Ada '97, p.189-195, November 09-13, 1997, St. Louis, Missouri, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sigurd Meldal , Sriram Sankar , James Vera, Exploiting locality in maintaining potential causality, Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.231-239, August 19-21, 1991, Montreal, Quebec, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Nandit Soparkar , Eliezer Levy , Henry F. Korth , Avi Silberschatz, Adaptive commitment for distributed real-time transactions, Proceedings of the third international conference on Information and knowledge management, p.187-194, November 29-December 02, 1994, Gaithersburg, Maryland, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Bu-Sung Lee , Wentong Cai , Junlan Zhou, A causality based time management mechanism for federated simulation, Proceedings of the fifteenth workshop on Parallel and distributed simulation, p.83-90, May 15-18, 2001, Lake Arrowhead, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Seapahn Meguerdichian , Sasa Slijepcevic , Vahag Karayan , Miodrag Potkonjak, Localized algorithms in wireless ad-hoc networks: location discovery and sensor exposure, Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing, October 04-05, 2001, Long Beach, CA, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Eric Cronin , Burton Filstrup , Anthony R. Kurc , Sugih Jamin, An efficient synchronization mechanism for mirrored game architectures, Proceedings of the 1st workshop on Network and system support for games, p.67-73, April 16-17, 2002, Bruanschweig, Germany
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Yoram Moses , Ben Bloom, Knowledge, timed precedence and clocks (preliminary report), Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.294-303, August 14-17, 1994, Los Angeles, California, United States
|
|
|
|
|
|
Chengzheng Sun , Yanchun Zhang , Xiahua Jia , Yun Yang, A generic operation transformation scheme for consistency maintenance in real-time cooperative editing systems, Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge, p.425-434, November 16-19, 1997, Phoenix, Arizona, United States
|
|
|
Clyde P Kruskal , Larry Rudolph , Marc Snir, Efficient synchronization of multiprocessors with shared memory, Proceedings of the fifth annual ACM symposium on Principles of distributed computing, p.218-228, August 11-13, 1986, Calgary, Alberta, Canada
|
|
|
|
|
|
Yefim Dinitz , Shlomo Moran , Sergio Rajsbaum, Bit complexity of breaking and achieving symmetry in chains and rings (extended abstract), Proceedings of the thirty-first annual ACM symposium on Theory of computing, p.265-274, May 01-04, 1999, Atlanta, Georgia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Nicolas Vidot , Michelle Cart , Jean Ferrié , Maher Suleiman, Copies convergence in a distributed real-time collaborative environment, Proceedings of the 2000 ACM conference on Computer supported cooperative work, p.171-180, December 2000, Philadelphia, Pennsylvania, United States
|
|
|
|
|
|
|
|
|
Z. M. Kedem , K. V. Palem , M. O. Rabin , A. Raghunathan, Efficient program transformations for resilient parallel computation via randomization (preliminary version), Proceedings of the twenty-fourth annual ACM symposium on Theory of computing, p.306-317, May 04-06, 1992, Victoria, British Columbia, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dana L. Wyatt , Sallie Sheppard , Robert E. Young, An experiment in microprocessor-based distributed digital simulation, Proceedings of the 15th conference on Winter simulation, p.271-278, December 12-14, 1983, Arlington, Virginia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Chengzheng Sun , Clarence Ellis, Operational transformation in real-time group editors: issues, algorithms, and achievements, Proceedings of the 1998 ACM conference on Computer supported cooperative work, p.59-68, November 14-18, 1998, Seattle, Washington, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Hagit Attiya , Amir Herzberg , Sergio Rajsbaum, Optimal clock synchronization under different delay assumptions, Proceedings of the twelfth annual ACM symposium on Principles of distributed computing, p.109-120, August 15-18, 1993, Ithaca, New York, United States
|
|
|
Soma Chaudhuri , Rainer Gawlick , Nancy Lynch, Designing algorithms for distributed systems with partially synchronized clocks, Proceedings of the twelfth annual ACM symposium on Principles of distributed computing, p.121-132, August 15-18, 1993, Ithaca, New York, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Shlomi Dolev , Amos Israeli , Shlomo Moran, Resource bounds for self stabilizing message driven protocols, Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.281-293, August 19-21, 1991, Montreal, Quebec, Canada
|
|
|
|
|
|
|
|
|
Baruch Awerbuch , Boaz Patt-Shamir , David Peleg , Michael Saks, Adapting to asynchronous dynamic networks (extended abstract), Proceedings of the twenty-fourth annual ACM symposium on Theory of computing, p.557-570, May 04-06, 1992, Victoria, British Columbia, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ashwani Gahlot , Mohan Ahuja , Timothy Carlson, Global flush communication primitive for inter-process communication, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.111-120, August 14-17, 1994, Los Angeles, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Yasushi Saito , Brian N. Bershad , Henry M. Levy, Manageability, availability, and performance in porcupine: a highly scalable, cluster-based mail service, ACM Transactions on Computer Systems (TOCS), v.18 n.3, p.298, Aug. 2000
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R. Carver , K. C. Tai, Deterministic execution testing of concurrent Ada programs, Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, p.528-544, January 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
|
|
|
|
|
|
|
|
|
|
|
|
Wagner Meira, Jr. , Thomas J. LeBlanc , Virgílio A. F. Almeida, Using cause-effect analysis to understand the performance of distributed programs, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, p.101-111, August 03-04, 1998, Welches, Oregon, United States
|
|
|
Gregory V. Chockler , Danny Dolev , Roy Friedman , Roman Vitenberg, Implementing a caching service a distributed COBRA objects, IFIP/ACM International Conference on Distributed systems platforms, p.1-23, April 03-07, 2000, New York, New York, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Alan Fekete , Nancy Lynch , Alex Shvartsman, Specifying and using a partitionable group communication service, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.53-62, August 21-24, 1997, Santa Barbara, California, United States
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Danny Dolev , Rüdiger Reischuk , Ray Strong, Observable clock synchronization extended abstract, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.284-293, August 14-17, 1994, Los Angeles, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sivakumar Ravada , E. K. Park , Kia Makki, Automatic detection of errors in distributed systems, Proceedings of the 1995 ACM 23rd annual conference on Computer science, p.30-35, February 28-March 02, 1995, Nashville, Tennessee, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Azzedine Boukerche , Sungbum Hong , Tom Jacob, A performance study of a distributed algorithm for dynamic channel allocation, Proceedings of the 3rd ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems, p.36-43, August 20-20, 2000, Boston, Massachusetts, United States
|
|
|
|
|
|
|
|
|
C. Eric Wu , Anthony Bolmarcich , Marc Snir , David Wootton , Farid Parpia , Anthony Chan , Ewing Lusk , William Gropp, From trace generation to visualization: a performance framework for distributed parallel systems, Proceedings of the 2000 ACM/IEEE conference on Supercomputing (CDROM), p.50-es, November 04-10, 2000, Dallas, Texas, United States
|
|
|
|
|
|
|
|
|
Manoj Plakal , Daniel J. Sorin , Anne E. Condon , Mark D. Hill, Lamport clocks: verifying a directory cache-coherence protocol, Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures, p.67-76, June 28-July 02, 1998, Puerto Vallarta, Mexico
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mark D. Hill , Anne E. Condon , Manoj Plakal , Daniel J. Sorin, A system-level specification framework for I/O architectures, Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures, p.138-147, June 27-30, 1999, Saint Malo, France
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Nathan Goodman , Dale Skeen , Arvola Chan , Umeshwar Dayal , Stephen Fox , Daniel Ries, A recovery algorithm for a distributed database system, Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems, March 21-23, 1983, Atlanta, Georgia
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Francisco J. Torres-Rojas , Mustaque Ahamad , Michel Raynal, Timed consistency for shared distributed objects, Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing, p.163-172, May 04-06, 1999, Atlanta, Georgia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ravi Prakash , Niranjan G. Shivaratri , Mukesh Singhal, Distributed dynamic channel allocation for mobile computing, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.47-56, August 20-23, 1995, Ottowa, Ontario, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dhananjai Madhava Rao , Narayanan V. Thondugulam , Radharamanan Radhakrishnan , Philip A. Wilsey, Unsynchronized parallel discrete event simulation, Proceedings of the 30th conference on Winter simulation, p.1563-1570, December 13-16, 1998, Washington, D.C., United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dale E. Martin , Radharamanan Radhakrishnan , Dhananjai M. Rao , Malolan Chetlur , Krishnan Subramani , Philip A. Wilsey, Analysis and simulation of mixed-technology VLSI Systems, Journal of Parallel and Distributed Computing, v.62 n.3, p.468-493, March 2002
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Eyal de Lara , Rajnish Kumar , Dan S. Wallach , Willy Zwaenepoel, Collaboration and multimedia authoring on mobile devices, Proceedings of the 1st international conference on Mobile systems, applications and services, p.287-301, May 05-08, 2003, San Francisco, California
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jian Yin , Jean-Philippe Martin , Arun Venkataramani , Lorenzo Alvisi , Mike Dahlin, Separating agreement from execution for byzantine fault tolerant services, Proceedings of the nineteenth ACM symposium on Operating systems principles, October 19-22, 2003, Bolton Landing, NY, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Katherine Guo , Sarit Mukherjee , Sampath Rangarajan , Sanjoy Paul, A fair message exchange framework for distributed multi-player games, Proceedings of the 2nd workshop on Network and system support for games, p.29-41, May 22-23, 2003, Redwood City, California
|
|
|
|
|
|
Werner Geyer , Jürgen Vogel , Li-Te Cheng , Michael Muller, Supporting activity-centric collaboration through peer-to-peer shared objects, Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work, November 09-12, 2003, Sanibel Island, Florida, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Vijay Balakrishnan , Peter Frey , Nael B. Abu-Ghazaleh , Philip A. Wilsey, A framework for performance analysis of parallel discrete event simulators, Proceedings of the 29th conference on Winter simulation, p.429-436, December 07-10, 1997, Atlanta, Georgia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L. Schlesinger , A. Bauer , W. Lehner , G. Ediberidze , M. Gutzmann, Efficiently synchronizing multidimensional schema data, Proceedings of the 4th ACM international workshop on Data warehousing and OLAP, p.69-76, November 09-09, 2001, Atlanta, Georgia, USA
|
|
|
David C. Luckham , John J. Kenney , Larry M. Augustin , James Vera , Doug Bryan , Walter Mann, Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, v.21 n.4, p.336-355, April 1995
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
C. Beeri , P. A. Bernstein , N. Goodman , M. Y. Lai , D. E. Shasha, A concurrency control theory for nested transactions (Preliminary Report), Proceedings of the second annual ACM symposium on Principles of distributed computing, p.45-62, August 17-19, 1983, Montreal, Quebec, Canada
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Nasim Mahmood , Yusheng Feng , James C. Browne, Evolutionary performance-oriented development of parallel programs by composition of components, Proceedings of the 5th international workshop on Software and performance, p.239-248, July 12-14, 2005, Palma, Illes Balears, Spain
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
David Sun , Steven Xia , Chengzheng Sun , David Chen, Operational transformation for collaborative word processing, Proceedings of the 2004 ACM conference on Computer supported cooperative work, November 06-10, 2004, Chicago, Illinois, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Vikram S. Adve , Rajive Bagrodia , James C. Browne , Ewa Deelman , Aditya Dube , Elias N. Houstis , John R. Rice , Rizos Sakellariou , David J. Sundaram-Stukel , Patricia J. Teller , Mary K. Vernon, POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems, IEEE Transactions on Software Engineering, v.26 n.11, p.1027-1048, November 2000
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R. Hofmann , R. Klar , B. Mohr , A. Quick , M. Siegle, Distributed Performance Monitoring: Methods, Tools, and Applications, IEEE Transactions on Parallel and Distributed Systems, v.5 n.6, p.585-598, June 1994
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Shlomi Dolev , Seth Gilbert , Elad Schiller , Alex A. Shvartsman , Jennifer Welch, Autonomous virtual mobile nodes, Proceedings of the 2005 joint workshop on Foundations of mobile computing, September 02-02, 2005, Cologne, Germany
|
|
|
|
|
|
|
|
|
Carole Delporte-Gallet , Hugues Fauconnier , Rachid Guerraoui , Vassos Hadzilacos , Petr Kouznetsov , Sam Toueg, The weakest failure detectors to solve certain fundamental problems in distributed computing, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing, July 25-28, 2004, St. John's, Newfoundland, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Alison N. Norman , Sung-Eun Choi , Calvin Lin, Compiler-generated staggered checkpointing, Proceedings of the 7th workshop on Workshop on languages, compilers, and run-time support for scalable systems, p.1-8, October 22-23, 2004, Houston, Texas
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Azzedine Boukerche , Fernando H. S. Silva , Regina B. Araujo , Richard W. N. Pazzi, A low latency and energy aware event ordering algorithm for wireless actor and sensor networks, Proceedings of the 8th ACM international symposium on Modeling, analysis and simulation of wireless and mobile systems, October 10-13, 2005, Montréal, Quebec, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Utpal Banerjee , Brian Bliss , Zhiqiang Ma , Paul Petersen, A theory of data race detection, Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging, July 17-17, 2006, Portland, Maine, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Daniel J. Sorin , Manoj Plakal , Anne E. Condon , Mark D. Hill , Milo M. K. Martin , David A. Wood, Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol, IEEE Transactions on Parallel and Distributed Systems, v.13 n.6, p.556-578, June 2002
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sarvani Vakkalanka , Michael DeLisi , Ganesh Gopalakrishnan , Robert M. Kirby, Scheduling considerations for building dynamic verification tools for MPI, Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging, p.1-6, July 20-21, 2008, Seattle, Washington
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
Mark Christiaens , Stijn Fonck , Dries Naudts , Michiel Ronsse , Koen De Bosschere, Jarec: record/replay for multi-threaded java programs, Proceedings of the JavaTM Virtual Machine Research and Technology Symposium on JavaTM Virtual Machine Research and Technology Symposium, p.8-8, April 23-24, 2001, Monterey, California
|
|
|
|
|
|
|
|
|
|
|
|
Gérald Oster , Pascal Urso , Pascal Molli , Abdessamad Imine, Data consistency for P2P collaborative editing, Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work, November 04-08, 2006, Banff, Alberta, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
Minwen Ji , Edward W. Felten , Randolph Wang , Jaswinder Pal Singh, Archipelago: an Island-based file system for highly available and scalable internet services, Proceedings of the 4th conference on USENIX Windows Systems Symposium, p.1-1, August 03-04, 2000, Seattle, Washington
|
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
Moharram Challenger , Vahid Khalilpour , Peyman Bayat , Mohammad Reza Meibodi, A new robust centralized DMX algorithm, Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks, p.367-374, February 13-15, 2007, Innsbruck, Austria
|
|
|
|
|
|
|
|
|
|
|
|
Rudolf Bayer , Klaus Elhardt , Hans Heller , Angelika Reiser, Distributed concurrency control in database systems, Proceedings of the sixth international conference on Very Large Data Bases, p.275-284, October 01-03, 1980, Montreal, Quebec, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Chengfei Liu , Bruce G. Lindsay , Serge Bourbonnais , Elizabeth B. Hamel , Tuong C. Truong , Jens Stankiewitz, Capturing global transactions from multiple recovery log files in a partitioned database system, Proceedings of the 29th international conference on Very large data bases, p.987-996, September 09-12, 2003, Berlin, Germany
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ali Jannesari , Walter F. Tichy, On-the-fly race detection in multi-threaded programs, Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging, p.1-10, July 20-21, 2008, Seattle, Washington
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dennis Geels , Gautam Altekar , Scott Shenker , Ion Stoica, Replay debugging for distributed applications, Proceedings of the Annual Technical Conference on USENIX'06 Annual Technical Conference, p.27-27, May 30-June 03, 2006, Boston, MA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Zdeněk Letko , Tomáš Vojnar , Bohuslav Křena, AtomRace: data race and atomicity violation detector and healer, Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging, p.1-10, July 20-21, 2008, Seattle, Washington
|
|
|
Xuezheng Liu , Zhenyu Guo , Xi Wang , Feibo Chen , Xiaochen Lian , Jian Tang , Ming Wu , M. Frans Kaashoek , Zheng Zhang, D3S: debugging deployed distributed systems, Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation, p.423-437, April 16-18, 2008, San Francisco, California
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Shantanu Gupta , Florin Sultan , Srihari Cadambi , Franjo Ivancic , Martin Roetteler, RaceTM: detecting data races using transactional memory, Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures, June 14-16, 2008, Munich, Germany
|
|
|
|
|
|
|
|
|
Sirio Scipioni , Leonardo Querzoni , Sara Tucci Piergiovanni , Roberto Baldoni, A theoretical evaluation of peer-to-peer internal clock synchronization, Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, p.1-8, September 23-25, 2008, Turin, Italy
|
|
|
Anh Vo , Sarvani Vakkalanka , Michael DeLisi , Ganesh Gopalakrishnan , Robert M. Kirby , Rajeev Thakur, Formal verification of practical MPI programs, Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming, February 14-18, 2009, Raleigh, NC, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Chen Tian , Vijay Nagarajan , Rajiv Gupta , Sriraman Tallam, Dynamic recognition of synchronization operations for improved data race detection, Proceedings of the 2008 international symposium on Software testing and analysis, July 20-24, 2008, Seattle, WA, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ning Gu , Qiwei Zhang , Jiangming Yang , Wei Ye, Dcv: a causality detection approach for large-scale dynamic collaboration environments, Proceedings of the 2007 international ACM conference on Supporting group work, November 04-07, 2007, Sanibel Island, Florida, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Suiping Zhou , Wentong Cai , Stephen J. Turner , Bu-Sung Lee , Junhu Wei, Critical causal order of events in distributed virtual environments, ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP), v.3 n.3, p.15-es, August 2007
|
|
|
|
|
|
|
|
|
Jiangming Yang , Haixun Wang , Ning Gu , Yiming Liu , Chunsong Wang , Qiwei Zhang, Lock-free consistency control for web 2.0 applications, Proceeding of the 17th international conference on World Wide Web, April 21-25, 2008, Beijing, China
|
|
|
Branislav Kusy , Prabal Dutta , Philip Levis , Miklos Maroti , Akos Ledeczi , David Culler, Elapsed time on arrival: a simple and versatile primitive for canonical time synchronisation services, International Journal of Ad Hoc and Ubiquitous Computing, v.1 n.4, p.239-251, July 2006
|
|
|
|
|
|
|
|
|
|
|
|
Giuseppe DeCandia , Deniz Hastorun , Madan Jampani , Gunavardhan Kakulapati , Avinash Lakshman , Alex Pilchin , Swaminathan Sivasubramanian , Peter Vosshall , Werner Vogels, Dynamo: amazon's highly available key-value store, ACM SIGOPS Operating Systems Review, v.41 n.6, December 2007
|
|
|
|
|
|
|
|
|
|
|
|
A. Álvarez , S. Arévalo , V. Cholvi , A. Fernández , E. Jiménez, On the interconnection of message passing systems, Information Processing Letters, v.105 n.6, p.249-254, March, 2008
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Pdf