The communication semantics of the message passing interface

Update Item Information
Publication Type technical report
School or College College of Engineering
Department Computing, School of
Program Advanced Research Projects Agency
Creator Gopalakrishnan, Ganesh; Kirby, Robert Michael II
Other Author Palmer, Robert
Title The communication semantics of the message passing interface
Date 2006-10-31
Description The Message Passing Interface (MPI) standard is a natural language document that describes a software library for interprocess communication. Automatic reasoning about the reactive nature of programs communicating via MPI libraries is not possible without also analizing the library being used. Many distributed programs that use MPI are relatively brief compared to the libraries that implement MPI. A formal specification of the communication semantics of the MPI standard (i) enables modular automatic reasoning of MPI based parallel programs independent of the library implementation, (ii) provides a mathematically precise declaration of the natural language intent of the MPI specification, (iii) enables mathematical reasoning about libraries that implement the standard, and (iv) allows for reasoning about the standard itself. We have created such a specification of the point to point operations and present it in this report. We also discuss some preliminary efforts to accomplish (i) above.
Type Text
Publisher University of Utah
Subject communication semantics; Message Passing Interface; MPI; natural language
Language eng
Bibliographic Citation Palmer, Robert; Gopalakrishnan, Ganesh; Kirby, Robert Michael II (2006). The communication semantics of the message passing interface. UUCS-06-012.
Series University of Utah Computer Science Technical Report
Relation is Part of ARPANET
Rights Management ©University of Utah
Format Medium application/pdf
Format Extent 481,292 bytes
Source University of Utah School of Computing
ARK ark:/87278/s6sj249m
Setname ir_uspace
ID 707418
Reference URL https://collections.lib.utah.edu/ark:/87278/s6sj249m