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.
Author(s): Martin Burtscher (auth.), Matti Ropo, Jan Westerholm, Jack Dongarra (eds.)
Series: Lecture Notes in Computer Science 5759 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009
Language: English
Pages: 332
Tags: Programming Techniques; Programming Languages, Compilers, Interpreters; Processor Architectures; System Performance and Evaluation; Performance and Reliability; Algorithm Analysis and Problem Complexity
Front Matter....Pages -
Real-Time Message Compression in Software....Pages 1-1
The MPI 2.2 Standard and the Emerging MPI 3 Standard....Pages 2-2
MPI at Exascale: Challenges for Data Structures and Algorithms....Pages 3-3
Model-Based Optimization of MPI Collective Operations for Computational Clusters....Pages 4-5
Using MPI to Implement Scalable Libraries....Pages 6-6
Formal Verification for Scientific Computing: Trends and Progress....Pages 7-7
Practical Formal Verification of MPI and Thread Programs....Pages 8-8
The Design of Seamless MPI Computing Environment for Commodity-Based Clusters....Pages 9-19
MPI on a Million Processors....Pages 20-30
Scalable Detection of MPI-2 Remote Memory Access Inefficiency Patterns....Pages 31-41
Processing MPI Datatypes Outside MPI....Pages 42-53
Fine-Grained Data Distribution Operations for Particle Codes....Pages 54-63
Experiences Running a Parallel Answer Set Solver on Blue Gene....Pages 64-72
Challenges and Issues of the Integration of RADIC into Open MPI....Pages 73-83
In-Memory Checkpointing for MPI Programs by XOR-Based Double-Erasure Codes....Pages 84-93
MPC-MPI: An MPI Implementation Reducing the Overall Memory Consumption....Pages 94-103
Towards an Efficient Process Placement Policy for MPI Applications in Multicore Environments....Pages 104-115
Dynamic Communicators in MPI....Pages 116-123
VolpexMPI: An MPI Library for Execution of Parallel Applications on Volatile Nodes....Pages 124-133
Using Non-blocking I/O Operations in High Performance Computing to Reduce Execution Times....Pages 134-142
Conflict Detection Algorithm to Minimize Locking for MPI-IO Atomicity....Pages 143-153
Exploiting Efficient Transpacking for One-Sided Communication and MPI-IO....Pages 154-163
Multiple-Level MPI File Write-Back and Prefetching for Blue Gene Systems....Pages 164-173
Performance Evaluation of MPI, UPC and OpenMP on Multicore Architectures....Pages 174-184
Automatic Hybrid MPI+OpenMP Code Generation with llc ....Pages 185-195
Optimizing MPI Runtime Parameter Settings by Using Machine Learning....Pages 196-206
CoMPI: Enhancing MPI Based Applications Performance and Scalability Using Run-Time Compression....Pages 207-218
A Memory-Efficient Data Redistribution Algorithm....Pages 219-229
Impact of Node Level Caching in MPI Job Launch Mechanisms....Pages 230-239
Towards Efficient MapReduce Using MPI....Pages 240-249
Process Arrival Pattern and Shared Memory Aware Alltoall on InfiniBand....Pages 250-260
How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations....Pages 261-270
Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism....Pages 271-281
Bringing Reverse Debugging to HPC....Pages 282-291
8 th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments....Pages 292-293
A Parallel Simulator for Mercury (Hg) Porosimetry....Pages 294-304
Dynamic Load Balancing Strategies for Hierarchical p -FEM Solvers....Pages 305-312
Simulation of Primary Breakup for Diesel Spray with Phase Transition....Pages 313-320
Implementing Reliable Data Structures for MPI Services in High Component Count Systems....Pages 321-322
Parallel Dynamic Data Driven Genetic Algorithm for Forest Fire Prediction....Pages 323-324
Hierarchical Collectives in MPICH2....Pages 325-326
An MPI-1 Compliant Thread-Based Implementation....Pages 327-328
Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract)....Pages 329-330
Back Matter....Pages -
