X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/dee60c06c65803e929391a0102697323bda033e4..0b2b203572323552d916d5d2c60d100a27ca7f72:/src/simix/smx_context_sysv.c diff --git a/src/simix/smx_context_sysv.c b/src/simix/smx_context_sysv.c index a168a7eb2b..d8f90fe37e 100644 --- a/src/simix/smx_context_sysv.c +++ b/src/simix/smx_context_sysv.c @@ -1,233 +1,293 @@ -/* context_sysv - context switching with ucontextes from System V */ +/* context_sysv - context switching with ucontexts from System V */ -/* Copyright (c) 2009, 2010. The SimGrid Team. +/* Copyright (c) 2009-2014. The SimGrid Team. * 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. */ +/* 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 "smx_context_sysv_private.h" #include "xbt/parmap.h" -#include "simix/private.h" -#include "gras_config.h" - -#ifdef HAVE_VALGRIND_VALGRIND_H -# include -#endif /* HAVE_VALGRIND_VALGRIND_H */ +#include "smx_private.h" +#include "internal_config.h" +#include "context_sysv_config.h" /* loads context system definitions */ +#include "mc/mc.h" #ifdef _XBT_WIN32 -#include "win32_ucontext.h" -#include "win32_ucontext.c" +# include /* context relative declarations */ #else -#include "ucontext.h" +# include /* context relative declarations */ #endif XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_context); -static xbt_parmap_t parmap; +typedef struct s_smx_ctx_sysv { + s_smx_ctx_base_t super; /* Fields of super implementation */ + ucontext_t uc; /* the ucontext that executes the code */ + char *stack; /* the thread stack */ +} s_smx_ctx_sysv_t, *smx_ctx_sysv_t; + +#ifdef CONTEXT_THREADS +static xbt_parmap_t sysv_parmap; +static smx_ctx_sysv_t* sysv_workers_context; /* space to save the worker's context in each thread */ +static unsigned long sysv_threads_working; /* number of threads that have started their work */ +static xbt_os_thread_key_t sysv_worker_id_key; /* thread-specific storage for the thread id */ +#endif +static unsigned long sysv_process_index = 0; /* index of the next process to run in the + * list of runnable processes */ +static smx_ctx_sysv_t sysv_maestro_context; +static int smx_ctx_sysv_factory_finalize(smx_context_factory_t *factory); +static void smx_ctx_sysv_free(smx_context_t context); 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); + void_pfn_smxprocess_t cleanup_func, smx_process_t process); 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 +static void smx_ctx_sysv_stop_serial(smx_context_t context); +static void smx_ctx_sysv_suspend_serial(smx_context_t context); +static void smx_ctx_sysv_resume_serial(smx_process_t first_process); +static void smx_ctx_sysv_runall_serial(void); + +static void smx_ctx_sysv_stop_parallel(smx_context_t context); +static void smx_ctx_sysv_suspend_parallel(smx_context_t context); +static void smx_ctx_sysv_resume_parallel(smx_process_t first_process); +static void smx_ctx_sysv_runall_parallel(void); + +/* This is a bit paranoid about sizeof(smx_ctx_sysv_t) not being a multiple of + * sizeof(int), but it doesn't harm. */ +#define CTX_ADDR_LEN \ + (sizeof(smx_ctx_sysv_t) / sizeof(int) + \ + !!(sizeof(smx_ctx_sysv_t) % sizeof(int))) void SIMIX_ctx_sysv_factory_init(smx_context_factory_t *factory) { smx_ctx_base_factory_init(factory); - VERB0("Activating SYSV context factory"); + XBT_VERB("Activating SYSV context factory"); (*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)->stop = smx_ctx_sysv_stop; - (*factory)->suspend = smx_ctx_sysv_suspend; (*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); + if (SIMIX_context_is_parallel()) { +#ifdef CONTEXT_THREADS /* To use parallel ucontexts a thread pool is needed */ + int nthreads = SIMIX_context_get_nthreads(); + sysv_parmap = xbt_parmap_new(nthreads, SIMIX_context_get_parallel_mode()); + sysv_workers_context = xbt_new(smx_ctx_sysv_t, nthreads); + sysv_maestro_context = NULL; + xbt_os_thread_key_create(&sysv_worker_id_key); + (*factory)->stop = smx_ctx_sysv_stop_parallel; + (*factory)->suspend = smx_ctx_sysv_suspend_parallel; (*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"); + THROWF(arg_error, 0, "No thread support for parallel context execution"); #endif - }else{ - (*factory)->runall = smx_ctx_sysv_runall; + } else { + (*factory)->stop = smx_ctx_sysv_stop_serial; + (*factory)->suspend = smx_ctx_sysv_suspend_serial; + (*factory)->runall = smx_ctx_sysv_runall_serial; } } -int smx_ctx_sysv_factory_finalize(smx_context_factory_t *factory) +static int smx_ctx_sysv_factory_finalize(smx_context_factory_t *factory) { - if(parmap) - xbt_parmap_destroy(parmap); +#ifdef CONTEXT_THREADS + if (sysv_parmap) + xbt_parmap_destroy(sysv_parmap); + xbt_free(sysv_workers_context); +#endif return smx_ctx_base_factory_finalize(factory); } -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) +static smx_context_t +smx_ctx_sysv_create_context(xbt_main_func_t code, int argc, char **argv, + void_pfn_smxprocess_t cleanup_func, + smx_process_t process) { - union u_ctx_addr ctx_addr; + int ctx_addr[CTX_ADDR_LEN]; 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 */ + (smx_ctx_sysv_t) smx_ctx_base_factory_create_context_sized( + sizeof(s_smx_ctx_sysv_t), + code, + argc, + argv, + cleanup_func, + process); + + /* if the user provided a function for the process then use it, + otherwise it is the context for maestro */ if (code) { - xbt_assert2(getcontext(&(context->uc)) == 0, - "Error in context saving: %d (%s)", errno, - strerror(errno)); + context->stack = SIMIX_context_stack_new(); + getcontext(&(context->uc)); context->uc.uc_link = NULL; context->uc.uc_stack.ss_sp = - pth_skaddr_makecontext(context->stack, smx_context_stack_size); + pth_skaddr_makecontext(context->stack, smx_context_usable_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; + pth_sksize_makecontext(context->stack, smx_context_usable_stack_size); + + memcpy(ctx_addr, &context, sizeof(smx_ctx_sysv_t)); + switch (CTX_ADDR_LEN) { + case 1: + makecontext(&context->uc, (void (*)())smx_ctx_sysv_wrapper, + 1, ctx_addr[0]); + break; + case 2: + makecontext(&context->uc, (void (*)())smx_ctx_sysv_wrapper, + 2, ctx_addr[0], ctx_addr[1]); + break; + default: + xbt_die("Ucontexts are not supported on this arch yet (addr len = %zu/%zu = %zu)", + sizeof(smx_ctx_sysv_t), sizeof(int), CTX_ADDR_LEN); + } + } else { + if (process != NULL && sysv_maestro_context == NULL) + sysv_maestro_context = context; } - return (smx_context_t) context; - -} - -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) -{ - - return smx_ctx_sysv_create_context_sized(sizeof(s_smx_ctx_sysv_t) + smx_context_stack_size, - code, argc, argv, cleanup_func, - data); + if(MC_is_active() && code) + MC_new_stack_area(context->stack, ((smx_context_t)context)->process->name, + &(context->uc), smx_context_usable_stack_size); + return (smx_context_t) context; } -void smx_ctx_sysv_free(smx_context_t context) +static void smx_ctx_sysv_free(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 */ - + SIMIX_context_stack_delete(((smx_ctx_sysv_t)context)->stack); } smx_ctx_base_free(context); } -void smx_ctx_sysv_stop(smx_context_t context) -{ - smx_ctx_base_stop(context); - smx_ctx_sysv_suspend(context); -} - -void smx_ctx_sysv_wrapper(int first, ...) +static void smx_ctx_sysv_wrapper(int first, ...) { - union u_ctx_addr ctx_addr; + int ctx_addr[CTX_ADDR_LEN]; smx_ctx_sysv_t context; - ctx_addr.intv[0] = first; + ctx_addr[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); + for (i = 1; i < CTX_ADDR_LEN; i++) + ctx_addr[i] = va_arg(ap, int); va_end(ap); } - context = ctx_addr.addr; + memcpy(&context, ctx_addr, sizeof(smx_ctx_sysv_t)); (context->super.code) (context->super.argc, context->super.argv); - smx_ctx_sysv_stop((smx_context_t) context); + simix_global->context_factory->stop((smx_context_t) context); } -void smx_ctx_sysv_suspend(smx_context_t context) +static void smx_ctx_sysv_stop_serial(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); - - xbt_assert0((rv == 0), "Context swapping failure"); + smx_ctx_base_stop(context); + smx_ctx_sysv_suspend_serial(context); } -void smx_ctx_sysv_resume(smx_context_t context) +static void smx_ctx_sysv_suspend_serial(smx_context_t context) { - smx_current_context = context; - int rv = swapcontext(&((smx_ctx_sysv_t)context)->old_uc, &((smx_ctx_sysv_t) context)->uc); + /* determine the next context */ + smx_context_t next_context; + unsigned long int i = sysv_process_index++; + + if (i < xbt_dynar_length(simix_global->process_to_run)) { + /* execute the next process */ + XBT_DEBUG("Run next process"); + next_context = xbt_dynar_get_as( + simix_global->process_to_run,i, smx_process_t)->context; + } + else { + /* all processes were run, return to maestro */ + XBT_DEBUG("No more process to run"); + next_context = (smx_context_t) sysv_maestro_context; + } + SIMIX_context_set_current(next_context); + swapcontext(&((smx_ctx_sysv_t) context)->uc, + &((smx_ctx_sysv_t) next_context)->uc); +} - xbt_assert0((rv == 0), "Context swapping failure"); +static void smx_ctx_sysv_resume_serial(smx_process_t first_process) +{ + smx_context_t context = first_process->context; + SIMIX_context_set_current(context); + swapcontext(&sysv_maestro_context->uc, + &((smx_ctx_sysv_t) context)->uc); } -void smx_ctx_sysv_runall(xbt_dynar_t processes) +static void smx_ctx_sysv_runall_serial(void) { - smx_process_t process; - unsigned int cursor; + smx_process_t first_process = + xbt_dynar_get_as(simix_global->process_to_run, 0, smx_process_t); + sysv_process_index = 1; - 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); + /* execute the first process */ + smx_ctx_sysv_resume_serial(first_process); +} + +static void smx_ctx_sysv_stop_parallel(smx_context_t context) +{ + smx_ctx_base_stop(context); + smx_ctx_sysv_suspend_parallel(context); } -void smx_ctx_sysv_resume_parallel(smx_process_t process) +static void smx_ctx_sysv_suspend_parallel(smx_context_t context) { - 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); +#ifdef CONTEXT_THREADS + /* determine the next context */ + smx_process_t next_work = xbt_parmap_next(sysv_parmap); + smx_context_t next_context; + ucontext_t* next_stack; + + if (next_work != NULL) { + /* there is a next process to resume */ + XBT_DEBUG("Run next process"); + next_context = next_work->context; + next_stack = &((smx_ctx_sysv_t) next_context)->uc; + } + else { + /* all processes were run, go to the barrier */ + XBT_DEBUG("No more processes to run"); + unsigned long worker_id = + (unsigned long) xbt_os_thread_get_specific(sysv_worker_id_key); + next_context = (smx_context_t)sysv_workers_context[worker_id]; + next_stack = &((smx_ctx_sysv_t)next_context)->uc; + } - xbt_assert0((rv == 0), "Context swapping failure"); + SIMIX_context_set_current(next_context); + swapcontext(&((smx_ctx_sysv_t) context)->uc, next_stack); +#endif } -void smx_ctx_sysv_runall_parallel(xbt_dynar_t processes) +static void smx_ctx_sysv_resume_parallel(smx_process_t first_process) { - xbt_parmap_apply(parmap, (void_f_pvoid_t)smx_ctx_sysv_resume_parallel, processes); - xbt_dynar_reset(processes); +#ifdef CONTEXT_THREADS + unsigned long worker_id = __sync_fetch_and_add(&sysv_threads_working, 1); + xbt_os_thread_set_specific(sysv_worker_id_key, (void*) worker_id); + smx_ctx_sysv_t worker_context = (smx_ctx_sysv_t)SIMIX_context_self(); + sysv_workers_context[worker_id] = worker_context; + ucontext_t* worker_stack = &worker_context->uc; + + smx_context_t context = first_process->context; + SIMIX_context_set_current(context); + swapcontext(worker_stack, &((smx_ctx_sysv_t) context)->uc); +#endif } -smx_context_t smx_ctx_sysv_self_parallel(void) +static void smx_ctx_sysv_runall_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; +#ifdef CONTEXT_THREADS + sysv_threads_working = 0; + xbt_parmap_apply(sysv_parmap, (void_f_pvoid_t) smx_ctx_sysv_resume_parallel, + simix_global->process_to_run); +#endif }