Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
d38acbd29053455b3321f877275ef89dce39e4d1
[simgrid.git] / src / include / mc / datatypes.h
1 /* Copyright (c) 2008-2014. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 #ifndef MC_DATATYPE_H
8 #define MC_DATATYPE_H
9
10 #include "xbt/misc.h"
11 #include "xbt/swag.h"
12 #include "xbt/fifo.h"
13
14 SG_BEGIN_DECL()
15
16 /******************************* Transitions **********************************/
17
18 typedef struct s_mc_transition *mc_transition_t;
19
20 /*********** Structures for snapshot comparison **************************/
21
22 typedef struct s_mc_heap_ignore_region{
23   int block;
24   int fragment;
25   void *address;
26   size_t size;
27 }s_mc_heap_ignore_region_t, *mc_heap_ignore_region_t;
28
29 typedef struct s_stack_region{
30   void *address;
31   void *context;
32   size_t size;
33   int block;
34   int process_index;
35 }s_stack_region_t, *stack_region_t;
36
37 void heap_ignore_region_free(mc_heap_ignore_region_t r);
38 void heap_ignore_region_free_voidp(void *r);
39
40
41 /************ DWARF structures *************/
42
43 SG_END_DECL()
44 #endif                          /* _MC_MC_H */