X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7069d2b15a2de8a73639b24d9016f8d964645523..891f9a16d3da00527f721e44c6c7a45b05c6b279:/src/mc/mc_smx.cpp diff --git a/src/mc/mc_smx.cpp b/src/mc/mc_smx.cpp index 60d5ae5c8b..1f27dc8580 100644 --- a/src/mc/mc_smx.cpp +++ b/src/mc/mc_smx.cpp @@ -121,27 +121,9 @@ const char* MC_smx_actor_get_host_name(smx_actor_t actor) simgrid::mc::RemoteClient* process = &mc_model_checker->process(); - /* HACK, Horrible hack to find the offset of the id in the simgrid::s4u::Host. - - Offsetof is not supported for non-POD types but this should - work in practice for the targets currently supported by the MC - as long as we do not add funny features to the Host class - (such as virtual base). - - We are using a (C++11) unrestricted union in order to avoid - any construction/destruction of the simgrid::s4u::Host. - */ - union fake_host { - simgrid::s4u::Host host; - fake_host() { /* Nothing to do*/} - ~fake_host() { /* Nothing to do*/} - }; - fake_host foo; - const size_t offset = (char*)&foo.host.get_name() - (char*)&foo.host; - // Read the simgrid::xbt::string in the MCed process: simgrid::mc::ActorInformation* info = actor_info_cast(actor); - auto remote_string_address = remote((simgrid::xbt::string_data*)((char*)actor->get_host() + offset)); + auto remote_string_address = remote((simgrid::xbt::string_data*)&actor->get_host()->get_name()); simgrid::xbt::string_data remote_string = process->read(remote_string_address); char hostname[remote_string.len]; process->read_bytes(hostname, remote_string.len + 1, remote(remote_string.data));