Ebook: Recent Advances in Parallel Virtual Machine and Message Passing Interface: 14th European PVM/MPI User’s Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedings

This book constitutes the refereed proceedings of the 14th European PVM/MPI Users' Group Meeting held in Paris, France, September 30 - October 3, 2007.

The 40 revised full papers presented together with abstracts of six invited contributions, three tutorial papers and six poster papers were carefully reviewed and selected from 68 submissions.

The papers are organized in topical sections on collective communication, communication protocols, debugging and verification, fault tolerance, metacomputing and grid, parallel I/O, implementation issues, object-oriented message passing, limitations and extensions, performance. They are completed with six contributions to the special ParSim session on current trends in numerical simulation for parallel engineering environments.

---

This book constitutes the refereed proceedings of the 14th European PVM/MPI Users' Group Meeting held in Paris, France, September 30 - October 3, 2007.

The 40 revised full papers presented together with abstracts of six invited contributions, three tutorial papers and six poster papers were carefully reviewed and selected from 68 submissions.

The papers are organized in topical sections on collective communication, communication protocols, debugging and verification, fault tolerance, metacomputing and grid, parallel I/O, implementation issues, object-oriented message passing, limitations and extensions, performance. They are completed with six contributions to the special ParSim session on current trends in numerical simulation for parallel engineering environments.

Content:
Front Matter....Pages -
The X-Scale Challenge....Pages 1-2
Sustained Petascale: The Next MPI Challenge....Pages 3-4
MPI: Past, Present and Future....Pages 5-6
New and Old Tools and Programming Models for High-Performance Computing....Pages 7-7
The TSUBAME Cluster Experience a Year Later, and onto Petascale TSUBAME 2.0....Pages 8-9
To Infinity and Beyond?! On Scaling Performance Measurement and Analysis Tools for Parallel Programming....Pages 10-11
Using MPI-2: A Problem-Based Approach....Pages 12-12
Verifying Parallel Programs with MPI-Spin....Pages 13-14
Advanced MPI Programming....Pages 15-16
Full Bandwidth Broadcast, Reduction and Scan with Only Two Trees....Pages 17-26
Process Cooperation in Multiple Message Broadcast....Pages 27-35
Self-consistent MPI Performance Requirements....Pages 36-45
An Improved Parallel XSL-FO Rendering for Personalized Documents....Pages 46-55
An Extensible Framework for Distributed Testing of MPI Implementations....Pages 56-63
A Virtual Test Environment for MPI Development: Quick Answers to Many Small Questions....Pages 64-72
Multithreaded Tomographic Reconstruction....Pages 73-80
ParaLEX: A Parallel Extension for the CPLEX Mixed Integer Optimizer....Pages 81-88
Performance Analysis and Tuning of the XNS CFD Solver on Blue Gene/L....Pages 89-96
(Sync|Async)?+? MPI Search Engines....Pages 97-106
A Case for Standard Non-blocking Collective Operations....Pages 107-116
Optimization of Collective Communications in HeteroMPI....Pages 117-124
Low Cost Self-healing in MPI Applications....Pages 125-134
Fault Tolerant File Models for MPI-IO Parallel File Systems....Pages 135-143
An Evaluation of Open MPI’s Matching Transport Layer on the Cray XT....Pages 144-152
Improving Reactivity and Communication Overlap in MPI Using a Generic I/O Manager....Pages 153-160
Investigations on InfiniBand: Efficient Network Buffer Utilization at Scale....Pages 161-169
Improving MPI Support for Applications on Hierarchically Distributed Resources....Pages 170-177
MetaLoRaS: A Re-scheduling and Prediction MetaScheduler for Non-dedicated Multiclusters....Pages 178-186
Using CMT in SCTP-Based MPI to Exploit Multiple Interfaces in Cluster Nodes....Pages 187-194
Analysis of the MPI-IO Optimization Levels with the PIOViz Jumpshot Enhancement....Pages 195-203
Extending the MPI-2 Generalized Request Interface....Pages 204-212
Transparent Log-Based Data Storage in MPI-IO Applications....Pages 213-222
Analysis of Implementation Options for MPI-2 One-Sided....Pages 223-232
MPI-2 One-Sided Usage and Implementation for Read Modify Write Operations: A Case Study with HPCC ....Pages 233-241
RDMA in the SiCortex Cluster Systems....Pages 242-250
Revealing the Performance of MPI RMA Implementations....Pages 251-259
Distributed Real-Time Computing with Harness....Pages 260-271
Frequent Itemset Minning with Trie Data Structure and Parallel Execution with PVM....Pages 272-280
Retrospect: Deterministic Replay of MPI Applications for Interactive Distributed Debugging....Pages 281-288
Extended MPICC to Generate MPI Derived Datatypes from C Datatypes Automatically ....Pages 289-296
Timestamp Synchronization for Event Traces of Large-Scale Message-Passing Applications....Pages 297-306
Verification of Halting Properties for MPI Programs Using Nonblocking Operations....Pages 307-314
Correctness Debugging of Message Passing Programs Using Model Verification Techniques....Pages 315-325
Practical Model-Checking Method for Verifying Correctness of MPI Programs....Pages 326-334
Gyrokinetic Semi-lagrangian Parallel Simulation Using a Hybrid OpenMP/MPI Programming....Pages 335-343
Automatic Parallelization of Object Oriented Models Executed with Inline Solvers....Pages 344-353
3D Parallel Elastodynamic Modeling of Large Subduction Earthquakes....Pages 354-355
Virtual Parallel Machines Through Virtualization: Impact on MPI Executions....Pages 356-364
Seshat Collects MPI Traces: Extended Abstract....Pages 365-372
Dynamic Optimization of Load Balance in MPI Broadcast....Pages 373-380
An Empirical Study of Optimization in Seamless Remote MPI-I/O for Long Latency Network....Pages 381-383
Multithreaded and Distributed Simulation of Large Biological Neuronal Networks....Pages 384-386
Grid Services for MPI....Pages 387-388
Back Matter....Pages 389-390
....Pages 391-392