Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Modernize simcall mutex_trylock.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 5 Mar 2021 22:44:33 +0000 (23:44 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 8 Mar 2021 21:17:50 +0000 (22:17 +0100)
commit82fafbab5f8ce1530037fd245d678e917119caa0
tree8f2c90a0d96ac38d010889ce6b725af66af8e3d9
parent1fea163ca6576d6d4408a8bc87c0e410c5708b23
Modernize simcall mutex_trylock.
14 files changed:
include/simgrid/simix.h
src/kernel/activity/MutexImpl.cpp
src/mc/api.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/checker/SimcallObserver.cpp
src/mc/checker/SimcallObserver.hpp
src/mc/mc_base.cpp
src/s4u/s4u_Mutex.cpp
src/simix/libsmx.cpp
src/simix/popping_accessors.hpp
src/simix/popping_bodies.cpp
src/simix/popping_enum.hpp
src/simix/popping_generated.cpp
src/simix/simcalls.in