X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/54052a181fee714205a78c8017dc963664e3b274..0eead244337fde8f0508629f8f8473f946c19f88:/src/include/mc/datatypes.h diff --git a/src/include/mc/datatypes.h b/src/include/mc/datatypes.h index d9095c07d7..54c004d13b 100644 --- a/src/include/mc/datatypes.h +++ b/src/include/mc/datatypes.h @@ -1,4 +1,4 @@ -/* Copyright (c) 2008-2013. The SimGrid Team. +/* Copyright (c) 2008-2015. The SimGrid Team. * All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it @@ -6,64 +6,28 @@ #ifndef MC_DATATYPE_H #define MC_DATATYPE_H -#include "xbt/misc.h" -#include "xbt/swag.h" -#include "xbt/fifo.h" -#include -#include +#include +#include -SG_BEGIN_DECL() - -/******************************* Transitions **********************************/ - -typedef struct s_mc_transition *mc_transition_t; - - -/*********** Structures for snapshot comparison **************************/ +#if HAVE_UCONTEXT_H +#include /* context relative declarations */ +#endif -typedef struct s_mc_heap_ignore_region{ - int block; - int fragment; - void *address; - size_t size; -}s_mc_heap_ignore_region_t, *mc_heap_ignore_region_t; +SG_BEGIN_DECL() -typedef struct s_stack_region{ +struct s_stack_region{ void *address; - char *process_name; - void *context; +#if HAVE_UCONTEXT_H + ucontext_t* context; +#endif size_t size; int block; -}s_stack_region_t, *stack_region_t; - -void heap_ignore_region_free(mc_heap_ignore_region_t r); -void heap_ignore_region_free_voidp(void *r); - -/************ Object info *************/ - -typedef struct s_mc_object_info s_mc_object_info_t, *mc_object_info_t; - -/************ DWARF structures *************/ - -typedef int e_dw_type_type; - -typedef struct s_dw_type s_dw_type_t, *dw_type_t; - -struct s_dw_type{ - e_dw_type_type type; - void *id; /* Offset in the section (in hexadecimal form) */ - char *name; /* Name of the type */ - int byte_size; /* Size in bytes */ - int element_count; /* Number of elements for array type */ - char *dw_type_id; /* DW_AT_type */ - xbt_dynar_t members; /* if DW_TAG_structure_type, DW_TAG_union_type*/ - int is_pointer_type; - int offset; - dw_type_t subtype; + int process_index; }; - -char* get_type_description(mc_object_info_t info, char *type_name); +typedef struct s_stack_region s_stack_region_t; +typedef struct s_stack_region* stack_region_t; SG_END_DECL() + #endif /* _MC_MC_H */