Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Actor::by_pid: also search through the dead actors
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 1 Aug 2019 20:44:06 +0000 (22:44 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 1 Aug 2019 20:44:09 +0000 (22:44 +0200)
Finally, my trick works with it. MPI ranks are not garbage collected
as soon as they end because the MPI instance keeps a reference on
them. With this, by_pid() works properly, even on dead but not
collected actors.

But this only works until the trash is emptied, obviously. This seem
to be enough for the test I wanted to get running, so I will not fix
that point tonight.


No differences found