X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2ddd4202532d54d217533b97ffde98f1ab078a11..d747238ce054a5db96974c9b2c888f922505f93b:/src/simix/smx_context_sysv.c diff --git a/src/simix/smx_context_sysv.c b/src/simix/smx_context_sysv.c index 50b58247ad..18cd39fad8 100644 --- a/src/simix/smx_context_sysv.c +++ b/src/simix/smx_context_sysv.c @@ -1,197 +1,242 @@ -/* $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 -#include "xbt/ex_interface.h" -#include "private.h" +#include "smx_context_sysv_private.h" +#include "xbt/parmap.h" +#include "simix/private.h" +#include "gras_config.h" -#include "context_sysv_config.h" /* loads context system definitions */ -#include "portable.h" -#include /* context relative declarations */ -#define STACK_SIZE 128*1024 /* lower this if you want to reduce the memory consumption */ #ifdef HAVE_VALGRIND_VALGRIND_H # include -#endif /* HAVE_VALGRIND_VALGRIND_H */ - -XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(smx_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; - - -/* callback: context fetching */ -static ex_ctx_t *xbt_jcontext_ex_ctx(void); - -/* callback: termination */ -static void xbt_jcontext_ex_terminate(xbt_ex_t *e); - -static smx_context_t smx_ctx_sysv_factory_create_context(xbt_main_func_t code); - -static int smx_ctx_sysv_factory_finalize(smx_context_factory_t *factory); - -static smx_context_t smx_ctx_sysv_factory_create_maestro_context(void); - -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(int exit_code); - -static void smx_ctx_sysv_suspend(smx_context_t context); - -static void smx_ctx_sysv_resume(smx_context_t old_context, - smx_context_t new_context); - -static void smx_ctx_sysv_wrapper(void); - -/* callback: context fetching */ -static ex_ctx_t *xbt_ctx_sysv_ex_ctx(void) -{ - return simix_global->current_process->context->exception; -} - -/* callback: termination */ -static void xbt_ctx_sysv_ex_terminate(xbt_ex_t * e) -{ - xbt_ex_display(e); - abort(); -} +#endif /* HAVE_VALGRIND_VALGRIND_H */ + +#ifdef _XBT_WIN32 +#include "win32_ucontext.h" +#include "win32_ucontext.c" +#else +#include "ucontext.h" +#endif + +XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_context); + +#ifdef CONTEXT_THREADS +static xbt_parmap_t parmap; +#endif + +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_maestro_context = smx_ctx_sysv_factory_create_maestro_context; + (*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"; - /* context exception handlers */ - __xbt_ex_ctx = xbt_ctx_sysv_ex_ctx; - __xbt_ex_terminate = xbt_ctx_sysv_ex_terminate; + if (SIMIX_context_is_parallel()) { +#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; + (*factory)->get_thread_id = smx_ctx_sysv_get_thread_id; +#else + THROW0(arg_error, 0, "No thread support for parallel context execution"); +#endif + }else{ + (*factory)->runall = smx_ctx_sysv_runall; + } +} + +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_maestro_context() +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); - context->exception = xbt_new(ex_ctx_t, 1); - XBT_CTX_INITIALIZE(context->exception); + /* If the user provided a function for the process then use it + otherwise is the context for maestro */ + if (code) { - return (smx_context_t)context; -} + xbt_assert2(getcontext(&(context->uc)) == 0, + "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, smx_context_stack_size); + + context->uc.uc_stack.ss_size = + pth_sksize_makecontext(context->stack, smx_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 */ + 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; -static int smx_ctx_sysv_factory_finalize(smx_context_factory_t * factory) -{ - /*FIXME free(maestro_context->exception);*/ - free(*factory); - *factory = NULL; - return 0; } -static smx_context_t smx_ctx_sysv_factory_create_context(xbt_main_func_t code) +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) { - smx_ctx_sysv_t context = xbt_new0(s_smx_ctx_sysv_t, 1); - context->code = code; + return smx_ctx_sysv_create_context_sized(sizeof(s_smx_ctx_sysv_t) + smx_context_stack_size, + code, argc, argv, cleanup_func, + data); - xbt_assert2(getcontext(&(context->uc)) == 0, - "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); - context->uc.uc_stack.ss_size = - pth_sksize_makecontext(context->stack, 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->exception = xbt_new(ex_ctx_t, 1); - XBT_CTX_INITIALIZE(context->exception); - - return (smx_context_t)context; } -static void smx_ctx_sysv_free(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){ - if (context->exception) - free(context->exception); + if (context) { #ifdef HAVE_VALGRIND_VALGRIND_H - VALGRIND_STACK_DEREGISTER(((smx_ctx_sysv_t) context)->valgrind_stack_id); -#endif /* HAVE_VALGRIND_VALGRIND_H */ + VALGRIND_STACK_DEREGISTER(((smx_ctx_sysv_t) + context)->valgrind_stack_id); +#endif /* HAVE_VALGRIND_VALGRIND_H */ - /* destroy the context */ - free(context); } + smx_ctx_base_free(context); } -static void smx_ctx_sysv_start(smx_context_t context) +void smx_ctx_sysv_stop(smx_context_t context) { - makecontext(&((smx_ctx_sysv_t)context)->uc, smx_ctx_sysv_wrapper, 0); + smx_ctx_base_stop(context); + smx_ctx_sysv_suspend(context); } -static void smx_ctx_sysv_stop(int exit_code) -{ - if (simix_global->current_process->cleanup_func) - ((*simix_global->current_process->cleanup_func)) - (simix_global->current_process->cleanup_arg); +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_suspend(simix_global->current_process->context); + smx_ctx_sysv_stop((smx_context_t) context); } -static void smx_ctx_sysv_wrapper(void) +void smx_ctx_sysv_suspend(smx_context_t context) { - smx_ctx_sysv_stop((*(simix_global->current_process->context->code)) - (simix_global->current_process->argc, - simix_global->current_process->argv)); + smx_current_context = (smx_context_t)maestro_context; + int rv = swapcontext(&((smx_ctx_sysv_t) context)->uc, &((smx_ctx_sysv_t)context)->old_uc); + + xbt_assert0((rv == 0), "Context swapping failure"); } -static void smx_ctx_sysv_suspend(smx_context_t context) +void smx_ctx_sysv_resume(smx_context_t context) { - int rv; + smx_current_context = context; + int rv = swapcontext(&((smx_ctx_sysv_t)context)->old_uc, &((smx_ctx_sysv_t) context)->uc); - smx_ctx_sysv_t prev_context = ((smx_ctx_sysv_t) context)->prev; + xbt_assert0((rv == 0), "Context swapping failure"); +} + +void smx_ctx_sysv_runall(xbt_dynar_t processes) +{ + smx_process_t process; + unsigned int cursor; - ((smx_ctx_sysv_t) context)->prev = NULL; + 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) context)->uc, &prev_context->uc); +void smx_ctx_sysv_resume_parallel(smx_process_t process) +{ + smx_context_t context = process->context; + smx_current_context = (smx_context_t)context; + int rv = swapcontext(&((smx_ctx_sysv_t)context)->old_uc, &((smx_ctx_sysv_t) context)->uc); + smx_current_context = (smx_context_t)maestro_context; 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_parallel(xbt_dynar_t processes) { - int rv; - - ((smx_ctx_sysv_t) new_context)->prev = (smx_ctx_sysv_t)old_context; + xbt_parmap_apply(parmap, (void_f_pvoid_t)smx_ctx_sysv_resume_parallel, processes); + xbt_dynar_reset(processes); +} - rv = swapcontext(&((smx_ctx_sysv_t)old_context)->uc, - &((smx_ctx_sysv_t)new_context)->uc); +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;*/ + return smx_current_context; +} - xbt_assert0((rv == 0), "Context swapping failure"); +int smx_ctx_sysv_get_thread_id(void) +{ + return (int)(unsigned long)xbt_os_thread_get_extra_data(); }