Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update bugged1 tesh
[simgrid.git] / src / instr / instr_private.h
1 /* Copyright (c) 2010. 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 INSTR_PRIVATE_H_
8 #define INSTR_PRIVATE_H_
9
10 #include "instr/instr.h"
11 #include "instr/instr_interface.h"
12 #include "simgrid_config.h"
13
14 #ifdef HAVE_TRACING
15
16 /* Need to define function drand48 for Windows */
17 #ifdef _WIN32
18 #  define drand48() (rand()/(RAND_MAX + 1.0))
19 #endif
20
21 #define INSTR_DEFAULT_STR_SIZE 500
22
23 #include "xbt/graph.h"
24 #include "xbt/dict.h"
25 #include "simgrid/platf.h"
26
27 typedef enum {
28   PAJE_DefineContainerType,
29   PAJE_DefineVariableType,
30   PAJE_DefineStateType,
31   PAJE_DefineEventType,
32   PAJE_DefineLinkType,
33   PAJE_DefineEntityValue,
34   PAJE_CreateContainer,
35   PAJE_DestroyContainer,
36   PAJE_SetVariable,
37   PAJE_AddVariable,
38   PAJE_SubVariable,
39   PAJE_SetState,
40   PAJE_PushState,
41   PAJE_PopState,
42   PAJE_ResetState,
43   PAJE_StartLink,
44   PAJE_EndLink,
45   PAJE_NewEvent
46 } e_event_type;
47
48 typedef enum {
49   TYPE_VARIABLE,
50   TYPE_LINK,
51   TYPE_CONTAINER,
52   TYPE_STATE,
53   TYPE_EVENT
54 } e_entity_types;
55
56 typedef struct s_type *type_t;
57 typedef struct s_type {
58   char *id;
59   char *name;
60   char *color;
61   e_entity_types kind;
62   struct s_type *father;
63   xbt_dict_t children;
64   xbt_dict_t values; //valid for all types except variable and container
65 }s_type_t;
66
67 typedef struct s_val *val_t;
68 typedef struct s_val {
69   char *id;
70   char *name;
71   char *color;
72   type_t father;
73 }s_val_t;
74
75 typedef enum {
76   INSTR_HOST,
77   INSTR_LINK,
78   INSTR_ROUTER,
79   INSTR_AS,
80   INSTR_SMPI,
81   INSTR_MSG_PROCESS,
82   INSTR_MSG_TASK
83 } e_container_types;
84
85 typedef struct s_container *container_t;
86 typedef struct s_container {
87   sg_routing_edge_t net_elm;
88   char *name;     /* Unique name of this container */
89   char *id;       /* Unique id of this container */
90   type_t type;    /* Type of this container */
91   int level;      /* Level in the hierarchy, root level is 0 */
92   e_container_types kind; /* This container is of what kind */
93   struct s_container *father;
94   xbt_dict_t children;
95 }s_container_t;
96
97 extern xbt_dict_t created_categories;
98 extern xbt_dict_t declared_marks;
99 extern xbt_dict_t user_host_variables;
100 extern xbt_dict_t user_link_variables;
101 extern double TRACE_last_timestamp_to_dump;
102
103 /* instr_paje_header.c */
104 void TRACE_header(int basic);
105
106 /* from paje.c */
107 void TRACE_paje_start(void);
108 void TRACE_paje_end(void);
109 void TRACE_paje_dump_buffer (int force);
110 void new_pajeDefineContainerType(type_t type);
111 void new_pajeDefineVariableType(type_t type);
112 void new_pajeDefineStateType(type_t type);
113 void new_pajeDefineEventType(type_t type);
114 void new_pajeDefineLinkType(type_t type, type_t source, type_t dest);
115 void new_pajeDefineEntityValue (val_t type);
116 void new_pajeCreateContainer (container_t container);
117 void new_pajeDestroyContainer (container_t container);
118 void new_pajeSetVariable (double timestamp, container_t container, type_t type, double value);
119 void new_pajeAddVariable (double timestamp, container_t container, type_t type, double value);
120 void new_pajeSubVariable (double timestamp, container_t container, type_t type, double value);
121 void new_pajeSetState (double timestamp, container_t container, type_t type, val_t value);
122 void new_pajePushState (double timestamp, container_t container, type_t type, val_t value);
123 void new_pajePopState (double timestamp, container_t container, type_t type);
124 void new_pajeResetState (double timestamp, container_t container, type_t type);
125 void new_pajeStartLink (double timestamp, container_t container, type_t type, container_t sourceContainer, const char *value, const char *key);
126 void new_pajeEndLink (double timestamp, container_t container, type_t type, container_t destContainer, const char *value, const char *key);
127 void new_pajeNewEvent (double timestamp, container_t container, type_t type, val_t value);
128
129 //for tracing gtnets
130 void TRACE_surf_gtnets_communicate(void *action, void *src, void *dst);
131
132 /* from instr_config.c */
133 int TRACE_needs_platform (void);
134 int TRACE_is_enabled(void);
135 int TRACE_platform(void);
136 int TRACE_platform_topology(void);
137 int TRACE_is_configured(void);
138 int TRACE_smpi_is_enabled(void);
139 int TRACE_smpi_is_grouped(void);
140 int TRACE_smpi_is_computing(void);
141 int TRACE_categorized (void);
142 int TRACE_uncategorized (void);
143 int TRACE_msg_process_is_enabled(void);
144 int TRACE_buffer (void);
145 int TRACE_onelink_only (void);
146 int TRACE_disable_destroy (void);
147 int TRACE_basic (void);
148 char *TRACE_get_comment (void);
149 char *TRACE_get_comment_file (void);
150 char *TRACE_get_filename(void);
151 char *TRACE_get_viva_uncat_conf (void);
152 char *TRACE_get_viva_cat_conf (void);
153 void TRACE_generate_viva_uncat_conf (void);
154 void TRACE_generate_viva_cat_conf (void);
155 void instr_pause_tracing (void);
156 void instr_resume_tracing (void);
157
158 /* from resource_utilization.c */
159 void TRACE_surf_host_set_utilization(const char *resource,
160                                      const char *category,
161                                      double value,
162                                      double now,
163                                      double delta);
164 void TRACE_surf_link_set_utilization(const char *resource,
165                                      const char *category,
166                                      double value,
167                                      double now,
168                                      double delta);
169 void TRACE_surf_resource_utilization_alloc(void);
170
171 /* instr_paje.c */
172 extern xbt_dict_t trivaNodeTypes;
173 extern xbt_dict_t trivaEdgeTypes;
174 long long int instr_new_paje_id (void);
175 void PJ_container_alloc (void);
176 void PJ_container_release (void);
177 container_t PJ_container_new (const char *name, e_container_types kind, container_t father);
178 container_t PJ_container_get (const char *name);
179 container_t PJ_container_get_or_null (const char *name);
180 container_t PJ_container_get_root (void);
181 void PJ_container_set_root (container_t root);
182 void PJ_container_free (container_t container);
183 void PJ_container_free_all (void);
184 void PJ_container_remove_from_parent (container_t container);
185
186 /* instr_paje_types.c */
187 void PJ_type_alloc (void);
188 void PJ_type_release (void);
189 type_t PJ_type_get_root (void);
190 type_t PJ_type_container_new (const char *name, type_t father);
191 type_t PJ_type_event_new (const char *name, type_t father);
192 type_t PJ_type_variable_new (const char *name, const char *color, type_t father);
193 type_t PJ_type_link_new (const char *name, type_t father, type_t source, type_t dest);
194 type_t PJ_type_state_new (const char *name, type_t father);
195 type_t PJ_type_get (const char *name, const type_t father);
196 type_t PJ_type_get_or_null (const char *name, type_t father);
197 void PJ_type_free (type_t type);
198 void PJ_type_free_all (void);
199
200 /* instr_paje_values.c */
201 val_t PJ_value_new (const char *name, const char *color, type_t father);
202 val_t PJ_value_get_or_new (const char *name, const char *color, type_t father);
203 val_t PJ_value_get (const char *name, const type_t father);
204 void PJ_value_free (val_t value);
205
206 #endif /* HAVE_TRACING */
207
208 #ifdef HAVE_JEDULE
209 #include "instr/jedule/jedule_sd_binding.h"
210 #endif
211
212 #endif /* INSTR_PRIVATE_H_ */