Abstract
This paper proposes on-line synchronization and control of parallel applications based on global predicates. It reexamines existing theories, that have been developed mainly for application monitoring and debugging. Predicate modality Instantly is selected as the one that best meets the new requirements. Predicate parameterization is introduced to differentiate reactions of processes to predicate satisfaction. It is shown, that signals indicating predicate satisfaction sent to processes should be timestamped and should have relevant global state information attached to enable efficient application control. A correct simplified algorithm for construction of Strongly Consistent Global States, on which evaluation of predicates under modality Instantly is based, is presented.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Androulakis, P., Floudas, C.A.: Distributed branch and bound algorithms for global optimization. In: The IMA Volumes in Mathematics and its Applications. Parallel Processing of Discreet Problems, vol. 106, pp. 1–37. Springer, Heidelberg (1999)
Borkowski, J.: Interrupt and Cancellation as Synchronization Methods. In: Wyrzykowski, R., Dongarra, J., Paprzycki, M., Waśniewski, J. (eds.) PPAM 2001. LNCS, vol. 2328, p. 3. Springer, Heidelberg (2001)
Borkowski, J., Kopanski, D., Tudruj, M.: Implementing Control in Parallel Programs by Synchronization-Driven Activation and Cancellation. In: Proc. of the 11th Euromicro, Genova, Italy. IEEE, Los Alamitos (2003)
Borkowski, J., Kopanski, D., Tudruj, M.: Adding Advanced Synchronization to Processes in GRADE. In: Proceedings of the Int. Conf. on Parallel Processing in Electrical Engineering, PARELEC 2002, Warsaw, Poland. IEEE, Los Alamitos (2002)
Babaoglu, O., Marzullo, K.: Consistent global states of distributed systems: fundamental concepts and mechanisms. Distributed Systems. Addison-Wesley, Reading (1995)
Cooper, R., Marzullo, K.: Consistent detection of global predicates. In: Proc. ACM/ONR Workshop on Parallel Distributed Debugging, pp. 163-173 (1991)
Elson, J., Girod, L., Estrin, D.: Fine-grained network time synchronization using reference broadcasts. In: Proc. of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), Boston, Massachusetts, USA (December 2002)
Fromentin, E., Raynal, M.: Characterizing and detecting the set of global states seen by all observers of a distributed computation. In: Proceedings of the 15th International Conference on Distributed Computing Systems, pp. 431–438 (1995)
Garg, V.K., Waldecker, B.: Detection of Strong Unstable Predicates in Distributed Programs. IEEE Trans. on Parallel and Distrib. Systems 7(12), 1323–1333 (1996)
Lamport, L.: Time, clocks and the ordering of events in a distributed system. Commun. ACM 21(7), 558–564 (1978)
Mattern, F.: Virtual Time and Global States in Distributed Systems. In: Cosnard, M., et al. (eds.) Proc.Workshop on Parallel and Distributed, Algorithms, Chateau de Bonas, October 1988, pp. 215–226. Elsevier / North Holland, Amsterdam (1989)
Minas, M.: Detecting Quantified Global Predicates in Parallel Programs. In: Haridi, S., Ali, K., Magnusson, P. (eds.) Euro-Par 1995. LNCS, vol. 966, pp. 403–414. Springer, Heidelberg (1995)
Mittal, N., Garg, V.K.: On Detecting Global Predicates in Distributed Computations. In: Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS), April 2001, pp. 3–10. Phoenix, Arizona (2001)
Marzullo, K., Neiger, G.: Detection of Global State Predicates. In: Toueg, S., Kirousis, L.M., Spirakis, P.G. (eds.) WDAG 1991. LNCS, vol. 579. Springer, Heidelberg (1992)
Marzullo, K., Wood, M.D.: Tools for Constructing Distributed Reactive Systems., TR Cornell University, Dep. of Computer Science, Ithaca, New York (February 1991), http://citeseer.nj.nec.com/145302.html
Mills, D.: Network Time Protocol (ver. 3) Specification, Implementation and Analysis. RFC1305
Stoller, S.D.: Detecting Global Predicates in Distributed Systems with Clocks. Distributed Computing 13(2), 85–98 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Borkowski, J. (2004). Global Predicates for Online Control of Distributed Applications. In: Wyrzykowski, R., Dongarra, J., Paprzycki, M., Waśniewski, J. (eds) Parallel Processing and Applied Mathematics. PPAM 2003. Lecture Notes in Computer Science, vol 3019. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24669-5_35
Download citation
DOI: https://doi.org/10.1007/978-3-540-24669-5_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21946-0
Online ISBN: 978-3-540-24669-5
eBook Packages: Springer Book Archive