Sounds like a bug - the processes should have died via SIGTERM, followed by SIGKILL. I know we had some problems in that regard, but I'm not sure if the fixes came into the 1.3.3 release or not.
You might try updating to the 1.4.2rc1 tarball and see if that helps. I recently fixed a similar issue in the devel trunk, but that may not be related to this one as so much has changed in the devel area. On Apr 22, 2010, at 12:17 PM, Jon Hitchcock wrote: > "mpirun -version" says "mpirun (Open MPI) 1.3.3" > >>>> Ralph Castain <r...@open-mpi.org> 22/04/2010 19:14:18 >>> > Which OMPI version? > > On Apr 22, 2010, at 12:04 PM, Jon Hitchcock wrote: > >> If a user connects to a cluster using SSH, starts an MPI program which >> contains an infinite loop, and then breaks the SSH connection, the processes >> running the MPI program continue to run on the compute nodes and they have >> to be killed manually. >> >> To investigate this, I found that if the user types Control-C (or sends >> SIGINT to mpirun), mpirun says "killing job...", and on each compute node >> the orted process and the process running the MPI program are killed. >> >> However if SIGHUP is sent to mpirun, it says "Hangup" and exits, and on each >> compute node the orted process is killed but the process running the MPI >> program continues to run. >> >> This is with Rocks 5.3 and Open MPI. There is no batch scheduler. The MPI >> program is just: >> >> #include "mpi.h" >> main(int argc, char **argv) { >> MPI_Init(&argc, &argv); >> while (1) ; >> MPI_Finalize(); >> } >> >> I have two questions. Is this the behaviour I should expect? Is there an >> easy way to kill the processes? >> >> Thanks, Jon Hitchcock >> >> >> >> >> >> _______________________________________________ >> users mailing list >> us...@open-mpi.org >> http://www.open-mpi.org/mailman/listinfo.cgi/users > > > _______________________________________________ > users mailing list > us...@open-mpi.org > http://www.open-mpi.org/mailman/listinfo.cgi/users > > > _______________________________________________ > users mailing list > us...@open-mpi.org > http://www.open-mpi.org/mailman/listinfo.cgi/users