Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
trace process creation before request for simix, assuming it won't fail
[simgrid.git] / src / msg / m_process.c
index 6e8f6ba..a7b18f8 100644 (file)
@@ -26,38 +26,36 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(msg_process, msg,
  */
 
 /******************************** Process ************************************/
-void __MSG_process_cleanup(smx_process_t smx_proc)
+void MSG_process_cleanup_from_SIMIX(smx_process_t smx_proc)
 {
-  /* arg is a pointer to a simix process, we can get the msg process with the field data */
-  m_process_t proc = SIMIX_req_process_get_data(smx_proc);
-#ifdef HAVE_TRACING
-  TRACE_msg_process_end(proc);
-#endif
-  xbt_fifo_remove(msg_global->process_list, proc);
-  SIMIX_process_cleanup(smx_proc);
-  if (proc->name) {
-    free(proc->name);
-    proc->name = NULL;
+  simdata_process_t msg_proc;
+
+  if (smx_proc == SIMIX_process_self()) {
+    /* avoid a SIMIX request if this function is called by the process itself */
+    msg_proc = SIMIX_process_self_get_data();
   }
-  if (proc->simdata) {
-    free(proc->simdata);
-    proc->simdata = NULL;
+  else {
+    msg_proc = SIMIX_req_process_get_data(smx_proc);
   }
-  free(proc);
 
-  return;
+#ifdef HAVE_TRACING
+  TRACE_msg_process_end(smx_proc);
+#endif
+
+  xbt_free(msg_proc);
 }
 
 /* This function creates a MSG process. It has the prototype enforced by SIMIX_function_register_process_create */
-void *_MSG_process_create_from_SIMIX(const char *name,
-                                     xbt_main_func_t code, void *data,
-                                     char *hostname, int argc, char **argv,
-                                     xbt_dict_t properties)
+void MSG_process_create_from_SIMIX(smx_process_t* process, const char *name,
+                                    xbt_main_func_t code, void *data,
+                                    const char *hostname, int argc, char **argv,
+                                    xbt_dict_t properties)
 {
   m_host_t host = MSG_get_host_by_name(hostname);
-  return (void *) MSG_process_create_with_environment(name, code, data,
+  m_process_t p = MSG_process_create_with_environment(name, code, data,
                                                       host, argc, argv,
                                                       properties);
+  *((m_process_t*) process) = p;
 }
 
 /** \ingroup m_process_management
@@ -140,78 +138,71 @@ m_process_t MSG_process_create_with_environment(const char *name,
                                                 int argc, char **argv,
                                                 xbt_dict_t properties)
 {
-  simdata_process_t simdata = NULL;
-  m_process_t process = xbt_new0(s_m_process_t, 1);
-  smx_process_t smx_process = NULL;
-  xbt_assert0(((code != NULL) && (host != NULL)), "Invalid parameters");
-
-  smx_process = SIMIX_process_create(name, code, (void *) process, host->name,
-                                     argc, argv, properties);
-  if (!smx_process) {
-    xbt_free(process);
-    return NULL;
-  }
+  xbt_assert(code != NULL && host != NULL, "Invalid parameters");
+  simdata_process_t simdata = xbt_new0(s_simdata_process_t, 1);
+  m_process_t process;
 
-  simdata = xbt_new0(s_simdata_process_t, 1);
-
-  /* Simulator Data */
+  /* Simulator data for MSG */
   simdata->PID = msg_global->PID++;
   simdata->waiting_action = NULL;
   simdata->waiting_task = NULL;
   simdata->m_host = host;
   simdata->argc = argc;
   simdata->argv = argv;
-  simdata->s_process = smx_process;
+  simdata->data = data;
+  simdata->last_errno = MSG_OK;
 
   if (SIMIX_process_self()) {
-    simdata->PPID = MSG_process_get_PID(SIMIX_process_self_get_data());
+    simdata->PPID = MSG_process_get_PID(MSG_process_self());
   } else {
     simdata->PPID = -1;
   }
-  simdata->last_errno = MSG_OK;
 
+#ifdef HAVE_TRACING
+  TRACE_msg_process_create(name, simdata->PID, simdata->m_host);
+#endif
 
-  /* Process structure */
-  process->name = xbt_strdup(name);
-  process->simdata = simdata;
-  process->data = data;
+  /* Let's create the process: SIMIX may decide to start it right now,
+   * even before returning the flow control to us */
+  SIMIX_req_process_create(&process, name, code, simdata, host->name,
+                           argc, argv, properties);
 
-  xbt_fifo_unshift(msg_global->process_list, process);
+  if (!process) {
+    /* Undo everything we have just changed */
+    msg_global->PID--;
+    xbt_free(simdata);
+    return NULL;
+  }
 
   return process;
-
 }
 
-void _MSG_process_kill_from_SIMIX(void *p)
+void MSG_process_kill_from_SIMIX(smx_process_t p)
 {
 #ifdef HAVE_TRACING
-  TRACE_msg_process_kill((m_process_t) p);
+  TRACE_msg_process_kill(p);
 #endif
-  MSG_process_kill((m_process_t) p);
+  MSG_process_kill(p);
 }
 
 /** \ingroup m_process_management
  * \param process poor victim
  *
- * This function simply kills a \a process... scarry isn't it ? :)
+ * This function simply kills a \a process... scary isn't it ? :)
  */
 void MSG_process_kill(m_process_t process)
 {
-  simdata_process_t p_simdata = process->simdata;
-
 #ifdef HAVE_TRACING
   TRACE_msg_process_kill(process);
 #endif
 
-  DEBUG3("Killing %s(%d) on %s",
-         process->name, p_simdata->PID, p_simdata->m_host->name);
-
+  /* FIXME: why do we only cancel communication actions? is this useful? */
+  simdata_process_t p_simdata = SIMIX_req_process_get_data(process);
   if (p_simdata->waiting_task && p_simdata->waiting_task->simdata->comm) {
     SIMIX_req_comm_cancel(p_simdata->waiting_task->simdata->comm);
   }
  
-  xbt_fifo_remove(msg_global->process_list, process);
-  SIMIX_req_process_kill(process->simdata->s_process);
+  SIMIX_req_process_kill(process);
 
   return;
 }
@@ -222,43 +213,45 @@ void MSG_process_kill(m_process_t process)
  * This function checks whether \a process and \a host are valid pointers
    and change the value of the #m_host_t on which \a process is running.
  */
-MSG_error_t MSG_process_change_host(m_host_t host)
+MSG_error_t MSG_process_migrate(m_process_t process, m_host_t host)
 {
-  m_process_t process = MSG_process_self();
-  m_host_t now = process->simdata->m_host;
-  process->simdata->m_host = host;
+  simdata_process_t simdata = SIMIX_req_process_get_data(process);
+  simdata->m_host = host;
 #ifdef HAVE_TRACING
+  m_host_t now = simdata->m_host;
   TRACE_msg_process_change_host(process, now, host);
 #endif
-  SIMIX_req_process_change_host(process->simdata->s_process, now->name,
-                            host->name);
+  SIMIX_req_process_change_host(process, host->simdata->smx_host);
   return MSG_OK;
 }
 
 /** \ingroup m_process_management
- * \brief Return the user data of a #m_process_t.
+ * \brief Returns the user data of a process.
  *
  * This function checks whether \a process is a valid pointer or not
-   and return the user data associated to \a process if it is possible.
+   and returns the user data associated to this process.
  */
-void *MSG_process_get_data(m_process_t process)
+voidMSG_process_get_data(m_process_t process)
 {
-  xbt_assert0((process != NULL), "Invalid parameters");
+  xbt_assert(process != NULL, "Invalid parameter");
 
-  return (process->data);
+  /* get from SIMIX the MSG process data, and then the user data */
+  simdata_process_t simdata = SIMIX_req_process_get_data(process);
+  return simdata->data;
 }
 
 /** \ingroup m_process_management
- * \brief Set the user data of a #m_process_t.
+ * \brief Sets the user data of a process.
  *
  * This function checks whether \a process is a valid pointer or not
-   and set the user data associated to \a process if it is possible.
+   and sets the user data associated to this process.
  */
 MSG_error_t MSG_process_set_data(m_process_t process, void *data)
 {
-  xbt_assert0((process != NULL), "Invalid parameters");
+  xbt_assert(process != NULL, "Invalid parameter");
 
-  process->data = data;
+  simdata_process_t simdata = SIMIX_req_process_get_data(process);
+  simdata->data = data;
 
   return MSG_OK;
 }
@@ -272,10 +265,10 @@ MSG_error_t MSG_process_set_data(m_process_t process, void *data)
  */
 m_host_t MSG_process_get_host(m_process_t process)
 {
-  xbt_assert0(((process != NULL)
-               && (process->simdata)), "Invalid parameters");
+  xbt_assert(process != NULL, "Invalid parameter");
 
-  return (((simdata_process_t) process->simdata)->m_host);
+  simdata_process_t simdata = SIMIX_req_process_get_data(process);
+  return simdata->m_host;
 }
 
 /** \ingroup m_process_management
@@ -288,14 +281,9 @@ m_host_t MSG_process_get_host(m_process_t process)
  */
 m_process_t MSG_process_from_PID(int PID)
 {
-  xbt_fifo_item_t i = NULL;
-  m_process_t process = NULL;
-
-  xbt_fifo_foreach(msg_global->process_list, i, process, m_process_t) {
-    if (MSG_process_get_PID(process) == PID)
-      return process;
-  }
-  return NULL;
+  /* FIXME: reimplement this function using SIMIX when we have a good PID.
+   * In the meantime, I guess nobody uses it so it should not break anything. */
+  THROW_UNIMPLEMENTED;
 }
 
 /** \ingroup m_process_management
@@ -306,12 +294,15 @@ m_process_t MSG_process_from_PID(int PID)
  */
 int MSG_process_get_PID(m_process_t process)
 {
-  /* Do not raise an exception here: this function is used in the logs,
-     and it will be called back by the exception handling stuff */
-  if (process == NULL || process->simdata == NULL)
+  /* Do not raise an exception here: this function is called by the logs
+   * and the exceptions, so it would be called back again and again */
+  if (process == NULL) {
     return 0;
+  }
+
+  simdata_process_t simdata = SIMIX_req_process_get_data(process);
 
-  return (((simdata_process_t) process->simdata)->PID);
+  return simdata != NULL ? simdata->PID : 0;
 }
 
 /** \ingroup m_process_management
@@ -323,10 +314,11 @@ int MSG_process_get_PID(m_process_t process)
  */
 int MSG_process_get_PPID(m_process_t process)
 {
-  xbt_assert0(((process != NULL)
-               && (process->simdata)), "Invalid parameters");
+  xbt_assert(process != NULL, "Invalid parameter");
 
-  return (((simdata_process_t) process->simdata)->PPID);
+  simdata_process_t simdata = SIMIX_req_process_get_data(process);
+
+  return simdata->PPID;
 }
 
 /** \ingroup m_process_management
@@ -337,11 +329,9 @@ int MSG_process_get_PPID(m_process_t process)
  */
 const char *MSG_process_get_name(m_process_t process)
 {
-  xbt_assert0(process, "Invalid parameter: process is NULL");
-  xbt_assert0(process->simdata,
-              "Invalid parameter: process->simdata is NULL");
+  xbt_assert(process, "Invalid parameter");
 
-  return (process->name);
+  return SIMIX_req_process_get_name(process);
 }
 
 /** \ingroup m_process_management
@@ -364,10 +354,9 @@ const char *MSG_process_get_property_value(m_process_t process,
  */
 xbt_dict_t MSG_process_get_properties(m_process_t process)
 {
-  xbt_assert0((process != NULL), "Invalid parameters");
+  xbt_assert(process != NULL, "Invalid parameter");
 
-  return (SIMIX_req_process_get_properties
-          (((simdata_process_t) process->simdata)->s_process));
+  return SIMIX_req_process_get_properties(process);
 
 }
 
@@ -378,7 +367,7 @@ xbt_dict_t MSG_process_get_properties(m_process_t process)
  */
 int MSG_process_self_PID(void)
 {
-  return (MSG_process_get_PID(MSG_process_self()));
+  return MSG_process_get_PID(MSG_process_self());
 }
 
 /** \ingroup m_process_management
@@ -389,19 +378,17 @@ int MSG_process_self_PID(void)
  */
 int MSG_process_self_PPID(void)
 {
-  return (MSG_process_get_PPID(MSG_process_self()));
+  return MSG_process_get_PPID(MSG_process_self());
 }
 
 /** \ingroup m_process_management
- * \brief Return the current agent.
+ * \brief Return the current process.
  *
  * This function returns the currently running #m_process_t.
  */
 m_process_t MSG_process_self(void)
 {
-  /* we cannot make a SIMIX request here because this may create an exception or a logging
-     event, and both mechanisms call MSG_process_self() again (via xbt_getpid()) */
-  return (m_process_t) SIMIX_process_self_get_data();
+  return SIMIX_process_self();
 }
 
 /** \ingroup m_process_management
@@ -412,15 +399,14 @@ m_process_t MSG_process_self(void)
  */
 MSG_error_t MSG_process_suspend(m_process_t process)
 {
-  xbt_assert0(((process != NULL)
-               && (process->simdata)), "Invalid parameters");
+  xbt_assert(process != NULL, "Invalid parameter");
   CHECK_HOST();
 
 #ifdef HAVE_TRACING
   TRACE_msg_process_suspend(process);
 #endif
 
-  SIMIX_req_process_suspend(process->simdata->s_process);
+  SIMIX_req_process_suspend(process);
   MSG_RETURN(MSG_OK);
 }
 
@@ -432,16 +418,14 @@ MSG_error_t MSG_process_suspend(m_process_t process)
  */
 MSG_error_t MSG_process_resume(m_process_t process)
 {
-
-  xbt_assert0(((process != NULL)
-               && (process->simdata)), "Invalid parameters");
+  xbt_assert(process != NULL, "Invalid parameter");
   CHECK_HOST();
 
 #ifdef HAVE_TRACING
   TRACE_msg_process_resume(process);
 #endif
 
-  SIMIX_req_process_resume(process->simdata->s_process);
+  SIMIX_req_process_resume(process);
   MSG_RETURN(MSG_OK);
 }
 
@@ -453,12 +437,10 @@ MSG_error_t MSG_process_resume(m_process_t process)
  */
 int MSG_process_is_suspended(m_process_t process)
 {
-  xbt_assert0(((process != NULL)
-               && (process->simdata)), "Invalid parameters");
-  return SIMIX_req_process_is_suspended(process->simdata->s_process);
+  xbt_assert(process != NULL, "Invalid parameter");
+  return SIMIX_req_process_is_suspended(process);
 }
 
-
 smx_context_t MSG_process_get_smx_ctx(m_process_t process) {
-  return SIMIX_process_get_context(process->simdata->s_process);
+  return SIMIX_process_get_context(process);
 }