Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Factorize some code in s4u::condvar (details)
  2. Code simplification around condvars (details)
  3. Implement condvar in MC (details)
Commit e07beaae458cf72cb6801f37f9fd3f24d8b2de76 by Martin Quinson
Factorize some code in s4u::condvar
The file was modified src/s4u/s4u_ConditionVariable.cpp
The file was modified src/s4u/s4u_Mutex.cpp
Commit b1c7bb3a0e608bc37711199412977dd1cc0e65b3 by Martin Quinson
Code simplification around condvars

Relock the mutex from the kernel space in all cases instead of having
a specific behavior depending on timeout/no timeout where it's
sometimes relocked in kernel space and sometimes in s4u.
The file was modified src/s4u/s4u_ConditionVariable.cpp
The file was modified src/kernel/activity/ConditionVariableImpl.cpp
The file was modified examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition-variable-waituntil.tesh
Commit aa9cc710232a4417843c912baac35ae12ad481fb by Martin Quinson
Implement condvar in MC

Independence theorems are still TBD
The file was modified ChangeLog
The file was modified src/kernel/actor/SynchroObserver.hpp
The file was modified src/mc/transition/Transition.cpp
The file was modified src/sthread/sthread_impl.cpp
The file was addedteshsuite/mc/mcmini/simple_cond_broadcast_ok.c
The file was addedteshsuite/mc/mcmini/simple_cond_broadcast_deadlock.c
The file was modified src/s4u/s4u_ConditionVariable.cpp
The file was addedteshsuite/mc/mcmini/simple_cond_deadlock.tesh
The file was modified src/mc/transition/TransitionSynchro.hpp
The file was addedteshsuite/mc/mcmini/simple_cond_broadcast_deadlock.tesh
The file was modified src/mc/transition/Transition.hpp
The file was modified src/kernel/activity/MutexImpl.cpp
The file was modified MANIFEST.in
The file was modified src/kernel/activity/ConditionVariableImpl.cpp
The file was addedteshsuite/mc/mcmini/simple_cond_broadcast_ok.tesh
The file was modified src/mc/transition/TransitionSynchro.cpp
The file was modified src/kernel/activity/ConditionVariableImpl.hpp
The file was addedteshsuite/mc/mcmini/simple_cond_deadlock.c
The file was modified src/kernel/actor/SynchroObserver.cpp
The file was modified teshsuite/mc/CMakeLists.txt
The file was addedteshsuite/mc/mcmini/simple_cond_ok.c
The file was addedteshsuite/mc/mcmini/simple_cond_ok.tesh