Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Check in the right location that a mutex is provided to cond_wait
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Nov 2023 23:55:37 +0000 (00:55 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 13 Nov 2023 15:05:52 +0000 (16:05 +0100)
commit63d238ad4d74226fae3321cb5c128f03160dacb2
tree198977a0fb15185444ac3b15288e79ed24392634
parent1067edf07adcaa046abb976e7d92174d608b2d91
Check in the right location that a mutex is provided to cond_wait
src/kernel/activity/ConditionVariableImpl.cpp
src/kernel/activity/MutexImpl.cpp
src/kernel/actor/SynchroObserver.hpp