size_t heap_bytes_used;
mc_mem_region_t regions[NB_REGIONS];
int nb_processes;
+ mc_mem_region_t* privatization_regions;
+ int privatization_index;
size_t *stack_sizes;
xbt_dynar_t stacks;
xbt_dynar_t to_ignore;
struct s_dw_type{
e_dw_type_type type;
- void *id; /* Offset in the section (in hexadecimal form) */
+ Dwarf_Off 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 */
const char *src_host;
const char *dst_host;
char *rdv;
- size_t data_size;
+ ssize_t data_size;
void *data;
int matched_comm;
}s_mc_comm_pattern_t, *mc_comm_pattern_t;
extern xbt_dynar_t communications_pattern;
+extern xbt_dynar_t incomplete_communications_pattern;
void get_comm_pattern(xbt_dynar_t communications_pattern, smx_simcall_t request, int call);