Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MSG_process_get_data(): don't segfault if there the process has been cleaned up
[simgrid.git] / src / msg / msg_process.c
1 /* Copyright (c) 2004-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 #include "msg_private.h"
8 #include "xbt/sysdep.h"
9 #include "xbt/log.h"
10 #include "simix/smx_process_private.h"
11
12 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(msg_process, msg,
13                                 "Logging specific to MSG (process)");
14
15 /** @addtogroup m_process_management
16  * \htmlonly <!-- DOXYGEN_NAVBAR_LABEL="Processes" --> \endhtmlonly
17  *
18  *  Processes (#msg_process_t) are independent agents that can do stuff on their own. They are in charge of executing your code interacting with the simulated world.
19  *  A process may be defined as a <em>code</em> with some <em>private data</em>.
20  *  Processes must be located on <em>hosts</em> (#msg_host_t), and they exchange data by sending tasks (#msg_task_t) that are similar to envelops containing data.
21  */
22
23 /******************************** Process ************************************/
24
25 /**
26  * \brief Cleans the MSG data of a process.
27  * \param smx_proc a SIMIX process
28  */
29 void MSG_process_cleanup_from_SIMIX(smx_process_t smx_proc)
30 {
31   simdata_process_t msg_proc;
32
33   // get the MSG process from the SIMIX process
34   if (smx_proc == SIMIX_process_self()) {
35     /* avoid a SIMIX request if this function is called by the process itself */
36     msg_proc = SIMIX_process_self_get_data(smx_proc);
37     SIMIX_process_self_set_data(smx_proc, NULL);
38   }
39   else {
40     msg_proc = simcall_process_get_data(smx_proc);
41     simcall_process_set_data(smx_proc, NULL);
42   }
43
44   TRACE_msg_process_end(smx_proc);
45   // free the data if a function was provided
46   if (msg_proc && msg_proc->data && msg_global->process_data_cleanup) {
47     msg_global->process_data_cleanup(msg_proc->data);
48   }
49
50   // free the MSG process
51   xbt_free(msg_proc);
52   SIMIX_process_cleanup(smx_proc);
53 }
54
55 /* This function creates a MSG process. It has the prototype enforced by SIMIX_function_register_process_create */
56 void MSG_process_create_from_SIMIX(smx_process_t* process, const char *name,
57                                    xbt_main_func_t code, void *data,
58                                    const char *hostname, double kill_time,
59                                    int argc, char **argv,
60                                    xbt_dict_t properties, int auto_restart,
61                                    smx_process_t parent_process)
62 {
63   msg_host_t host = MSG_get_host_by_name(hostname);
64   msg_process_t p = MSG_process_create_with_environment(name, code, data,
65                                                       host, argc, argv,
66                                                       properties);
67   if (p) {
68     MSG_process_set_kill_time(p,kill_time);
69     MSG_process_auto_restart_set(p,auto_restart);
70   }
71   *((msg_process_t*) process) = p;
72 }
73
74 /** \ingroup m_process_management
75  * \brief Creates and runs a new #msg_process_t.
76  *
77  * Does exactly the same as #MSG_process_create_with_arguments but without
78    providing standard arguments (\a argc, \a argv, \a start_time, \a kill_time).
79  * \sa MSG_process_create_with_arguments
80  */
81 msg_process_t MSG_process_create(const char *name,
82                                xbt_main_func_t code, void *data,
83                                msg_host_t host)
84 {
85   return MSG_process_create_with_environment(name, code, data, host, -1,
86                                              NULL, NULL);
87 }
88
89 /** \ingroup m_process_management
90  * \brief Creates and runs a new #msg_process_t.
91
92  * A constructor for #msg_process_t taking four arguments and returning the
93  * corresponding object. The structure (and the corresponding thread) is
94  * created, and put in the list of ready process.
95  * \param name a name for the object. It is for user-level information
96    and can be NULL.
97  * \param code is a function describing the behavior of the process. It
98    should then only use functions described in \ref
99    m_process_management (to create a new #msg_process_t for example),
100    in \ref m_host_management (only the read-only functions i.e. whose
101    name contains the word get), in \ref m_task_management (to create
102    or destroy some #msg_task_t for example) and in \ref
103    msg_task_usage (to handle file transfers and task processing).
104  * \param data a pointer to any data one may want to attach to the new
105    object.  It is for user-level information and can be NULL. It can
106    be retrieved with the function \ref MSG_process_get_data.
107  * \param host the location where the new process is executed.
108  * \param argc first argument passed to \a code
109  * \param argv second argument passed to \a code
110  * \see msg_process_t
111  * \return The new corresponding object.
112  */
113
114 msg_process_t MSG_process_create_with_arguments(const char *name,
115                                               xbt_main_func_t code,
116                                               void *data, msg_host_t host,
117                                               int argc, char **argv)
118 {
119   return MSG_process_create_with_environment(name, code, data, host,
120                                              argc, argv, NULL);
121 }
122
123 /** \ingroup m_process_management
124  * \brief Creates and runs a new #msg_process_t.
125
126  * A constructor for #msg_process_t taking four arguments and returning the
127  * corresponding object. The structure (and the corresponding thread) is
128  * created, and put in the list of ready process.
129  * \param name a name for the object. It is for user-level information
130    and can be NULL.
131  * \param code is a function describing the behavior of the process. It
132    should then only use functions described in \ref
133    m_process_management (to create a new #msg_process_t for example),
134    in \ref m_host_management (only the read-only functions i.e. whose
135    name contains the word get), in \ref m_task_management (to create
136    or destroy some #msg_task_t for example) and in \ref
137    msg_task_usage (to handle file transfers and task processing).
138  * \param data a pointer to any data one may want to attach to the new
139    object.  It is for user-level information and can be NULL. It can
140    be retrieved with the function \ref MSG_process_get_data.
141  * \param host the location where the new process is executed.
142  * \param argc first argument passed to \a code
143  * \param argv second argument passed to \a code. WARNING, these strings are freed by the SimGrid kernel when the process exits, so they cannot be static nor shared between several processes.
144  * \param properties list a properties defined for this process
145  * \see msg_process_t
146  * \return The new corresponding object.
147  */
148 msg_process_t MSG_process_create_with_environment(const char *name,
149                                                 xbt_main_func_t code,
150                                                 void *data, msg_host_t host,
151                                                 int argc, char **argv,
152                                                 xbt_dict_t properties)
153 {
154   xbt_assert(code != NULL && host != NULL, "Invalid parameters: host and code params must not be NULL");
155   simdata_process_t simdata = xbt_new0(s_simdata_process_t, 1);
156   msg_process_t process;
157
158   /* Simulator data for MSG */
159   simdata->waiting_action = NULL;
160   simdata->waiting_task = NULL;
161   simdata->m_host = host;
162   simdata->argc = argc;
163   simdata->argv = argv;
164   simdata->data = data;
165   simdata->last_errno = MSG_OK;
166
167   /* Let's create the process: SIMIX may decide to start it right now,
168    * even before returning the flow control to us */
169  simcall_process_create(&process, name, code, simdata, sg_host_name(host), -1,
170                            argc, argv, properties,0);
171
172   TRACE_msg_process_create(name, SIMIX_process_get_PID(process), host);
173
174   if (!process) {
175     /* Undo everything we have just changed */
176     xbt_free(simdata);
177     return NULL;
178   }
179   else {
180     simcall_process_on_exit(process,(int_f_pvoid_pvoid_t)TRACE_msg_process_kill,process);
181   }
182   return process;
183 }
184
185 /** \ingroup m_process_management
186  * \param process poor victim
187  *
188  * This function simply kills a \a process... scary isn't it ? :)
189  */
190 void MSG_process_kill(msg_process_t process)
191 {
192 //  /* FIXME: why do we only cancel communication actions? is this useful? */
193 //  simdata_process_t p_simdata = simcall_process_get_data(process);
194 //  if (p_simdata->waiting_task && p_simdata->waiting_task->simdata->comm) {
195 //    simcall_comm_cancel(p_simdata->waiting_task->simdata->comm);
196 //  }
197
198   simcall_process_kill(process);
199
200   return;
201 }
202
203 /**
204 * \brief Wait for the completion of a #msg_process_t.
205 *
206 * \param process the process to wait for
207 * \param timeout wait until the process is over, or the timeout occurs
208 */
209 msg_error_t MSG_process_join(msg_process_t process, double timeout){
210   simcall_process_join(process, timeout);
211   return MSG_OK;
212 }
213
214 /** \ingroup m_process_management
215  * \brief Migrates a process to another location.
216  *
217  * This function checks whether \a process and \a host are valid pointers
218    and change the value of the #msg_host_t on which \a process is running.
219  */
220 msg_error_t MSG_process_migrate(msg_process_t process, msg_host_t host)
221 {
222   simdata_process_t simdata = simcall_process_get_data(process);
223   simdata->m_host = host;
224   msg_host_t now = simdata->m_host;
225   TRACE_msg_process_change_host(process, now, host);
226   simcall_process_change_host(process, host);
227   return MSG_OK;
228 }
229
230 /** \ingroup m_process_management
231  * \brief Returns the user data of a process.
232  *
233  * This function checks whether \a process is a valid pointer or not
234    and returns the user data associated to this process.
235  */
236 void* MSG_process_get_data(msg_process_t process)
237 {
238   xbt_assert(process != NULL, "Invalid parameter: first parameter must not be NULL!");
239
240   /* get from SIMIX the MSG process data, and then the user data */
241   simdata_process_t simdata = simcall_process_get_data(process);
242   if (simdata)
243     return simdata->data;
244   else
245     return NULL;
246 }
247
248 /** \ingroup m_process_management
249  * \brief Sets the user data of a process.
250  *
251  * This function checks whether \a process is a valid pointer or not
252    and sets the user data associated to this process.
253  */
254 msg_error_t MSG_process_set_data(msg_process_t process, void *data)
255 {
256   xbt_assert(process != NULL, "Invalid parameter: first parameter must not be NULL!");
257
258   simdata_process_t simdata = simcall_process_get_data(process);
259   simdata->data = data;
260
261   return MSG_OK;
262 }
263
264 /** \ingroup m_process_management
265  * \brief Sets a cleanup function to be called to free the userdata of a
266  * process when a process is destroyed.
267  * \param data_cleanup a cleanup function for the userdata of a process,
268  * or NULL to call no function
269  */
270 XBT_PUBLIC(void) MSG_process_set_data_cleanup(void_f_pvoid_t data_cleanup) {
271
272   msg_global->process_data_cleanup = data_cleanup;
273 }
274
275 /** \ingroup m_process_management
276  * \brief Return the location on which a process is running.
277  * \param process a process (NULL means the current one)
278  * \return the msg_host_t corresponding to the location on which \a
279  * process is running.
280  */
281 msg_host_t MSG_process_get_host(msg_process_t process)
282 {
283   simdata_process_t simdata;
284   if (process == NULL) {
285     simdata = SIMIX_process_self_get_data(SIMIX_process_self());
286   }
287   else {
288     simdata = simcall_process_get_data(process);
289   }
290   return simdata ? simdata->m_host : NULL;
291 }
292
293 /** \ingroup m_process_management
294  *
295  * \brief Return a #msg_process_t given its PID.
296  *
297  * This function search in the list of all the created msg_process_t for a msg_process_t
298    whose PID is equal to \a PID. If no host is found, \c NULL is returned.
299    Note that the PID are uniq in the whole simulation, not only on a given host.
300  */
301 msg_process_t MSG_process_from_PID(int PID)
302 {
303   return SIMIX_process_from_PID(PID);
304 }
305
306 /** @brief returns a list of all currently existing processes */
307 xbt_dynar_t MSG_processes_as_dynar(void) {
308   return SIMIX_processes_as_dynar();
309 }
310 /** @brief Return the current number MSG processes.
311  */
312 int MSG_process_get_number(void)
313 {
314   return SIMIX_process_count();
315 }
316
317 /** \ingroup m_process_management
318  * \brief Set the kill time of a process.
319  *
320  * \param process a process
321  * \param kill_time the time when the process is killed.
322  */
323 msg_error_t MSG_process_set_kill_time(msg_process_t process, double kill_time)
324 {
325   simcall_process_set_kill_time(process,kill_time);
326   return MSG_OK;
327 }
328
329 /** \ingroup m_process_management
330  * \brief Returns the process ID of \a process.
331  *
332  * This function checks whether \a process is a valid pointer or not
333    and return its PID (or 0 in case of problem).
334  */
335 int MSG_process_get_PID(msg_process_t process)
336 {
337   /* Do not raise an exception here: this function is called by the logs
338    * and the exceptions, so it would be called back again and again */
339   if (process == NULL) {
340     return 0;
341   }
342   return simcall_process_get_PID(process);
343 }
344
345 /** \ingroup m_process_management
346  * \brief Returns the process ID of the parent of \a process.
347  *
348  * This function checks whether \a process is a valid pointer or not
349    and return its PID. Returns -1 if the process has not been created by
350    any other process.
351  */
352 int MSG_process_get_PPID(msg_process_t process)
353 {
354   xbt_assert(process != NULL, "Invalid parameter: First argument must not be NULL");
355
356   return simcall_process_get_PPID(process);
357 }
358
359 /** \ingroup m_process_management
360  * \brief Return the name of a process.
361  *
362  * This function checks whether \a process is a valid pointer or not
363    and return its name.
364  */
365 const char *MSG_process_get_name(msg_process_t process)
366 {
367   xbt_assert(process != NULL, "Invalid parameter: First argument must not be NULL");
368
369   return simcall_process_get_name(process);
370 }
371
372 /** \ingroup m_process_management
373  * \brief Returns the value of a given process property
374  *
375  * \param process a process
376  * \param name a property name
377  * \return value of a property (or NULL if the property is not set)
378  */
379 const char *MSG_process_get_property_value(msg_process_t process,
380                                            const char *name)
381 {
382   return xbt_dict_get_or_null(MSG_process_get_properties(process), name);
383 }
384
385 /** \ingroup m_process_management
386  * \brief Return the list of properties
387  *
388  * This function returns all the parameters associated with a process
389  */
390 xbt_dict_t MSG_process_get_properties(msg_process_t process)
391 {
392   xbt_assert(process != NULL, "Invalid parameter: First argument must not be NULL");
393
394   return simcall_process_get_properties(process);
395
396 }
397
398 /** \ingroup m_process_management
399  * \brief Return the PID of the current process.
400  *
401  * This function returns the PID of the currently running #msg_process_t.
402  */
403 int MSG_process_self_PID(void)
404 {
405   return MSG_process_get_PID(MSG_process_self());
406 }
407
408 /** \ingroup m_process_management
409  * \brief Return the PPID of the current process.
410  *
411  * This function returns the PID of the parent of the currently
412  * running #msg_process_t.
413  */
414 int MSG_process_self_PPID(void)
415 {
416   return MSG_process_get_PPID(MSG_process_self());
417 }
418
419 /** \ingroup m_process_management
420  * \brief Return the current process.
421  *
422  * This function returns the currently running #msg_process_t.
423  */
424 msg_process_t MSG_process_self(void)
425 {
426   return SIMIX_process_self();
427 }
428
429 /** \ingroup m_process_management
430  * \brief Suspend the process.
431  *
432  * This function suspends the process by suspending the task on which
433  * it was waiting for the completion.
434  */
435 msg_error_t MSG_process_suspend(msg_process_t process)
436 {
437   xbt_assert(process != NULL, "Invalid parameter: First argument must not be NULL");
438
439   TRACE_msg_process_suspend(process);
440   simcall_process_suspend(process);
441   MSG_RETURN(MSG_OK);
442 }
443
444 /** \ingroup m_process_management
445  * \brief Resume a suspended process.
446  *
447  * This function resumes a suspended process by resuming the task on
448  * which it was waiting for the completion.
449  */
450 msg_error_t MSG_process_resume(msg_process_t process)
451 {
452   xbt_assert(process != NULL, "Invalid parameter: First argument must not be NULL");
453
454   TRACE_msg_process_resume(process);
455   simcall_process_resume(process);
456   MSG_RETURN(MSG_OK);
457 }
458
459 /** \ingroup m_process_management
460  * \brief Returns true if the process is suspended .
461  *
462  * This checks whether a process is suspended or not by inspecting the
463  * task on which it was waiting for the completion.
464  */
465 int MSG_process_is_suspended(msg_process_t process)
466 {
467   xbt_assert(process != NULL, "Invalid parameter: First argument must not be NULL");
468   return simcall_process_is_suspended(process);
469 }
470
471 smx_context_t MSG_process_get_smx_ctx(msg_process_t process) {
472   return SIMIX_process_get_context(process);
473 }
474 /**
475  * \ingroup m_process_management
476  * \brief Add a function to the list of "on_exit" functions for the current process.
477  * The on_exit functions are the functions executed when your process is killed.
478  * You should use them to free the data used by your process.
479  */
480 void MSG_process_on_exit(int_f_pvoid_pvoid_t fun, void *data) {
481   simcall_process_on_exit(MSG_process_self(),fun,data);
482 }
483 /**
484  * \ingroup m_process_management
485  * \brief Sets the "auto-restart" flag of the process.
486  * If the flag is set to 1, the process will be automatically restarted when
487  * its host comes back up.
488  */
489 XBT_PUBLIC(void) MSG_process_auto_restart_set(msg_process_t process, int auto_restart) {
490   simcall_process_auto_restart_set(process,auto_restart);
491 }
492 /*
493  * \ingroup m_process_management
494  * \brief Restarts a process from the beginning.
495  */
496 XBT_PUBLIC(msg_process_t) MSG_process_restart(msg_process_t process) {
497   return simcall_process_restart(process);
498 }