Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
CommDet: reimplement on top of transitions. Don't mess with requests anymore
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 18 Feb 2022 15:58:37 +0000 (16:58 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 18 Feb 2022 18:24:36 +0000 (19:24 +0100)
commit34bbd19b02db1fb34e82247af7ed00c0fc10d41d
treed61d1c649d5e7b7e3592e307ccc054e63a956e73
parent934f086b51d328c46cb8fb20db2ad3efd4668ac9
CommDet: reimplement on top of transitions. Don't mess with requests anymore

The observer->set_comm() is done during the simcall execution on the
appside, but the transition is serialized before this simcall
execution. I need to fiddle the Checker <-> AppSide protocol, again.
examples/smpi/mc/only_send_deterministic.tesh
src/kernel/actor/SimcallObserver.cpp
src/mc/api/TransitionComm.cpp
src/mc/checker/CommunicationDeterminismChecker.cpp