X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/26af220e017a088b56105b2f21fadecf7d6e2a88..4c427bd273d7f90bbe5233b6fe8d20bfd945ea4b:/src/mc/mc_comm_pattern.cpp diff --git a/src/mc/mc_comm_pattern.cpp b/src/mc/mc_comm_pattern.cpp index a5b6e49f5e..4cb33e3ebc 100644 --- a/src/mc/mc_comm_pattern.cpp +++ b/src/mc/mc_comm_pattern.cpp @@ -1,134 +1,85 @@ -/* Copyright (c) 2007-2014. The SimGrid Team. - * All rights reserved. */ +/* Copyright (c) 2007-2019. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ -#include +#include -#include -#include +#include "xbt/dynar.h" +#include "xbt/sysdep.h" -#include "mc_comm_pattern.h" -#include "mc_smx.h" +#include "src/mc/checker/CommunicationDeterminismChecker.hpp" +#include "src/mc/mc_comm_pattern.hpp" +#include "src/mc/mc_smx.hpp" -extern "C" { +using simgrid::mc::remote; XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_comm_pattern, mc, "Logging specific to MC communication patterns"); -mc_comm_pattern_t MC_comm_pattern_dup(mc_comm_pattern_t comm) +static void MC_patterns_copy(std::vector& dest, + std::vector const& source) { - mc_comm_pattern_t res = xbt_new0(s_mc_comm_pattern_t, 1); - res->index = comm->index; - res->type = comm->type; - res->comm_addr = comm->comm_addr; - res->rdv = strdup(comm->rdv); - res->data_size = -1; - res->data = NULL; - if (comm->type == SIMIX_COMM_SEND) { - res->src_proc = comm->src_proc; - res->src_host = comm->src_host; - if (comm->data != NULL) { - res->data_size = comm->data_size; - res->data = xbt_malloc0(comm->data_size); - memcpy(res->data, comm->data, comm->data_size); - } - } else { - res->dst_proc = comm->dst_proc; - res->dst_host = comm->dst_host; - } - return res; -} - -xbt_dynar_t MC_comm_patterns_dup(xbt_dynar_t patterns) -{ - xbt_dynar_t res = xbt_dynar_new(sizeof(mc_comm_pattern_t), MC_comm_pattern_free_voidp); - - mc_comm_pattern_t comm; - unsigned int cursor; - xbt_dynar_foreach(patterns, cursor, comm) { - mc_comm_pattern_t copy_comm = MC_comm_pattern_dup(comm); - xbt_dynar_push(res, ©_comm); - } - - return res; -} - -static void MC_patterns_copy(xbt_dynar_t dest, xbt_dynar_t source) -{ - xbt_dynar_reset(dest); - - unsigned int cursor; - mc_comm_pattern_t comm; - xbt_dynar_foreach(source, cursor, comm) { - mc_comm_pattern_t copy_comm = MC_comm_pattern_dup(comm); - xbt_dynar_push(dest, ©_comm); + dest.clear(); + for (simgrid::mc::PatternCommunication const& comm : source) { + simgrid::mc::PatternCommunication* copy_comm = new simgrid::mc::PatternCommunication(comm.dup()); + dest.push_back(copy_comm); } } -void MC_restore_communications_pattern(mc_state_t state) +void MC_restore_communications_pattern(simgrid::mc::State* state) { - mc_list_comm_pattern_t list_process_comm; - unsigned int cursor; + for (unsigned i = 0; i < initial_communications_pattern.size(); i++) + initial_communications_pattern[i].index_comm = state->communicationIndices[i]; - xbt_dynar_foreach(initial_communications_pattern, cursor, list_process_comm){ - list_process_comm->index_comm = (int)xbt_dynar_get_as(state->index_comm, cursor, int); - } - - for (unsigned i = 0; i < MC_smx_get_maxpid(); i++) { - MC_patterns_copy( - xbt_dynar_get_as(incomplete_communications_pattern, i, xbt_dynar_t), - xbt_dynar_get_as(state->incomplete_comm_pattern, i, xbt_dynar_t) - ); - } + for (unsigned i = 0; i < MC_smx_get_maxpid(); i++) + MC_patterns_copy(incomplete_communications_pattern[i], state->incomplete_comm_pattern[i]); } -void MC_state_copy_incomplete_communications_pattern(mc_state_t state) +void MC_state_copy_incomplete_communications_pattern(simgrid::mc::State* state) { - state->incomplete_comm_pattern = xbt_dynar_new(sizeof(xbt_dynar_t), xbt_dynar_free_voidp); - + state->incomplete_comm_pattern.clear(); for (unsigned i=0; i < MC_smx_get_maxpid(); i++) { - xbt_dynar_t comms = xbt_dynar_get_as(incomplete_communications_pattern, i, xbt_dynar_t); - xbt_dynar_t copy = MC_comm_patterns_dup(comms); - xbt_dynar_insert_at(state->incomplete_comm_pattern, i, ©); + std::vector res; + for (auto const& comm : incomplete_communications_pattern[i]) + res.push_back(comm->dup()); + state->incomplete_comm_pattern.push_back(std::move(res)); } } -void MC_state_copy_index_communications_pattern(mc_state_t state) +void MC_state_copy_index_communications_pattern(simgrid::mc::State* state) { - state->index_comm = xbt_dynar_new(sizeof(unsigned int), NULL); - mc_list_comm_pattern_t list_process_comm; - unsigned int cursor; - xbt_dynar_foreach(initial_communications_pattern, cursor, list_process_comm){ - xbt_dynar_push_as(state->index_comm, unsigned int, list_process_comm->index_comm); - } + state->communicationIndices.clear(); + for (auto const& list_process_comm : initial_communications_pattern) + state->communicationIndices.push_back(list_process_comm.index_comm); } -void MC_handle_comm_pattern( - e_mc_call_type_t call_type, smx_simcall_t req, - int value, xbt_dynar_t pattern, int backtracking) +void MC_handle_comm_pattern(e_mc_call_type_t call_type, smx_simcall_t req, int value, int backtracking) { + // HACK, do not rely on the Checker implementation outside of it + simgrid::mc::CommunicationDeterminismChecker* checker = + (simgrid::mc::CommunicationDeterminismChecker*) mc_model_checker->getChecker(); switch(call_type) { case MC_CALL_TYPE_NONE: break; case MC_CALL_TYPE_SEND: case MC_CALL_TYPE_RECV: - MC_get_comm_pattern(pattern, req, call_type, backtracking); + checker->get_comm_pattern(req, call_type, backtracking); break; case MC_CALL_TYPE_WAIT: case MC_CALL_TYPE_WAITANY: { - smx_synchro_t comm_addr = NULL; - if (call_type == MC_CALL_TYPE_WAIT) - comm_addr = simcall_comm_wait__get__comm(req); - else - // comm_addr = REMOTE(xbt_dynar_get_as(simcall_comm_waitany__get__comms(req), value, smx_synchro_t)): - MC_process_read_dynar_element(&mc_model_checker->process(), &comm_addr, - simcall_comm_waitany__get__comms(req), value, sizeof(comm_addr)); - MC_complete_comm_pattern(pattern, comm_addr, - MC_smx_simcall_get_issuer(req)->pid, backtracking); + simgrid::mc::RemotePtr comm_addr{nullptr}; + if (call_type == MC_CALL_TYPE_WAIT) + comm_addr = remote(static_cast(simcall_comm_wait__getraw__comm(req))); + + else { + simgrid::kernel::activity::ActivityImpl* addr; + addr = mc_model_checker->process().read(remote(simcall_comm_waitany__getraw__comms(req) + value)); + comm_addr = remote(static_cast(addr)); + } + checker->complete_comm_pattern(comm_addr, MC_smx_simcall_get_issuer(req)->get_pid(), backtracking); } break; default: @@ -136,30 +87,3 @@ void MC_handle_comm_pattern( } } - -void MC_comm_pattern_free(mc_comm_pattern_t p) -{ - xbt_free(p->rdv); - xbt_free(p->data); - xbt_free(p); - p = NULL; -} - -static void MC_list_comm_pattern_free(mc_list_comm_pattern_t l) -{ - xbt_dynar_free(&(l->list)); - xbt_free(l); - l = NULL; -} - -void MC_comm_pattern_free_voidp(void *p) -{ - MC_comm_pattern_free((mc_comm_pattern_t) * (void **) p); -} - -void MC_list_comm_pattern_free_voidp(void *p) -{ - MC_list_comm_pattern_free((mc_list_comm_pattern_t) * (void **) p); -} - -}