Results 1 - 10 of 1,823

Fault Tolerance in MPI Programs

by William Gropp, Ewing Lusk - Special issue of the Journal High Performance Computing Applications (IJHPCA , 2002
"... This paper examines the topic of writing fault-tolerant MPI applications. We discuss the meaning of fault tolerance in general and what the MPI Standard has to say about it. We survey several approaches to this problem, namely checkpointing, restructuring a class of standard MPI programs, modify ..."
Abstract - Cited by 33 (1 self) - Add to MetaCart
This paper examines the topic of writing fault-tolerant MPI applications. We discuss the meaning of fault tolerance in general and what the MPI Standard has to say about it. We survey several approaches to this problem, namely checkpointing, restructuring a class of standard MPI programs

Fault Tolerance in MPI Programs

by unknown authors
"... Abstract. This paper examines the topic of writing fault-tolerant MPI applications. We discuss the meaning of fault tolerance in general and what the MPI Standard has to say about it. We survey several approaches to this problem, namely checkpointing, restructuring a class of standard MPI programs, ..."
Abstract - Add to MetaCart
Abstract. This paper examines the topic of writing fault-tolerant MPI applications. We discuss the meaning of fault tolerance in general and what the MPI Standard has to say about it. We survey several approaches to this problem, namely checkpointing, restructuring a class of standard MPI programs

Checkpointing Fortran/MPI Programs for . . .

by Chaitanya Mishra, Manav Ratan Mittal, Sanjeev K Aggarwal
"... In recent years, Grid Computing has emerged as a new and powerful paradigm in the field of high performance computing. However, the running time of a majority of important computational science applications is more than the mean-time-to-failure of these grids. It is important, therefore, to provide ..."
Abstract - Add to MetaCart
, to provide some measure of fault tolerance for compute intensive applications, for them to truly harness the power of computational grids. In this paper we describe the design of Merlin, a tool for instrumenting Fortran/MPI programs to make them fault tolerant. Merlin provides application level check

Performance Analysis of MPI Programs

by Ed Karrels , Ewing Lusk
"... The Message Passing Interface (MPI) standard has recently been completed. MPI is a specification for a library of functions that implement the message-passing model of parallel computation. One novel feature of MPI is its very general "profiling interface," that allows users to attach a ..."
Abstract - Cited by 21 (8 self) - Add to MetaCart
The Message Passing Interface (MPI) standard has recently been completed. MPI is a specification for a library of functions that implement the message-passing model of parallel computation. One novel feature of MPI is its very general "profiling interface," that allows users to attach

Modeling MPI programs for verification

by Stephen F. Siegel, George, S. Avrunin , 2004
"... Abstract. We investigate the application of formal verification techniques to parallel programs that employ the Message Passing Interface (MPI). We develop a formal model sufficient to represent programs that use a particular subset of MPI, and then prove a number of theorems about that model that a ..."
Abstract - Cited by 10 (8 self) - Add to MetaCart
Abstract. We investigate the application of formal verification techniques to parallel programs that employ the Message Passing Interface (MPI). We develop a formal model sufficient to represent programs that use a particular subset of MPI, and then prove a number of theorems about that model

MPISE: Symbolic Execution of MPI Programs

by Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Ji Wang
"... Abstract. Message Passing Interfaces (MPI) plays an important role in parallel computing. Many parallel applications are implemented as MPI programs. The existing methods of bug detection for MPI programs have the shortage of providing both input and non-determinism coverage, leading to missed bugs. ..."
Abstract - Add to MetaCart
Abstract. Message Passing Interfaces (MPI) plays an important role in parallel computing. Many parallel applications are implemented as MPI programs. The existing methods of bug detection for MPI programs have the shortage of providing both input and non-determinism coverage, leading to missed bugs

MYMPI - mpi programming in python

by Timothy H. Kaiser - In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications , 2006
"... Abstract- We introduce an MPI Python module, MYMPI, for parallel programming in Python using the Message Passing Interface (MPI). This is a true Python module which runs with a standard Python interpreter. In this paper we discuss the motivation for creating the MYMPI module, along with differences ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
Abstract- We introduce an MPI Python module, MYMPI, for parallel programming in Python using the Message Passing Interface (MPI). This is a true Python module which runs with a standard Python interpreter. In this paper we discuss the motivation for creating the MYMPI module, along with differences

Specification and Verification of Protocols for MPI Programs

by Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco T. Vasconcelos, Nobuko Yoshida
"... Abstract. We present an approach for the validation of Message Passing Inter-face (MPI) programs. The aim is to type-check programs against session-type based protocol specifications, enforcing properties such as protocol fidelity, ab-sence of race conditions or deadlocks. We design and implement a ..."
Abstract - Add to MetaCart
Abstract. We present an approach for the validation of Message Passing Inter-face (MPI) programs. The aim is to type-check programs against session-type based protocol specifications, enforcing properties such as protocol fidelity, ab-sence of race conditions or deadlocks. We design and implement a

Formal verification of practical mpi programs

by Anh Vo, Sarvani Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, Software/program Verificationmodel Checking - In PPoPP ’09: Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming , 2009
"... This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our approach, we directly model-check the MPI/C source code, executing its interleavings with the help of a verification schedul ..."
Abstract - Cited by 29 (9 self) - Add to MetaCart
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our approach, we directly model-check the MPI/C source code, executing its interleavings with the help of a verification

1 DEADLOCK DETECTION IN MPI PROGRAMS

by Glenn Luecke, Yan Zou, James Coyle, Jim Hoekstra, Marina Kraeva , 2002
"... Abstract. The Message Passing Interface (MPI) is commonly used to write parallel programs for distributed memory parallel computers. MPI-CHECK is a tool developed to aid in the debugging of MPI programs that are written in free or fixed format Fortran 90 and Fortran 77. This paper presents the metho ..."
Abstract - Add to MetaCart
Abstract. The Message Passing Interface (MPI) is commonly used to write parallel programs for distributed memory parallel computers. MPI-CHECK is a tool developed to aid in the debugging of MPI programs that are written in free or fixed format Fortran 90 and Fortran 77. This paper presents
Results 1 - 10 of 1,823