src/msg/msg_process.cpp

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