X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/09abefeb928cd7ea4679407a6b4387d4f75beaa9..dcbb0af96e287b37ce5cf4b5ae85b221590f2606:/src/mc/mc_smx.cpp diff --git a/src/mc/mc_smx.cpp b/src/mc/mc_smx.cpp index abb9d42c86..337c8201bd 100644 --- a/src/mc/mc_smx.cpp +++ b/src/mc/mc_smx.cpp @@ -66,24 +66,12 @@ void RemoteProcess::refresh_simix() if (this->cache_flags_ & RemoteProcess::cache_simix_processes) return; - // TODO, avoid to reload `&simix_global`, `simix_global`, `*simix_global` + RemotePtr actor_vector; + RemotePtr dead_actor_vector; + get_actor_vectors(actor_vector, dead_actor_vector); - static_assert(std::is_same< - std::unique_ptr, - decltype(simix_global) - >::value, "Unexpected type for simix_global"); - static_assert(sizeof(simix_global) == sizeof(simgrid::simix::Global*), - "Bad size for simix_global"); - - RemotePtr simix_global_p{this->read_variable("simix_global")}; - - // simix_global = REMOTE(*simix_global) - Remote simix_global = - this->read(simix_global_p); - - MC_process_refresh_simix_actor_dynar(this, this->smx_actors_infos, remote(simix_global.get_buffer()->actors_vector)); - MC_process_refresh_simix_actor_dynar(this, this->smx_dead_actors_infos, - remote(simix_global.get_buffer()->dead_actors_vector)); + MC_process_refresh_simix_actor_dynar(this, this->smx_actors_infos, actor_vector); + MC_process_refresh_simix_actor_dynar(this, this->smx_dead_actors_infos, dead_actor_vector); this->cache_flags_ |= RemoteProcess::cache_simix_processes; }