Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
ActorImpl::join: react right away if the other actor is already dead
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 12 Mar 2022 18:03:51 +0000 (19:03 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 13 Mar 2022 14:30:06 +0000 (15:30 +0100)
commitfc843eea56266a45c81d671ba8fcbda11d6099d1
treed1329cd31aa9ddb8414e993afbe0a2f8fd4a45eb
parent388b0a8dda7ee5f3e1ea3f9dad8fc50a928436ae
ActorImpl::join: react right away if the other actor is already dead
src/kernel/actor/ActorImpl.cpp