Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62c07d4) | patch
Add parameter timeout to mc::ConditionWaitSimcall and mc::SemAcquireSimcall.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 13 Mar 2021 21:25:04 +0000 (22:25 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 13 Mar 2021 21:25:04 +0000 (22:25 +0100)
commit67258708b099772c866a0f2725656bcd46d9683b
treea92d82da6d9d296368439c0d2a0037775f31f61btree | snapshot
parent62c07d4306a42be1ed34494a37603bb6dd27a98bcommit | diff
Add parameter timeout to mc::ConditionWaitSimcall and mc::SemAcquireSimcall.

Prepare the modernization of simcalls cond_wait_timeout and sem_acquire_timeout.
src/mc/checker/SimcallObserver.cpp diff | blob | history
src/mc/checker/SimcallObserver.hpp diff | blob | history
Clone of SimGrid repository with local patches