Hi
A formal verification tool for MPI C programs developed at the School
of Computing, University of Utah called "ISP" is available from
http://www.cs.utah.edu/formal_verification/ISP-release/
ISP runs on multiple platforms and with respect to multiple MPI
libraries. Its graphical user inte
I think I have this figured out - will fix on Monday. I'm not sure why
Jeff's conditions are all required, especially the second one.
However, the fundamental problem is that we pull information from two
sources regarding the number of procs in the job when unpacking a
buffer, and the two s
I think you missed Matt's point -- he was suggesting writing a single
script that just reacts accordingly to which host it is on and sets
the environment variable before launching your back-end MPI
executable. Specifically, instead of:
mpirun ... my_mpi_app
you would do
mpirun ... script
If you "ssh othernode uptime", does that run more-or-less "instantly",
or does it take some time?
If you force the use of IP name resolution (i.e., vs. using IP numeric
addresses), does that take time or is it more-or-less "instant"?
On Feb 27, 2009, at 9:39 AM, Vittorio Giovara wrote:
H
Hmm; something is weird here.
It looks like you used a different configure command line between your
first and second emails -- one seems to be the "small" f90 size and
one seems to be the "medium" f90 size. There's different errors, too
-- the first one was:
ERROR -- Could not find spe
perhaps you could use the Open-MPI environment variables
OMPI_COMM_WORLD_RANK
OMPI_COMM_WORLD_LOCAL_RANK
to construct your own environment variables?
(for versions >= 1.3)
Jody
On Fri, Feb 27, 2009 at 8:36 PM, Nicolas Deladerriere
wrote:
> Matt,
>
> Thanks for your solution, but I thought abou
