Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: Support Mutexes in DPOR
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 23 Feb 2022 23:41:10 +0000 (00:41 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 23 Feb 2022 23:48:43 +0000 (00:48 +0100)
commit0724fac3d997ae2f307992beb5f976fa9dec4102
treeb6f226098b8449dc716f492b681f20569881f3e8
parenta8c60905c3beb971d32d750d24409b60c3f882c4
MC: Support Mutexes in DPOR

Fixes https://github.com/simgrid/simgrid/issues/151
12 files changed:
ChangeLog
MANIFEST.in
examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.cpp
examples/cpp/synchro-mutex/s4u-synchro-mutex.cpp
src/kernel/actor/MutexObserver.cpp
src/kernel/actor/MutexObserver.hpp
src/mc/transition/Transition.cpp
src/mc/transition/Transition.hpp
src/mc/transition/TransitionSynchro.cpp [new file with mode: 0644]
src/mc/transition/TransitionSynchro.hpp [new file with mode: 0644]
src/s4u/s4u_Mutex.cpp
tools/cmake/DefinePackages.cmake