Recent Advances in Parallel Virtual Machine and Message Passing Interface: 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings

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 -