Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add a few codes to test (I)probe in model checking mode (details)
  2. Implement asynchronous condvars (details)
  3. Stop abusing Kind::UNKNOWN for non-MC transition types, as they are visible in debuging traces (details)
Commit af73eb2f8fe496999b74d539865d57925a5b9492 by Mathieu Laurent
Add a few codes to test (I)probe in model checking mode
The file was addedteshsuite/mc/mpi/mc_mpi_iprobe_nok.c
The file was addedteshsuite/mc/mpi/mc_mpi_iprobe_ok.c
The file was addedteshsuite/mc/mpi/mc_mpi_probe_ok.c
The file was addedteshsuite/mc/mpi/mc_mpi_probe_deadlock.c
Commit 86ee6779259421285948723acc007428cd550b28 by Martin Quinson
Implement asynchronous condvars

It's not visible from S4U, and it is not yet sufficient for MC.
But it was mandatory to eventually enable condvar in MC.
Stay tuned.
The file was modified src/kernel/activity/ConditionVariableImpl.hpp
The file was modified examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition-variable-waituntil.tesh
The file was modified include/smpi/mpi.h
The file was modified src/s4u/s4u_ConditionVariable.cpp
The file was modified src/kernel/activity/SemaphoreImpl.cpp
The file was modified ChangeLog
The file was modified src/kernel/activity/MutexImpl.cpp
The file was modified src/kernel/activity/ConditionVariableImpl.cpp
Commit 72ca50840ad73c0cc7ce76f7e03851be791f1926 by Martin Quinson
Stop abusing Kind::UNKNOWN for non-MC transition types, as they are visible in debuging traces
The file was modified src/kernel/actor/SynchroObserver.cpp
The file was modified src/mc/transition/Transition.hpp
The file was modified src/s4u/s4u_Mutex.cpp
The file was modified src/s4u/s4u_Semaphore.cpp