Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix parameter passing through makecontext (again).
[simgrid.git] / src / simix / smx_context_sysv.c
index 7ad1d98..e5b66e1 100644 (file)
-/* $Id$ */
+/* context_sysv - context switching with ucontextes from System V           */
 
-/* context_sysv - implementation of context switching with ucontextes from Sys V */
+/* Copyright (c) 2009, 2010. The SimGrid Team.
+ * All rights reserved.                                                     */
 
-/* Copyright (c) 2004-2008 the SimGrid team. All right 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. */
 
-/* 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. */
+#include <stdarg.h>
 
-#include "private.h"
-#include "context_sysv_config.h"        /* loads context system definitions */
-#include "portable.h"
-#include <ucontext.h>           /* context relative declarations */
-
-/* lower this if you want to reduce the memory consumption  */
-#define STACK_SIZE 128*1024
+#include "smx_context_sysv_private.h"
+#include "xbt/parmap.h"
+#include "simix/private.h"
+#include "gras_config.h"
 
 #ifdef HAVE_VALGRIND_VALGRIND_H
 #  include <valgrind/valgrind.h>
-#endif /* HAVE_VALGRIND_VALGRIND_H */
-
-XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_context);
-
-typedef struct s_smx_ctx_sysv {
-  SMX_CTX_BASE_T;
-  ucontext_t uc;                /* the thread that execute the code */
-  char stack[STACK_SIZE];       /* the thread stack size */
-  struct s_smx_ctx_sysv *prev;           /* the previous process */
-#ifdef HAVE_VALGRIND_VALGRIND_H
-  unsigned int valgrind_stack_id;       /* the valgrind stack id */
-#endif                          
-} s_smx_ctx_sysv_t, *smx_ctx_sysv_t;
-
-static smx_context_t 
-smx_ctx_sysv_factory_create_context(xbt_main_func_t code, int argc, char** argv, 
-                                    void_f_pvoid_t cleanup_func, void* cleanup_arg);
-
-static int smx_ctx_sysv_factory_finalize(smx_context_factory_t *factory);
-
-static void smx_ctx_sysv_free(smx_context_t context);
-
-static void smx_ctx_sysv_start(smx_context_t context);
-
-static void smx_ctx_sysv_stop(smx_context_t context);
+#endif                          /* HAVE_VALGRIND_VALGRIND_H */
 
-static void smx_ctx_sysv_suspend(smx_context_t context);
+#ifdef _XBT_WIN32
+#include "win32_ucontext.h"
+#include "win32_ucontext.c"
+#else
+#include "ucontext.h"
+#endif
 
-static void 
-  smx_ctx_sysv_resume(smx_context_t old_context, smx_context_t new_context);
+XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_context);
 
-static void smx_ctx_sysv_wrapper(void);
+static xbt_parmap_t parmap;
+
+static smx_context_t
+smx_ctx_sysv_create_context(xbt_main_func_t code, int argc, char **argv,
+    void_pfn_smxprocess_t cleanup_func, void* data);
+
+static void smx_ctx_sysv_wrapper(int count, ...);
+
+/* This is a bit paranoid about SIZEOF_VOIDP not being a multiple of SIZEOF_INT,
+ * but it doesn't harm. */
+#define CTX_ADDR_LEN (SIZEOF_VOIDP / SIZEOF_INT + !!(SIZEOF_VOIDP % SIZEOF_INT))
+union u_ctx_addr {
+  void *addr;
+  int intv[CTX_ADDR_LEN];
+};
+#if (CTX_ADDR_LEN == 1)
+#  define CTX_ADDR_SPLIT(u) (u).intv[0]
+#elif (CTX_ADDR_LEN == 2)
+#  define CTX_ADDR_SPLIT(u) (u).intv[0], (u).intv[1]
+#else
+#  error Your architecture is not supported yet
+#endif
 
 void SIMIX_ctx_sysv_factory_init(smx_context_factory_t *factory)
 {
-  *factory = xbt_new0(s_smx_context_factory_t, 1);
+  smx_ctx_base_factory_init(factory);
+  VERB0("Activating SYSV context factory");
 
-  (*factory)->create_context = smx_ctx_sysv_factory_create_context;
   (*factory)->finalize = smx_ctx_sysv_factory_finalize;
+  (*factory)->create_context = smx_ctx_sysv_create_context;
+  /* Do not overload that method (*factory)->finalize */
   (*factory)->free = smx_ctx_sysv_free;
-  (*factory)->start = smx_ctx_sysv_start;
   (*factory)->stop = smx_ctx_sysv_stop;
   (*factory)->suspend = smx_ctx_sysv_suspend;
-  (*factory)->resume = smx_ctx_sysv_resume;
   (*factory)->name = "smx_sysv_context_factory";
+
+  if (smx_parallel_contexts) {
+#ifdef CONTEXT_THREADS /* To use parallel ucontexts a thread pool is needed */
+    parmap = xbt_parmap_new(2);
+    (*factory)->runall = smx_ctx_sysv_runall_parallel;
+    (*factory)->self = smx_ctx_sysv_self_parallel;
+#else
+    THROW0(arg_error, 0, "No thread support for parallel context execution");
+#endif
+  }else{
+    (*factory)->runall = smx_ctx_sysv_runall;
+  }    
 }
 
-static int smx_ctx_sysv_factory_finalize(smx_context_factory_t * factory)
-{
-  free(*factory);
-  *factory = NULL;
-  return 0;
+int smx_ctx_sysv_factory_finalize(smx_context_factory_t *factory)
+{ 
+  if(parmap)
+    xbt_parmap_destroy(parmap);
+  return smx_ctx_base_factory_finalize(factory);
 }
 
-static smx_context_t 
-smx_ctx_sysv_factory_create_context(xbt_main_func_t code, int argc, char** argv, 
-                                    void_f_pvoid_t cleanup_func, void* cleanup_arg)
+smx_context_t
+smx_ctx_sysv_create_context_sized(size_t size, xbt_main_func_t code,
+                                  int argc, char **argv,
+                                  void_pfn_smxprocess_t cleanup_func,
+                                  void *data)
 {
-  smx_ctx_sysv_t context = xbt_new0(s_smx_ctx_sysv_t, 1);
-  
+  union u_ctx_addr ctx_addr;
+  smx_ctx_sysv_t context =
+      (smx_ctx_sysv_t) smx_ctx_base_factory_create_context_sized(size,
+                                                                 code,
+                                                                 argc,
+                                                                 argv,
+                                                                 cleanup_func,
+                                                                 data);
+
   /* If the user provided a function for the process then use it
      otherwise is the context for maestro */
-  if(code){
-    context->code = code;
+  if (code) {
 
     xbt_assert2(getcontext(&(context->uc)) == 0,
-                "Error in context saving: %d (%s)", errno, strerror(errno));
+                "Error in context saving: %d (%s)", errno,
+                strerror(errno));
 
     context->uc.uc_link = NULL;
 
     context->uc.uc_stack.ss_sp =
-      pth_skaddr_makecontext(context->stack, STACK_SIZE);
+        pth_skaddr_makecontext(context->stack, CONTEXT_STACK_SIZE);
 
     context->uc.uc_stack.ss_size =
-      pth_sksize_makecontext(context->stack, STACK_SIZE);
+        pth_sksize_makecontext(context->stack, CONTEXT_STACK_SIZE);
 
 #ifdef HAVE_VALGRIND_VALGRIND_H
     context->valgrind_stack_id =
-      VALGRIND_STACK_REGISTER(context->uc.uc_stack.ss_sp,
-                              ((char *) context->uc.uc_stack.ss_sp) +
-                              context->uc.uc_stack.ss_size);
-#endif /* HAVE_VALGRIND_VALGRIND_H */
-
-    context->argc = argc;
-    context->argv = argv;
-    context->cleanup_func = cleanup_func;
-    context->cleanup_arg = cleanup_arg;
+        VALGRIND_STACK_REGISTER(context->uc.uc_stack.ss_sp,
+                                ((char *) context->uc.uc_stack.ss_sp) +
+                                context->uc.uc_stack.ss_size);
+#endif                          /* HAVE_VALGRIND_VALGRIND_H */
+    ctx_addr.addr = context;
+    makecontext(&context->uc, (void (*)())smx_ctx_sysv_wrapper,
+                CTX_ADDR_LEN, CTX_ADDR_SPLIT(ctx_addr));
+  }else{
+    maestro_context = context;
   }
-  
-  return (smx_context_t)context;
+
+  return (smx_context_t) context;
+
 }
 
-static void smx_ctx_sysv_free(smx_context_t pcontext)
+static smx_context_t
+smx_ctx_sysv_create_context(xbt_main_func_t code, int argc, char **argv,
+    void_pfn_smxprocess_t cleanup_func,
+    void *data)
 {
-  int i;
-  smx_ctx_sysv_t context = (smx_ctx_sysv_t)pcontext;   
-  if (context){
 
-#ifdef HAVE_VALGRIND_VALGRIND_H
-    VALGRIND_STACK_DEREGISTER(((smx_ctx_sysv_t) context)->valgrind_stack_id);
-#endif /* HAVE_VALGRIND_VALGRIND_H */
-
-    /* free argv */
-    if (context->argv) {
-      for (i = 0; i < context->argc; i++)
-        if (context->argv[i])
-          free(context->argv[i]);
-
-      free(context->argv);
-    }
-    
-    /* destroy the context */
-    free(context);
-  }
-}
+  return smx_ctx_sysv_create_context_sized(sizeof(s_smx_ctx_sysv_t),
+                                           code, argc, argv, cleanup_func,
+                                           data);
 
-static void smx_ctx_sysv_start(smx_context_t context)
-{  
-  makecontext(&((smx_ctx_sysv_t)context)->uc, smx_ctx_sysv_wrapper, 0);
 }
 
-static void smx_ctx_sysv_stop(smx_context_t pcontext)
+void smx_ctx_sysv_free(smx_context_t context)
 {
-  smx_ctx_sysv_t context = (smx_ctx_sysv_t)pcontext;
-  
-  if (context->cleanup_func)
-    (*context->cleanup_func) (context->cleanup_arg);
 
-  smx_ctx_sysv_suspend((smx_context_t)context);
+  if (context) {
+
+#ifdef HAVE_VALGRIND_VALGRIND_H
+    VALGRIND_STACK_DEREGISTER(((smx_ctx_sysv_t)
+                               context)->valgrind_stack_id);
+#endif                          /* HAVE_VALGRIND_VALGRIND_H */
+
+  }
+  smx_ctx_base_free(context);
 }
 
-static void smx_ctx_sysv_wrapper()
+void smx_ctx_sysv_stop(smx_context_t context)
 {
-  /*FIXME: I would like to avoid accesing simix_global to get the current
-    context by passing it as an argument of the wrapper function. The problem
-    is that this function is called from smx_ctx_sysv_start, and uses
-    makecontext for calling it, and the stupid posix specification states that
-    all the arguments of the function should be int(32 bits), making it useless
-    in 64-bit architectures where pointers are 64 bit long.
-   */
-  smx_ctx_sysv_t context = 
-    (smx_ctx_sysv_t)simix_global->current_process->context;
-  
-  (context->code) (context->argc, context->argv);
-  
-  smx_ctx_sysv_stop((smx_context_t)context);
+  smx_ctx_base_stop(context);
+  smx_ctx_sysv_suspend(context);
 }
 
-static void smx_ctx_sysv_suspend(smx_context_t context)
-{
-  int rv;
+void smx_ctx_sysv_wrapper(int first, ...)
+{ 
+  union u_ctx_addr ctx_addr;
+  smx_ctx_sysv_t context;
+
+  ctx_addr.intv[0] = first;
+  if (CTX_ADDR_LEN > 1) {
+    va_list ap;
+    int i;
+    va_start(ap, first);
+    for(i = 1; i < CTX_ADDR_LEN; i++)
+      ctx_addr.intv[i] = va_arg(ap, int);
+    va_end(ap);
+  }
+  context = ctx_addr.addr;
+  (context->super.code) (context->super.argc, context->super.argv);
 
-  smx_ctx_sysv_t prev_context = ((smx_ctx_sysv_t) context)->prev;
+  smx_ctx_sysv_stop((smx_context_t) context);
+}
+
+void smx_ctx_sysv_suspend(smx_context_t context)
+{
+  smx_current_context = (smx_context_t)maestro_context;
+  int rv = swapcontext(&((smx_ctx_sysv_t) context)->uc, &((smx_ctx_sysv_t)context)->old_uc);
 
-  ((smx_ctx_sysv_t) context)->prev = NULL;
+  xbt_assert0((rv == 0), "Context swapping failure");
+}
 
-  rv = swapcontext(&((smx_ctx_sysv_t) context)->uc, &prev_context->uc);
+void smx_ctx_sysv_resume(smx_context_t context)
+{
+  smx_current_context = context; 
+  int rv = swapcontext(&((smx_ctx_sysv_t)context)->old_uc, &((smx_ctx_sysv_t) context)->uc);
 
   xbt_assert0((rv == 0), "Context swapping failure");
 }
 
-static void 
-smx_ctx_sysv_resume(smx_context_t old_context, smx_context_t new_context)
+void smx_ctx_sysv_runall(xbt_dynar_t processes)
 {
-  int rv;
+  smx_process_t process;
+  unsigned int cursor;
 
-  ((smx_ctx_sysv_t) new_context)->prev = (smx_ctx_sysv_t)old_context;
+  xbt_dynar_foreach(processes, cursor, process) {
+    DEBUG2("Schedule item %u of %lu",cursor,xbt_dynar_length(processes));
+    smx_ctx_sysv_resume(process->context);
+  }
+  xbt_dynar_reset(processes);
+}
 
-  rv = swapcontext(&((smx_ctx_sysv_t)old_context)->uc,
-                   &((smx_ctx_sysv_t)new_context)->uc);
+void smx_ctx_sysv_resume_parallel(smx_process_t process)
+{
+  smx_context_t context = process->context;
+  xbt_os_thread_set_extra_data(context);
+  int rv = swapcontext(&((smx_ctx_sysv_t)context)->old_uc, &((smx_ctx_sysv_t) context)->uc);
+  xbt_os_thread_set_extra_data(NULL);
 
   xbt_assert0((rv == 0), "Context swapping failure");
 }
+
+void smx_ctx_sysv_runall_parallel(xbt_dynar_t processes)
+{
+  xbt_parmap_apply(parmap, (void_f_pvoid_t)smx_ctx_sysv_resume_parallel, processes);
+  xbt_dynar_reset(processes);
+}
+
+smx_context_t smx_ctx_sysv_self_parallel(void)
+{
+  smx_context_t self_context = (smx_context_t) xbt_os_thread_get_extra_data();
+  return self_context ? self_context : (smx_context_t) maestro_context;
+}