Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. MC: Fix the condvar reversible race & let the exploration handle (details)
  2. More sanity checks of the MC behavior (details)
  3. Extend our logging mechanism to display the system pid on demand (details)
  4. Disable SIGINT handler if we fork childs as all child would answer (details)
Commit 436751b3701c91eeb2e27fad5663653c0e3e2cf2 by Martin Quinson
MC: Fix the condvar reversible race & let the exploration handle

In some cases, we say that a race is reversible but the truth is that
it isn't. In those cases, we can either implement some computation
to verify before hand, or (what we do for now) we let the exploration
discover by itself that it can't execute what it wants. This has the
default of artificialy boosting the number of visited traces.
The file was modified src/mc/transition/TransitionSynchro.cpp
The file was modified teshsuite/mc/mcmini/simple_cond_broadcast_ok.tesh
The file was modified teshsuite/mc/mcmini/simple_semaphore_deadlock.tesh
The file was modified teshsuite/mc/mcmini/philosophers_semaphores_ok.tesh
The file was modified teshsuite/mc/mcmini/producer_consumer_ok.tesh
The file was modified teshsuite/mc/mcmini/simple_semaphores_with_threads_ok.tesh
The file was modified teshsuite/mc/mcmini/barber_shop_ok.tesh
The file was modified examples/sthread/pthread-mc-producer-consumer.tesh
Commit 4217ee960063010b74bd145821cb035e8e24efcd by Martin Quinson
More sanity checks of the MC behavior
The file was modified src/mc/remote/AppSide.cpp
Commit 4316061e38d0ad6539fd05cacb7f3a7bee8f2eff by Martin Quinson
Extend our logging mechanism to display the system pid on demand
The file was modified src/xbt/xbt_log_layout_format.cpp
The file was modified docs/source/Configuring_SimGrid.rst
Commit 59f2b4a5a7050708688fb3446c09af5e306a5364 by Martin Quinson
Disable SIGINT handler if we fork childs as all child would answer
The file was modified src/mc/remote/AppSide.cpp