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)
commit2f750aacf2dd98445821a7209980f6c354207a86
tree773957e91baf11f8c6ebef65e884559ad2fa28d8
parent702d0b8f5973b3f1ce01e0f334842a5279fb17d9
Actor::by_pid: also search through the dead actors

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.
src/kernel/actor/ActorImpl.cpp