Abstract
Theoretical models are difficult to apply for the analysis of practical message passing systems used today. We propose a model which can be used for such an analysis. Our framework for message passing is in many ways similar to the framework for transactional database systems. The abstract message passing system is defined in our framework independently of hardware, operating system and means of communication. The interface between the application and the message passing system consists of four basic abstract message passing operations. The application can be written in any programming language, provided that the application’s communication primitives can be translated into semantically equivalent sequences of the basic message passing operations. We prove that a restricted version of our model is as powerful as the unbounded asynchronous channel model. We also prove that MPI, the Message Passing Interface, is in some sense weaker than our restricted model and therefore also than the unbounded asynchronous channel model.
This work was partially supported by the grant APVT-20-018902.
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
Andrews, G.A.: Concurrent Programming, Principles and Practice. Benjamin/Cummings Publishing Company (1991)
Bacon, J.: Concurrent Systems (Operating Systems, Database and Distributed Systems: An Integrated Approach). Addison-Wesley-Longman (1998)
Bernstein, A.J., Lewis, P.M.: Concurrency in Programming and Database Systems. Jones and Bartlett Publishers, USA (1993)
Galletly, J.: Occam 2. Pitman Publishing (1990)
Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco (1993)
L.P. Hewlett-Packard Development Company: HP MPI User’s Guide, 8 edn. (2003)
Peyton Jones, S.L., Gordon, A., Finne, S.: Concurrent Haskell. In: 23rd ACM Symposium on Principles of Programming Languages, pp. 295–308 (1996)
Liebig, C., Tai, S.: Middleware-Mediated Transactions. In: Blair, G., Schmidt, D., Tari, Z. (eds.) Proc. of the 5th International Symposium on Distributed Objects and Applications (DOA 2001), pp. 340–350. IEEE Computer Society, Los Alamitos (2001)
Mitchell, D.A.P., Thompson, J.A., Manson, G.A., Brookes, G.R.: Inside The Transputer. Blackwell Scientific Publications, Malden (1990)
MPI Forum. MPI-2: Extensions to the Message Passing Interface (1997)
MPI Forum. MPI: Message Passing Interface, Version 1.1 (1998)
van Emde Boas, P.: Machine Models and Simulation. In: Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A), pp. 1–66. Elsevier and MIT Press (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Plachetka, T. (2006). Unifying Framework for Message Passing. In: Wiedermann, J., Tel, G., Pokorný, J., Bieliková, M., Štuller, J. (eds) SOFSEM 2006: Theory and Practice of Computer Science. SOFSEM 2006. Lecture Notes in Computer Science, vol 3831. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11611257_43
Download citation
DOI: https://doi.org/10.1007/11611257_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-31198-0
Online ISBN: 978-3-540-32217-7
eBook Packages: Computer ScienceComputer Science (R0)