Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
forcefully kill exiting actors even if their host is not off
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 2 Aug 2019 18:12:24 +0000 (20:12 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 2 Aug 2019 18:12:29 +0000 (20:12 +0200)
commitc112965cc1bb1726d51503a29f7883ddb00f4f46
treefdb5b6da974780bd23c908e331cc389c35edef6c
parent02f1ca13d5f2d2994a81604d6993cdc6ace0e9d9
forcefully kill exiting actors even if their host is not off

Without this, this_actor::exit() deadlocks on Thread factory because
the actor does not exit soon enough to release maestro that is joining
its thread.
src/kernel/actor/ActorImpl.cpp