MPI is the most widely used parallel programming model. But the reducing amount of
memory per compute core tends to push MPI to be mixed with shared-memory approaches …

The MPI interface is the de-facto standard for message passing applications, but it is also
complex and defines several usage patterns as erroneous. A current trend is the …

Abstract Current High Performance Computing (HPC) systems consist of compute nodes
that can communicate via an interconnect. Each compute node features multiple compute …

Scientific applications mainly rely on the MPI parallel programming model to reach high
performance on supercomputers. The advent of manycore architectures (larger number of …

Parallel programming is a complex, and since the multi-core era has dawned, also a more
and more common task that can be alleviated considerably by tools supporting the …

The MPI standard allows the usage of multiple threads per process. The main idea was that
an MPI call executed at one thread should not block other threads. In the MPI-2 standard this …

High-performance computing codes often combine the Message-Passing Interface (MPI)
with a shared-memory programming model, eg, OpenMP, for efficient computations. These …

Abstract The Message-Passing Interface (MPI) is large and complex. Therefore,
programming MPI is error prone. Several MPI runtime correctness tools address classes of …

The Message Passing Interface (MPI) is widely used to write parallel programs using
message passing, but it does not guarantee portability between different MPI …

PARCOACH is one of the few verification tools that mainly relies on a static analysis to
detect errors in MPI programs. First focused on the detection of call ordering errors with …