Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
[simgrid.git] / src / simix / smx_smurf.c
1 #include "private.h"
2 #include "xbt/fifo.h"
3 #include "xbt/xbt_os_thread.h"
4
5 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_smurf, simix,
6                                 "Logging specific to SIMIX (SMURF)");
7
8 XBT_INLINE smx_req_t SIMIX_req_mine()
9 {
10   smx_process_t issuer = SIMIX_process_self();
11   return &issuer->request;
12 }
13
14 /**
15  * \brief Makes the current process do a request to the kernel and yields
16  * until completion.
17  * \param self the current process
18  */
19 void SIMIX_request_push(smx_process_t self)
20 {
21   if (self != simix_global->maestro_process) {
22     XBT_DEBUG("Yield process '%s' on request of type %s (%d)", self->name,
23         SIMIX_request_name(self->request.call), self->request.call);
24     SIMIX_process_yield(self);
25   } else {
26     SIMIX_request_pre(&self->request, 0);
27   }
28 }
29
30 void SIMIX_request_answer(smx_req_t req)
31 {
32   if (req->issuer != simix_global->maestro_process){
33     XBT_DEBUG("Answer request %s (%d) issued by %s (%p)", SIMIX_request_name(req->call), req->call,
34         req->issuer->name, req->issuer);
35     req->issuer->request.call = REQ_NO_REQ;
36     xbt_dynar_push_as(simix_global->process_to_run, smx_process_t, req->issuer);
37   }
38 }
39
40 void SIMIX_request_pre(smx_req_t req, int value)
41 {
42   XBT_DEBUG("Handling request %p: %s", req, SIMIX_request_name(req->call));
43
44   switch (req->call) {
45     case REQ_COMM_TEST:
46       SIMIX_pre_comm_test(req);
47       break;
48
49     case REQ_COMM_TESTANY:
50       SIMIX_pre_comm_testany(req, value);
51       break;
52
53     case REQ_COMM_WAIT:
54       SIMIX_pre_comm_wait(req,
55           req->comm_wait.comm,
56           req->comm_wait.timeout,
57           value);
58       break;
59
60     case REQ_COMM_WAITANY:
61       SIMIX_pre_comm_waitany(req, value);
62       break;
63
64     case REQ_COMM_SEND:
65     {
66       smx_action_t comm = SIMIX_comm_isend(
67           req->issuer,
68           req->comm_send.rdv,
69           req->comm_send.task_size,
70           req->comm_send.rate,
71           req->comm_send.src_buff,
72           req->comm_send.src_buff_size,
73           req->comm_send.match_fun,
74           NULL, /* no clean function since it's not detached */
75           req->comm_send.data,
76           0);
77       SIMIX_pre_comm_wait(req, comm, req->comm_send.timeout, 0);
78       break;
79     }
80
81     case REQ_COMM_ISEND:
82       req->comm_isend.result = SIMIX_comm_isend(
83           req->issuer,
84           req->comm_isend.rdv,
85           req->comm_isend.task_size,
86           req->comm_isend.rate,
87           req->comm_isend.src_buff,
88           req->comm_isend.src_buff_size,
89           req->comm_isend.match_fun,
90           req->comm_isend.clean_fun,
91           req->comm_isend.data,
92           req->comm_isend.detached);
93       SIMIX_request_answer(req);
94       break;
95
96     case REQ_COMM_RECV:
97     {
98       smx_action_t comm = SIMIX_comm_irecv(
99           req->issuer,
100           req->comm_recv.rdv,
101           req->comm_recv.dst_buff,
102           req->comm_recv.dst_buff_size,
103           req->comm_recv.match_fun,
104           req->comm_recv.data);
105       SIMIX_pre_comm_wait(req, comm, req->comm_recv.timeout, 0);
106       break;
107     }
108
109     case REQ_COMM_IRECV:
110       req->comm_irecv.result = SIMIX_comm_irecv(
111           req->issuer,
112           req->comm_irecv.rdv,
113           req->comm_irecv.dst_buff,
114           req->comm_irecv.dst_buff_size,
115           req->comm_irecv.match_fun,
116           req->comm_irecv.data);
117       SIMIX_request_answer(req);
118       break;
119
120     case REQ_COMM_DESTROY:
121       SIMIX_comm_destroy(req->comm_destroy.comm);
122       SIMIX_request_answer(req);
123       break;
124
125     case REQ_COMM_CANCEL:
126       SIMIX_comm_cancel(req->comm_cancel.comm);
127       SIMIX_request_answer(req);
128       break;
129
130     case REQ_COMM_GET_REMAINS:
131       req->comm_get_remains.result =
132           SIMIX_comm_get_remains(req->comm_get_remains.comm);
133       SIMIX_request_answer(req);
134       break;
135
136     case REQ_COMM_GET_STATE:
137       req->comm_get_state.result =
138           SIMIX_comm_get_state(req->comm_get_state.comm);
139       SIMIX_request_answer(req);
140       break;
141
142     case REQ_COMM_GET_SRC_DATA:
143       req->comm_get_src_data.result = SIMIX_comm_get_src_data(req->comm_get_src_data.comm);
144       SIMIX_request_answer(req);
145       break;
146
147     case REQ_COMM_GET_DST_DATA:
148       req->comm_get_dst_data.result = SIMIX_comm_get_dst_data(req->comm_get_dst_data.comm);
149       SIMIX_request_answer(req);
150       break;
151
152     case REQ_COMM_GET_SRC_PROC:
153       req->comm_get_src_proc.result =
154           SIMIX_comm_get_src_proc(req->comm_get_src_proc.comm);
155       SIMIX_request_answer(req);
156       break;
157
158     case REQ_COMM_GET_DST_PROC:
159       req->comm_get_dst_proc.result =
160           SIMIX_comm_get_dst_proc(req->comm_get_dst_proc.comm);
161       SIMIX_request_answer(req);
162       break;
163
164 #ifdef HAVE_LATENCY_BOUND_TRACKING
165     case REQ_COMM_IS_LATENCY_BOUNDED:
166       req->comm_is_latency_bounded.result =
167           SIMIX_comm_is_latency_bounded(req->comm_is_latency_bounded.comm);
168       SIMIX_request_answer(req);
169       break;
170 #endif
171
172     case REQ_RDV_CREATE:
173       req->rdv_create.result = SIMIX_rdv_create(req->rdv_create.name);
174       SIMIX_request_answer(req);
175       break;
176
177     case REQ_RDV_DESTROY:
178       SIMIX_rdv_destroy(req->rdv_destroy.rdv);
179       SIMIX_request_answer(req);
180       break;
181
182     case REQ_RDV_GEY_BY_NAME:
183       req->rdv_get_by_name.result =
184         SIMIX_rdv_get_by_name(req->rdv_get_by_name.name);
185       SIMIX_request_answer(req);
186       break;
187
188     case REQ_RDV_COMM_COUNT_BY_HOST:
189       req->rdv_comm_count_by_host.result = SIMIX_rdv_comm_count_by_host(
190           req->rdv_comm_count_by_host.rdv,
191           req->rdv_comm_count_by_host.host);
192       SIMIX_request_answer(req);
193       break;
194
195     case REQ_RDV_GET_HEAD:
196       req->rdv_get_head.result = SIMIX_rdv_get_head(req->rdv_get_head.rdv);
197       SIMIX_request_answer(req);
198       break;
199
200     case REQ_HOST_GET_BY_NAME:
201       req->host_get_by_name.result =
202         SIMIX_host_get_by_name(req->host_get_by_name.name);
203       SIMIX_request_answer(req);
204       break;
205
206     case REQ_HOST_GET_NAME:
207       req->host_get_name.result =       SIMIX_host_get_name(req->host_get_name.host);
208       SIMIX_request_answer(req);
209       break;
210
211     case REQ_HOST_GET_PROPERTIES:
212       req->host_get_properties.result =
213         SIMIX_host_get_properties(req->host_get_properties.host);
214       SIMIX_request_answer(req);
215       break;
216
217     case REQ_HOST_GET_SPEED:
218       req->host_get_speed.result = 
219         SIMIX_host_get_speed(req->host_get_speed.host);
220       SIMIX_request_answer(req);
221       break;
222
223     case REQ_HOST_GET_AVAILABLE_SPEED:
224       req->host_get_available_speed.result =
225         SIMIX_host_get_available_speed(req->host_get_available_speed.host);
226       SIMIX_request_answer(req);
227       break;
228
229     case REQ_HOST_GET_STATE:
230       req->host_get_state.result = 
231         SIMIX_host_get_state(req->host_get_state.host);
232       SIMIX_request_answer(req);
233       break;
234
235     case REQ_HOST_GET_DATA:
236       req->host_get_data.result =       SIMIX_host_get_data(req->host_get_data.host);
237       SIMIX_request_answer(req);
238       break;
239
240     case REQ_HOST_SET_DATA:
241       SIMIX_host_set_data(req->host_set_data.host, req->host_set_data.data);
242       SIMIX_request_answer(req);
243       break;
244
245     case REQ_HOST_EXECUTE:
246       req->host_execute.result = SIMIX_host_execute(
247           req->host_execute.name,
248           req->host_execute.host,
249           req->host_execute.computation_amount,
250           req->host_execute.priority);
251       SIMIX_request_answer(req);
252       break;
253
254     case REQ_HOST_PARALLEL_EXECUTE:
255       req->host_parallel_execute.result = SIMIX_host_parallel_execute(
256           req->host_parallel_execute.name,
257           req->host_parallel_execute.host_nb,
258           req->host_parallel_execute.host_list,
259           req->host_parallel_execute.computation_amount,
260           req->host_parallel_execute.communication_amount,
261           req->host_parallel_execute.amount,
262           req->host_parallel_execute.rate);
263       SIMIX_request_answer(req);
264       break;
265
266     case REQ_HOST_EXECUTION_DESTROY:
267       SIMIX_host_execution_destroy(req->host_execution_destroy.execution);
268       SIMIX_request_answer(req);
269       break;
270
271     case REQ_HOST_EXECUTION_CANCEL:
272       SIMIX_host_execution_cancel(req->host_execution_cancel.execution);
273       SIMIX_request_answer(req);
274       break;
275
276     case REQ_HOST_EXECUTION_GET_REMAINS:
277       req->host_execution_get_remains.result =
278         SIMIX_host_execution_get_remains(req->host_execution_get_remains.execution);
279       SIMIX_request_answer(req);
280       break;
281
282     case REQ_HOST_EXECUTION_GET_STATE:
283       req->host_execution_get_state.result =
284         SIMIX_host_execution_get_state(req->host_execution_get_state.execution);
285       SIMIX_request_answer(req);
286       break;
287
288     case REQ_HOST_EXECUTION_SET_PRIORITY:
289       SIMIX_host_execution_set_priority(
290           req->host_execution_set_priority.execution,
291           req->host_execution_set_priority.priority);
292       SIMIX_request_answer(req);
293       break;
294
295     case REQ_HOST_EXECUTION_WAIT:
296       SIMIX_pre_host_execution_wait(req);
297       break;
298
299     case REQ_PROCESS_CREATE:
300       SIMIX_process_create(
301           req->process_create.process,
302           req->process_create.name,
303           req->process_create.code,
304           req->process_create.data,
305           req->process_create.hostname,
306           req->process_create.argc,
307           req->process_create.argv,
308           req->process_create.properties);
309       SIMIX_request_answer(req);
310       break;
311
312     case REQ_PROCESS_KILL:
313       SIMIX_process_kill(req->process_kill.process);
314       SIMIX_request_answer(req);
315       break;
316
317     case REQ_PROCESS_KILLALL:
318       SIMIX_process_killall(req->issuer);
319       SIMIX_request_answer(req);
320       break;
321
322     case REQ_PROCESS_CLEANUP:
323       SIMIX_process_cleanup(req->process_cleanup.process);
324       SIMIX_request_answer(req);
325       break;
326
327     case REQ_PROCESS_CHANGE_HOST:
328       SIMIX_pre_process_change_host(
329           req->process_change_host.process,
330           req->process_change_host.dest);
331       SIMIX_request_answer(req);
332       break;
333
334     case REQ_PROCESS_SUSPEND:
335       SIMIX_pre_process_suspend(req);
336       break;
337
338     case REQ_PROCESS_RESUME:
339       SIMIX_process_resume(req->process_resume.process, req->issuer);
340       SIMIX_request_answer(req);
341       break;
342
343     case REQ_PROCESS_COUNT:
344       req->process_count.result = SIMIX_process_count();
345       SIMIX_request_answer(req);
346       break;
347
348     case REQ_PROCESS_GET_DATA:
349       req->process_get_data.result =
350         SIMIX_process_get_data(req->process_get_data.process);
351       SIMIX_request_answer(req);
352       break;
353
354     case REQ_PROCESS_SET_DATA:
355       SIMIX_process_set_data(
356           req->process_set_data.process,
357           req->process_set_data.data);
358       SIMIX_request_answer(req);
359       break;
360
361     case REQ_PROCESS_GET_HOST:
362       req->process_get_host.result = SIMIX_process_get_host(req->process_get_host.process);
363       SIMIX_request_answer(req);
364       break;
365
366     case REQ_PROCESS_GET_NAME:
367       req->process_get_name.result = SIMIX_process_get_name(req->process_get_name.process);
368       SIMIX_request_answer(req);
369       break;
370
371     case REQ_PROCESS_IS_SUSPENDED:
372       req->process_is_suspended.result =
373         SIMIX_process_is_suspended(req->process_is_suspended.process);
374       SIMIX_request_answer(req);
375       break;
376
377     case REQ_PROCESS_GET_PROPERTIES:
378       req->process_get_properties.result =
379         SIMIX_process_get_properties(req->process_get_properties.process);
380       SIMIX_request_answer(req);
381       break;
382
383     case REQ_PROCESS_SLEEP:
384       SIMIX_pre_process_sleep(req);
385       break;
386
387 #ifdef HAVE_TRACING
388     case REQ_SET_CATEGORY:
389       SIMIX_set_category(
390           req->set_category.action,
391           req->set_category.category);
392       SIMIX_request_answer(req);
393       break;
394 #endif
395
396     case REQ_MUTEX_INIT:
397       req->mutex_init.result = SIMIX_mutex_init();
398       SIMIX_request_answer(req);
399       break;
400
401     case REQ_MUTEX_DESTROY:
402       SIMIX_mutex_destroy(req->mutex_destroy.mutex);
403       SIMIX_request_answer(req);
404       break;
405
406     case REQ_MUTEX_LOCK:
407       SIMIX_pre_mutex_lock(req);
408       break;
409
410     case REQ_MUTEX_TRYLOCK:
411       req->mutex_trylock.result =
412               SIMIX_mutex_trylock(req->mutex_trylock.mutex, req->issuer);
413       SIMIX_request_answer(req);
414       break;
415
416     case REQ_MUTEX_UNLOCK:
417       SIMIX_mutex_unlock(req->mutex_unlock.mutex, req->issuer);
418       SIMIX_request_answer(req);
419       break;
420
421     case REQ_COND_INIT:
422       req->cond_init.result = SIMIX_cond_init();
423       SIMIX_request_answer(req);
424       break;
425
426     case REQ_COND_DESTROY:
427       SIMIX_cond_destroy(req->cond_destroy.cond);
428       SIMIX_request_answer(req);
429       break;
430
431     case REQ_COND_SIGNAL:
432       SIMIX_cond_signal(req->cond_signal.cond);
433       SIMIX_request_answer(req);
434       break;
435
436     case REQ_COND_WAIT:
437       SIMIX_pre_cond_wait(req);
438       break;
439
440     case REQ_COND_WAIT_TIMEOUT:
441       SIMIX_pre_cond_wait_timeout(req);
442       break;
443
444     case REQ_COND_BROADCAST:
445       SIMIX_cond_broadcast(req->cond_broadcast.cond);
446       SIMIX_request_answer(req);
447       break;
448
449     case REQ_SEM_INIT:
450       req->sem_init.result = SIMIX_sem_init(req->sem_init.capacity);
451       SIMIX_request_answer(req);
452       break;
453
454     case REQ_SEM_DESTROY:
455       SIMIX_sem_destroy(req->sem_destroy.sem);
456       SIMIX_request_answer(req);
457       break;
458
459     case REQ_SEM_RELEASE:
460       SIMIX_sem_release(req->sem_release.sem);
461       SIMIX_request_answer(req);
462       break;
463
464     case REQ_SEM_WOULD_BLOCK:
465       req->sem_would_block.result =
466         SIMIX_sem_would_block(req->sem_would_block.sem);
467       SIMIX_request_answer(req);
468       break;
469
470     case REQ_SEM_ACQUIRE:
471       SIMIX_pre_sem_acquire(req);
472       break;
473
474     case REQ_SEM_ACQUIRE_TIMEOUT:
475       SIMIX_pre_sem_acquire_timeout(req);
476       break;
477
478     case REQ_SEM_GET_CAPACITY:
479       req->sem_get_capacity.result = 
480         SIMIX_sem_get_capacity(req->sem_get_capacity.sem);
481       SIMIX_request_answer(req);
482       break;
483
484     case REQ_NO_REQ:
485       THROWF(arg_error,0,"Asked to do the noop syscall on %s@%s",
486           SIMIX_process_get_name(req->issuer),
487           SIMIX_host_get_name(SIMIX_process_get_host(req->issuer))
488           );
489       break;
490
491   }
492 }
493
494 void SIMIX_request_post(smx_action_t action)
495 {
496   switch (action->type) {
497
498     case SIMIX_ACTION_EXECUTE:
499     case SIMIX_ACTION_PARALLEL_EXECUTE:
500       SIMIX_post_host_execute(action);
501       break;
502
503     case SIMIX_ACTION_COMMUNICATE:
504       SIMIX_post_comm(action);
505       break;
506
507     case SIMIX_ACTION_SLEEP:
508       SIMIX_post_process_sleep(action);
509       break;
510
511     case SIMIX_ACTION_SYNCHRO:
512       SIMIX_post_synchro(action);
513       break;
514
515     case SIMIX_ACTION_IO:
516       break;
517   }
518 }