Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91c656e) | patch
sthread: Add a way to verify accesses to non-reentrant data structures
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 6 Mar 2023 08:05:55 +0000 (09:05 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 6 Mar 2023 09:18:44 +0000 (10:18 +0100)
commitfba44e13f2b2b7fb3f99030e5a59cd1eb721d558
treeecaa1c296ab02de9f1c8814f3c153a1bd0459128tree | snapshot
parent91c656e9a398ec4eb90748d306c957c9b13a709acommit | diff
sthread: Add a way to verify accesses to non-reentrant data structures

The example is very fragile so far, segfaulting 2 times over 3 in
general, so don't activate it.
ChangeLog diff | blob | history
MANIFEST.in diff | blob | history
examples/sthread/CMakeLists.txt diff | blob | history
examples/sthread/stdobject/stdobject.cpp [new file with mode: 0644] blob
examples/sthread/stdobject/stdobject.tesh [new file with mode: 0644] blob
src/mc/transition/Transition.cpp diff | blob | history
src/mc/transition/TransitionObjectAccess.cpp [new file with mode: 0644] blob
src/mc/transition/TransitionObjectAccess.hpp [new file with mode: 0644] blob
src/sthread/ObjectAccess.cpp [new file with mode: 0644] blob
src/sthread/sthread.h diff | blob | history
tools/cmake/DefinePackages.cmake diff | blob | history
Clone of SimGrid repository with local patches