Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2568ec7) | patch
[mc] Make SIMCALL_MUTEX_TRYLOCK visible and forbid usage of MUTEX operations with...
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 28 Aug 2015 09:01:45 +0000 (11:01 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 28 Aug 2015 09:01:45 +0000 (11:01 +0200)
commite4d3739e981eb46fbfca0ff837c681e26e8a44c6
tree041e8dcaf3a5ed84e4528cbb953d6b78e167acebtree | snapshot
parent2568ec7bdc945fa4beebf200756910f8b5b7903acommit | diff
[mc] Make SIMCALL_MUTEX_TRYLOCK visible and forbid usage of MUTEX operations with DPOR

- DPOR currently does not handle SIMCALL_MUTEX operations;

- MUTEX_TRYLOCK should be visible: depending on the interleavigns it
  might succeed or fail.
src/mc/mc_base.cpp diff | blob | history
src/mc/mc_request.cpp diff | blob | history
src/mc/mc_safety.cpp diff | blob | history
Clone of SimGrid repository with local patches