MPI-CHECK: A tool for checking Fortran 90 MPI programs

Concurrency and Computation: Practice and Experience

Volumn 15, Issue 2, 2003, Pages 93-100

  Luecke, Glenn ^a   Chen, Hua ^a   Coyle, James ^a   Hoekstra, Jim ^a   Kraeva, Marina ^a   Zou, Yan ^a  

^a IOWA STATE UNIVERSITY   (United States)

Author keywords

Argument checking; Bounds checking; Data type checking; MPI; Tool

Indexed keywords

C (PROGRAMMING LANGUAGE); FORTRAN (PROGRAMMING LANGUAGE); KNOWLEDGE BASED SYSTEMS; PARALLEL PROCESSING SYSTEMS; PROGRAM COMPILERS; PROGRAM DEBUGGING; RESPONSE TIME (COMPUTER SYSTEMS);

ARGUMENT CHECKING; BOUNDS CHECKING; DATA TYPE CHECKING; MESSAGE PASSING INTERFACE; SOFTWARE PACKAGE MPI-CHECK;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0037305108     PISSN: 15320626     EISSN: None     Source Type: Journal    
DOI: 10.1002/cpe.705     Document Type: Article

References (5)

1. Gropp W, Lusk E. Skjellum A. Using MPI: Portable Parallel Programming with the Message-Passing Interface (2nd edn). MIT Press: Cambridge, MA, 1999.
2. MPI-CHECK. http://www.hpc.iastate.edu/MPI-CHECK.htm.
3. Vetter, JS, Supinski BR. Dynamic software testing of MPI applications with Umpire. Proceedings Supercomputing 2000. IEEE Computer Society Press: Dallas, 2000.
4. MPICH. http://www.mpi-forum.org/docs/docs.html.
5. NAS Parallel benchmarks. http://webserv.gsfc.nasa.gov/neumann/hive_comp/bmarks/node5.html.