Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Modernize simcall sem_acquire.
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)
commit5954596b70db131a1a1ce5d8580ba32687066e34
treeaebaa932c7e848bf045672969350c0838a073377
parent650fa8f2054e49d8164729fe50020b0028598fd2
Modernize simcall sem_acquire.
12 files changed:
include/simgrid/simix.h
src/kernel/activity/SemaphoreImpl.cpp
src/mc/checker/SimcallObserver.cpp
src/mc/checker/SimcallObserver.hpp
src/mc/mc_base.cpp
src/s4u/s4u_Semaphore.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