Remote memory access programming in MPI-3

Torsten Hoefler; James Dinan; Rajeev Thakur; Brian Barrett; Pavan Balaji; William Gropp; Keith Underwood

doi:10.1145/2780584

Remote memory access programming in MPI-3

Torsten Hoefler, James Dinan, Rajeev Thakur, Brian Barrett, Pavan Balaji, William Gropp, Keith Underwood

Research output: Contribution to journal › Article › peer-review

Abstract

The Message Passing Interface (MPI) 3.0 standard, introduced in September 2012, includes a significant update to the one-sided communication interface, also known as remote memory access (RMA). In particular, the interface has been extended to better support popular one-sided and global-address-space parallel programming models to provide better access to hardware performance features and enable new data-access modes. We present the new RMA interface and specify formal axiomatic models for data consistency and access semantics. Such models can help users reason about details of the semantics that are hard to extract from the English prose in the standard. It also fosters the development of tools and compilers, enabling them to automatically analyze, optimize, and debug RMA programs.

Original language	English (US)
Article number	a9
Journal	ACM Transactions on Parallel Computing
Volume	2
Issue number	2
DOIs	https://doi.org/10.1145/2780584
State	Published - Jul 2015

Keywords

MPI
One-sided communication
RMA

ASJC Scopus subject areas

Software
Modeling and Simulation
Hardware and Architecture
Computer Science Applications
Computational Theory and Mathematics

Online availability

10.1145/2780584

Library availability

Discover UIUC Full Text

Cite this

@article{3175b923e4fd4c94938729ab3f054999,

title = "Remote memory access programming in MPI-3",

abstract = "The Message Passing Interface (MPI) 3.0 standard, introduced in September 2012, includes a significant update to the one-sided communication interface, also known as remote memory access (RMA). In particular, the interface has been extended to better support popular one-sided and global-address-space parallel programming models to provide better access to hardware performance features and enable new data-access modes. We present the new RMA interface and specify formal axiomatic models for data consistency and access semantics. Such models can help users reason about details of the semantics that are hard to extract from the English prose in the standard. It also fosters the development of tools and compilers, enabling them to automatically analyze, optimize, and debug RMA programs.",

keywords = "MPI, One-sided communication, RMA",

author = "Torsten Hoefler and James Dinan and Rajeev Thakur and Brian Barrett and Pavan Balaji and William Gropp and Keith Underwood",

note = "Publisher Copyright: {\textcopyright} 2015 ACM.",

year = "2015",

month = jul,

doi = "10.1145/2780584",

language = "English (US)",

volume = "2",

journal = "ACM Transactions on Parallel Computing",

issn = "2329-4949",

publisher = "Association for Computing Machinery",

number = "2",

}

TY - JOUR

T1 - Remote memory access programming in MPI-3

AU - Hoefler, Torsten

AU - Dinan, James

AU - Thakur, Rajeev

AU - Barrett, Brian

AU - Balaji, Pavan

AU - Gropp, William

AU - Underwood, Keith

PY - 2015/7

Y1 - 2015/7

N2 - The Message Passing Interface (MPI) 3.0 standard, introduced in September 2012, includes a significant update to the one-sided communication interface, also known as remote memory access (RMA). In particular, the interface has been extended to better support popular one-sided and global-address-space parallel programming models to provide better access to hardware performance features and enable new data-access modes. We present the new RMA interface and specify formal axiomatic models for data consistency and access semantics. Such models can help users reason about details of the semantics that are hard to extract from the English prose in the standard. It also fosters the development of tools and compilers, enabling them to automatically analyze, optimize, and debug RMA programs.

AB - The Message Passing Interface (MPI) 3.0 standard, introduced in September 2012, includes a significant update to the one-sided communication interface, also known as remote memory access (RMA). In particular, the interface has been extended to better support popular one-sided and global-address-space parallel programming models to provide better access to hardware performance features and enable new data-access modes. We present the new RMA interface and specify formal axiomatic models for data consistency and access semantics. Such models can help users reason about details of the semantics that are hard to extract from the English prose in the standard. It also fosters the development of tools and compilers, enabling them to automatically analyze, optimize, and debug RMA programs.

KW - MPI

KW - One-sided communication

KW - RMA

UR - http://www.scopus.com/inward/record.url?scp=85054207154&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85054207154&partnerID=8YFLogxK

U2 - 10.1145/2780584

DO - 10.1145/2780584

M3 - Article

AN - SCOPUS:85054207154

SN - 2329-4949

VL - 2

JO - ACM Transactions on Parallel Computing

JF - ACM Transactions on Parallel Computing

IS - 2

M1 - a9

ER -

Remote memory access programming in MPI-3

Abstract

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this