On Feb 3, 2014, at 6:44 PM, Ralph Castain <r...@open-mpi.org> wrote:
>> If I may suggest to test the behavior of 1.7.x... what about this: Have a
>> test case that creates a bunch of files (from 0 to 65536) in
>> /tmp/openmpi-sessions-${USER}... before launching an executable without
>> mpirun... >:)
>
> Ick - it will actually only conflict if/when the pid's wrap, so it's a pretty
> rare issue.
Ralph: what do you think about modifying this for 1.7.5? I.e., if the pid dir
already exists in the session directory, remove it. This is always safe to do
(assuming /tmp is a local filesystem) because the OS will never use the same
PID for 2 concurrent processes.
--
Jeff Squyres
jsquy...@cisco.com
For corporate legal information go to:
http://www.cisco.com/web/about/doing_business/legal/cri/
