Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Modernize simcall mutex_lock.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 8 Mar 2021 13:55:22 +0000 (14:55 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 9 Mar 2021 20:14:44 +0000 (21:14 +0100)
commitd78a7f87e28a15c0f1e71e4510a055554e0e5e9b
tree620adc8e06551c0185a76370775d5fb89ac791d4
parent2de2f4073329fac1cc52b4e5f60cf2b784930825
Modernize simcall mutex_lock.
14 files changed:
include/simgrid/simix.h
src/kernel/activity/ConditionVariableImpl.cpp
src/kernel/activity/MutexImpl.cpp
src/mc/api.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