X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3a7bc2b51fce530a2664d62489a106ba66bb1227..a4aa7f5908948df11fbbc0b6fdf343773c568272:/src/simix/smx_process.c diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c index 9d5949a76b..0615265848 100644 --- a/src/simix/smx_process.c +++ b/src/simix/smx_process.c @@ -1,4 +1,4 @@ -/* $Id$ */ +//* $Id$ */ /* Copyright (c) 2002,2003,2004 Arnaud Legrand. All rights reserved. */ @@ -8,183 +8,207 @@ #include "private.h" #include "xbt/sysdep.h" #include "xbt/log.h" +#include "xbt/dict.h" +#include "msg/mailbox.h" + XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_process, simix, - "Logging specific to SIMIX (process)"); -/** \defgroup m_process_management Management Functions of Agents - * \brief This section describes the agent structure of MSG - * (#m_process_t) and the functions for managing it. - * \htmlonly \endhtmlonly - * - * We need to simulate many independent scheduling decisions, so - * the concept of process is at the heart of the - * simulator. A process may be defined as a code, with - * some private data, executing in a location. - * \see m_process_t - */ + "Logging specific to SIMIX (process)"); /******************************** Process ************************************/ -/** \ingroup m_process_management - * \brief Creates and runs a new #m_process_t. +/** + * \brief Creates and runs a new #smx_process_t. * - * Does exactly the same as #MSG_process_create_with_arguments but without - providing standard arguments (\a argc, \a argv, \a start_time, \a kill_time). - * \sa MSG_process_create_with_arguments + * Does exactly the same as #SIMIX_process_create_with_arguments but without + providing standard arguments (\a argc, \a argv). + * \see SIMIX_process_create_with_arguments */ -smx_process_t SIMIX_process_create(const char *name, - smx_process_code_t code, void *data, - const char * hostname, void * clean_process_function) -{ - return SIMIX_process_create_with_arguments(name, code, data, hostname, -1, NULL, clean_process_function); -} void SIMIX_process_cleanup(void *arg) { - xbt_swag_remove(arg, simix_global->process_list); xbt_swag_remove(arg, simix_global->process_to_run); - xbt_swag_remove(arg, ((smx_process_t) arg)->simdata->host->simdata->process_list); - free(((smx_process_t) arg)->name); - ((smx_process_t) arg)->name = NULL; - free(((smx_process_t) arg)->simdata); - ((smx_process_t) arg)->simdata = NULL; - free(arg); + xbt_swag_remove(arg, simix_global->process_list); + xbt_swag_remove(arg, ((smx_process_t)arg)->smx_host->process_list); + xbt_swag_insert(arg, simix_global->process_to_destroy); } -/** \ingroup m_process_management - * \brief Creates and runs a new #m_process_t. - - * A constructor for #m_process_t taking four arguments and returning the - * corresponding object. The structure (and the corresponding thread) is - * created, and put in the list of ready process. - * \param name a name for the object. It is for user-level information - and can be NULL. - * \param code is a function describing the behavior of the agent. It - should then only use functions described in \ref - m_process_management (to create a new #m_process_t for example), - in \ref m_host_management (only the read-only functions i.e. whose - name contains the word get), in \ref m_task_management (to create - or destroy some #m_task_t for example) and in \ref - msg_gos_functions (to handle file transfers and task processing). - * \param data a pointer to any data one may want to attach to the new - object. It is for user-level information and can be NULL. It can - be retrieved with the function \ref MSG_process_get_data. + +/** + * \brief Creates and runs the maestro process + * + */ + +void __SIMIX_create_maestro_process() +{ + smx_process_t process = NULL; + process = xbt_new0(s_smx_process_t, 1); + + /* Process data */ + process->name = (char *)"maestro"; + + /*Create the right context type (FIXME: check the return value for success)*/ + SIMIX_context_create_maestro(&process); + + /* Set it as the maestro process */ + simix_global->maestro_process = process; + simix_global->current_process = process; + + return; +} + +/** + * \brief Creates and runs a new #smx_process_t. + * + * A constructor for #m_process_t taking four arguments and returning the corresponding object. The structure (and the corresponding thread) is created, and put in the list of ready process. + * + * \param name a name for the object. It is for user-level information and can be NULL. +* \param data a pointer to any data one may want to attach to the new object. It is for user-level information and can be NULL. It can be retrieved with the function \ref MSG_process_get_data. * \param host the location where the new agent is executed. * \param argc first argument passed to \a code * \param argv second argument passed to \a code - * \see m_process_t + * \param clean_process_function The cleanup function of user process. It will be called when the process finish. This function have to call the SIMIX_process_cleanup. + * \see smx_process_t * \return The new corresponding object. */ -smx_process_t SIMIX_process_create_with_arguments(const char *name, - smx_process_code_t code, void *data, - const char * hostname, int argc, char **argv, void * clean_process_function) +smx_process_t SIMIX_process_create(const char *name, + xbt_main_func_t code, void *data, + const char *hostname, int argc, + char **argv, xbt_dict_t properties) { - smx_simdata_process_t simdata = xbt_new0(s_smx_simdata_process_t,1); - smx_process_t process = xbt_new0(s_smx_process_t,1); + smx_process_t process = NULL; smx_process_t self = NULL; - smx_host_t host = SIMIX_host_get_by_name(hostname); + smx_host_t host = SIMIX_host_get_by_name(hostname); + + DEBUG2("Start process %s on host %s", name, hostname); + + if (!SIMIX_host_get_state(host)) { + WARN2("Cannot launch process '%s' on failed host '%s'", name, hostname); + return NULL; + } + process = xbt_new0(s_smx_process_t, 1); xbt_assert0(((code != NULL) && (host != NULL)), "Invalid parameters"); - /* Simulator Data */ - - simdata->host = host; - simdata->argc = argc; - simdata->argv = argv; - if (clean_process_function) { - simdata->context = xbt_context_new(code, NULL, NULL, - clean_process_function, process, - simdata->argc, simdata->argv); - } - else { - simdata->context = xbt_context_new(code, NULL, NULL, - SIMIX_process_cleanup, process, - simdata->argc, simdata->argv); - } - //simdata->last_errno=SIMIX_OK; - - - /* Process structure */ + + /* Process data */ process->name = xbt_strdup(name); - process->simdata = simdata; + process->smx_host = host; + process->argc = argc; + process->argv = argv; + process->mutex = NULL; + process->cond = NULL; + + /*Create the right context type (FIXME: check the return value for success)*/ + SIMIX_context_new(&process, code); + process->data = data; + process->cleanup_func = simix_global->cleanup_process_function; + process->cleanup_arg = process; - xbt_swag_insert(process, host->simdata->process_list); + /* Add properties */ + process->properties = properties; - /* *************** FIX du current_process !!! *************** */ + /* Add the process to it's host process list */ + xbt_swag_insert(process, host->process_list); + + /* fix current_process, about which SIMIX_context_start mocks around */ self = simix_global->current_process; - xbt_context_start(process->simdata->context); + SIMIX_context_start(process); simix_global->current_process = self; - xbt_swag_insert(process,simix_global->process_list); - DEBUG2("Inserting %s(%s) in the to_run list",process->name, - host->name); - xbt_swag_insert(process,simix_global->process_to_run); + /* Now insert it in the global process list and in the process to run list */ + xbt_swag_insert(process, simix_global->process_list); + DEBUG2("Inserting %s(%s) in the to_run list", process->name, host->name); + xbt_swag_insert(process, simix_global->process_to_run); return process; } +/** + * \brief Creates and runs a new #smx_process_t hosting a JAVA thread + * + * Warning: this should only be used in libsimgrid4java, since it create + * a context with no code, which leads to segfaults in plain libsimgrid + */ +void SIMIX_jprocess_create(const char *name, smx_host_t host, + void *data, + void *jprocess, void *jenv, smx_process_t * res) +{ + smx_process_t process = xbt_new0(s_smx_process_t, 1); + smx_process_t self = NULL; + /* HACK: We need this trick because when we xbt_context_new() do + syncronization stuff, the s_process field in the m_process needs + to have a valid value, and we call xbt_context_new() before + returning, of course, ie, before providing a right value to the + caller (Java_simgrid_msg_Msg_processCreate) have time to store it + in place. This way, we initialize the m_process->simdata->s_process + field ourself ASAP. + All this would be much simpler if the synchronization stuff would be done + in the JAVA world, I think. + */ + *res = process; -/** \ingroup m_process_management + DEBUG5("jprocess_create(name=%s,host=%p,data=%p,jproc=%p,jenv=%p)", + name, host, data, jprocess, jenv); + xbt_assert0(host, "Invalid parameters"); + + /* Process data */ + process->name = xbt_strdup(name); + process->smx_host = host; + process->argc = 0; + process->argv = NULL; + process->mutex = NULL; + process->cond = NULL; + SIMIX_context_new(&process, jprocess); + process->data = data; + + /* Add the process to it's host process list */ + xbt_swag_insert(&process, host->process_list); + + /* fix current_process, about which xbt_context_start mocks around */ + self = simix_global->current_process; + SIMIX_context_start(process); + simix_global->current_process = self; + + /* Now insert it in the global process list and in the process to run list */ + xbt_swag_insert(process, simix_global->process_list); + DEBUG2("Inserting %s(%s) in the to_run list", process->name, host->name); + xbt_swag_insert(process, simix_global->process_to_run); +} + +/** \brief Kill a SIMIX process + * + * This function simply kills a \a process... scarry isn't it ? :). * \param process poor victim * - * This function simply kills a \a process... scarry isn't it ? :) */ void SIMIX_process_kill(smx_process_t process) { - //int i; - smx_simdata_process_t p_simdata = process->simdata; - //simdata_host_t h_simdata= p_simdata->host->simdata; - //int _cursor; - //smx_process_t proc = NULL; + DEBUG2("Killing process %s on %s", process->name, + process->smx_host->name); - DEBUG2("Killing %s on %s",process->name, p_simdata->host->name); - - if (p_simdata->mutex) { - xbt_swag_remove(process,p_simdata->mutex->sleeping); - } - if (p_simdata->cond) { - xbt_swag_remove(process,p_simdata->cond->sleeping); - } - /* - - if(p_simdata->waiting_task) { - xbt_dynar_foreach(p_simdata->waiting_task->simdata->sleeping,_cursor,proc) { - if(proc==process) - xbt_dynar_remove_at(p_simdata->waiting_task->simdata->sleeping,_cursor,&proc); - } - if(p_simdata->waiting_task->simdata->compute) - surf_workstation_resource->common_public-> - action_free(p_simdata->waiting_task->simdata->compute); - else if (p_simdata->waiting_task->simdata->comm) { - surf_workstation_resource->common_public-> - action_change_state(p_simdata->waiting_task->simdata->comm,SURF_ACTION_FAILED); - surf_workstation_resource->common_public-> - action_free(p_simdata->waiting_task->simdata->comm); - } else { - xbt_die("UNKNOWN STATUS. Please report this bug."); - } - } + /* Cleanup if we were waiting for something */ + if (process->mutex) + xbt_swag_remove(process, process->mutex->sleeping); - if ((i==msg_global->max_channel) && (process!=MSG_process_self()) && - (!p_simdata->waiting_task)) { - xbt_die("UNKNOWN STATUS. Please report this bug."); - } -*/ - xbt_swag_remove(process,simix_global->process_to_run); - xbt_swag_remove(process,simix_global->process_list); - xbt_context_kill(process->simdata->context); + if (process->cond) + xbt_swag_remove(process, process->cond->sleeping); + + DEBUG2("%p here! killing %p", simix_global->current_process, process); + SIMIX_context_kill(process); - if(process==SIMIX_process_self()) { + if (process == SIMIX_process_self()) { /* I just killed myself */ - xbt_context_yield(); + SIMIX_context_yield(); } } -/** \ingroup m_process_management - * \brief Return the user data of a #m_process_t. +/** + * \brief Return the user data of a #smx_process_t. * - * This functions checks whether \a process is a valid pointer or not - and return the user data associated to \a process if it is possible. + * This functions checks whether \a process is a valid pointer or not and return the user data associated to \a process if it is possible. + * \param process SIMIX process + * \return A void pointer to the user data */ void *SIMIX_process_get_data(smx_process_t process) { @@ -193,170 +217,205 @@ void *SIMIX_process_get_data(smx_process_t process) return (process->data); } -/** \ingroup m_process_management +/** * \brief Set the user data of a #m_process_t. * - * This functions checks whether \a process is a valid pointer or not - and set the user data associated to \a process if it is possible. + * This functions checks whether \a process is a valid pointer or not and set the user data associated to \a process if it is possible. + * \param process SIMIX process + * \param data User data */ -void SIMIX_process_set_data(smx_process_t process,void *data) +void SIMIX_process_set_data(smx_process_t process, void *data) { xbt_assert0((process != NULL), "Invalid parameters"); - xbt_assert0((process->data == NULL), "Data already set"); - + process->data = data; - - return ; + return; } -/** \ingroup m_process_management +/** * \brief Return the location on which an agent is running. * - * This functions checks whether \a process is a valid pointer or not - and return the m_host_t corresponding to the location on which \a - process is running. + * This functions checks whether \a process is a valid pointer or not and return the m_host_t corresponding to the location on which \a process is running. + * \param process SIMIX process + * \return SIMIX host */ smx_host_t SIMIX_process_get_host(smx_process_t process) { - xbt_assert0(((process != NULL) && (process->simdata)), "Invalid parameters"); - - return (process->simdata->host); + xbt_assert0((process != NULL), "Invalid parameters"); + return (process->smx_host); } -/** \ingroup m_process_management +/** * \brief Return the name of an agent. * - * This functions checks whether \a process is a valid pointer or not - and return its name. + * This functions checks whether \a process is a valid pointer or not and return its name. + * \param process SIMIX process + * \return The process name */ const char *SIMIX_process_get_name(smx_process_t process) { - xbt_assert0(((process != NULL) && (process->simdata)), "Invalid parameters"); - + xbt_assert0((process != NULL), "Invalid parameters"); return (process->name); } +/** + * \brief Changes the name of an agent. + * + * This functions checks whether \a process is a valid pointer or not and return its name. + * \param process SIMIX process + * \param name The new process name + */ +void SIMIX_process_set_name(smx_process_t process, char *name) +{ + xbt_assert0((process != NULL), "Invalid parameters"); + process->name = name; +} + /** \ingroup m_process_management + * \brief Return the properties + * + * This functions returns the properties associated with this process + */ +xbt_dict_t SIMIX_process_get_properties(smx_process_t process) +{ + return process->properties; +} + +/** * \brief Return the current agent. * - * This functions returns the currently running #m_process_t. + * This functions returns the currently running #smx_process_t. + * \return The SIMIX process */ smx_process_t SIMIX_process_self(void) { return simix_global ? simix_global->current_process : NULL; } -/** \ingroup m_process_management +/** * \brief Suspend the process. * - * This functions suspend the process by suspending the task on which - * it was waiting for the completion. + * This functions suspend the process by suspending the action on + * which it was waiting for the completion. + * + * \param process SIMIX process */ void SIMIX_process_suspend(smx_process_t process) { - smx_simdata_process_t simdata = NULL; - - xbt_assert0(((process) && (process->simdata)), "Invalid parameters"); - - if(process!=SIMIX_process_self()) { - simdata = process->simdata; - - if (simdata->mutex) { - /* process blocked on a mutex, only set suspend=1 */ - simdata->suspended = 1; - } - else if (simdata->cond){ - /* process blocked cond, suspend all actions */ - - /* temporaries variables */ - smx_cond_t c; - xbt_fifo_item_t i; - smx_action_t act; - - simdata->suspended = 1; - c = simdata->cond; - xbt_fifo_foreach(c->actions,i,act, smx_action_t) { - surf_workstation_resource->common_public->suspend(act->simdata->surf_action); - } - } - else { - simdata->suspended = 1; - } + xbt_assert0(process, "Invalid parameters"); + + if (process != SIMIX_process_self()) { + + if (process->mutex) { + /* process blocked on a mutex, only set suspend=1 */ + process->suspended = 1; + } else if (process->cond) { + /* process blocked cond, suspend all actions */ + + /* temporaries variables */ + smx_cond_t c; + xbt_fifo_item_t i; + smx_action_t act; + + process->suspended = 1; + c = process->cond; + xbt_fifo_foreach(c->actions, i, act, smx_action_t) { + surf_workstation_model->suspend(act->surf_action); + } + } else { + process->suspended = 1; + } + } else { + /* process executing, I can create an action and suspend it */ + smx_action_t dummy; + smx_cond_t cond; + char name[] = "dummy"; + process->suspended = 1; + + cond = SIMIX_cond_init(); + dummy = SIMIX_action_execute(SIMIX_process_get_host(process), name, 0); + surf_workstation_model->suspend(dummy->surf_action); + SIMIX_register_action_to_condition(dummy, cond); + __SIMIX_cond_wait(cond); + SIMIX_unregister_action_to_condition(dummy, cond); + SIMIX_action_destroy(dummy); + SIMIX_cond_destroy(cond); } - else { - /* process executing, I can create an action and suspend it */ - process->simdata->suspended = 1; - smx_action_t dummy; - smx_cond_t cond; - char name[] = "dummy"; - - cond = SIMIX_cond_init(); - dummy = SIMIX_action_execute(SIMIX_process_get_host(process), name, 0); - surf_workstation_resource->common_public->set_priority(dummy->simdata->surf_action,0.0); - SIMIX_register_condition_to_action(dummy,cond); - SIMIX_register_action_to_condition(dummy,cond); - __SIMIX_cond_wait(cond); - //SIMIX_action_destroy(dummy); - //SIMIX_cond_destroy(cond); - } - return ; + return; } -/** \ingroup m_process_management +/** * \brief Resume a suspended process. * - * This functions resume a suspended process by resuming the task on - * which it was waiting for the completion. + * This functions resume a suspended process by resuming the task on which it was waiting for the completion. + * \param process SIMIX process */ void SIMIX_process_resume(smx_process_t process) { - smx_simdata_process_t simdata = NULL; - - xbt_assert0(((process != NULL) && (process->simdata)), "Invalid parameters"); - CHECK_HOST(); - - if(process == SIMIX_process_self()) { - return; - } - - simdata = process->simdata; - if(simdata->mutex) { - DEBUG0("Resume process blocked on a mutex"); - simdata->suspended = 0; /* He'll wake up by itself */ - return; + xbt_assert0((process != NULL), "Invalid parameters"); + SIMIX_CHECK_HOST(); + + if (process == SIMIX_process_self()) + return; + + if (process->mutex) { + DEBUG0("Resume process blocked on a mutex"); + process->suspended = 0; /* It'll wake up by itself when mutex releases */ + return; + } else if (process->cond) { + /* temporaries variables */ + smx_cond_t c; + xbt_fifo_item_t i; + smx_action_t act; + DEBUG0("Resume process blocked on a conditional"); + process->suspended = 0; + c = process->cond; + xbt_fifo_foreach(c->actions, i, act, smx_action_t) { + surf_workstation_model->resume(act->surf_action); + } + SIMIX_cond_signal(c); + return; + } else { + process->suspended = 0; + xbt_swag_insert(process, simix_global->process_to_run); } - else if (simdata->cond) { - DEBUG0("Resume process blocked on a conditional"); - /* temporaries variables */ - smx_cond_t c; - xbt_fifo_item_t i; - smx_action_t act; - simdata->suspended = 0; - c = simdata->cond; - xbt_fifo_foreach(c->actions,i,act, smx_action_t) { - surf_workstation_resource->common_public->resume(act->simdata->surf_action); - } - return; - } - else { - simdata->suspended = 0; - xbt_swag_insert(process,simix_global->process_to_run); - } +} +/** + * \brief Migrates an agent to another location. + * + * This function changes the value of the host on which \a process is running. + */ +void SIMIX_process_change_host(smx_process_t process, char *source, char *dest) +{ + xbt_assert0((process != NULL), "Invalid parameters"); + smx_host_t h1 = SIMIX_host_get_by_name(source); + smx_host_t h2 = SIMIX_host_get_by_name(dest); + process->smx_host = h2; + xbt_swag_remove(process, h1->process_list); + xbt_swag_insert(process, h2->process_list); } -/** \ingroup m_process_management +/** * \brief Returns true if the process is suspended . * - * This checks whether a process is suspended or not by inspecting the - * task on which it was waiting for the completion. + * This checks whether a process is suspended or not by inspecting the task on which it was waiting for the completion. + * \param process SIMIX process + * \return 1, if the process is suspended, else 0. */ int SIMIX_process_is_suspended(smx_process_t process) { - xbt_assert0(((process != NULL) && (process->simdata)), "Invalid parameters"); + xbt_assert0(((process != NULL), "Invalid parameters"); - return (process->simdata->suspended); + return (process->suspended); } - - +/** + * \brief Returns the amount of SIMIX processes in the system + * + * Maestro internal process is not counted, only user code processes are + */ +int SIMIX_process_count() +{ + return xbt_swag_size(simix_global->process_list); +}