Affiliation:
1. ETH Zurich
2. Intel Corporation
3. Argonne National Laboratory
4. Sandia National Laboratories, Albuquerque, NM
5. University of Illinois at Urbana-Champaign
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.
Funder
Eidgenössische Technische Hochschule Zürich
Publisher
Association for Computing Machinery (ACM)
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Modelling and Simulation,Software
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications;Proceedings of the 53rd International Conference on Parallel Processing;2024-08-12
2. Improving the MPI Remote Memory Access Model for Distributed-memory Systems by Implementing One-sided Broadcast;2024 XXVII International Conference on Soft Computing and Measurements (SCM);2024-05-22
3. Decentralized lock-free distributed queue in MPI remote memory access model;E3S Web of Conferences;2024
4. RMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12
5. Rethinking Data Race Detection in MPI-RMA Programs;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12