ISP Download/Install Information
School of Computing, University of Utah

1  ISP

ISP stands for (In-Situ Partial order). Instead of modeling MPI programs, ISP directly executes the MPI programs to detect deadlocks and assertion failures. The latest version of ISP implements our new POE algorithm. POE stands for “POR with out-of-order and elusive interleavings". Details of POE can be found here.

2  Download ISP

The current implementation of ISP has been run on 69 MPI programs Umpire test suite. The directory ISP/tests includes various other MPI programs including for 2D Diffusion and Monte Carlo computation of PI.

Here is the link for the tool and the tests cases. isp.tar.gz

3  Install ISP

To Install ISP:

  1. Untar the tar ball. This untars into a directory called ISP.
  2. cd ISP/
  3. Follow the instructions in README file provided in this directory to install and run ISP.

This document was translated from LATEX by HEVEA.