<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Hi<br>
<blockquote
 cite="mid:bf30fb120902280959g78c81a28p7dd06cd1f32b001@mail.gmail.com"
 type="cite">
  <pre wrap="">Hi

  I am looking for a debugging/profiling tool for Mpi, but this needs
"Microsoft Compute Cluster Pack SDK".</pre>
</blockquote>
That is of course Microsoft's adaptation of MPICH2 and is available
free from<br>
<br>
<a class="moz-txt-link-freetext" href="http://www.microsoft.com/downloadS/details.aspx?FamilyID=d8462378-2f68-409d-9cb3-02312bc23bfd&displaylang=en">http://www.microsoft.com/downloadS/details.aspx?FamilyID=d8462378-2f68-409d-9cb3-02312bc23bfd&amp;displaylang=en</a><br>
<br>
The user manual of ISP is missing this link which I'll fix.<br>
<br>
ISP on Windows has not been tested with MPICH2 but should work (we may
get to it one day). There is really no need to be running MPICH2 on
Windows because that's what the above SDK really is.<br>
<blockquote
 cite="mid:bf30fb120902280959g78c81a28p7dd06cd1f32b001@mail.gmail.com"
 type="cite">
  <pre wrap=""> It doesn't even want to install
itself with mpich2. :( Anyway the screenshots look nice. By the way
what other debug/profile tools are available with mpich2 under
windows? Thanks.
  </pre>
</blockquote>
<br>
Ganesh<br>
<br>
<blockquote
 cite="mid:bf30fb120902280959g78c81a28p7dd06cd1f32b001@mail.gmail.com"
 type="cite">
  <pre wrap="">
regards
K.A. Albert



2009/2/27 Ganesh <a class="moz-txt-link-rfc2396E" href="mailto:ganesh@cs.utah.edu">&lt;ganesh@cs.utah.edu&gt;</a>:
  </pre>
  <blockquote type="cite">
    <pre wrap="">Hi,

I am new to this group, and notice that many folks are learning how to
program in MPI. I have a small tip for them.

Once they get their code to compile (*), they may wish to try using ISP
which was announced in this list just recently. ISP is extremely easy to use
(its user manual shows the 2-3 commands you need - i.e. you do ispcc instead
of mpicc , and ispcc calls mpicc from within -- etc.)

Once you run even your simplest MPI programs using ISP, you can watch all
the possible send/receive matches etc. graphically. In fact, much more than
a debugger, it shows all possible interleavings, and for each interleaving
(execution possibility) it shows what send / receive matches can occur.
ISP's Java GUI has tool tips and you can also watch the source lines using
the source window. The source window has &nbsp;tabbed and split views, and you
can further see the communication matches through color codes.

You may also place C "assert" statements within your code, and ISP will
check those assertions for all possible executions of your code. Finally you
may catch deadlocks and MPI object leaks. All this for doing "ispcc" instead
of "mpicc"

(see user manual at
<a class="moz-txt-link-freetext" href="http://www.cs.utah.edu/formal_verification/ISP-release">http://www.cs.utah.edu/formal_verification/ISP-release</a> )

If you follow the instructions in our user manual and run into problems, we
will be most happy to help you.

Ganesh Gopalakrishnan

(*) well, you can even provide a "raw" file to ISP . ISP calls MPICH from
within, and arranges for a lot of the environment settings and flags. So you
can even see all the "file not found" messages and correct them from within
ISP. &nbsp;Once your code runs OK in ISP, then you can shift the code to a larger
cluster and do your performance tuning experiments. That is, it may be
easier to get rid of "file not found"s as well as deadlocks from within ISP.

p.s. For those doing MPI code development for their research / classes, we
are very eager to work with you. We want to see how ISP fares, whether it
does not work as advertised, or if it surprised you by finding a bug. Please
drop us a note and we will work with you!

Our email is <a class="moz-txt-link-abbreviated" href="mailto:isp-dev@cs.utah.edu">isp-dev@cs.utah.edu</a>

--






--




    </pre>
  </blockquote>
  <pre wrap=""><!---->
  </pre>
</blockquote>
</body>
</html>