Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Convert simix synchro' sleeping lists to boost::intrusive::list.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 4 Dec 2017 22:12:48 +0000 (23:12 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 4 Dec 2017 22:41:13 +0000 (23:41 +0100)
commitd105e05a38d60fa6ac512c3158d3af1372f7c75d
treec635c5338da925e22a5478d95c1358c198e2fc66
parent09a4b38584bf148c8e8feb59b3c925496bab22c3
Convert simix synchro' sleeping lists to boost::intrusive::list.

The only drawback is that the mutex_sleeping.count is lost in mc_request.cpp,
but it was apparently only informational.
src/mc/mc_request.cpp
src/simix/ActorImpl.hpp
src/simix/smx_synchro.cpp
src/simix/smx_synchro_private.hpp