Recent Advances in Parallel Virtual Machine and Message Passing Interface

ISBN-13: 9783540874744 / Angielski / Miękka / 2008 / 362 str.

Alexey Lastovetsky

Opis

Current thinking about state-of-the-art infrastructure for computational science isdominatedbytwoconcepts: computingclustersandcomputationalgrids.Cl- ter architectures consistently hold the majority of slots on the list of Top 500 supercomputersites, andcomputationalGrids, inbothexperimentalandprod- tiondeployments, havebecome commonin academic, governmentandindustrial research communities around the world. The message passing is the dominant programmingparadigmforhigh-performancescienti?ccomputingonthesearc- tectures. MPI and PVM have emerged as standard programming environments in the message-passing paradigm. The EuroPVM/MPI conference series is the premierresearcheventforhigh-performanceparallelprogramminginthemessa- passingparadigm.Applications usingparallelmessage-passingprogramming, - oneered in this researchcommunity, are having signi?cant impact in the areas of computational science, such as bioinformatics, atmospheric sciences, chemistry, physics, astronomy, medicine, banking and ?nance, energy, etc. EuroPVM/MPIisa?agshipconferenceforthiscommunity, establishedasthe premier international forum for researchers, users and vendors to present their latest advances in MPI and PVM. EuroPVM/MPI is the forum where fun- mental aspects of message passing, implementations, standards, benchmarking, performance and new techniques are presented and discussed by researchers, developers and users from academia and industry. EuroPVM/MPI 2008 was organized by the UCD School of Computer S- ence and Informatics in Dublin, September 7-10, 2008. This was the 15th issue of the conference, which takes place each year at a di?erent European location. Previous meetings were held in Paris (2007), Bonn (2006), Sorrento (2005), - dapest(2004), Venice(2003), Linz(2002), Santorini(2001), Balatonfured(2000), Barcelona(1999), Liverpool(1998), Krakow(1997), Munich(1996), Lyon(1995), and Rome (1994). The main topics of the meeting were formal veri?cation of message passing programs, collective operations, parallel applications using the message passing paradigm, one-sided and point-to-point communication, MPI standard ext- sions or evolution, tools for performance evaluation and optimization, MPI-I/O, mutli-core and multithreaded architectures, and heterogeneous platforms.

Spis treści

Invited Talks.- The Next Frontier.- Fault Tolerance for PetaScale Systems: Current Knowledge, Challenges and Opportunities.- Managing Multicore with OpenMP (Extended Abstract).- MPI Must Evolve or Die.- MPI and Hybrid Programming Models for Petascale Computing.- Some Aspects of Message-Passing on Future Hybrid Systems (Extended Abstract).- From Parallel Virtual Machine to Virtual Parallel Machine: The Unibus System.- Tutorial.- EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach.- Outstanding Papers.- Non-data-communication Overheads in MPI: Analysis on Blue Gene/P.- Architecture of the Component Collective Messaging Interface.- X-SRQ - Improving Scalability and Performance of Multi-core InfiniBand Clusters.- A Software Tool for Accurate Estimation of Parameters of Heterogeneous Communication Models.- Applications.- Sparse Non-blocking Collectives in Quantum Mechanical Calculations.- Dynamic Load Balancing on Dedicated Heterogeneous Systems.- Communication Optimization for Medical Image Reconstruction Algorithms.- Collective Operations.- A Simple, Pipelined Algorithm for Large, Irregular All-gather Problems.- MPI Reduction Operations for Sparse Floating-point Data.- Library Internals.- A Prototype Implementation of MPI for SMARTMAP.- Gravel: A Communication Library to Fast Path MPI.- Message Passing for Multi-core and Mutlithreaded Architectures.- Toward Efficient Support for Multithreaded MPI Communication.- MPI Support for Multi-core Architectures: Optimized Shared Memory Collectives.- MPI Datatypes.- Constructing MPI Input-output Datatypes for Efficient Transpacking.- Object-Oriented Message-Passing in Heterogeneous Environments.- MPI I/O.- Implementation and Evaluation of an MPI-IO Interface for GPFS in ROMIO.- Self-consistent MPI-IO Performance Requirements and Expectations.- Synchronisation Issues in Point-to-Point and One-Sided Communications.- Performance Issues of Synchronisation in the MPI-2 One-Sided Communication API.- Lock-Free Asynchronous Rendezvous Design for MPI Point-to-Point Communication.- Tools.- On the Performance of Transparent MPI Piggyback Messages.- Internal Timer Synchronization for Parallel Event Tracing.- A Tool for Optimizing Runtime Parameters of Open MPI.- MADRE: The Memory-Aware Data Redistribution Engine.- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous and Heterogeneous Clusters.- Verification of Message Passing Programs.- Visual Debugging of MPI Applications.- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs.- ValiPVM - A Graphical Tool for Structural Testing of PVM Programs.- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software.- ParSim.- 7th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments: New Directions and Work-in-Progress (ParSim 2008).- LibGeoDecomp: A Grid-Enabled Library for Geometric Decomposition Codes.- Using Arithmetic Coding for Reduction of Resulting Simulation Data Size on Massively Parallel GPGPUs.- Benchmark Study of a 3d Parallel Code for the Propagation of Large Subduction Earthquakes.- Posters Abstracts.- Vis-OOMPI: Visual Tool for Automatic Code Generation Based on C++/OOMPI.- A Framework for Deploying Self-predefined MPI Communicators and Attributes.- A Framework for Proving Correctness of Adjoint Message-Passing Programs.- A Compact Computing Environment for a Windows Cluster: Giving Hints and Assisting Job Execution.- to Acceleration for MPI Derived Datatypes Using an Enhancer of Memory and Network.- Efficient Collective Communication Paradigms for Hyperspectral Imaging Algorithms Using HeteroMPI.- An MPI-Based System for Testing Multiprocessor and Cluster Communications.- MPI in Wireless Sensor Networks.- Erratum.- Dynamic Load Balancing on Dedicated Heterogeneous Systems.

Blurb

This book constitutes the refereed proceedings of the 15th European PVM/MPI Users' Group Meeting held in Dublin, Ireland, in September 2008.

The 29 revised full papers presented together with abstracts of 7 invited contributions, 1 tutorial paper and 8 poster papers were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on applications, collective operations, library internals, message passing for multi-core and mutlithreaded architectures, MPI datatypes, MPI I/O, synchronisation issues in point-to-point and one-sided communications, tools, and verification of message passing programs. The volume is rounded off with 4 contributions to the special ParSim session on current trends in numerical simulation for parallel engineering environments.