Inside the transputer
Concurrent programming: principles and practice
Concurrent programming: principles and practice
Machine models and simulations
Handbook of theoretical computer science (vol. A)
Concurrency in programming and database systems
Concurrency in programming and database systems
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent Systems: Operating Systems, Database and Distributed Systems: An Integrated Approach
Concurrent Systems: Operating Systems, Database and Distributed Systems: An Integrated Approach
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Middleware Mediated Transactions
DOA '01 Proceedings of the Third International Symposium on Distributed Objects and Applications
| Hi-index | 0.00 |
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.