From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 18 Feb 2022 16:10:54 +0000 (+0100)
Subject: Have the application execute its transition before returning SIMCALL_EXECUTE_ANSWER
X-Git-Tag: v3.31~384
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/934f086b51d328c46cb8fb20db2ad3efd4668ac9?hp=934f086b51d328c46cb8fb20db2ad3efd4668ac9

Have the application execute its transition before returning SIMCALL_EXECUTE_ANSWER

This makes the RPC protocol somewhat more complex, but it's mandatory
to get the updated observer.

This is useful in particular to Isend/Irecv observers that have a
set_comm() field that cannot be set before executing the simcall.
CommDet need that field anyway, so let's change the protocol that way.
---