Trying to speed up partial recompilations.
*
*/
-
#include "Matrix_init.h"
#include "2.5D_MM.h"
#include "xbt/log.h"
+#include <xbt/str.h>
/*int sched_setaffinity(pid_t pid, size_t cpusetsize, cpu_set_t *mask);
int sched_getaffinity(pid_t pid, size_t cpusetsize, cpu_set_t *mask);
#include <ctype.h>
#include <mpi.h>
+#include <xbt/str.h>
+
#define ITERATIONS 10
#define USAGE_ERROR 1
#include <stdbool.h>
#include <simgrid_config.h> /* HAVE_MC ? */
-#include <xbt.h>
-#include "xbt/automaton.h"
+
+#include <xbt/base.h>
+#include <xbt/automaton.h>
SG_BEGIN_DECL()
#ifndef MC_DATATYPE_H
#define MC_DATATYPE_H
+#include <simgrid_config.h>
+#include <xbt/base.h>
+
#ifdef _XBT_WIN32
# include <xbt/win32_ucontext.h> /* context relative declarations */
#else
# include <ucontext.h> /* context relative declarations */
#endif
-
-#include "xbt/misc.h"
-#include "xbt/swag.h"
-#include "xbt/fifo.h"
-
#if HAVE_MC
-#include <libunwind.h>
#include <dwarf.h>
#endif
SG_BEGIN_DECL()
-/******************************* Transitions **********************************/
-
typedef struct s_mc_transition *mc_transition_t;
-/*********** Structures for snapshot comparison **************************/
-
typedef struct s_stack_region{
void *address;
ucontext_t* context;
int process_index;
}s_stack_region_t, *stack_region_t;
-/************ DWARF structures *************/
-
SG_END_DECL()
+
#endif /* _MC_MC_H */
#ifndef _MC_MC_H
#define _MC_MC_H
+#include <simgrid_config.h>
+#include <xbt/base.h>
+#include <xbt/misc.h>
+#include <simgrid/simix.h>
+#include <simgrid/modelchecker.h> /* our public interface (and definition of HAVE_MC) */
+
#ifdef _XBT_WIN32
# include <xbt/win32_ucontext.h> /* context relative declarations */
#else
# include <ucontext.h> /* context relative declarations */
#endif
-
-#include "xbt/base.h"
-#include "xbt/misc.h"
-#include "xbt/fifo.h"
-#include "xbt/dict.h"
-#include "xbt/function_types.h"
-#include "simgrid/simix.h"
-#include "simgrid/modelchecker.h" /* our public interface (and definition of HAVE_MC) */
-#include "xbt/automaton.h"
-#include "xbt/dynar.h"
-
/* Maximum size of the application heap.
*
* The model-checker heap is placed at this offset from the
/* 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 <cstddef>
+#include <cstdint>
+#include <vector>
+
+#include <xbt/misc.h>
+#include <xbt/asserts.h>
+
+#include "src/mc/AddressSpace.hpp"
#include "src/mc/ChunkedData.hpp"
#define SOFT_DIRTY_BIT_NUMBER 55
#include <cstddef>
#include <cstdint>
+#include <utility>
#include <vector>
#include "src/mc/mc_forward.hpp"
/* 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 <cstddef>
#include <cstdint>
-#include <cstdarg>
#include <dwarf.h>
#include <elfutils/libdw.h>
-#include "src/mc/mc_object_info.h"
#include "src/mc/mc_private.h"
#include "src/mc/LocationList.hpp"
#include "src/mc/AddressSpace.hpp"
#include <cstdint>
#include <cstdlib>
+
#include <stdexcept>
+#include <utility>
+#include <vector>
+
+#include <elfutils/libdw.h>
-#include "src/mc/AddressSpace.hpp"
+#include "src/mc/mc_forward.hpp"
/** @file DwarfExession.hpp
*
#define SIMGRID_MC_FRAME_HPP
#include <string>
+#include <cstdint>
#include <xbt/base.h>
#include <xbt/range.hpp>
#include <dwarf.h>
#include <elfutils/libdw.h>
+#include <xbt/base.h>
#include <xbt/range.hpp>
-#include "simgrid_config.h"
#include "src/mc/mc_base.h"
#include "src/mc/mc_forward.hpp"
#include "src/mc/AddressSpace.hpp"
#ifndef SIMGRID_MC_BASE_H
#define SIMGRID_MC_BASE_H
-#include <xbt/misc.h>
-#include <simgrid/simix.h>
-#include "simgrid_config.h"
-#include "src/internal_config.h"
-#include "src/simix/smx_private.h"
-#include "mc/mc.h"
+#include <xbt/base.h>
+#include "src/simix/popping_private.h" // smx_simcall_t
SG_BEGIN_DECL()
#include <mc/mc.h>
#include "src/mc/mc_snapshot.h"
-#include "src/mc/mc_object_info.h"
#include "src/mc/mc_mmu.h"
#include "src/mc/mc_unw.h"
#include "src/mc/mc_protocol.h"
#include <xbt/sysdep.h>
#include "src/internal_config.h"
-#include "src/mc/mc_object_info.h"
#include "src/mc/mc_safety.h"
#include "src/mc/mc_liveness.h"
#include "src/mc/mc_private.h"
#include "xbt/str.h"
#include "mc/mc.h"
#include "xbt/mmalloc.h"
-#include "src/mc/mc_object_info.h"
#include "mc/datatypes.h"
#include "src/mc/mc_private.h"
#include "src/mc/mc_snapshot.h"
#include <xbt/log.h>
#include <xbt/sysdep.h>
-#include "src/mc/mc_object_info.h"
#include "src/mc/mc_private.h"
#include "src/mc/mc_dwarf.hpp"
+#include "src/mc/mc_object_info.h"
#include "src/mc/Process.hpp"
#include "src/mc/ObjectInformation.hpp"
#include "src/mc/Variable.hpp"
* under the terms of the license (GNU LGPL) which comes with this package. */
#include <cinttypes>
-
#include <cassert>
#include <cstddef>
#include <cstdint>
-#include <cstring>
#include "mc_base.h"
#include <sys/time.h>
#endif
-#include "simgrid/sg_config.h"
-#include "src/surf/surf_private.h"
-#include "src/simix/smx_private.h"
-#include "xbt/fifo.h"
-#include "xbt/automaton.h"
-#include "xbt/dict.h"
-#include "mc_record.h"
+#include <xbt/fifo.h>
+#include <xbt/automaton.h>
#ifdef HAVE_MC
#include <libunwind.h>
-#include <xbt/mmalloc.h>
-#include "src/xbt/mmalloc/mmprivate.h"
-#include "src/mc/mc_object_info.h"
#include "src/mc/mc_comm_pattern.h"
#include "src/mc/mc_request.h"
#include "src/mc/mc_safety.h"
#include "src/mc/mc_unw.h"
#include "src/mc/mc_smx.h"
#endif
+
#include "src/mc/mc_record.h"
#include "src/mc/mc_protocol.h"
#include "src/mc/mc_client.h"
* under the terms of the license (GNU LGPL) which comes with this package. */
#include "src/internal_config.h"
-#include "src/mc/mc_object_info.h"
#include "src/mc/mc_private.h"
#include "src/smpi/private.h"
#include "src/mc/mc_snapshot.h"
#include <xbt/misc.h>
-#include "src/mc/mc_object_info.h"
#include "src/mc/mc_private.h"
#include "src/mc/Type.hpp"
#include "src/mc/mc_dwarf.hpp"
#include "xbt/virtu.h"
#include "mc/mc.h"
-#include "src/mc/mc_object_info.h"
#include "src/mc/mc_private.h"
extern "C" {
#ifndef SIMGRID_MC_PROTOCOL_H
#define SIMGRID_MC_PROTOCOL_H
+#include <stdint.h>
+
#include <xbt/misc.h>
#include "mc/datatypes.h"
#include <stdbool.h>
-#include "simgrid_config.h"
+#include <xbt/base.h>
SG_BEGIN_DECL()
#include <libunwind.h>
-#include "src/mc/mc_object_info.h"
#include "src/mc/Process.hpp"
#include "src/mc/mc_unw.h"
#include "src/mc/Frame.hpp"
#define _POPPING_PRIVATE_H
#include <xbt/base.h>
+#include <simgrid/simix.h>
SG_BEGIN_DECL()