Recent Advances in Parallel Virtual Machine and Message Passing Interface

1. Front Matter

   PDF

2. Invited Talks (Abstracts)

   1. Real-Time Message Compression in Software

      • Martin Burtscher

      Pages 1-1

   2. The MPI 2.2 Standard and the Emerging MPI 3 Standard

      • Richard L. Graham

      Pages 2-2

   3. MPI at Exascale: Challenges for Data Structures and Algorithms

      • William Gropp

      Pages 3-3

   4. Model-Based Optimization of MPI Collective Operations for Computational Clusters

      • Alexey Lastovetsky

      Pages 4-5

   5. Using MPI to Implement Scalable Libraries

      • Ewing Lusk

      Pages 6-6

   6. Formal Verification for Scientific Computing: Trends and Progress

      • Stephen F. Siegel

      Pages 7-7

3. Tutorial

   1. Practical Formal Verification of MPI and Thread Programs

      • Ganesh Gopalakrishnan, Robert M. Kirby

      Pages 8-8

4. Outstanding Papers

   1. The Design of Seamless MPI Computing Environment for Commodity-Based Clusters

      • Shinji Sumimoto, Kohta Nakashima, Akira Naruse, Kouichi Kumon, Takashi Yasui, Yoshikazu Kamoshida et al.

      Pages 9-19

   2. MPI on a Million Processors

      • Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Sameer Kumar, Ewing Lusk et al.

      Pages 20-30

   3. Scalable Detection of MPI-2 Remote Memory Access Inefficiency Patterns

      • Marc-André Hermanns, Markus Geimer, Bernd Mohr, Felix Wolf

      Pages 31-41

   4. Processing MPI Datatypes Outside MPI

      • Robert Ross, Robert Latham, William Gropp, Ewing Lusk, Rajeev Thakur

      Pages 42-53

5. Applications

   1. Fine-Grained Data Distribution Operations for Particle Codes

      • Michael Hofmann, Gudula Rünger

      Pages 54-63

   2. Experiences Running a Parallel Answer Set Solver on Blue Gene

      • Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

      Pages 64-72

6. Fault Tolerance

   1. Challenges and Issues of the Integration of RADIC into Open MPI

      • Leonardo Fialho, Guna Santos, Angelo Duarte, Dolores Rexachs, Emilio Luque

      Pages 73-83

   2. In-Memory Checkpointing for MPI Programs by XOR-Based Double-Erasure Codes

      • Gang Wang, Xiaoguang Liu, Ang Li, Fan Zhang

      Pages 84-93

7. Library Internals

   1. MPC-MPI: An MPI Implementation Reducing the Overall Memory Consumption

      • Marc Pérache, Patrick Carribault, Hervé Jourdren

      Pages 94-103

   2. Towards an Efficient Process Placement Policy for MPI Applications in Multicore Environments

      • Guillaume Mercier, Jérôme Clet-Ortega

      Pages 104-115

   3. Dynamic Communicators in MPI

      • Richard L. Graham, Rainer Keller

      Pages 116-123

   4. VolpexMPI: An MPI Library for Execution of Parallel Applications on Volatile Nodes

      • Troy LeBlanc, Rakhi Anand, Edgar Gabriel, Jaspal Subhlok

      Pages 124-133

This book constitutes the refereed proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface, EuroPVM/MPI 2009, held in Espoo, Finland, September 7-10, 2009. The 27 papers presented were carefully reviewed and selected from 48 submissions. The volume also includes 6 invited talks, one tutorial, 5 poster abstracts and 4 papers from the special session on current trends in numerical simulation for parallel engineering environments. The main topics of the meeting were Message Passing Interface (MPI)performance issues in very large systems, MPI program verification and MPI on multi-core architectures.

• InfiniBand
• MapReduce
• OpenMP
• Scala
• cloud computing
• cluster computing
• concurrency
• data structures
• formal verification
• genetic algorithms
• high performance computing
• multi-core
• parallel file system
• simulation
• virtual machines

• Department of Information Technology, Åbo Akademi, Turku, Finland

  Matti Ropo, Jan Westerholm

• Department of Electrical Engineering and Computer Science, University of Tennessee, Knoxville, USA

  Jack Dongarra

Policies and ethics