Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[simdag/dot,simdag/dax] move the test for acyclic graph to the daxloader
[simgrid.git] / src / simix / smx_action.c
index a61c923..5912913 100644 (file)
@@ -1,7 +1,5 @@
-/*     $Id$     */
-
-/* Copyright (c) 2007 Arnaud Legrand, Bruno Donnassolo.
-   All rights reserved.                                          */
+/* Copyright (c) 2007, 2009, 2010. The SimGrid Team.
+ * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
@@ -25,36 +23,40 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_action, simix,
  *     \return A new SIMIX action
  * */
 smx_action_t SIMIX_action_communicate(smx_host_t sender,
-                                      smx_host_t receiver, const char *name,
-                                      double size, double rate)
+                                      smx_host_t receiver,
+                                      const char *name, double size,
+                                      double rate)
 {
   smx_action_t act;
 
   /* check if the host is active */
-  if (surf_workstation_model->extension.workstation.get_state(sender->host) !=
-      SURF_RESOURCE_ON) {
-    THROW1(network_error, 0, "Host %s failed, you cannot call this function",
-           sender->name);
+  if (surf_workstation_model->extension.
+      workstation.get_state(sender->host) != SURF_RESOURCE_ON) {
+    THROW1(network_error, 0,
+           "Host %s failed, you cannot call this function", sender->name);
   }
   if (surf_workstation_model->extension.workstation.
       get_state(receiver->host) != SURF_RESOURCE_ON) {
-    THROW1(network_error, 0, "Host %s failed, you cannot call this function",
+    THROW1(network_error, 0,
+           "Host %s failed, you cannot call this function",
            receiver->name);
   }
 
   /* alloc structures */
   act = xbt_new0(s_smx_action_t, 1);
   act->cond_list = xbt_fifo_new();
+  act->sem_list = xbt_fifo_new();
 
   /* initialize them */
   act->name = xbt_strdup(name);
   act->source = sender;
-
+#ifdef HAVE_TRACING
+  act->category = NULL;
+#endif
 
   act->surf_action =
-    surf_workstation_model->extension.workstation.communicate(sender->host,
-                                                              receiver->host,
-                                                              size, rate);
+      surf_workstation_model->extension.workstation.
+      communicate(sender->host, receiver->host, size, rate);
   surf_workstation_model->action_data_set(act->surf_action, act);
 
   DEBUG1("Create communicate action %p", act);
@@ -75,8 +77,8 @@ smx_action_t SIMIX_action_execute(smx_host_t host, const char *name,
   smx_action_t act;
 
   /* check if the host is active */
-  if (surf_workstation_model->extension.workstation.get_state(host->host) !=
-      SURF_RESOURCE_ON) {
+  if (surf_workstation_model->extension.
+      workstation.get_state(host->host) != SURF_RESOURCE_ON) {
     THROW1(host_error, 0, "Host %s failed, you cannot call this function",
            host->name);
   }
@@ -84,18 +86,27 @@ smx_action_t SIMIX_action_execute(smx_host_t host, const char *name,
   /* alloc structures */
   act = xbt_new0(s_smx_action_t, 1);
   act->cond_list = xbt_fifo_new();
+  act->sem_list = xbt_fifo_new();
 
   /* initialize them */
   act->source = host;
   act->name = xbt_strdup(name);
+#ifdef HAVE_TRACING
+  act->category = NULL;
+#endif
 
-  /* set communication */
+  /* set execute */
   act->surf_action =
-    surf_workstation_model->extension.workstation.execute(host->host, amount);
+      surf_workstation_model->extension.workstation.execute(host->host,
+                                                            amount);
 
   surf_workstation_model->action_data_set(act->surf_action, act);
 
   DEBUG1("Create execute action %p", act);
+#ifdef HAVE_TRACING
+  TRACE_smx_action_execute(act);
+  TRACE_surf_action(act->surf_action, act->category);
+#endif
   return act;
 }
 
@@ -115,8 +126,8 @@ smx_action_t SIMIX_action_sleep(smx_host_t host, double duration)
   smx_action_t act;
 
   /* check if the host is active */
-  if (surf_workstation_model->extension.workstation.get_state(host->host) !=
-      SURF_RESOURCE_ON) {
+  if (surf_workstation_model->extension.
+      workstation.get_state(host->host) != SURF_RESOURCE_ON) {
     THROW1(host_error, 0, "Host %s failed, you cannot call this function",
            host->name);
   }
@@ -124,13 +135,18 @@ smx_action_t SIMIX_action_sleep(smx_host_t host, double duration)
   /* alloc structures */
   act = xbt_new0(s_smx_action_t, 1);
   act->cond_list = xbt_fifo_new();
+  act->sem_list = xbt_fifo_new();
 
   /* initialize them */
   act->source = host;
   act->name = xbt_strdup(name);
+#ifdef HAVE_TRACING
+  act->category = NULL;
+#endif
 
   act->surf_action =
-    surf_workstation_model->extension.workstation.sleep(host->host, duration);
+      surf_workstation_model->extension.workstation.sleep(host->host,
+                                                          duration);
 
   surf_workstation_model->action_data_set(act->surf_action, act);
 
@@ -144,7 +160,7 @@ smx_action_t SIMIX_action_sleep(smx_host_t host, double duration)
  *     This functions stops the execution of an action. It calls a surf functions.
  *     \param action The SIMIX action
  */
-void SIMIX_action_cancel(smx_action_t action)
+XBT_INLINE void SIMIX_action_cancel(smx_action_t action)
 {
   xbt_assert0((action != NULL), "Invalid parameter");
 
@@ -162,7 +178,8 @@ void SIMIX_action_cancel(smx_action_t action)
  *     \param action The SIMIX action
  *     \param priority The new priority
  */
-void SIMIX_action_set_priority(smx_action_t action, double priority)
+XBT_INLINE void SIMIX_action_set_priority(smx_action_t action,
+                                          double priority)
 {
   xbt_assert0((action != NULL), "Invalid parameter");
 
@@ -170,6 +187,36 @@ void SIMIX_action_set_priority(smx_action_t action, double priority)
   return;
 }
 
+/**
+ *     \brief Resumes the execution of an action.
+ *
+ *  This functions restarts the execution of an action. It just calls the right SURF function.
+ *  \param action The SIMIX action
+ *  \param priority The new priority
+ */
+XBT_INLINE void SIMIX_action_resume(smx_action_t action)
+{
+  xbt_assert0((action != NULL), "Invalid parameter");
+
+  surf_workstation_model->resume(action->surf_action);
+  return;
+}
+
+/**
+ *  \brief Suspends the execution of an action.
+ *
+ *  This functions suspends the execution of an action. It just calls the right SURF function.
+ *  \param action The SIMIX action
+ *  \param priority The new priority
+ */
+XBT_INLINE void SIMIX_action_suspend(smx_action_t action)
+{
+  xbt_assert0((action != NULL), "Invalid parameter");
+
+  surf_workstation_model->suspend(action->surf_action);
+  return;
+}
+
 /**
  *     \brief Destroys an action
  *
@@ -189,15 +236,22 @@ int SIMIX_action_destroy(smx_action_t action)
               "Conditional list not empty %d. There is a problem. Cannot destroy it now!",
               xbt_fifo_size(action->cond_list));
 
+  xbt_assert1((xbt_fifo_size(action->sem_list) == 0),
+              "Semaphore list not empty %d. There is a problem. Cannot destroy it now!",
+              xbt_fifo_size(action->sem_list));
+
   DEBUG1("Destroy action %p", action);
   if (action->name)
     xbt_free(action->name);
 
   xbt_fifo_free(action->cond_list);
+  xbt_fifo_free(action->sem_list);
 
   if (action->surf_action)
     action->surf_action->model_type->action_unref(action->surf_action);
-
+#ifdef HAVE_TRACING
+  TRACE_smx_action_destroy(action);
+#endif
   xbt_free(action);
   return 1;
 }
@@ -207,7 +261,7 @@ int SIMIX_action_destroy(smx_action_t action)
  *
  *     \param action The SIMIX action
  */
-void SIMIX_action_use(smx_action_t action)
+XBT_INLINE void SIMIX_action_use(smx_action_t action)
 {
   XBT_IN3("(%p:'%s',%d)", action, action->name, action->refcount);
   xbt_assert0((action != NULL), "Invalid parameter");
@@ -222,7 +276,7 @@ void SIMIX_action_use(smx_action_t action)
  *
  *     \param action The SIMIX action
  */
-void SIMIX_action_release(smx_action_t action)
+XBT_INLINE void SIMIX_action_release(smx_action_t action)
 {
   xbt_assert0((action != NULL), "Invalid parameter");
 
@@ -232,77 +286,113 @@ void SIMIX_action_release(smx_action_t action)
 }
 
 /**
- *     \brief Set an action to a condition
+ *  \brief Set an action to a condition
  *
- *     Creates the "link" between an action and a condition. You have to call this function when you create an action and want to wait its ending.
- *     \param action SIMIX action
- *     \param cond SIMIX cond
+ *  Creates the "link" between an action and a condition. You have to call this function when you create an action and want to wait its ending.
+ *  \param action SIMIX action
+ *  \param cond SIMIX cond
  */
-void SIMIX_register_action_to_condition(smx_action_t action, smx_cond_t cond)
+void SIMIX_register_action_to_condition(smx_action_t action,
+                                        smx_cond_t cond)
 {
   xbt_assert0((action != NULL) && (cond != NULL), "Invalid parameters");
 
   DEBUG2("Register action %p to cond %p", action, cond);
-  if(XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
+  if (XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
     __SIMIX_cond_display_actions(cond);
 
   xbt_fifo_push(cond->actions, action);
 
-  if(XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
+  if (XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
     __SIMIX_cond_display_actions(cond);
 
   DEBUG2("Register condition %p to action %p", cond, action);
 
-  if(XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
+  if (XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
     __SIMIX_action_display_conditions(action);
 
   xbt_fifo_push(action->cond_list, cond);
 
-  if(XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
+  if (XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
     __SIMIX_action_display_conditions(action);
 }
 
 /**
- *     \brief Unset an action to a condition.
+ *  \brief Unset an action to a condition.
  *
- *     Destroys the "links" from the condition to this action.
- *     \param action SIMIX action
- *     \param cond SIMIX cond
+ *  Destroys the "links" from the condition to this action.
+ *  \param action SIMIX action
+ *  \param cond SIMIX cond
  */
 void SIMIX_unregister_action_to_condition(smx_action_t action,
                                           smx_cond_t cond)
 {
   xbt_assert0((action != NULL) && (cond != NULL), "Invalid parameters");
 
-  if(XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
+  if (XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
     __SIMIX_cond_display_actions(cond);
 
   xbt_fifo_remove_all(cond->actions, action);
 
-  if(XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
+  if (XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
     __SIMIX_cond_display_actions(cond);
 
-  if(XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
+  if (XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
     __SIMIX_action_display_conditions(action);
-     
+
   xbt_fifo_remove_all(action->cond_list, cond);
 
-  if(XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
+  if (XBT_LOG_ISENABLED(simix_action, xbt_log_priority_debug))
     __SIMIX_action_display_conditions(action);
 }
 
+/**
+ *  \brief Link an action to a semaphore
+ *
+ *  When the action terminates, the semaphore gets signaled automatically.
+ */
+XBT_INLINE void SIMIX_register_action_to_semaphore(smx_action_t action,
+                                                   smx_sem_t sem)
+{
+
+  DEBUG2("Register action %p to semaphore %p (and otherwise)", action,
+         sem);
+  xbt_fifo_push(sem->actions, action);
+  xbt_fifo_push(action->sem_list, sem);
+}
+
+/**
+ *  \brief Unset an action to a semaphore.
+ *
+ *  Destroys the "links" from the semaphore to this action.
+ */
+XBT_INLINE void SIMIX_unregister_action_to_semaphore(smx_action_t action,
+                                                     smx_sem_t sem)
+{
+  xbt_fifo_remove_all(sem->actions, action);
+  xbt_fifo_remove_all(action->sem_list, sem);
+}
+
 /**
  *     \brief Return how much remais to be done in the action.
  *
  *     \param action The SIMIX action
  *     \return Remains cost
  */
-double SIMIX_action_get_remains(smx_action_t action)
+XBT_INLINE double SIMIX_action_get_remains(smx_action_t action)
 {
   xbt_assert0((action != NULL), "Invalid parameter");
   return surf_workstation_model->get_remains(action->surf_action);
 }
 
+#ifdef HAVE_LATENCY_BOUND_TRACKING
+XBT_INLINE int SIMIX_action_is_latency_bounded(smx_action_t action)
+{
+  xbt_assert0((action != NULL), "Invalid parameter");
+  return surf_workstation_model->get_latency_limited(action->surf_action);
+}
+#endif
+
 smx_action_t SIMIX_action_parallel_execute(char *name, int host_nb,
                                            smx_host_t * host_list,
                                            double *computation_amount,
@@ -316,9 +406,13 @@ smx_action_t SIMIX_action_parallel_execute(char *name, int host_nb,
   /* alloc structures */
   act = xbt_new0(s_smx_action_t, 1);
   act->cond_list = xbt_fifo_new();
+  act->sem_list = xbt_fifo_new();
 
   /* initialize them */
   act->name = xbt_strdup(name);
+#ifdef HAVE_TRACING
+  act->category = NULL;
+#endif
 
   /* set action */
 
@@ -327,16 +421,17 @@ smx_action_t SIMIX_action_parallel_execute(char *name, int host_nb,
     workstation_list[i] = host_list[i]->host;
 
   act->surf_action =
-    surf_workstation_model->extension.workstation.
-    execute_parallel_task(host_nb, workstation_list, computation_amount,
-                          communication_amount, amount, rate);
+      surf_workstation_model->extension.workstation.
+      execute_parallel_task(host_nb, workstation_list, computation_amount,
+                            communication_amount, amount, rate);
 
   surf_workstation_model->action_data_set(act->surf_action, act);
 
   return act;
 }
 
-e_surf_action_state_t SIMIX_action_get_state(smx_action_t action)
+XBT_INLINE e_surf_action_state_t SIMIX_action_get_state(smx_action_t
+                                                        action)
 {
   xbt_assert0((action != NULL), "Invalid parameter");
   return surf_workstation_model->action_state_get(action->surf_action);
@@ -349,7 +444,7 @@ void __SIMIX_cond_display_actions(smx_cond_t cond)
 
   DEBUG1("Actions for condition %p", cond);
   xbt_fifo_foreach(cond->actions, item, action, smx_action_t)
-    DEBUG2("\t %p [%s]", action, action->name);
+      DEBUG2("\t %p [%s]", action, action->name);
 }
 
 void __SIMIX_action_display_conditions(smx_action_t action)
@@ -359,26 +454,31 @@ void __SIMIX_action_display_conditions(smx_action_t action)
 
   DEBUG1("Conditions for action %p", action);
   xbt_fifo_foreach(action->cond_list, item, cond, smx_cond_t)
-    DEBUG1("\t %p", cond);
+      DEBUG1("\t %p", cond);
 }
 
-char *SIMIX_action_get_name(smx_action_t action)
+XBT_INLINE char *SIMIX_action_get_name(smx_action_t action)
 {
   xbt_assert0((action != NULL), "Invalid parameter");
   return action->name;
 }
+
 /** @brief Change the name of the action. Warning, the string you provide is not strdup()ed */
-void SIMIX_action_set_name(smx_action_t action,char *name)
+XBT_INLINE void SIMIX_action_set_name(smx_action_t action, char *name)
 {
+  xbt_free(action->name);
   action->name = name;
 }
 
+/** @brief broadcast any condition and release any semaphore including this action */
 void SIMIX_action_signal_all(smx_action_t action)
 {
   smx_cond_t cond;
+  smx_sem_t sem;
 
   while ((cond = xbt_fifo_pop(action->cond_list)))
     SIMIX_cond_broadcast(cond);
 
-  return;
+  while ((sem = xbt_fifo_pop(action->sem_list)))
+    SIMIX_sem_release(sem);
 }