This assignment helps you learn about message passing using ISP, a dynamic verifier for MPI C programs. You are being given a LiveDVD containing ISP and its Eclipse Plug-in called GEM (Graphical Explorer of Message passing). Instructions for booting into the Ubuntu machine on the DVD will be given in class, as will instructions pertaining to creating a project. Please solve these problems using the LiveDVD. All these problems will be more or less equally weighed. For help on MPI, you can do Google search and find many documents online.

1. Run Example 02 of Page 15 in the report by Atzeni and Derrick entitled “ISP Takes Steve’s MPI Exam” (kept at www.cs.utah.edu/~simone) with four processes (ranks). In the Window, Preferences, turn on “Use Blocking sends.” The program exhibits a deadlock. Please explain why. Take a screenshot of the Deadlocking state by hitting the “lock” icon. (Have the ISP Analyzer view maximized.)
2. Rerun the same example with “Use Blocking sends” turned off. You notice that the deadlock disappears. Why?
3. Explain why the result printed on the ISP console is

   At 2: 13 42 79
   At 1: 13 42 79
   At 3: garbage garbage garbage or 0
   At 0: 13 42 79
   

4. Run the example on MPI_Iprobeillustration and explain why there are multiple interleavings in this problem.
5. Choose Example 50, Page 10 of the Atzeni/Derrick report. Enter the project into GEM. Exhibit the deadlock and explain it.

This document was translated from L^AT_EX by H^EV^EA.