PTP: Graphical Explorer of MPI Programs (GEM)

      Release 1.5.0

The Graphical Explorer of MPI Programs (GEM) Eclipse plug-in, part of the Parallel Tools Platform (PTP), is a graphical front end for In-situ Partial Order (ISP), a dynamic formal verification tool for MPI C/C++ programs, developed at the University of Utah. GEM greatly enhances the usability of ISP by providing an intuitive graphical way to track down bugs in MPI C/C++ programs, examine post-runtime results and to analyze MPI runtime behavior.

GEM can be used by anyone who can write simple MPI C/C++ programs, and requires no special training. GEM allows you to formally verify your MPI C/C++ programs automatically without any extra efforts on your part (apart from compiling and making your examples) and flags the following errors:

In addition, GEM helps you understand as well as step through all relevant process interleavings (schedules). Notice our use of the word relevant: even a short MPI program may have too many (an "exponential number") of interleavings. For example, an MPI program with five processes, each containing five MPI calls, can have well in excess of 1000 interleavings. However, ISP generates a new interleaving only when it represents a truly new (as yet unexamined) behavior of your programs.

Overview, Background, and Setup information

  1. ISP Overview
  2. GEM Plug-in Prerequisites

Help Topics

  1. GEM Plug-in Preferences
  2. Understanding GEM Console Output
  3. Console View
  4. Analyzer View
  5. Happens Before Viewer
  6. Makefile Support
  7. Troubleshooting the GEM Plug-in

Other related topics:

  1. Latest Release of the GEM Eclipse Plugin
  2. Latest Release of ISP - Including user manual and test code
  3. Gauss Group Home - All current work and publications
  4. University of Utah School of Computing

 

Back to Top | Back to Table of Contents

 


School of Computing * 50 S. Central Campus Dr. Rm. 3190 * Salt Lake City, UT 84112 * isp-dev@cs.utah.edu
License