X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e7173457dce01a608824b72d2e4ff62572d51d13..3203ed1f4fb6f4617e94d5351661ba07e8b8f833:/src/mc/mcer_ignore.cpp diff --git a/src/mc/mcer_ignore.cpp b/src/mc/mcer_ignore.cpp index bb509d1d8a..ce0478e9d2 100644 --- a/src/mc/mcer_ignore.cpp +++ b/src/mc/mcer_ignore.cpp @@ -4,14 +4,20 @@ /* 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 "internal_config.h" +#include + +#include "src/internal_config.h" #include "mc_object_info.h" -#include "mc/mc_private.h" -#include "smpi/private.h" -#include "mc/mc_snapshot.h" -#include "mc/mc_ignore.h" -#include "mc/mc_protocol.h" -#include "mc/mc_client.h" +#include "src/mc/mc_private.h" +#include "src/smpi/private.h" +#include "src/mc/mc_snapshot.h" +#include "src/mc/mc_ignore.h" +#include "src/mc/mc_protocol.h" +#include "src/mc/mc_client.h" + +#include "src/mc/Frame.hpp" +#include "src/mc/Variable.hpp" +#include "src/mc/ObjectInformation.hpp" extern "C" { @@ -20,20 +26,20 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mcer_ignore, mc, // ***** Ignore heap chunks -extern xbt_dynar_t mc_heap_comparison_ignore; +extern XBT_PRIVATE xbt_dynar_t mc_heap_comparison_ignore; -void heap_ignore_region_free(mc_heap_ignore_region_t r) +static void heap_ignore_region_free(mc_heap_ignore_region_t r) { xbt_free(r); } -void heap_ignore_region_free_voidp(void *r) +static void heap_ignore_region_free_voidp(void *r) { heap_ignore_region_free((mc_heap_ignore_region_t) * (void **) r); } -void MC_heap_region_ignore_insert(mc_heap_ignore_region_t region) +XBT_PRIVATE void MC_heap_region_ignore_insert(mc_heap_ignore_region_t region) { if (mc_heap_comparison_ignore == NULL) { mc_heap_comparison_ignore = @@ -72,7 +78,7 @@ void MC_heap_region_ignore_insert(mc_heap_ignore_region_t region) xbt_dynar_insert_at(mc_heap_comparison_ignore, cursor, ®ion); } -void MC_heap_region_ignore_remove(void *address, size_t size) +XBT_PRIVATE void MC_heap_region_ignore_remove(void *address, size_t size) { unsigned int cursor = 0; int start = 0; @@ -109,26 +115,25 @@ void MC_heap_region_ignore_remove(void *address, size_t size) // ***** Ignore global variables -void MCer_ignore_global_variable(const char *name) +XBT_PRIVATE void MCer_ignore_global_variable(const char *name) { - mc_process_t process = &mc_model_checker->process(); + simgrid::mc::Process* process = &mc_model_checker->process(); xbt_assert(!process->object_infos.empty(), "MC subsystem not initialized"); - for (std::shared_ptr const& info : process->object_infos) { + for (std::shared_ptr const& info : process->object_infos) { // Binary search: int start = 0; - int end = xbt_dynar_length(info->global_variables) - 1; + int end = info->global_variables.size() - 1; while (start <= end) { unsigned int cursor = (start + end) / 2; - mc_variable_t current_var = - (mc_variable_t) xbt_dynar_get_as(info->global_variables, - cursor, mc_variable_t); - int cmp = strcmp(current_var->name.c_str(), name); + simgrid::mc::Variable* current_var = &info->global_variables[cursor]; + int cmp = current_var->name.compare(name); if (cmp == 0) { - xbt_dynar_remove_at(info->global_variables, cursor, NULL); + info->global_variables.erase( + info->global_variables.begin() + cursor); start = 0; - end = xbt_dynar_length(info->global_variables) - 1; + end = info->global_variables.size() - 1; } else if (cmp < 0) { start = cursor + 1; } else { @@ -142,32 +147,29 @@ void MCer_ignore_global_variable(const char *name) static void mc_ignore_local_variable_in_scope(const char *var_name, const char *subprogram_name, - mc_frame_t subprogram, - mc_frame_t scope); + simgrid::mc::Frame* subprogram, + simgrid::mc::Frame* scope); static void MC_ignore_local_variable_in_object(const char *var_name, const char *subprogram_name, - mc_object_info_t info); + simgrid::mc::ObjectInformation* info); void MC_ignore_local_variable(const char *var_name, const char *frame_name) { - mc_process_t process = &mc_model_checker->process(); + simgrid::mc::Process* process = &mc_model_checker->process(); if (strcmp(frame_name, "*") == 0) frame_name = NULL; - for (std::shared_ptr const& info : process->object_infos) + for (std::shared_ptr const& info : process->object_infos) MC_ignore_local_variable_in_object(var_name, frame_name, info.get()); } static void MC_ignore_local_variable_in_object(const char *var_name, const char *subprogram_name, - mc_object_info_t info) + simgrid::mc::ObjectInformation* info) { - xbt_dict_cursor_t cursor2; - mc_frame_t frame; - char *key; - xbt_dict_foreach(info->subprograms, cursor2, key, frame) { - mc_ignore_local_variable_in_scope(var_name, subprogram_name, frame, frame); - } + for (auto& entry : info->subprograms) + mc_ignore_local_variable_in_scope( + var_name, subprogram_name, &entry.second, &entry.second); } /** \brief Ignore a local variable in a scope @@ -183,8 +185,8 @@ static void MC_ignore_local_variable_in_object(const char *var_name, */ static void mc_ignore_local_variable_in_scope(const char *var_name, const char *subprogram_name, - mc_frame_t subprogram, - mc_frame_t scope) + simgrid::mc::Frame* subprogram, + simgrid::mc::Frame* scope) { // Processing of direct variables: @@ -195,23 +197,21 @@ static void mc_ignore_local_variable_in_scope(const char *var_name, // Try to find the variable and remove it: int start = 0; - int end = xbt_dynar_length(scope->variables) - 1; + int end = scope->variables.size() - 1; // Dichotomic search: while (start <= end) { int cursor = (start + end) / 2; - mc_variable_t current_var = - (mc_variable_t) xbt_dynar_get_as(scope->variables, cursor, - mc_variable_t); + simgrid::mc::Variable* current_var = &scope->variables[cursor]; - int compare = strcmp(current_var->name.c_str(), var_name); + int compare = current_var->name.compare(var_name); if (compare == 0) { // Variable found, remove it: - xbt_dynar_remove_at(scope->variables, cursor, NULL); + scope->variables.erase(scope->variables.begin() + cursor); // and start again: start = 0; - end = xbt_dynar_length(scope->variables) - 1; + end = scope->variables.size() - 1; } else if (compare < 0) { start = cursor + 1; } else { @@ -221,23 +221,21 @@ static void mc_ignore_local_variable_in_scope(const char *var_name, } // And recursive processing in nested scopes: - unsigned cursor = 0; - mc_frame_t nested_scope = NULL; - xbt_dynar_foreach(scope->scopes, cursor, nested_scope) { + for (simgrid::mc::Frame& nested_scope : scope->scopes) { // The new scope may be an inlined subroutine, in this case we want to use its // namespaced name in recursive calls: - mc_frame_t nested_subprogram = - nested_scope->tag == - DW_TAG_inlined_subroutine ? nested_scope : subprogram; + simgrid::mc::Frame* nested_subprogram = + nested_scope.tag == + DW_TAG_inlined_subroutine ? &nested_scope : subprogram; mc_ignore_local_variable_in_scope(var_name, subprogram_name, - nested_subprogram, nested_scope); + nested_subprogram, &nested_scope); } } -extern xbt_dynar_t stacks_areas; +extern XBT_PRIVATE xbt_dynar_t stacks_areas; -void MC_stack_area_add(stack_region_t stack_area) +XBT_PRIVATE void MC_stack_area_add(stack_region_t stack_area) { if (stacks_areas == NULL) stacks_areas = xbt_dynar_new(sizeof(stack_region_t), NULL);