Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : MUTEX_UNLOCK is invisible for MC
[simgrid.git] / src / simix / popping_generated.c
1 /**********************************************************************/
2 /* File generated by src/simix/simcalls.py from src/simix/simcalls.in */
3 /*                                                                    */
4 /*                    DO NOT EVER CHANGE THIS FILE                    */
5 /*                                                                    */
6 /* change simcalls specification in src/simix/simcalls.in             */
7 /**********************************************************************/
8
9 /*
10  * Note that the name comes from http://en.wikipedia.org/wiki/Popping
11  * Indeed, the control flow is doing a strange dance in there.
12  *
13  * That's not about http://en.wikipedia.org/wiki/Poop, despite the odor :)
14  */
15
16 #include "smx_private.h"
17 #ifdef HAVE_MC
18 #endif
19
20 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_popping);
21
22 /** @brief Simcalls' names (generated from src/simix/simcalls.in) */
23 const char* simcall_names[] = {
24   [SIMCALL_HOST_GET_BY_NAME] = "SIMCALL_HOST_GET_BY_NAME",
25   [SIMCALL_HOST_GET_NAME] = "SIMCALL_HOST_GET_NAME",
26   [SIMCALL_HOST_ON] = "SIMCALL_HOST_ON",
27   [SIMCALL_HOST_OFF] = "SIMCALL_HOST_OFF",
28   [SIMCALL_HOST_GET_PROPERTIES] = "SIMCALL_HOST_GET_PROPERTIES",
29   [SIMCALL_HOST_GET_CORE] = "SIMCALL_HOST_GET_CORE",
30   [SIMCALL_HOST_GET_PROCESS_LIST] = "SIMCALL_HOST_GET_PROCESS_LIST",
31   [SIMCALL_HOST_GET_SPEED] = "SIMCALL_HOST_GET_SPEED",
32   [SIMCALL_HOST_GET_AVAILABLE_SPEED] = "SIMCALL_HOST_GET_AVAILABLE_SPEED",
33   [SIMCALL_HOST_GET_STATE] = "SIMCALL_HOST_GET_STATE",
34   [SIMCALL_HOST_GET_CURRENT_POWER_PEAK] = "SIMCALL_HOST_GET_CURRENT_POWER_PEAK",
35   [SIMCALL_HOST_GET_POWER_PEAK_AT] = "SIMCALL_HOST_GET_POWER_PEAK_AT",
36   [SIMCALL_HOST_GET_NB_PSTATES] = "SIMCALL_HOST_GET_NB_PSTATES",
37   [SIMCALL_HOST_SET_POWER_PEAK_AT] = "SIMCALL_HOST_SET_POWER_PEAK_AT",
38   [SIMCALL_HOST_GET_CONSUMED_ENERGY] = "SIMCALL_HOST_GET_CONSUMED_ENERGY",
39   [SIMCALL_HOST_EXECUTE] = "SIMCALL_HOST_EXECUTE",
40   [SIMCALL_HOST_PARALLEL_EXECUTE] = "SIMCALL_HOST_PARALLEL_EXECUTE",
41   [SIMCALL_HOST_EXECUTION_DESTROY] = "SIMCALL_HOST_EXECUTION_DESTROY",
42   [SIMCALL_HOST_EXECUTION_CANCEL] = "SIMCALL_HOST_EXECUTION_CANCEL",
43   [SIMCALL_HOST_EXECUTION_GET_REMAINS] = "SIMCALL_HOST_EXECUTION_GET_REMAINS",
44   [SIMCALL_HOST_EXECUTION_GET_STATE] = "SIMCALL_HOST_EXECUTION_GET_STATE",
45   [SIMCALL_HOST_EXECUTION_SET_PRIORITY] = "SIMCALL_HOST_EXECUTION_SET_PRIORITY",
46   [SIMCALL_HOST_EXECUTION_SET_BOUND] = "SIMCALL_HOST_EXECUTION_SET_BOUND",
47   [SIMCALL_HOST_EXECUTION_SET_AFFINITY] = "SIMCALL_HOST_EXECUTION_SET_AFFINITY",
48   [SIMCALL_HOST_EXECUTION_WAIT] = "SIMCALL_HOST_EXECUTION_WAIT",
49   [SIMCALL_HOST_GET_MOUNTED_STORAGE_LIST] = "SIMCALL_HOST_GET_MOUNTED_STORAGE_LIST",
50   [SIMCALL_HOST_GET_ATTACHED_STORAGE_LIST] = "SIMCALL_HOST_GET_ATTACHED_STORAGE_LIST",
51   [SIMCALL_HOST_GET_PARAMS] = "SIMCALL_HOST_GET_PARAMS",
52   [SIMCALL_HOST_SET_PARAMS] = "SIMCALL_HOST_SET_PARAMS",
53   [SIMCALL_VM_CREATE] = "SIMCALL_VM_CREATE",
54   [SIMCALL_VM_START] = "SIMCALL_VM_START",
55   [SIMCALL_VM_GET_STATE] = "SIMCALL_VM_GET_STATE",
56   [SIMCALL_VM_MIGRATE] = "SIMCALL_VM_MIGRATE",
57   [SIMCALL_VM_GET_PM] = "SIMCALL_VM_GET_PM",
58   [SIMCALL_VM_SET_BOUND] = "SIMCALL_VM_SET_BOUND",
59   [SIMCALL_VM_SET_AFFINITY] = "SIMCALL_VM_SET_AFFINITY",
60   [SIMCALL_VM_DESTROY] = "SIMCALL_VM_DESTROY",
61   [SIMCALL_VM_SUSPEND] = "SIMCALL_VM_SUSPEND",
62   [SIMCALL_VM_RESUME] = "SIMCALL_VM_RESUME",
63   [SIMCALL_VM_SHUTDOWN] = "SIMCALL_VM_SHUTDOWN",
64   [SIMCALL_VM_SAVE] = "SIMCALL_VM_SAVE",
65   [SIMCALL_VM_RESTORE] = "SIMCALL_VM_RESTORE",
66   [SIMCALL_PROCESS_CREATE] = "SIMCALL_PROCESS_CREATE",
67   [SIMCALL_PROCESS_KILL] = "SIMCALL_PROCESS_KILL",
68   [SIMCALL_PROCESS_KILLALL] = "SIMCALL_PROCESS_KILLALL",
69   [SIMCALL_PROCESS_CLEANUP] = "SIMCALL_PROCESS_CLEANUP",
70   [SIMCALL_PROCESS_CHANGE_HOST] = "SIMCALL_PROCESS_CHANGE_HOST",
71   [SIMCALL_PROCESS_SUSPEND] = "SIMCALL_PROCESS_SUSPEND",
72   [SIMCALL_PROCESS_RESUME] = "SIMCALL_PROCESS_RESUME",
73   [SIMCALL_PROCESS_COUNT] = "SIMCALL_PROCESS_COUNT",
74   [SIMCALL_PROCESS_GET_PID] = "SIMCALL_PROCESS_GET_PID",
75   [SIMCALL_PROCESS_GET_PPID] = "SIMCALL_PROCESS_GET_PPID",
76   [SIMCALL_PROCESS_GET_DATA] = "SIMCALL_PROCESS_GET_DATA",
77   [SIMCALL_PROCESS_SET_DATA] = "SIMCALL_PROCESS_SET_DATA",
78   [SIMCALL_PROCESS_GET_HOST] = "SIMCALL_PROCESS_GET_HOST",
79   [SIMCALL_PROCESS_GET_NAME] = "SIMCALL_PROCESS_GET_NAME",
80   [SIMCALL_PROCESS_IS_SUSPENDED] = "SIMCALL_PROCESS_IS_SUSPENDED",
81   [SIMCALL_PROCESS_GET_PROPERTIES] = "SIMCALL_PROCESS_GET_PROPERTIES",
82   [SIMCALL_PROCESS_JOIN] = "SIMCALL_PROCESS_JOIN",
83   [SIMCALL_PROCESS_SLEEP] = "SIMCALL_PROCESS_SLEEP",
84   [SIMCALL_PROCESS_ON_EXIT] = "SIMCALL_PROCESS_ON_EXIT",
85   [SIMCALL_PROCESS_AUTO_RESTART_SET] = "SIMCALL_PROCESS_AUTO_RESTART_SET",
86   [SIMCALL_PROCESS_RESTART] = "SIMCALL_PROCESS_RESTART",
87   [SIMCALL_RDV_CREATE] = "SIMCALL_RDV_CREATE",
88   [SIMCALL_RDV_DESTROY] = "SIMCALL_RDV_DESTROY",
89   [SIMCALL_RDV_COMM_COUNT_BY_HOST] = "SIMCALL_RDV_COMM_COUNT_BY_HOST",
90   [SIMCALL_RDV_GET_HEAD] = "SIMCALL_RDV_GET_HEAD",
91   [SIMCALL_RDV_SET_RECEIVER] = "SIMCALL_RDV_SET_RECEIVER",
92   [SIMCALL_RDV_GET_RECEIVER] = "SIMCALL_RDV_GET_RECEIVER",
93   [SIMCALL_COMM_IPROBE] = "SIMCALL_COMM_IPROBE",
94   [SIMCALL_COMM_SEND] = "SIMCALL_COMM_SEND",
95   [SIMCALL_COMM_ISEND] = "SIMCALL_COMM_ISEND",
96   [SIMCALL_COMM_RECV] = "SIMCALL_COMM_RECV",
97   [SIMCALL_COMM_IRECV] = "SIMCALL_COMM_IRECV",
98   [SIMCALL_COMM_CANCEL] = "SIMCALL_COMM_CANCEL",
99   [SIMCALL_COMM_WAITANY] = "SIMCALL_COMM_WAITANY",
100   [SIMCALL_COMM_WAIT] = "SIMCALL_COMM_WAIT",
101   [SIMCALL_COMM_TEST] = "SIMCALL_COMM_TEST",
102   [SIMCALL_COMM_TESTANY] = "SIMCALL_COMM_TESTANY",
103   [SIMCALL_COMM_GET_REMAINS] = "SIMCALL_COMM_GET_REMAINS",
104   [SIMCALL_COMM_GET_STATE] = "SIMCALL_COMM_GET_STATE",
105   [SIMCALL_COMM_GET_SRC_DATA] = "SIMCALL_COMM_GET_SRC_DATA",
106   [SIMCALL_COMM_GET_DST_DATA] = "SIMCALL_COMM_GET_DST_DATA",
107   [SIMCALL_COMM_GET_SRC_PROC] = "SIMCALL_COMM_GET_SRC_PROC",
108   [SIMCALL_COMM_GET_DST_PROC] = "SIMCALL_COMM_GET_DST_PROC",
109   [SIMCALL_MUTEX_INIT] = "SIMCALL_MUTEX_INIT",
110   [SIMCALL_MUTEX_DESTROY] = "SIMCALL_MUTEX_DESTROY",
111   [SIMCALL_MUTEX_LOCK] = "SIMCALL_MUTEX_LOCK",
112   [SIMCALL_MUTEX_TRYLOCK] = "SIMCALL_MUTEX_TRYLOCK",
113   [SIMCALL_MUTEX_UNLOCK] = "SIMCALL_MUTEX_UNLOCK",
114   [SIMCALL_COND_INIT] = "SIMCALL_COND_INIT",
115   [SIMCALL_COND_DESTROY] = "SIMCALL_COND_DESTROY",
116   [SIMCALL_COND_SIGNAL] = "SIMCALL_COND_SIGNAL",
117   [SIMCALL_COND_WAIT] = "SIMCALL_COND_WAIT",
118   [SIMCALL_COND_WAIT_TIMEOUT] = "SIMCALL_COND_WAIT_TIMEOUT",
119   [SIMCALL_COND_BROADCAST] = "SIMCALL_COND_BROADCAST",
120   [SIMCALL_SEM_INIT] = "SIMCALL_SEM_INIT",
121   [SIMCALL_SEM_DESTROY] = "SIMCALL_SEM_DESTROY",
122   [SIMCALL_SEM_RELEASE] = "SIMCALL_SEM_RELEASE",
123   [SIMCALL_SEM_WOULD_BLOCK] = "SIMCALL_SEM_WOULD_BLOCK",
124   [SIMCALL_SEM_ACQUIRE] = "SIMCALL_SEM_ACQUIRE",
125   [SIMCALL_SEM_ACQUIRE_TIMEOUT] = "SIMCALL_SEM_ACQUIRE_TIMEOUT",
126   [SIMCALL_SEM_GET_CAPACITY] = "SIMCALL_SEM_GET_CAPACITY",
127   [SIMCALL_FILE_READ] = "SIMCALL_FILE_READ",
128   [SIMCALL_FILE_WRITE] = "SIMCALL_FILE_WRITE",
129   [SIMCALL_FILE_OPEN] = "SIMCALL_FILE_OPEN",
130   [SIMCALL_FILE_CLOSE] = "SIMCALL_FILE_CLOSE",
131   [SIMCALL_FILE_UNLINK] = "SIMCALL_FILE_UNLINK",
132   [SIMCALL_FILE_GET_SIZE] = "SIMCALL_FILE_GET_SIZE",
133   [SIMCALL_FILE_TELL] = "SIMCALL_FILE_TELL",
134   [SIMCALL_FILE_SEEK] = "SIMCALL_FILE_SEEK",
135   [SIMCALL_FILE_GET_INFO] = "SIMCALL_FILE_GET_INFO",
136   [SIMCALL_FILE_MOVE] = "SIMCALL_FILE_MOVE",
137   [SIMCALL_STORAGE_GET_FREE_SIZE] = "SIMCALL_STORAGE_GET_FREE_SIZE",
138   [SIMCALL_STORAGE_GET_USED_SIZE] = "SIMCALL_STORAGE_GET_USED_SIZE",
139   [SIMCALL_STORAGE_GET_PROPERTIES] = "SIMCALL_STORAGE_GET_PROPERTIES",
140   [SIMCALL_STORAGE_GET_CONTENT] = "SIMCALL_STORAGE_GET_CONTENT",
141   [SIMCALL_ASR_GET_PROPERTIES] = "SIMCALL_ASR_GET_PROPERTIES",
142   [SIMCALL_MC_RANDOM] = "SIMCALL_MC_RANDOM",
143 #ifdef HAVE_LATENCY_BOUND_TRACKING
144   [SIMCALL_COMM_IS_LATENCY_BOUNDED] = "SIMCALL_COMM_IS_LATENCY_BOUNDED",
145 #endif
146
147 #ifdef HAVE_TRACING
148   [SIMCALL_SET_CATEGORY] = "SIMCALL_SET_CATEGORY",
149 #endif
150
151 #ifdef HAVE_MC
152   [SIMCALL_MC_SNAPSHOT] = "SIMCALL_MC_SNAPSHOT",
153   [SIMCALL_MC_COMPARE_SNAPSHOTS] = "SIMCALL_MC_COMPARE_SNAPSHOTS",
154 #endif
155 [SIMCALL_NONE] = "NONE"
156 };
157
158 /**
159  * @brief (in kernel mode) unpack the simcall and activate the handler
160  * 
161  * This function is generated from src/simix/simcalls.in
162  */
163 void SIMIX_simcall_handle(smx_simcall_t simcall, int value) {
164   XBT_DEBUG("Handling simcall %p: %s", simcall, SIMIX_simcall_name(simcall->call));
165   SIMCALL_SET_MC_VALUE(simcall, value);
166   if (simcall->issuer->context->iwannadie && simcall->call != SIMCALL_PROCESS_CLEANUP)
167     return;
168   switch (simcall->call) {
169 case SIMCALL_HOST_GET_BY_NAME:
170       simcall->result.dp = SIMIX_host_get_by_name( simcall->args[0].cc);
171       SIMIX_simcall_answer(simcall);
172       break;  
173
174 case SIMCALL_HOST_GET_NAME:
175       simcall->result.cc = SIMIX_host_get_name((smx_host_t) simcall->args[0].dp);
176       SIMIX_simcall_answer(simcall);
177       break;  
178
179 case SIMCALL_HOST_ON:
180        SIMIX_host_on((smx_host_t) simcall->args[0].dp);
181       SIMIX_simcall_answer(simcall);
182       break;  
183
184 case SIMCALL_HOST_OFF:
185        simcall_HANDLER_host_off(simcall , (smx_host_t) simcall->args[0].dp);
186       SIMIX_simcall_answer(simcall);
187       break;  
188
189 case SIMCALL_HOST_GET_PROPERTIES:
190       simcall->result.dp = SIMIX_host_get_properties((smx_host_t) simcall->args[0].dp);
191       SIMIX_simcall_answer(simcall);
192       break;  
193
194 case SIMCALL_HOST_GET_CORE:
195       simcall->result.i = SIMIX_host_get_core((smx_host_t) simcall->args[0].dp);
196       SIMIX_simcall_answer(simcall);
197       break;  
198
199 case SIMCALL_HOST_GET_PROCESS_LIST:
200       simcall->result.dp = SIMIX_host_get_process_list((smx_host_t) simcall->args[0].dp);
201       SIMIX_simcall_answer(simcall);
202       break;  
203
204 case SIMCALL_HOST_GET_SPEED:
205       simcall->result.d = SIMIX_host_get_speed((smx_host_t) simcall->args[0].dp);
206       SIMIX_simcall_answer(simcall);
207       break;  
208
209 case SIMCALL_HOST_GET_AVAILABLE_SPEED:
210       simcall->result.d = SIMIX_host_get_available_speed((smx_host_t) simcall->args[0].dp);
211       SIMIX_simcall_answer(simcall);
212       break;  
213
214 case SIMCALL_HOST_GET_STATE:
215       simcall->result.i = SIMIX_host_get_state((smx_host_t) simcall->args[0].dp);
216       SIMIX_simcall_answer(simcall);
217       break;  
218
219 case SIMCALL_HOST_GET_CURRENT_POWER_PEAK:
220       simcall->result.d = SIMIX_host_get_current_power_peak((smx_host_t) simcall->args[0].dp);
221       SIMIX_simcall_answer(simcall);
222       break;  
223
224 case SIMCALL_HOST_GET_POWER_PEAK_AT:
225       simcall->result.d = SIMIX_host_get_power_peak_at((smx_host_t) simcall->args[0].dp, simcall->args[1].i);
226       SIMIX_simcall_answer(simcall);
227       break;  
228
229 case SIMCALL_HOST_GET_NB_PSTATES:
230       simcall->result.i = SIMIX_host_get_nb_pstates((smx_host_t) simcall->args[0].dp);
231       SIMIX_simcall_answer(simcall);
232       break;  
233
234 case SIMCALL_HOST_SET_POWER_PEAK_AT:
235        SIMIX_host_set_power_peak_at((smx_host_t) simcall->args[0].dp, simcall->args[1].i);
236       SIMIX_simcall_answer(simcall);
237       break;  
238
239 case SIMCALL_HOST_GET_CONSUMED_ENERGY:
240       simcall->result.d = SIMIX_host_get_consumed_energy((smx_host_t) simcall->args[0].dp);
241       SIMIX_simcall_answer(simcall);
242       break;  
243
244 case SIMCALL_HOST_EXECUTE:
245       simcall->result.dp = SIMIX_host_execute( simcall->args[0].cc,(smx_host_t) simcall->args[1].dp, simcall->args[2].d, simcall->args[3].d, simcall->args[4].d, simcall->args[5].ul);
246       SIMIX_simcall_answer(simcall);
247       break;  
248
249 case SIMCALL_HOST_PARALLEL_EXECUTE:
250       simcall->result.dp = SIMIX_host_parallel_execute( simcall->args[0].cc, simcall->args[1].i,(smx_host_t*) simcall->args[2].dp,(double*) simcall->args[3].dp,(double*) simcall->args[4].dp, simcall->args[5].d, simcall->args[6].d);
251       SIMIX_simcall_answer(simcall);
252       break;  
253
254 case SIMCALL_HOST_EXECUTION_DESTROY:
255        SIMIX_host_execution_destroy((smx_synchro_t) simcall->args[0].dp);
256       SIMIX_simcall_answer(simcall);
257       break;  
258
259 case SIMCALL_HOST_EXECUTION_CANCEL:
260        SIMIX_host_execution_cancel((smx_synchro_t) simcall->args[0].dp);
261       SIMIX_simcall_answer(simcall);
262       break;  
263
264 case SIMCALL_HOST_EXECUTION_GET_REMAINS:
265       simcall->result.d = SIMIX_host_execution_get_remains((smx_synchro_t) simcall->args[0].dp);
266       SIMIX_simcall_answer(simcall);
267       break;  
268
269 case SIMCALL_HOST_EXECUTION_GET_STATE:
270       simcall->result.i = SIMIX_host_execution_get_state((smx_synchro_t) simcall->args[0].dp);
271       SIMIX_simcall_answer(simcall);
272       break;  
273
274 case SIMCALL_HOST_EXECUTION_SET_PRIORITY:
275        SIMIX_host_execution_set_priority((smx_synchro_t) simcall->args[0].dp, simcall->args[1].d);
276       SIMIX_simcall_answer(simcall);
277       break;  
278
279 case SIMCALL_HOST_EXECUTION_SET_BOUND:
280        SIMIX_host_execution_set_bound((smx_synchro_t) simcall->args[0].dp, simcall->args[1].d);
281       SIMIX_simcall_answer(simcall);
282       break;  
283
284 case SIMCALL_HOST_EXECUTION_SET_AFFINITY:
285        SIMIX_host_execution_set_affinity((smx_synchro_t) simcall->args[0].dp,(smx_host_t) simcall->args[1].dp, simcall->args[2].ul);
286       SIMIX_simcall_answer(simcall);
287       break;  
288
289 case SIMCALL_HOST_EXECUTION_WAIT:
290        simcall_HANDLER_host_execution_wait(simcall , (smx_synchro_t) simcall->args[0].dp);
291        break;  
292
293 case SIMCALL_HOST_GET_MOUNTED_STORAGE_LIST:
294       simcall->result.dp = SIMIX_host_get_mounted_storage_list((smx_host_t) simcall->args[0].dp);
295       SIMIX_simcall_answer(simcall);
296       break;  
297
298 case SIMCALL_HOST_GET_ATTACHED_STORAGE_LIST:
299       simcall->result.dp = SIMIX_host_get_attached_storage_list((smx_host_t) simcall->args[0].dp);
300       SIMIX_simcall_answer(simcall);
301       break;  
302
303 case SIMCALL_HOST_GET_PARAMS:
304        SIMIX_host_get_params((smx_host_t) simcall->args[0].dp,(ws_params_t) simcall->args[1].dp);
305       SIMIX_simcall_answer(simcall);
306       break;  
307
308 case SIMCALL_HOST_SET_PARAMS:
309        SIMIX_host_set_params((smx_host_t) simcall->args[0].dp,(ws_params_t) simcall->args[1].dp);
310       SIMIX_simcall_answer(simcall);
311       break;  
312
313 case SIMCALL_VM_CREATE:
314       simcall->result.dp = SIMIX_vm_create( simcall->args[0].cc,(smx_host_t) simcall->args[1].dp);
315       SIMIX_simcall_answer(simcall);
316       break;  
317
318 case SIMCALL_VM_START:
319        SIMIX_vm_start((smx_host_t) simcall->args[0].dp);
320       SIMIX_simcall_answer(simcall);
321       break;  
322
323 case SIMCALL_VM_GET_STATE:
324       simcall->result.i = SIMIX_vm_get_state((smx_host_t) simcall->args[0].dp);
325       SIMIX_simcall_answer(simcall);
326       break;  
327
328 case SIMCALL_VM_MIGRATE:
329        SIMIX_vm_migrate((smx_host_t) simcall->args[0].dp,(smx_host_t) simcall->args[1].dp);
330       SIMIX_simcall_answer(simcall);
331       break;  
332
333 case SIMCALL_VM_GET_PM:
334       simcall->result.dp = SIMIX_vm_get_pm((smx_host_t) simcall->args[0].dp);
335       SIMIX_simcall_answer(simcall);
336       break;  
337
338 case SIMCALL_VM_SET_BOUND:
339        SIMIX_vm_set_bound((smx_host_t) simcall->args[0].dp, simcall->args[1].d);
340       SIMIX_simcall_answer(simcall);
341       break;  
342
343 case SIMCALL_VM_SET_AFFINITY:
344        SIMIX_vm_set_affinity((smx_host_t) simcall->args[0].dp,(smx_host_t) simcall->args[1].dp, simcall->args[2].ul);
345       SIMIX_simcall_answer(simcall);
346       break;  
347
348 case SIMCALL_VM_DESTROY:
349        SIMIX_vm_destroy((smx_host_t) simcall->args[0].dp);
350       SIMIX_simcall_answer(simcall);
351       break;  
352
353 case SIMCALL_VM_SUSPEND:
354        simcall_HANDLER_vm_suspend(simcall , (smx_host_t) simcall->args[0].dp);
355       SIMIX_simcall_answer(simcall);
356       break;  
357
358 case SIMCALL_VM_RESUME:
359        simcall_HANDLER_vm_resume(simcall , (smx_host_t) simcall->args[0].dp);
360       SIMIX_simcall_answer(simcall);
361       break;  
362
363 case SIMCALL_VM_SHUTDOWN:
364        simcall_HANDLER_vm_shutdown(simcall , (smx_host_t) simcall->args[0].dp);
365       SIMIX_simcall_answer(simcall);
366       break;  
367
368 case SIMCALL_VM_SAVE:
369        simcall_HANDLER_vm_save(simcall , (smx_host_t) simcall->args[0].dp);
370       SIMIX_simcall_answer(simcall);
371       break;  
372
373 case SIMCALL_VM_RESTORE:
374        simcall_HANDLER_vm_restore(simcall , (smx_host_t) simcall->args[0].dp);
375       SIMIX_simcall_answer(simcall);
376       break;  
377
378 case SIMCALL_PROCESS_CREATE:
379        simcall_HANDLER_process_create(simcall , (smx_process_t*) simcall->args[0].dp,  simcall->args[1].cc, (xbt_main_func_t) simcall->args[2].fp,  simcall->args[3].dp,  simcall->args[4].cc,  simcall->args[5].d,  simcall->args[6].i, (char**) simcall->args[7].dp, (xbt_dict_t) simcall->args[8].dp,  simcall->args[9].i);
380       SIMIX_simcall_answer(simcall);
381       break;  
382
383 case SIMCALL_PROCESS_KILL:
384        simcall_HANDLER_process_kill(simcall , (smx_process_t) simcall->args[0].dp);
385       SIMIX_simcall_answer(simcall);
386       break;  
387
388 case SIMCALL_PROCESS_KILLALL:
389        simcall_HANDLER_process_killall(simcall ,  simcall->args[0].i);
390       SIMIX_simcall_answer(simcall);
391       break;  
392
393 case SIMCALL_PROCESS_CLEANUP:
394        SIMIX_process_cleanup((smx_process_t) simcall->args[0].dp);
395       SIMIX_simcall_answer(simcall);
396       break;  
397
398 case SIMCALL_PROCESS_CHANGE_HOST:
399        simcall_HANDLER_process_change_host(simcall , (smx_process_t) simcall->args[0].dp, (smx_host_t) simcall->args[1].dp);
400       SIMIX_simcall_answer(simcall);
401       break;  
402
403 case SIMCALL_PROCESS_SUSPEND:
404        simcall_HANDLER_process_suspend(simcall , (smx_process_t) simcall->args[0].dp);
405        break;  
406
407 case SIMCALL_PROCESS_RESUME:
408        simcall_HANDLER_process_resume(simcall , (smx_process_t) simcall->args[0].dp);
409       SIMIX_simcall_answer(simcall);
410       break;  
411
412 case SIMCALL_PROCESS_COUNT:
413       simcall->result.i = SIMIX_process_count();
414       SIMIX_simcall_answer(simcall);
415       break;  
416
417 case SIMCALL_PROCESS_GET_PID:
418       simcall->result.i = SIMIX_process_get_PID((smx_process_t) simcall->args[0].dp);
419       SIMIX_simcall_answer(simcall);
420       break;  
421
422 case SIMCALL_PROCESS_GET_PPID:
423       simcall->result.i = SIMIX_process_get_PPID((smx_process_t) simcall->args[0].dp);
424       SIMIX_simcall_answer(simcall);
425       break;  
426
427 case SIMCALL_PROCESS_GET_DATA:
428       simcall->result.dp = SIMIX_process_get_data((smx_process_t) simcall->args[0].dp);
429       SIMIX_simcall_answer(simcall);
430       break;  
431
432 case SIMCALL_PROCESS_SET_DATA:
433        SIMIX_process_set_data((smx_process_t) simcall->args[0].dp, simcall->args[1].dp);
434       SIMIX_simcall_answer(simcall);
435       break;  
436
437 case SIMCALL_PROCESS_GET_HOST:
438       simcall->result.dp = SIMIX_process_get_host((smx_process_t) simcall->args[0].dp);
439       SIMIX_simcall_answer(simcall);
440       break;  
441
442 case SIMCALL_PROCESS_GET_NAME:
443       simcall->result.cc = SIMIX_process_get_name((smx_process_t) simcall->args[0].dp);
444       SIMIX_simcall_answer(simcall);
445       break;  
446
447 case SIMCALL_PROCESS_IS_SUSPENDED:
448       simcall->result.i = SIMIX_process_is_suspended((smx_process_t) simcall->args[0].dp);
449       SIMIX_simcall_answer(simcall);
450       break;  
451
452 case SIMCALL_PROCESS_GET_PROPERTIES:
453       simcall->result.dp = SIMIX_process_get_properties((smx_process_t) simcall->args[0].dp);
454       SIMIX_simcall_answer(simcall);
455       break;  
456
457 case SIMCALL_PROCESS_JOIN:
458        simcall_HANDLER_process_join(simcall , (smx_process_t) simcall->args[0].dp,  simcall->args[1].d);
459        break;  
460
461 case SIMCALL_PROCESS_SLEEP:
462        simcall_HANDLER_process_sleep(simcall ,  simcall->args[0].d);
463        break;  
464
465 case SIMCALL_PROCESS_ON_EXIT:
466        SIMIX_process_on_exit((smx_process_t) simcall->args[0].dp,(int_f_pvoid_pvoid_t) simcall->args[1].fp, simcall->args[2].dp);
467       SIMIX_simcall_answer(simcall);
468       break;  
469
470 case SIMCALL_PROCESS_AUTO_RESTART_SET:
471        SIMIX_process_auto_restart_set((smx_process_t) simcall->args[0].dp, simcall->args[1].i);
472       SIMIX_simcall_answer(simcall);
473       break;  
474
475 case SIMCALL_PROCESS_RESTART:
476       simcall->result.dp = simcall_HANDLER_process_restart(simcall , (smx_process_t) simcall->args[0].dp);
477       SIMIX_simcall_answer(simcall);
478       break;  
479
480 case SIMCALL_RDV_CREATE:
481       simcall->result.dp = SIMIX_rdv_create( simcall->args[0].cc);
482       SIMIX_simcall_answer(simcall);
483       break;  
484
485 case SIMCALL_RDV_DESTROY:
486        SIMIX_rdv_destroy((smx_rdv_t) simcall->args[0].dp);
487       SIMIX_simcall_answer(simcall);
488       break;  
489
490 case SIMCALL_RDV_COMM_COUNT_BY_HOST:
491       simcall->result.ui = SIMIX_rdv_comm_count_by_host((smx_rdv_t) simcall->args[0].dp,(smx_host_t) simcall->args[1].dp);
492       SIMIX_simcall_answer(simcall);
493       break;  
494
495 case SIMCALL_RDV_GET_HEAD:
496       simcall->result.dp = SIMIX_rdv_get_head((smx_rdv_t) simcall->args[0].dp);
497       SIMIX_simcall_answer(simcall);
498       break;  
499
500 case SIMCALL_RDV_SET_RECEIVER:
501        SIMIX_rdv_set_receiver((smx_rdv_t) simcall->args[0].dp,(smx_process_t) simcall->args[1].dp);
502       SIMIX_simcall_answer(simcall);
503       break;  
504
505 case SIMCALL_RDV_GET_RECEIVER:
506       simcall->result.dp = SIMIX_rdv_get_receiver((smx_rdv_t) simcall->args[0].dp);
507       SIMIX_simcall_answer(simcall);
508       break;  
509
510 case SIMCALL_COMM_IPROBE:
511       simcall->result.dp = simcall_HANDLER_comm_iprobe(simcall , (smx_rdv_t) simcall->args[0].dp,  simcall->args[1].i,  simcall->args[2].i,  simcall->args[3].i, (simix_match_func_t) simcall->args[4].fp,  simcall->args[5].dp);
512       SIMIX_simcall_answer(simcall);
513       break;  
514
515 case SIMCALL_COMM_SEND:
516        simcall_HANDLER_comm_send(simcall , (smx_process_t) simcall->args[0].dp, (smx_rdv_t) simcall->args[1].dp,  simcall->args[2].d,  simcall->args[3].d,  simcall->args[4].dp,  simcall->args[5].sz, (simix_match_func_t) simcall->args[6].fp, (simix_copy_data_func_t) simcall->args[7].fp,  simcall->args[8].dp,  simcall->args[9].d);
517        break;  
518
519 case SIMCALL_COMM_ISEND:
520       simcall->result.dp = simcall_HANDLER_comm_isend(simcall , (smx_process_t) simcall->args[0].dp, (smx_rdv_t) simcall->args[1].dp,  simcall->args[2].d,  simcall->args[3].d,  simcall->args[4].dp,  simcall->args[5].sz, (simix_match_func_t) simcall->args[6].fp, (simix_clean_func_t) simcall->args[7].fp, (simix_copy_data_func_t) simcall->args[8].fp,  simcall->args[9].dp,  simcall->args[10].i);
521       SIMIX_simcall_answer(simcall);
522       break;  
523
524 case SIMCALL_COMM_RECV:
525        simcall_HANDLER_comm_recv(simcall , (smx_rdv_t) simcall->args[0].dp,  simcall->args[1].dp, (size_t*) simcall->args[2].dp, (simix_match_func_t) simcall->args[3].fp, (simix_copy_data_func_t) simcall->args[4].fp,  simcall->args[5].dp,  simcall->args[6].d,  simcall->args[7].d);
526        break;  
527
528 case SIMCALL_COMM_IRECV:
529       simcall->result.dp = simcall_HANDLER_comm_irecv(simcall , (smx_rdv_t) simcall->args[0].dp,  simcall->args[1].dp, (size_t*) simcall->args[2].dp, (simix_match_func_t) simcall->args[3].fp, (simix_copy_data_func_t) simcall->args[4].fp,  simcall->args[5].dp,  simcall->args[6].d);
530       SIMIX_simcall_answer(simcall);
531       break;  
532
533 case SIMCALL_COMM_CANCEL:
534        SIMIX_comm_cancel((smx_synchro_t) simcall->args[0].dp);
535       SIMIX_simcall_answer(simcall);
536       break;  
537
538 case SIMCALL_COMM_WAITANY:
539        simcall_HANDLER_comm_waitany(simcall , (xbt_dynar_t) simcall->args[0].dp);
540        break;  
541
542 case SIMCALL_COMM_WAIT:
543        simcall_HANDLER_comm_wait(simcall , (smx_synchro_t) simcall->args[0].dp,  simcall->args[1].d);
544        break;  
545
546 case SIMCALL_COMM_TEST:
547        simcall_HANDLER_comm_test(simcall , (smx_synchro_t) simcall->args[0].dp);
548        break;  
549
550 case SIMCALL_COMM_TESTANY:
551        simcall_HANDLER_comm_testany(simcall , (xbt_dynar_t) simcall->args[0].dp);
552        break;  
553
554 case SIMCALL_COMM_GET_REMAINS:
555       simcall->result.d = SIMIX_comm_get_remains((smx_synchro_t) simcall->args[0].dp);
556       SIMIX_simcall_answer(simcall);
557       break;  
558
559 case SIMCALL_COMM_GET_STATE:
560       simcall->result.i = SIMIX_comm_get_state((smx_synchro_t) simcall->args[0].dp);
561       SIMIX_simcall_answer(simcall);
562       break;  
563
564 case SIMCALL_COMM_GET_SRC_DATA:
565       simcall->result.dp = SIMIX_comm_get_src_data((smx_synchro_t) simcall->args[0].dp);
566       SIMIX_simcall_answer(simcall);
567       break;  
568
569 case SIMCALL_COMM_GET_DST_DATA:
570       simcall->result.dp = SIMIX_comm_get_dst_data((smx_synchro_t) simcall->args[0].dp);
571       SIMIX_simcall_answer(simcall);
572       break;  
573
574 case SIMCALL_COMM_GET_SRC_PROC:
575       simcall->result.dp = SIMIX_comm_get_src_proc((smx_synchro_t) simcall->args[0].dp);
576       SIMIX_simcall_answer(simcall);
577       break;  
578
579 case SIMCALL_COMM_GET_DST_PROC:
580       simcall->result.dp = SIMIX_comm_get_dst_proc((smx_synchro_t) simcall->args[0].dp);
581       SIMIX_simcall_answer(simcall);
582       break;  
583
584 case SIMCALL_MUTEX_INIT:
585       simcall->result.dp = simcall_HANDLER_mutex_init(simcall );
586       SIMIX_simcall_answer(simcall);
587       break;  
588
589 case SIMCALL_MUTEX_DESTROY:
590        SIMIX_mutex_destroy((smx_mutex_t) simcall->args[0].dp);
591       SIMIX_simcall_answer(simcall);
592       break;  
593
594 case SIMCALL_MUTEX_LOCK:
595        simcall_HANDLER_mutex_lock(simcall , (smx_mutex_t) simcall->args[0].dp);
596        break;  
597
598 case SIMCALL_MUTEX_TRYLOCK:
599       simcall->result.i = simcall_HANDLER_mutex_trylock(simcall , (smx_mutex_t) simcall->args[0].dp);
600       SIMIX_simcall_answer(simcall);
601       break;  
602
603 case SIMCALL_MUTEX_UNLOCK:
604        simcall_HANDLER_mutex_unlock(simcall , (smx_mutex_t) simcall->args[0].dp);
605       SIMIX_simcall_answer(simcall);
606       break;  
607
608 case SIMCALL_COND_INIT:
609       simcall->result.dp = SIMIX_cond_init();
610       SIMIX_simcall_answer(simcall);
611       break;  
612
613 case SIMCALL_COND_DESTROY:
614        SIMIX_cond_destroy((smx_cond_t) simcall->args[0].dp);
615       SIMIX_simcall_answer(simcall);
616       break;  
617
618 case SIMCALL_COND_SIGNAL:
619        SIMIX_cond_signal((smx_cond_t) simcall->args[0].dp);
620       SIMIX_simcall_answer(simcall);
621       break;  
622
623 case SIMCALL_COND_WAIT:
624        simcall_HANDLER_cond_wait(simcall , (smx_cond_t) simcall->args[0].dp, (smx_mutex_t) simcall->args[1].dp);
625        break;  
626
627 case SIMCALL_COND_WAIT_TIMEOUT:
628        simcall_HANDLER_cond_wait_timeout(simcall , (smx_cond_t) simcall->args[0].dp, (smx_mutex_t) simcall->args[1].dp,  simcall->args[2].d);
629        break;  
630
631 case SIMCALL_COND_BROADCAST:
632        SIMIX_cond_broadcast((smx_cond_t) simcall->args[0].dp);
633       SIMIX_simcall_answer(simcall);
634       break;  
635
636 case SIMCALL_SEM_INIT:
637       simcall->result.dp = SIMIX_sem_init( simcall->args[0].ui);
638       SIMIX_simcall_answer(simcall);
639       break;  
640
641 case SIMCALL_SEM_DESTROY:
642        SIMIX_sem_destroy((smx_sem_t) simcall->args[0].dp);
643       SIMIX_simcall_answer(simcall);
644       break;  
645
646 case SIMCALL_SEM_RELEASE:
647        simcall_HANDLER_sem_release(simcall , (smx_sem_t) simcall->args[0].dp);
648       SIMIX_simcall_answer(simcall);
649       break;  
650
651 case SIMCALL_SEM_WOULD_BLOCK:
652       simcall->result.i = simcall_HANDLER_sem_would_block(simcall , (smx_sem_t) simcall->args[0].dp);
653       SIMIX_simcall_answer(simcall);
654       break;  
655
656 case SIMCALL_SEM_ACQUIRE:
657        simcall_HANDLER_sem_acquire(simcall , (smx_sem_t) simcall->args[0].dp);
658        break;  
659
660 case SIMCALL_SEM_ACQUIRE_TIMEOUT:
661        simcall_HANDLER_sem_acquire_timeout(simcall , (smx_sem_t) simcall->args[0].dp,  simcall->args[1].d);
662        break;  
663
664 case SIMCALL_SEM_GET_CAPACITY:
665       simcall->result.i = simcall_HANDLER_sem_get_capacity(simcall , (smx_sem_t) simcall->args[0].dp);
666       SIMIX_simcall_answer(simcall);
667       break;  
668
669 case SIMCALL_FILE_READ:
670        simcall_HANDLER_file_read(simcall , (smx_file_t) simcall->args[0].dp,  simcall->args[1].sgsz, (smx_host_t) simcall->args[2].dp);
671        break;  
672
673 case SIMCALL_FILE_WRITE:
674        simcall_HANDLER_file_write(simcall , (smx_file_t) simcall->args[0].dp,  simcall->args[1].sgsz, (smx_host_t) simcall->args[2].dp);
675        break;  
676
677 case SIMCALL_FILE_OPEN:
678        simcall_HANDLER_file_open(simcall ,  simcall->args[0].cc, (smx_host_t) simcall->args[1].dp);
679        break;  
680
681 case SIMCALL_FILE_CLOSE:
682        simcall_HANDLER_file_close(simcall , (smx_file_t) simcall->args[0].dp, (smx_host_t) simcall->args[1].dp);
683        break;  
684
685 case SIMCALL_FILE_UNLINK:
686       simcall->result.i = SIMIX_file_unlink((smx_file_t) simcall->args[0].dp,(smx_host_t) simcall->args[1].dp);
687       SIMIX_simcall_answer(simcall);
688       break;  
689
690 case SIMCALL_FILE_GET_SIZE:
691       simcall->result.sgsz = simcall_HANDLER_file_get_size(simcall , (smx_file_t) simcall->args[0].dp);
692       SIMIX_simcall_answer(simcall);
693       break;  
694
695 case SIMCALL_FILE_TELL:
696       simcall->result.sgsz = simcall_HANDLER_file_tell(simcall , (smx_file_t) simcall->args[0].dp);
697       SIMIX_simcall_answer(simcall);
698       break;  
699
700 case SIMCALL_FILE_SEEK:
701       simcall->result.i = simcall_HANDLER_file_seek(simcall , (smx_file_t) simcall->args[0].dp,  simcall->args[1].sgoff,  simcall->args[2].i);
702       SIMIX_simcall_answer(simcall);
703       break;  
704
705 case SIMCALL_FILE_GET_INFO:
706       simcall->result.dp = simcall_HANDLER_file_get_info(simcall , (smx_file_t) simcall->args[0].dp);
707       SIMIX_simcall_answer(simcall);
708       break;  
709
710 case SIMCALL_FILE_MOVE:
711       simcall->result.i = simcall_HANDLER_file_move(simcall , (smx_file_t) simcall->args[0].dp,  simcall->args[1].cc);
712       SIMIX_simcall_answer(simcall);
713       break;  
714
715 case SIMCALL_STORAGE_GET_FREE_SIZE:
716       simcall->result.sgsz = simcall_HANDLER_storage_get_free_size(simcall , (smx_storage_t) simcall->args[0].dp);
717       SIMIX_simcall_answer(simcall);
718       break;  
719
720 case SIMCALL_STORAGE_GET_USED_SIZE:
721       simcall->result.sgsz = simcall_HANDLER_storage_get_used_size(simcall , (smx_storage_t) simcall->args[0].dp);
722       SIMIX_simcall_answer(simcall);
723       break;  
724
725 case SIMCALL_STORAGE_GET_PROPERTIES:
726       simcall->result.dp = SIMIX_storage_get_properties((smx_storage_t) simcall->args[0].dp);
727       SIMIX_simcall_answer(simcall);
728       break;  
729
730 case SIMCALL_STORAGE_GET_CONTENT:
731       simcall->result.dp = SIMIX_storage_get_content((smx_storage_t) simcall->args[0].dp);
732       SIMIX_simcall_answer(simcall);
733       break;  
734
735 case SIMCALL_ASR_GET_PROPERTIES:
736       simcall->result.dp = simcall_HANDLER_asr_get_properties(simcall ,  simcall->args[0].cc);
737       SIMIX_simcall_answer(simcall);
738       break;  
739
740 case SIMCALL_MC_RANDOM:
741       simcall->result.i = simcall_HANDLER_mc_random(simcall ,  simcall->args[0].i,  simcall->args[1].i);
742       SIMIX_simcall_answer(simcall);
743       break;  
744
745 #ifdef HAVE_LATENCY_BOUND_TRACKING
746 case SIMCALL_COMM_IS_LATENCY_BOUNDED:
747       simcall->result.i = SIMIX_comm_is_latency_bounded((smx_synchro_t) simcall->args[0].dp);
748       SIMIX_simcall_answer(simcall);
749       break;  
750
751 #endif
752
753 #ifdef HAVE_TRACING
754 case SIMCALL_SET_CATEGORY:
755        SIMIX_set_category((smx_synchro_t) simcall->args[0].dp, simcall->args[1].cc);
756       SIMIX_simcall_answer(simcall);
757       break;  
758
759 #endif
760
761 #ifdef HAVE_MC
762 case SIMCALL_MC_SNAPSHOT:
763       simcall->result.dp = simcall_HANDLER_mc_snapshot(simcall );
764       SIMIX_simcall_answer(simcall);
765       break;  
766
767 case SIMCALL_MC_COMPARE_SNAPSHOTS:
768       simcall->result.i = simcall_HANDLER_mc_compare_snapshots(simcall , (mc_snapshot_t) simcall->args[0].dp, (mc_snapshot_t) simcall->args[1].dp);
769       SIMIX_simcall_answer(simcall);
770       break;  
771
772 #endif
773     case NUM_SIMCALLS:
774       break;
775     case SIMCALL_NONE:
776       THROWF(arg_error,0,"Asked to do the noop syscall on %s@%s",
777           SIMIX_process_get_name(simcall->issuer),
778           SIMIX_host_get_name(SIMIX_process_get_host(simcall->issuer))
779           );
780       break;
781
782   }
783 }