Abstract
Parallel programs require an interprocess synchronization. There are many synchronization paradigms, but almost all of them explicitly or implicitly use waiting. We propose another approach. Instead of waiting for a condition, a process can interrupt / abandon the current activity when the condition is met. We propose to use conditions reflecting the global application state and we give a proposal how to construct such conditions. We discuss questions concerning semantics of the proposed system - how and when the conditions are evaluated and in what situations an interrupt can occur. The synchronization system allows simple and compact parallel algorithm implementations. As a practical example a parallel branch and bound algorithm with dynamic load balancing is shown. The usage of interrupts and cancellations enabled us to avoid superfluous computations, which often decrease the efficiency in parallel branch and bound programs.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Janusz Borkowski ”Towards More Powerful and Flexible Synchronization Primitives”, in Proceedings of in Inter. Conf. on Parallel Computing in Electrical Engineering PARELEC 2000, August 2000, Trois-Rivieres, Canada. IEEE PR00759, ISBN 0-7695-0759-X, pp. 18–22
Attila Gursoy, Laxmikant V. Kale ”Dagger: Combining Benefits of Synchronous and Asynchronous Communication Styles”, in Proceedings of the 8th International Symposium on Parallel Processing IPPS94, Cancun, Mexico, editor Howard Jay Siegel, IEEE Computer Society Press ISBN 0-8186-3442-1, pp 590–596
M. L. Scott and M.M. Michael, The Topological Barrier: A Synchronization Abstraction for Regurarly-Structered Parallel Applications, Rochester University Technical Report TR605, 1996
M. Raynal, J-M Helart ”Synchronization and control of distributed systems and programs” ISBN 0 471 92453 9, John Wiley and Sons Ltd 1990
Stanislaw Walukiewicz, ”Integer Programming”, PWN and Kluwer Academic Publishers, 1991, ISBN 83-01-09512-1
R. Horst and H. Tuy ”Global Optimization. Deterministic Appoaches”. Springer Verlag, third edition, 1996
Yuji Shinano, Kenicji Harada nad Ryuichi Hirabayashi, Control Schemes in a Generalized Utility for Parallel Branch-and-Bound Algorithms, Proceedings of the 11th International Parallel Processing Symposium (IPPS’ 97) IEEE 1997
I. P. Androulakis and C. A. Floudas, ”Distributed branch and bound algorithms for global optimization”, The IMA Volumes in Mathemathics and its Applications, vol 106 ”Parellel Processig of Discreet Problems”, Springer 1999, ISBN 0-387-98664-2, pp 1–37
H. Trienekens, ”Parallel branch and bound and anomalies” Technical Report EURFEW-CS-89-01, Erasmus University Rotterdam, 1989
Jens Clausen, ”Pushing the limits of solvable QAP problems using parallel processing-is Nugent30 within reach?” The IMA Volumes in Mathemathics and its Applications, vol 106 ”Parellel Processig of Discreet Problems”, Springer 1999, ISBN 0-387-98664-2, pp 59–74
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Borkowski, J. (2002). Interrupt and Cancellation as Synchronization Methods. In: Wyrzykowski, R., Dongarra, J., Paprzycki, M., Waśniewski, J. (eds) Parallel Processing and Applied Mathematics. PPAM 2001. Lecture Notes in Computer Science, vol 2328. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48086-2_1
Download citation
DOI: https://doi.org/10.1007/3-540-48086-2_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43792-5
Online ISBN: 978-3-540-48086-0
eBook Packages: Springer Book Archive