Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
[simgrid.git] / src / include / mc / datatypes.h
1 /* Copyright (c) 2008-2015. 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 <ucontext.h>
11
12 #include "xbt/misc.h"
13 #include "xbt/swag.h"
14 #include "xbt/fifo.h"
15
16 #if HAVE_MC
17 #include <libunwind.h>
18 #include <dwarf.h>
19 #endif 
20
21 SG_BEGIN_DECL()
22
23 /******************************* Transitions **********************************/
24
25 typedef struct s_mc_transition *mc_transition_t;
26
27 /*********** Structures for snapshot comparison **************************/
28
29 typedef struct s_stack_region{
30   void *address;
31   ucontext_t* context;
32   size_t size;
33   int block;
34   int process_index;
35 }s_stack_region_t, *stack_region_t;
36
37 /************ DWARF structures *************/
38
39 SG_END_DECL()
40 #endif                          /* _MC_MC_H */