From 2c1992c36c4b7ff2cef790021071b8df9bb9e552 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Mon, 1 Dec 2014 15:31:29 +0100 Subject: [PATCH 1/1] [mc] Remove MC_ignore_global_variable() calls - compared_pointer which does not exist; - smpi_current_rank does not exist; - maestro_stack_start and mastro_stack_end doe not need to be ignored. --- src/mc/mc_global.c | 23 +++++++++++++---------- 1 file changed, 13 insertions(+), 10 deletions(-) diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 66e8f811cc..ec5e3c301e 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -181,22 +181,25 @@ void MC_init() /* Ignore local variable about time used for tracing */ MC_ignore_local_variable("start_time", "*"); + /* Main MC state: */ MC_ignore_global_variable("mc_model_checker"); + MC_ignore_global_variable("communications_pattern"); + MC_ignore_global_variable("initial_communications_pattern"); + MC_ignore_global_variable("incomplete_communications_pattern"); - // Mot of those things could be moved into mc_model_checker: - MC_ignore_global_variable("compared_pointers"); + /* MC __thread variables: */ + MC_ignore_global_variable("mc_diff_info"); MC_ignore_global_variable("mc_comp_times"); MC_ignore_global_variable("mc_snapshot_comparison_time"); + + /* This MC state is used in MC replay as well: */ MC_ignore_global_variable("mc_time"); - MC_ignore_global_variable("smpi_current_rank"); - MC_ignore_global_variable("counter"); /* Static variable used for tracing */ - MC_ignore_global_variable("maestro_stack_start"); - MC_ignore_global_variable("maestro_stack_end"); + + /* Static variable used for tracing */ + MC_ignore_global_variable("counter"); + + /* SIMIX */ MC_ignore_global_variable("smx_total_comms"); - MC_ignore_global_variable("communications_pattern"); - MC_ignore_global_variable("initial_communications_pattern"); - MC_ignore_global_variable("incomplete_communications_pattern"); - MC_ignore_global_variable("mc_diff_info"); MC_ignore_heap(mc_time, simix_process_maxpid * sizeof(double)); -- 2.20.1