Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eaa2bc1) | patch
DFS MC: Restore from system states even if we have to run some transitions out of it
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 10 May 2023 21:21:10 +0000 (23:21 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 10 May 2023 21:21:19 +0000 (23:21 +0200)
commit9e06b08542a41f34598b10da650f04ad35d79bd2
treeb7d9c8e6bd97b46c2ca9fb26d2b40ccb9e37daf3tree | snapshot
parenteaa2bc1889c7f720405ee27f7b9962801c155d78commit | diff
DFS MC: Restore from system states even if we have to run some transitions out of it

This makes the model-check/checkpoint a bit more efficient by
increasing the amount of cases where we can reuse taken checkpoints.

It is still awfully slow because checkpoints are. The next step is to
implement model-check/checkpoint with forks.
examples/cpp/CMakeLists.txt diff | blob | history
examples/cpp/synchro-mutex/s4u-mc-synchro-mutex-stateful.tesh [new file with mode: 0644] blob
src/mc/explo/DFSExplorer.cpp diff | blob | history
Clone of SimGrid repository with local patches