X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/44ca997a01460e17c9affb8fd4915daf91c439d5..da2e6432ce1b2e6a3d01cbd0ba037e8f31a18550:/src/xbt/xbt_sg_synchro.c diff --git a/src/xbt/xbt_sg_synchro.c b/src/xbt/xbt_sg_synchro.c index ee00c07ba3..6e9b0aea54 100644 --- a/src/xbt/xbt_sg_synchro.c +++ b/src/xbt/xbt_sg_synchro.c @@ -1,127 +1,187 @@ -/* $Id$ */ - /* xbt_synchro -- Synchronization virtualized depending on whether we are */ /* in simulation or real life (act on simulated processes) */ /* This is the simulation implementation, using simix. */ -/* Copyright 2006,2007 Malek Cherier, Martin Quinson - * All right reserved. */ +/* Copyright (c) 2007, 2008, 2009, 2010. 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. */ #include "xbt/ex.h" -#include "xbt/synchro.h" /* This module */ +#include "xbt/synchro.h" /* This module */ -#include "simix/simix.h" /* used implementation */ +#include "simix/simix.h" /* used implementation */ #include "simix/datatypes.h" +#include "../simix/private.h" /* FIXME */ + +XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_sync, xbt, + "Synchronization mechanism"); /* the implementation would be cleaner (and faster) with ELF symbol aliasing */ typedef struct s_xbt_thread_ { - smx_process_t s_process; - void_f_pvoid_t *code; - void *userparam; + smx_process_t s_process; /* keep this first, gras_socket_im_the_server() does funky transtyping in sg_msg.c */ + char *name; + void_f_pvoid_t code; + void *userparam; + void *father_data; + /* stuff to allow other people to wait on me with xbt_thread_join */ + int joinable:1, done:1; + xbt_cond_t cond; + xbt_mutex_t mutex; } s_xbt_thread_t; -static int xbt_thread_create_wrapper(int argc, char *argv[]) { - xbt_thread_t t = (xbt_thread_t)SIMIX_process_get_data(SIMIX_process_self()); - (*t->code)(t->userparam); - return 0; +static int xbt_thread_create_wrapper(int argc, char *argv[]) +{ + xbt_thread_t t = + (xbt_thread_t) SIMIX_process_self_get_data(); + SIMIX_req_process_set_data(SIMIX_process_self(), t->father_data); + (*t->code) (t->userparam); + if (t->joinable) { + t->done = 1; + xbt_mutex_acquire(t->mutex); + xbt_cond_broadcast(t->cond); + xbt_mutex_release(t->mutex); + } else { + xbt_mutex_destroy(t->mutex); + xbt_cond_destroy(t->cond); + free(t->name); + free(t); + } + return 0; +} + +xbt_thread_t xbt_thread_create(const char *name, void_f_pvoid_t code, + void *param, int joinable) +{ + xbt_thread_t res = xbt_new0(s_xbt_thread_t, 1); + res->name = xbt_strdup(name); + res->userparam = param; + res->code = code; + res->father_data = SIMIX_process_self_get_data(); + /* char*name = bprintf("%s#%p",SIMIX_process_self_get_name(), param); */ + res->s_process = SIMIX_req_process_create(name, + xbt_thread_create_wrapper, res, + SIMIX_host_self_get_name(), 0, NULL, + /*props */ NULL); + res->joinable = joinable; + res->done = 0; + res->cond = xbt_cond_init(); + res->mutex = xbt_mutex_init(); + // free(name); + return res; } -xbt_thread_t xbt_thread_create(void_f_pvoid_t* code, void* param) { - xbt_thread_t res = xbt_new0(s_xbt_thread_t,1); - res->userparam = param; - res->code = code; - res->s_process = SIMIX_process_create(NULL, - xbt_thread_create_wrapper, res, - SIMIX_host_get_name(SIMIX_host_self()), - 0, NULL); - return res; +const char *xbt_thread_name(xbt_thread_t t) +{ + return t->name; } -void -xbt_thread_join(xbt_thread_t thread) { - THROW_UNIMPLEMENTED; /* FIXME */ -} +const char *xbt_thread_self_name(void) +{ + xbt_thread_t me = xbt_thread_self(); + return me ? me->name : "maestro"; +} + + +void xbt_thread_join(xbt_thread_t thread) +{ + xbt_mutex_acquire(thread->mutex); + xbt_assert1(thread->joinable, + "Cannot join on %p: wasn't created joinable", thread); + if (!thread->done) { + xbt_cond_wait(thread->cond, thread->mutex); + xbt_mutex_release(thread->mutex); + } -void -xbt_thread_destroy(xbt_thread_t thread) { - SIMIX_process_kill(thread->s_process); - free(thread); -} + xbt_mutex_destroy(thread->mutex); + xbt_cond_destroy(thread->cond); + free(thread->name); + free(thread); -void xbt_thread_exit() { - xbt_thread_destroy(xbt_thread_self()); } -xbt_thread_t xbt_thread_self(void) { - return SIMIX_process_get_data(SIMIX_process_self()); +void xbt_thread_cancel(xbt_thread_t thread) +{ + SIMIX_req_process_kill(thread->s_process); + free(thread->name); + free(thread); } -void xbt_thread_yield(void) { - THROW_UNIMPLEMENTED; /* FIXME */ +void xbt_thread_exit() +{ + SIMIX_req_process_kill(SIMIX_process_self()); +} + +xbt_thread_t xbt_thread_self(void) +{ + return SIMIX_process_self_get_data(); +} + +void xbt_thread_yield(void) +{ + SIMIX_process_yield(); } /****** mutex related functions ******/ struct s_xbt_mutex_ { - - /* KEEP IT IN SYNC WITH src/simix/private.h::struct s_smx_mutex */ - xbt_swag_t sleeping; /* list of sleeping process */ - int using; - /* KEEP IT IN SYNC WITH src/simix/private.h::struct s_smx_mutex */ - + s_smx_mutex_t mutex; }; -xbt_mutex_t xbt_mutex_init(void) { - return (xbt_mutex_t)SIMIX_mutex_init(); +xbt_mutex_t xbt_mutex_init(void) +{ + return (xbt_mutex_t) SIMIX_req_mutex_init(); } -void xbt_mutex_lock(xbt_mutex_t mutex) { - SIMIX_mutex_lock( (smx_mutex_t)mutex) ; +void xbt_mutex_acquire(xbt_mutex_t mutex) +{ + SIMIX_req_mutex_lock((smx_mutex_t) mutex); } -void xbt_mutex_unlock(xbt_mutex_t mutex) { - SIMIX_mutex_unlock( (smx_mutex_t)mutex ); +void xbt_mutex_release(xbt_mutex_t mutex) +{ + SIMIX_req_mutex_unlock((smx_mutex_t) mutex); } -void xbt_mutex_destroy(xbt_mutex_t mutex) { - SIMIX_mutex_destroy( (smx_mutex_t)mutex ); +void xbt_mutex_destroy(xbt_mutex_t mutex) +{ + SIMIX_req_mutex_destroy((smx_mutex_t) mutex); } /***** condition related functions *****/ struct s_xbt_cond_ { - - /* KEEP IT IN SYNC WITH src/simix/private.h::struct s_smx_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/simix/private.h::struct s_smx_cond */ - + s_smx_cond_t cond; }; -xbt_cond_t xbt_cond_init(void) { - return (xbt_cond_t)SIMIX_cond_init(); +xbt_cond_t xbt_cond_init(void) +{ + return (xbt_cond_t) SIMIX_req_cond_init(); } -void xbt_cond_wait(xbt_cond_t cond, xbt_mutex_t mutex) { - SIMIX_cond_wait( (smx_cond_t)cond , (smx_mutex_t)mutex ); +void xbt_cond_wait(xbt_cond_t cond, xbt_mutex_t mutex) +{ + SIMIX_req_cond_wait((smx_cond_t) cond, (smx_mutex_t) mutex); } -void xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay) { - SIMIX_cond_wait_timeout( (smx_cond_t)cond , (smx_mutex_t)mutex, delay ); +void xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay) +{ + SIMIX_req_cond_wait_timeout((smx_cond_t) cond, (smx_mutex_t) mutex, delay); } -void xbt_cond_signal(xbt_cond_t cond) { - SIMIX_cond_signal( (smx_cond_t)cond ); +void xbt_cond_signal(xbt_cond_t cond) +{ + SIMIX_req_cond_signal((smx_cond_t) cond); } - -void xbt_cond_broadcast(xbt_cond_t cond){ - SIMIX_cond_broadcast( (smx_cond_t)cond ); + +void xbt_cond_broadcast(xbt_cond_t cond) +{ + SIMIX_req_cond_broadcast((smx_cond_t) cond); } -void xbt_cond_destroy(xbt_cond_t cond){ - SIMIX_cond_destroy( (smx_cond_t)cond ); + +void xbt_cond_destroy(xbt_cond_t cond) +{ + SIMIX_req_cond_destroy((smx_cond_t) cond); }