Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Intermidiate step towards the new context mechanism [Cristian]
authormquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 17 Aug 2009 09:23:50 +0000 (09:23 +0000)
committermquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 17 Aug 2009 09:23:50 +0000 (09:23 +0000)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6560 48e7efb5-ca39-0410-a469-dd3cf9ba447f

src/simix/private.h
src/simix/smx_context_thread.c
src/simix/smx_global.c
src/simix/smx_process.c
src/simix/smx_synchro.c

index 63a8d40..48fd010 100644 (file)
-/*     $Id$     */\r
-\r
-/* Copyright (c) 2007 Arnaud Legrand, Bruno Donnassolo.\r
-   All rights reserved.                                          */\r
-\r
-/* This program is free software; you can redistribute it and/or modify it\r
- * under the terms of the license (GNU LGPL) which comes with this package. */\r
-\r
-#ifndef SIMIX_PRIVATE_H\r
-#define SIMIX_PRIVATE_H\r
-\r
-#include <stdio.h>\r
-#include "simix/simix.h"\r
-#include "surf/surf.h"\r
-#include "xbt/fifo.h"\r
-#include "xbt/swag.h"\r
-#include "xbt/dict.h"\r
-#include "xbt/function_types.h"\r
-\r
-/******************************** Datatypes ***********************************/\r
-\r
-\r
-/*********************************** Host *************************************/\r
-\r
-/** @brief Host datatype\r
-    @ingroup m_datatypes_management_details */\r
-typedef struct s_smx_host {\r
-  char *name;              /**< @brief host name if any */\r
-  void *host;              /* SURF modeling */\r
-  xbt_swag_t process_list;\r
-  void *data;              /**< @brief user data */\r
-} s_smx_host_t;\r
-\r
-/********************************** Simix Global ******************************/\r
-\r
-typedef struct s_smx_context_factory *smx_context_factory_t;\r
-\r
-typedef struct SIMIX_Global {\r
-  smx_context_factory_t context_factory;\r
-  xbt_dict_t host;\r
-  xbt_swag_t process_to_run;\r
-  xbt_swag_t process_list;\r
-  xbt_swag_t process_to_destroy;\r
-  smx_process_t current_process;\r
-  smx_process_t maestro_process;\r
-  xbt_dict_t registered_functions;\r
-  smx_creation_func_t create_process_function;\r
-  void_f_pvoid_t kill_process_function;\r
-  void_f_pvoid_t cleanup_process_function;\r
-} s_SIMIX_Global_t, *SIMIX_Global_t;\r
-\r
-extern SIMIX_Global_t simix_global;\r
-\r
-/******************************** Process *************************************/\r
-\r
-typedef struct s_smx_context *smx_context_t;\r
-\r
-/** @brief Process datatype\r
-    @ingroup m_datatypes_management_details @{ */\r
-     typedef struct s_smx_process {\r
-       s_xbt_swag_hookup_t process_hookup;\r
-       s_xbt_swag_hookup_t synchro_hookup;\r
-       s_xbt_swag_hookup_t host_proc_hookup;\r
-       s_xbt_swag_hookup_t destroy_hookup;\r
-\r
-       char *name;              /**< @brief process name if any */\r
-       smx_host_t smx_host;     /* the host on which the process is running */\r
-       smx_context_t context;   /* the context that executes the scheduler function */\r
-       int argc;                /* arguments number if any */\r
-       char **argv;             /* arguments table if any */\r
-       int blocked : 1;\r
-       int suspended : 1;\r
-       int iwannadie : 1;\r
-       smx_mutex_t mutex;       /* mutex on which the process is blocked  */\r
-       smx_cond_t cond;         /* cond on which the process is blocked  */\r
-       xbt_dict_t properties;\r
-       void *data;              /* kept for compatibility, it should be replaced with moddata */\r
-       void_f_pvoid_t cleanup_func;\r
-       void *cleanup_arg;\r
-\r
-     } s_smx_process_t;\r
-/** @} */\r
-\r
-typedef struct s_smx_process_arg {\r
-  const char *name;\r
-  xbt_main_func_t code;\r
-  void *data;\r
-  char *hostname;\r
-  int argc;\r
-  char **argv;\r
-  double kill_time;\r
-  xbt_dict_t properties;\r
-} s_smx_process_arg_t, *smx_process_arg_t;\r
-\r
-void SIMIX_process_empty_trash(void);\r
-\r
-/*************************** Mutex and Conditional ****************************/\r
-\r
-typedef struct s_smx_mutex {\r
-\r
-  /* KEEP IT IN SYNC WITH src/xbt_sg_thread.c::struct s_xbt_mutex */\r
-  xbt_swag_t sleeping;          /* list of sleeping process */\r
-  int refcount;\r
-  /* KEEP IT IN SYNC WITH src/xbt_sg_thread.c::struct s_xbt_mutex */\r
-\r
-} s_smx_mutex_t;\r
-\r
-typedef struct s_smx_cond {\r
-\r
-  /* KEEP IT IN SYNC WITH src/xbt_sg_thread.c::struct s_xbt_cond */\r
-  xbt_swag_t sleeping;          /* list of sleeping process */\r
-  smx_mutex_t mutex;\r
-  xbt_fifo_t actions;           /* list of actions */\r
-  /* KEEP IT IN SYNC WITH src/xbt_sg_thread.c::struct s_xbt_cond */\r
-\r
-} s_smx_cond_t;\r
-\r
-/********************************* Action *************************************/\r
-\r
-/** @brief Action datatype\r
-    @ingroup m_datatypes_management_details */\r
-typedef struct s_smx_action {\r
-  char *name;              /**< @brief action name if any */\r
-  xbt_fifo_t cond_list;    /*< conditional variables that must be signaled when the action finish. */\r
-  void *data;              /**< @brief user data */\r
-  int refcount;            /**< @brief reference counter */\r
-  surf_action_t surf_action;    /* SURF modeling of computation  */\r
-  smx_host_t source;\r
-} s_smx_action_t;\r
-\r
-/************************** Configuration support *****************************/\r
-\r
-extern int _simix_init_status;  /* 0: beginning of time; FIXME: KILLME ?\r
-                                   1: pre-inited (cfg_set created);\r
-                                   2: inited (running) */\r
-\r
-#define SIMIX_CHECK_HOST()  xbt_assert0(surf_workstation_model->extension.workstation. \\r
-                                 get_state(SIMIX_host_self()->host)==SURF_RESOURCE_ON,\\r
-                                  "Host failed, you cannot call this function.")\r
-\r
-smx_host_t __SIMIX_host_create(const char *name, void *workstation, void *data);\r
-void __SIMIX_host_destroy(void *host);\r
-void __SIMIX_cond_wait(smx_cond_t cond);\r
-void __SIMIX_cond_display_actions(smx_cond_t cond);\r
-void __SIMIX_action_display_conditions(smx_action_t action);\r
-void __SIMIX_create_maestro_process(void);\r
-\r
-/******************************** Context *************************************/\r
-\r
-void SIMIX_context_mod_init(void);\r
-\r
-void SIMIX_context_mod_exit(void);\r
-\r
-/* *********************** */\r
-/* Context type definition */\r
-/* *********************** */\r
-/* the following function pointers types describe the interface that all context\r
-   concepts must implement */\r
-\r
-/* each context type must contain this macro at its begining -- OOP in C :/ */\r
-#define SMX_CTX_BASE_T \\r
-  s_xbt_swag_hookup_t hookup; \\r
-  ex_ctx_t *exception; \\r
-  xbt_main_func_t code; \\r
-\r
-/* all other context types derive from this structure */\r
-typedef struct s_smx_context {\r
-  SMX_CTX_BASE_T;\r
-} s_smx_context_t;\r
-\r
-/* *********************** */\r
-/* factory type definition */\r
-/* *********************** */\r
-\r
-/* Each context implementation define its own context factory\r
- * A context factory is responsable of the creation and manipulation of the \r
- * execution context of all the simulated processes (and maestro) using the\r
- * selected implementation.\r
- *\r
- * For example, the context switch based on java thread use the\r
- * java implementation of the context and the java factory to build and control\r
- * the contexts depending on this implementation.\r
-\r
- * The following function pointer types describe the interface that any context \r
- * factory should implement.\r
- */\r
-\r
-/* function used to create a new context */\r
-typedef int (*smx_pfn_context_factory_create_context_t) (smx_process_t *, xbt_main_func_t);\r
-\r
-/* function used to create the context for the maestro process */\r
-typedef int (*smx_pfn_context_factory_create_maestro_context_t) (smx_process_t*);\r
-\r
-/* this function finalize the specified context factory */\r
-typedef int (*smx_pfn_context_factory_finalize_t) (smx_context_factory_t*);\r
-\r
-/* function used to destroy the specified context */\r
-typedef void (*smx_pfn_context_free_t) (smx_process_t);\r
-\r
-/* function used to kill the specified context */\r
-typedef void (*smx_pfn_context_kill_t) (smx_process_t);\r
-\r
-/* function used to resume the specified context */\r
-typedef void (*smx_pfn_context_schedule_t) (smx_process_t);\r
-\r
-/* function used to yield the specified context */\r
-typedef void (*smx_pfn_context_yield_t) (void);\r
-\r
-/* function used to start the specified context */\r
-typedef void (*smx_pfn_context_start_t) (smx_process_t);\r
-\r
-/* function used to stop the current context */\r
-typedef void (*smx_pfn_context_stop_t) (int);\r
-\r
-/* interface of the context factories */\r
-typedef struct s_smx_context_factory {\r
-  smx_pfn_context_factory_create_maestro_context_t create_maestro_context;\r
-  smx_pfn_context_factory_create_context_t create_context;\r
-  smx_pfn_context_factory_finalize_t finalize;\r
-  smx_pfn_context_free_t free;\r
-  smx_pfn_context_kill_t kill;\r
-  smx_pfn_context_schedule_t schedule;\r
-  smx_pfn_context_yield_t yield;\r
-  smx_pfn_context_start_t start;\r
-  smx_pfn_context_stop_t stop;\r
-  const char *name;\r
-} s_smx_context_factory_t;\r
-\r
-/* Selects a context factory associated with the name specified by the parameter name.\r
- * If successful the function returns 0. Otherwise the function returns the error code.\r
- */\r
-int SIMIX_context_select_factory(const char *name);\r
-\r
-/* Initializes a context factory from the name specified by the parameter name.\r
- * If the factory cannot be found, an exception is raised.\r
- */\r
-void SIMIX_context_init_factory_by_name(smx_context_factory_t * factory, const char *name);\r
-\r
-/* All factories init */\r
-void SIMIX_ctx_thread_factory_init(smx_context_factory_t * factory);\r
-\r
-void SIMIX_ctx_sysv_factory_init(smx_context_factory_t * factory);\r
-\r
-void SIMIX_ctx_java_factory_init(smx_context_factory_t * factory);\r
-\r
-/* ******************************* */\r
-/* contexts manipulation functions */\r
-/* ******************************* */\r
-\r
-/**\r
- * \param smx_process the simix maestro process that contains this context\r
- */\r
-static inline int SIMIX_context_create_maestro(smx_process_t *process)\r
-{\r
-  return (*(simix_global->context_factory->create_maestro_context)) (process);\r
-}\r
-\r
-/**\r
- * \param smx_process the simix process that contains this context\r
- * \param code a main function\r
- */\r
-static inline int SIMIX_context_new(smx_process_t *process, xbt_main_func_t code)\r
-{\r
-    return (*(simix_global->context_factory->create_context)) (process, code);\r
-}\r
-\r
-/* Scenario for the end of a context:\r
- *\r
- * CASE 1: death after end of function\r
- *   __context_wrapper, called by os thread, calls smx_context_stop after user code stops\r
- *   smx_context_stop calls user cleanup_func if any (in context settings),\r
- *                    add current to trashbin\r
- *                    yields back to maestro (destroy os thread on need)\r
- *   From time to time, maestro calls smx_context_empty_trash,\r
- *       which maps smx_context_free on the content\r
- *   smx_context_free frees some more memory,\r
- *                    joins os thread\r
- *\r
- * CASE 2: brutal death\r
- *   smx_context_kill (from any context)\r
- *                    set context->wannadie to 1\r
- *                    yields to the context\r
- *   the context is awaken in the middle of __yield.\r
- *   At the end of it, it checks that wannadie == 1, and call smx_context_stop\r
- *   (same than first case afterward)\r
- */\r
-static inline void SIMIX_context_kill(smx_process_t process)\r
-{\r
-  (*(simix_global->context_factory->kill)) (process);\r
-}\r
-\r
-/* Argument must be stopped first -- runs in maestro context */\r
-static inline void SIMIX_context_free(smx_process_t process)\r
-{\r
-  (*(simix_global->context_factory->free)) (process);\r
-}\r
-\r
-/**\r
- * \param context the context to start\r
- *\r
- * Calling this function prepares \a process to be run. It will\r
-   however run effectively only when calling #SIMIX_context_schedule\r
- */\r
-static inline void SIMIX_context_start(smx_process_t process)\r
-{\r
-  (*(simix_global->context_factory->start)) (process);\r
-}\r
-\r
-/**\r
- * Calling this function makes the current process yield. The process\r
- * that scheduled it returns from SIMIX_context_schedule as if nothing\r
- * had happened.\r
- *\r
- * Only the processes can call this function, giving back the control\r
- * to the maestro\r
- */\r
-static inline void SIMIX_context_yield(void)\r
-{\r
-  (*(simix_global->context_factory->yield)) ();\r
-}\r
-\r
-/**\r
- * \param process to be scheduled\r
- *\r
- * Calling this function blocks the current process and schedule \a process.\r
- * When \a process would call SIMIX_context_yield, it will return\r
- * to this function as if nothing had happened.\r
- *\r
- * Only the maestro can call this function to run a given process.\r
- */\r
-static inline void SIMIX_context_schedule(smx_process_t process)\r
-{\r
-  (*(simix_global->context_factory->schedule)) (process);\r
-}\r
-\r
-static inline void SIMIX_context_stop(int exit_code)\r
-{\r
-  (*(simix_global->context_factory->stop)) (exit_code);\r
-}\r
-\r
-#endif\r
+/*     $Id$     */
+
+/* Copyright (c) 2007 Arnaud Legrand, Bruno Donnassolo.
+   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. */
+
+#ifndef SIMIX_PRIVATE_H
+#define SIMIX_PRIVATE_H
+
+#include <stdio.h>
+#include "simix/simix.h"
+#include "surf/surf.h"
+#include "xbt/fifo.h"
+#include "xbt/swag.h"
+#include "xbt/dict.h"
+#include "xbt/config.h"
+#include "xbt/function_types.h"
+
+/******************************** Datatypes ***********************************/
+
+
+/*********************************** Host *************************************/
+
+/** @brief Host datatype
+    @ingroup m_datatypes_management_details */
+typedef struct s_smx_host {
+  char *name;              /**< @brief host name if any */
+  void *host;              /* SURF modeling */
+  xbt_swag_t process_list;
+  void *data;              /**< @brief user data */
+} s_smx_host_t;
+
+/********************************** Simix Global ******************************/
+
+typedef struct s_smx_context_factory *smx_context_factory_t;
+
+typedef struct SIMIX_Global {
+  smx_context_factory_t context_factory;
+  xbt_dict_t host;
+  xbt_swag_t process_to_run;
+  xbt_swag_t process_list;
+  xbt_swag_t process_to_destroy;
+  smx_process_t current_process;
+  smx_process_t maestro_process;
+  xbt_dict_t registered_functions;
+  smx_creation_func_t create_process_function;
+  void_f_pvoid_t kill_process_function;
+  void_f_pvoid_t cleanup_process_function;
+} s_SIMIX_Global_t, *SIMIX_Global_t;
+
+extern SIMIX_Global_t simix_global;
+
+/******************************** Process *************************************/
+
+typedef struct s_smx_context *smx_context_t;
+
+/** @brief Process datatype
+    @ingroup m_datatypes_management_details @{ */
+     typedef struct s_smx_process {
+       s_xbt_swag_hookup_t process_hookup;
+       s_xbt_swag_hookup_t synchro_hookup;
+       s_xbt_swag_hookup_t host_proc_hookup;
+       s_xbt_swag_hookup_t destroy_hookup;
+
+       char *name;              /**< @brief process name if any */
+       smx_host_t smx_host;     /* the host on which the process is running */
+       smx_context_t context;   /* the context that executes the scheduler function */
+       int argc;                /* arguments number if any */
+       char **argv;             /* arguments table if any */
+       int blocked : 1;
+       int suspended : 1;
+       int iwannadie : 1;
+       smx_mutex_t mutex;       /* mutex on which the process is blocked  */
+       smx_cond_t cond;         /* cond on which the process is blocked  */
+       xbt_dict_t properties;
+       void *data;              /* kept for compatibility, it should be replaced with moddata */
+       void_f_pvoid_t cleanup_func;
+       void *cleanup_arg;
+
+     } s_smx_process_t;
+/** @} */
+
+typedef struct s_smx_process_arg {
+  const char *name;
+  xbt_main_func_t code;
+  void *data;
+  char *hostname;
+  int argc;
+  char **argv;
+  double kill_time;
+  xbt_dict_t properties;
+} s_smx_process_arg_t, *smx_process_arg_t;
+
+void SIMIX_process_empty_trash(void);
+void __SIMIX_process_schedule(smx_process_t process);
+void __SIMIX_process_yield(void);
+
+/*************************** Mutex and Conditional ****************************/
+
+typedef struct s_smx_mutex {
+
+  /* KEEP IT IN SYNC WITH src/xbt_sg_thread.c::struct s_xbt_mutex */
+  xbt_swag_t sleeping;          /* list of sleeping process */
+  int refcount;
+  /* KEEP IT IN SYNC WITH src/xbt_sg_thread.c::struct s_xbt_mutex */
+
+} s_smx_mutex_t;
+
+typedef struct s_smx_cond {
+
+  /* KEEP IT IN SYNC WITH src/xbt_sg_thread.c::struct s_xbt_cond */
+  xbt_swag_t sleeping;          /* list of sleeping process */
+  smx_mutex_t mutex;
+  xbt_fifo_t actions;           /* list of actions */
+  /* KEEP IT IN SYNC WITH src/xbt_sg_thread.c::struct s_xbt_cond */
+
+} s_smx_cond_t;
+
+/********************************* Action *************************************/
+
+/** @brief Action datatype
+    @ingroup m_datatypes_management_details */
+typedef struct s_smx_action {
+  char *name;              /**< @brief action name if any */
+  xbt_fifo_t cond_list;    /*< conditional variables that must be signaled when the action finish. */
+  void *data;              /**< @brief user data */
+  int refcount;            /**< @brief reference counter */
+  surf_action_t surf_action;    /* SURF modeling of computation  */
+  smx_host_t source;
+} s_smx_action_t;
+
+/************************** Configuration support *****************************/
+
+extern int _simix_init_status;  /* 0: beginning of time; FIXME: KILLME ?
+                                   1: pre-inited (cfg_set created);
+                                   2: inited (running) */
+
+#define SIMIX_CHECK_HOST()  xbt_assert0(surf_workstation_model->extension.workstation. \
+                                 get_state(SIMIX_host_self()->host)==SURF_RESOURCE_ON,\
+                                  "Host failed, you cannot call this function.")
+
+smx_host_t __SIMIX_host_create(const char *name, void *workstation, void *data);
+void __SIMIX_host_destroy(void *host);
+void __SIMIX_cond_wait(smx_cond_t cond);
+void __SIMIX_cond_display_actions(smx_cond_t cond);
+void __SIMIX_action_display_conditions(smx_action_t action);
+void __SIMIX_create_maestro_process(void);
+
+/******************************** Context *************************************/
+
+void SIMIX_context_mod_init(void);
+
+void SIMIX_context_mod_exit(void);
+
+/* *********************** */
+/* Context type definition */
+/* *********************** */
+/* the following function pointers types describe the interface that all context
+   concepts must implement */
+
+/* each context type must contain this macro at its begining -- OOP in C :/ */
+#define SMX_CTX_BASE_T \
+  s_xbt_swag_hookup_t hookup; \
+  ex_ctx_t *exception; \
+  xbt_main_func_t code; \
+
+/* all other context types derive from this structure */
+typedef struct s_smx_context {
+  SMX_CTX_BASE_T;
+} s_smx_context_t;
+
+/* *********************** */
+/* factory type definition */
+/* *********************** */
+
+/* Each context implementation define its own context factory
+ * A context factory is responsable of the creation and manipulation of the 
+ * execution context of all the simulated processes (and maestro) using the
+ * selected implementation.
+ *
+ * For example, the context switch based on java thread use the
+ * java implementation of the context and the java factory to build and control
+ * the contexts depending on this implementation.
+
+ * The following function pointer types describe the interface that any context 
+ * factory should implement.
+ */
+
+/* function used to create a new context */
+typedef int (*smx_pfn_context_factory_create_context_t) (smx_process_t *, xbt_main_func_t);
+
+/* function used to create the context for the maestro process */
+typedef int (*smx_pfn_context_factory_create_maestro_context_t) (smx_process_t*);
+
+/* this function finalize the specified context factory */
+typedef int (*smx_pfn_context_factory_finalize_t) (smx_context_factory_t*);
+
+/* function used to destroy the specified context */
+typedef void (*smx_pfn_context_free_t) (smx_process_t);
+
+/* function used to kill the specified context */
+typedef void (*smx_pfn_context_kill_t) (smx_process_t);
+
+/* function used to resume the specified context */
+typedef void (*smx_pfn_context_schedule_t) (smx_process_t);
+
+/* function used to yield the specified context */
+typedef void (*smx_pfn_context_yield_t) (void);
+
+/* function used to start the specified context */
+typedef void (*smx_pfn_context_start_t) (smx_process_t);
+
+/* function used to stop the current context */
+typedef void (*smx_pfn_context_stop_t) (int);
+
+/* interface of the context factories */
+typedef struct s_smx_context_factory {
+  smx_pfn_context_factory_create_maestro_context_t create_maestro_context;
+  smx_pfn_context_factory_create_context_t create_context;
+  smx_pfn_context_factory_finalize_t finalize;
+  smx_pfn_context_free_t free;
+  smx_pfn_context_kill_t kill;
+  smx_pfn_context_schedule_t schedule;
+  smx_pfn_context_yield_t yield;
+  smx_pfn_context_start_t start;
+  smx_pfn_context_stop_t stop;
+  const char *name;
+} s_smx_context_factory_t;
+
+/* Selects a context factory associated with the name specified by the parameter name.
+ * If successful the function returns 0. Otherwise the function returns the error code.
+ */
+int SIMIX_context_select_factory(const char *name);
+
+/* Initializes a context factory from the name specified by the parameter name.
+ * If the factory cannot be found, an exception is raised.
+ */
+void SIMIX_context_init_factory_by_name(smx_context_factory_t * factory, const char *name);
+
+/* All factories init */
+void SIMIX_ctx_thread_factory_init(smx_context_factory_t * factory);
+
+void SIMIX_ctx_sysv_factory_init(smx_context_factory_t * factory);
+
+void SIMIX_ctx_java_factory_init(smx_context_factory_t * factory);
+
+/* ******************************* */
+/* contexts manipulation functions */
+/* ******************************* */
+
+/**
+ * \param smx_process the simix maestro process that contains this context
+ */
+static inline int SIMIX_context_create_maestro(smx_process_t *process)
+{
+  return (*(simix_global->context_factory->create_maestro_context)) (process);
+}
+
+/**
+ * \param smx_process the simix process that contains this context
+ * \param code a main function
+ */
+static inline int SIMIX_context_new(smx_process_t *process, xbt_main_func_t code)
+{
+    return (*(simix_global->context_factory->create_context)) (process, code);
+}
+
+/* Scenario for the end of a context:
+ *
+ * CASE 1: death after end of function
+ *   __context_wrapper, called by os thread, calls smx_context_stop after user code stops
+ *   smx_context_stop calls user cleanup_func if any (in context settings),
+ *                    add current to trashbin
+ *                    yields back to maestro (destroy os thread on need)
+ *   From time to time, maestro calls smx_context_empty_trash,
+ *       which maps smx_context_free on the content
+ *   smx_context_free frees some more memory,
+ *                    joins os thread
+ *
+ * CASE 2: brutal death
+ *   smx_context_kill (from any context)
+ *                    set context->wannadie to 1
+ *                    yields to the context
+ *   the context is awaken in the middle of __yield.
+ *   At the end of it, it checks that wannadie == 1, and call smx_context_stop
+ *   (same than first case afterward)
+ */
+static inline void SIMIX_context_kill(smx_process_t process)
+{
+  (*(simix_global->context_factory->kill)) (process);
+}
+
+/* Argument must be stopped first -- runs in maestro context */
+static inline void SIMIX_context_free(smx_process_t process)
+{
+  (*(simix_global->context_factory->free)) (process);
+}
+
+/**
+ * \param context the context to start
+ *
+ * Calling this function prepares \a process to be run. It will
+   however run effectively only when calling #SIMIX_context_schedule
+ */
+static inline void SIMIX_context_start(smx_process_t process)
+{
+  (*(simix_global->context_factory->start)) (process);
+}
+
+/**
+ * Calling this function makes the current process yield. The process
+ * that scheduled it returns from SIMIX_context_schedule as if nothing
+ * had happened.
+ *
+ * Only the processes can call this function, giving back the control
+ * to the maestro
+ */
+static inline void SIMIX_context_yield(void)
+{
+  (*(simix_global->context_factory->yield)) ();
+}
+
+/**
+ * \param process to be scheduled
+ *
+ * Calling this function blocks the current process and schedule \a process.
+ * When \a process would call SIMIX_context_yield, it will return
+ * to this function as if nothing had happened.
+ *
+ * Only the maestro can call this function to run a given process.
+ */
+static inline void SIMIX_context_schedule(smx_process_t process)
+{
+  (*(simix_global->context_factory->schedule)) (process);
+}
+
+static inline void SIMIX_context_stop(int exit_code)
+{
+  (*(simix_global->context_factory->stop)) (exit_code);
+}
+
+#endif
index e72d033..b3b5ffa 100644 (file)
@@ -125,7 +125,7 @@ static void smx_ctx_thread_kill(smx_process_t process)
 {
   DEBUG1("Kill process '%s'", process->name);
   process->iwannadie = 1;
-  smx_ctx_thread_swap(process);
+  //smx_ctx_thread_swap(process);
 }
 
 /** 
@@ -140,9 +140,10 @@ static void smx_ctx_thread_kill(smx_process_t process)
 static void smx_ctx_thread_schedule(smx_process_t process)
 {
   DEBUG1("Schedule process '%s'", process->name);
-  xbt_assert0((simix_global->current_process == simix_global->maestro_process),
-              "You are not supposed to run this function here!");
-  smx_ctx_thread_swap(process);
+  /*xbt_assert0((simix_global->current_process == simix_global->maestro_process),
+              "You are not supposed to run this function here!");*/
+  smx_ctx_thread_resume(process);
+  /*smx_ctx_thread_swap(process);*/
 }
 
 /** 
@@ -155,10 +156,7 @@ static void smx_ctx_thread_schedule(smx_process_t process)
  */
 static void smx_ctx_thread_yield(void)
 {
-  DEBUG1("Yield process '%s'", simix_global->current_process->name);
-  xbt_assert0((simix_global->current_process != simix_global->maestro_process),
-              "You are not supposed to run this function here!");
-  smx_ctx_thread_swap(simix_global->current_process);
+  smx_ctx_thread_suspend(simix_global->current_process);
 }
 
 static void smx_ctx_thread_start(smx_process_t process)
@@ -188,47 +186,10 @@ static void smx_ctx_thread_stop(int exit_code)
   xbt_os_thread_exit(NULL);     /* We should provide return value in case other wants it */
 }
 
+/*FIXME: erase this function*/
 static void smx_ctx_thread_swap(smx_process_t process)
 {
-  
-  DEBUG2("Swap context: '%s' -> '%s'", simix_global->current_process->name, process->name);
-  if ((simix_global->current_process != simix_global->maestro_process) && !process->iwannadie) {
-    /* (0) it's not the scheduler and the process doesn't want to die, it just wants to yield */
-
-    /* yield itself, resume the maestro */
-    smx_ctx_thread_suspend(process);
-  } else {
-    /* (1) the current process is the scheduler and the process doesn't want to die
-     *      <-> the maestro wants to schedule the process
-     *              -> the maestro schedules the process and waits
-     *
-     * (2) the current process is the scheduler and the process wants to die
-     *      <-> the maestro wants to kill the process (has called the function smx_context_kill())
-     *              -> the maestro schedule the process and waits (xbt_os_sem_acquire(context->end))
-     *              -> if the process stops (smx_context_stop())
-     *                      -> the process resumes the maestro (xbt_os_sem_release(current_context->end)) and exit (xbt_os_thread_exit())
-     *              -> else the process call smx_context_yield()
-     *                      -> goto (3.1)
-     *
-     * (3) the current process is not the scheduler and the process wants to die
-     *              -> (3.1) if the current process is the process who wants to die
-     *                      -> (resume not need) goto (4)
-     *              -> (3.2) else the current process is not the process who wants to die
-     *                      <-> the current process wants to kill an other process
-     *                              -> the current process resumes the process to die and waits
-     *                              -> if the process to kill stops
-     *                                      -> it resumes the process who kill it and exit
-     *                              -> else if the process to kill calls to smx_context_yield()
-     *                                      -> goto (3.1)
-     */
-    /* schedule the process associated with this context */
-    smx_ctx_thread_resume(process);
-
-  }
-
-  /* (4) the current process wants to die */
-  if (simix_global->current_process->iwannadie)
-    smx_ctx_thread_stop(1);
+  return;
 }
 
 static void *smx_ctx_thread_wrapper(void *param)
@@ -239,40 +200,21 @@ static void *smx_ctx_thread_wrapper(void *param)
   xbt_os_sem_release(context->end);
   xbt_os_sem_acquire(context->begin);
 
-  smx_ctx_thread_stop((context->code) (simix_global->current_process->argc, simix_global->current_process->argv));
+  smx_ctx_thread_stop((context->code) (simix_global->current_process->argc, 
+                                       simix_global->current_process->argv));
   return NULL;
 }
 
 static void smx_ctx_thread_suspend(smx_process_t process)
 {
-  /* save the current process */
-  smx_process_t self = simix_global->current_process;
-
   DEBUG1("Suspend context '%s'", process->name);
-
-  /* update the current process to this process */
-  simix_global->current_process = process;
-
   xbt_os_sem_release(((smx_ctx_thread_t) process->context)->end);
   xbt_os_sem_acquire(((smx_ctx_thread_t) process->context)->begin);
-
-  /* restore the current process to the previously saved process */
-  simix_global->current_process = self;
 }
 
 static void smx_ctx_thread_resume(smx_process_t process)
 {
-  /* save the current process */
-  smx_process_t self = simix_global->current_process;
-
   DEBUG1("Resume context '%s'", process->name);
-
-  /* update the current process */
-  simix_global->current_process = process;
-
   xbt_os_sem_release(((smx_ctx_thread_t) process->context)->begin);
   xbt_os_sem_acquire(((smx_ctx_thread_t) process->context)->end);
-
-  /* restore the current process to the previously saved process */
-  simix_global->current_process = self;
-}
+}
\ No newline at end of file
index 642a698..8f79991 100644 (file)
@@ -212,7 +212,7 @@ void SIMIX_process_killall()
   SIMIX_process_empty_trash();
 
   if (self != simix_global->maestro_process) {
-    SIMIX_context_yield();
+    __SIMIX_process_yield();
   }
 
   return;
@@ -294,7 +294,7 @@ double SIMIX_solve(xbt_fifo_t actions_done, xbt_fifo_t actions_failed)
 
   while ((process = xbt_swag_extract(simix_global->process_to_run))) {
     DEBUG2("Scheduling %s on %s", process->name, process->smx_host->name);
-    SIMIX_context_schedule(process);
+    __SIMIX_process_schedule(process);
   }
 
   {
index eedf711..c62f822 100644 (file)
@@ -16,11 +16,7 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_process, simix,
 
 /******************************** Process ************************************/
 /**
- * \brief Creates and runs a new #smx_process_t.
- *
- * 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
+ * \brief Move a process to the list of process to destroy. *
  */
 
 void SIMIX_process_cleanup(void *arg)
@@ -31,7 +27,8 @@ void SIMIX_process_cleanup(void *arg)
   xbt_swag_insert(arg, simix_global->process_to_destroy);
 }
 
-/** Garbage collection
+/** 
+ * Garbage collection
  *
  * Should be called some time to time to free the memory allocated for processes
  * that have finished (or killed).
@@ -100,7 +97,6 @@ smx_process_t SIMIX_process_create(const char *name,
                                    char **argv, xbt_dict_t properties)
 {
   smx_process_t process = NULL;
-  smx_process_t self = NULL;
   smx_host_t host = SIMIX_host_get_by_name(hostname);
 
   DEBUG2("Start process %s on host %s", name, hostname);
@@ -133,12 +129,9 @@ smx_process_t SIMIX_process_create(const char *name,
 
   /* 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;
+  
   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);
@@ -209,8 +202,7 @@ void SIMIX_jprocess_create(const char *name, smx_host_t host,
  */
 void SIMIX_process_kill(smx_process_t process)
 {
-  DEBUG2("Killing process %s on %s", process->name,
-         process->smx_host->name);
+  DEBUG2("Killing process %s on %s", process->name, process->smx_host->name);
 
   /* Cleanup if we were waiting for something */
   if (process->mutex)
@@ -220,7 +212,10 @@ void SIMIX_process_kill(smx_process_t process)
     xbt_swag_remove(process, process->cond->sleeping);
 
   DEBUG2("%p here! killing %p", simix_global->current_process, process);
-  SIMIX_context_kill(process);
+
+  /*FIXME: If we are killing the running process we might call stop directly */  
+  process->iwannadie = 1;
+  __SIMIX_process_schedule(process);
 
   if (process == SIMIX_process_self()) {
     /* I just killed myself */
@@ -443,3 +438,40 @@ int SIMIX_process_count()
 {
   return xbt_swag_size(simix_global->process_list);
 }
+
+/** 
+ * Calling this function makes the process process to yield. The process
+ * that scheduled it returns from __SIMIX_process_schedule as if nothing
+ * had happened.
+ * 
+ * Only the processes can call this function, giving back the control
+ * to the maestro
+ */
+void __SIMIX_process_yield(void)
+{
+  DEBUG1("Yield process '%s'", simix_global->current_process->name);
+  xbt_assert0((simix_global->current_process != simix_global->maestro_process),
+              "You are not supposed to run this function here!");
+
+  SIMIX_context_yield();
+
+  if (simix_global->current_process->iwannadie)
+    SIMIX_context_stop(1);
+}
+
+void __SIMIX_process_schedule(smx_process_t process)
+{
+  DEBUG1("Scheduling context: '%s'", process->name);
+
+  /* save the current process */
+  smx_process_t self = simix_global->current_process;
+
+  /* update the current process */
+  simix_global->current_process = process;
+
+  /* schedule the context */
+  SIMIX_context_schedule(process);
+
+  /* restore the current process to the previously saved process */
+  simix_global->current_process = self;
+}
index 46bb6b6..cabc1f4 100644 (file)
@@ -51,12 +51,12 @@ void SIMIX_mutex_lock(smx_mutex_t mutex)
     xbt_swag_insert(self, mutex->sleeping);
     self->mutex = mutex;
     /* wait for some process make the unlock and wake up me from mutex->sleeping */
-    SIMIX_context_yield();
+    __SIMIX_process_yield();
     self->mutex = NULL;
 
     /* verify if the process was suspended */
     while (self->suspended) {
-      SIMIX_context_yield();
+      __SIMIX_process_yield();
     }
 
     mutex->refcount = 1;
@@ -213,10 +213,10 @@ void __SIMIX_cond_wait(smx_cond_t cond)
 
   self->cond = cond;
   xbt_swag_insert(self, cond->sleeping);
-  SIMIX_context_yield();
+  __SIMIX_process_yield();
   self->cond = NULL;
   while (self->suspended) {
-    SIMIX_context_yield();
+    __SIMIX_process_yield();
   }
   return;