Abstract
In a distributed system, high-level actions can be modeled by nonatomic events. Synchronization relations between distributed nonatomic events have been proposed to allow applications a fine choice in specifying synchronization conditions. This paper shows how these fine-grained relations can be used for various types of synchronization and coordination in distributed computations.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Linear time, branching time, and partial orders in logics and models of concurrency, J. W. de Bakker, W. P. de Roever, G. Rozenberg (Eds.), LNCS 354, Springer-Verlag, 1989.
J. V. Benthem, The Logic of Time, Kluwer Academic Publishers, (1ed, 1983), 2ed. 1991.
R. Cooper, K. Marzullo, Consistent detection of global predicates, ACM/ONR Workshop on Parallel and Distributed Debugging, 163–173, May 1991.
C. A. Fidge, Timestamps in message-passing systems that preserve partial ordering, Australian Computer Science Communications, Vol. 10, No. 1, 56–66, Feb. 1988.
P. C. Fishburn, Interval Orders and Interval Graphs: A Study of Partially Ordered Sets, J. Wiley & Sons, 1985.
V. Garg, B. Waldecker, Detection of weak unstable predicates in distributed programs, IEEE Transactions on Parallel and Distributed Systems, 5(3), 299–307, March 1994.
W. Janssen, M. Poel, J. Zwiers, Action systems and action refinement in the development of parallel systems, In J.C. Baeten, J.F. Groote, (Eds.) Concur91, LNCS 527, Springer-Verlag, 298–316, 1991.
A. Kshemkalyani, Temporal interactions of intervals in distributed systems, TR-29.1933, IBM, Sept. 1994.
A. Kshemkalyani, Temporal interactions of intervals in distributed systems, Journal of Computer and System Sciences, 52(2), 287–298, April 1996. (Contains some parts of [8]).
A. Kshemkalyani, Framework for viewing atomic events in distributed computations, Theoretical Computer Science, 196(1–2): 45–70, April 1998.
A. Kshemkalyani, Relative timing constraints between complex events, 8th IASTED Conf. on Parallel and Distributed Computing and Systems, 324–326, Oct. 1996.
A. Kshemkalyani, Synchronization for distributed real-time applications, 5th Workshop on Parallel and Distributed Real-time Systems, IEEE CS Press, 81–90, April 1997.
L. Lamport, Time, clocks, and the ordering of events in a distributed system, CACM, 558–565, 21(7), July 1978.
L. Lamport, On interprocess communication, Part I: Basic formalism, Part II: Algorithms, Distributed Computing, 1:77–101, 1986.
F. Mattern, Virtual time and global states of distributed systems, Parallel and Distributed Algorithms, North-Holland, 215–226, 1989.
F. Mattern, On the relativistic structure of logical time in distributed systems, In: Datation et Controle des Executions Reparties, Bigre, 78 (ISSN 0221-525), 3–20, 1992.
J. Mellor-Crummey, M. Scott, Algorithms for scalable synchronization on shared-memory multiprocessors, ACM Transactions on Computer Systems, 9(1): 21–65, Feb. 1991.
E.R. Olderog, Nets, Terms, and Formulas, Cambridge Tracts in Theoretical Computer Science, 1991.
A. Rensink, Models and Methods for Action Refinement, Ph.D. thesis, University of Twente, The Netherlands, Aug. 1993.
R. Schwarz, F. Mattern, Detecting causal relationships in distributed computations: In search of the holy grail, Distributed Computing, 7:149–174, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kshemkalyani, A.D. (1998). Significance and uses of fine-grained synchronization relations. In: Pritchard, D., Reeve, J. (eds) Euro-Par’98 Parallel Processing. Euro-Par 1998. Lecture Notes in Computer Science, vol 1470. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057904
Download citation
DOI: https://doi.org/10.1007/BFb0057904
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64952-6
Online ISBN: 978-3-540-49920-6
eBook Packages: Springer Book Archive