#include "portable.h"
#include "context_private.h"
-#include "xbt/error.h"
+#include "xbt/log.h"
#include "xbt/dynar.h"
#include "gras_config.h"
static xbt_swag_t context_living = NULL;
#ifndef USE_PTHREADS /* USE_PTHREADS and USE_CONTEXT are exclusive */
-# ifndef HAVE_UCONTEXT_H
+# ifndef USE_UCONTEXT
/* don't want to play with conditional compilation in automake tonight, sorry.
include directly the c file from here when needed. */
# include "context_win32.c"
+# define USE_WIN_CONTEXT
# endif
#endif
static void __xbt_context_yield(xbt_context_t context)
{
- int return_value = 0;
-
xbt_assert0(current_context,"You have to call context_init() first.");
DEBUG2("--------- current_context (%p) is yielding to context(%p) ---------",
#ifdef USE_PTHREADS
if (context) {
xbt_context_t self = current_context;
+ DEBUG0("**** Locking ****");
pthread_mutex_lock(&(context->mutex));
+ DEBUG0("**** Updating current_context ****");
current_context = context;
+ DEBUG0("**** Releasing the prisonner ****");
pthread_cond_signal(&(context->cond));
+ DEBUG0("**** Going to jail ****");
pthread_cond_wait(&(context->cond), &(context->mutex));
+ DEBUG0("**** Unlocking ****");
pthread_mutex_unlock(&(context->mutex));
+ DEBUG0("**** Updating current_context ****");
current_context = self;
}
#else
VOIRP(context);
if(context) VOIRP(context->save);
if (context) {
+
+ int return_value = 0;
+
if(context->save==NULL) {
DEBUG0("**** Yielding to somebody else ****");
DEBUG2("Saving current_context value (%p) to context(%p)->save",current_context,context);
pthread_mutex_destroy(&(context->mutex));
pthread_cond_destroy(&(context->cond));
#endif
+ if(context->exception) free(context->exception);
free(context);
return;
}
+static void __context_exit(xbt_context_t context ,int value)
+{
+ int i;
+ DEBUG0("Freeing arguments");
+ for(i=0;i<context->argc; i++)
+ if(context->argv[i]) free(context->argv[i]);
+ if(context->argv) free(context->argv);
+
+ if(context->cleanup_func) {
+ DEBUG0("Calling cleanup function");
+ context->cleanup_func(context->cleanup_arg);
+ }
+
+ DEBUG0("Putting context in the to_destroy set");
+ xbt_swag_remove(context, context_living);
+ xbt_swag_insert(context, context_to_destroy);
+ DEBUG0("Context put in the to_destroy set");
+
+ DEBUG0("Yielding");
+#ifdef USE_PTHREADS
+ DEBUG0("**** Locking ****");
+ pthread_mutex_lock(&(context->mutex));
+ DEBUG0("**** Updating current_context ****");
+ current_context = context;
+ DEBUG0("**** Releasing the prisonner ****");
+ pthread_cond_signal(&(context->cond));
+ DEBUG0("**** Unlocking ****");
+ pthread_mutex_unlock(&(context->mutex));
+ DEBUG0("**** Exiting ****");
+ pthread_exit(0);
+#else
+ __xbt_context_yield(context);
+#endif
+ xbt_assert0(0,"You can't be here!");
+}
+
static void *__context_wrapper(void *c)
{
xbt_context_t context = c;
- int i;
#ifdef USE_PTHREADS
+ DEBUG2("**[%p:%p]** Lock ****",context,(void*)pthread_self());
+ pthread_mutex_lock(&(context->mutex));
+ DEBUG2("**[%p:%p]** Releasing the prisonner ****",context,(void*)pthread_self());
+ pthread_cond_signal(&(context->cond));
+ DEBUG2("**[%p:%p]** Going to Jail ****",context,(void*)pthread_self());
pthread_cond_wait(&(context->cond), &(context->mutex));
+ DEBUG2("**[%p:%p]** Unlocking ****",context,(void*)pthread_self());
pthread_mutex_unlock(&(context->mutex));
#endif
if(context->startup_func)
context->startup_func(context->startup_arg);
- DEBUG0("Calling the main function");
- (context->code) (context->argc,context->argv);
+ DEBUG0("Calling the main function");
- for(i=0;i<context->argc; i++)
- if(context->argv[i]) free(context->argv[i]);
- if(context->argv) free(context->argv);
+ __context_exit(context, (context->code) (context->argc,context->argv));
+ return NULL;
+}
- if(context->cleanup_func)
- context->cleanup_func(context->cleanup_arg);
+/* callback: context fetching */
+static ex_ctx_t *__context_ex_ctx(void)
+{
+ return current_context->exception;
+}
- xbt_swag_remove(context, context_living);
- xbt_swag_insert(context, context_to_destroy);
+/* callback: termination */
+static void __context_ex_terminate(xbt_ex_t *e) {
+ xbt_ex_display(e);
- __xbt_context_yield(context);
- xbt_assert0(0,"You're cannot be here!");
- return NULL;
+ if(current_context!=init_context)
+ __context_exit(current_context, e->value);
+ else
+ abort();
}
/** \name Functions
* \ingroup XBT_context
*/
-/*@{*/
+/* @{ */
/** Context module initialization
*
* \warning It has to be called before using any other function of this module.
{
if(!current_context) {
current_context = init_context = xbt_new0(s_xbt_context_t,1);
+ init_context->exception = xbt_new(ex_ctx_t,1);
+ XBT_CTX_INITIALIZE(init_context->exception);
+ __xbt_ex_ctx = __context_ex_ctx;
+ __xbt_ex_terminate = __context_ex_terminate;
context_to_destroy = xbt_swag_new(xbt_swag_offset(*current_context,hookup));
context_living = xbt_swag_new(xbt_swag_offset(*current_context,hookup));
xbt_swag_insert(init_context, context_living);
void xbt_context_start(xbt_context_t context)
{
#ifdef USE_PTHREADS
- pthread_mutex_lock(&(context->mutex));
-
/* Launch the thread */
+ DEBUG1("**[%p]** Locking ****",context);
+ pthread_mutex_lock(&(context->mutex));
+ DEBUG1("**[%p]** Pthread create ****",context);
xbt_assert0(!pthread_create(context->thread, NULL, __context_wrapper, context),
"Unable to create a thread.");
+ DEBUG2("**[%p]** Pthread created : %p ****",context,(void*)(*(context->thread)));
+ DEBUG1("**[%p]** Going to jail ****",context);
+ pthread_cond_wait(&(context->cond), &(context->mutex));
+ DEBUG1("**[%p]** Unlocking ****",context);
+ pthread_mutex_unlock(&(context->mutex));
#else
makecontext (&(context->uc), (void (*) (void)) __context_wrapper,
1, context);
res->thread = xbt_new0(pthread_t,1);
xbt_assert0(!pthread_mutex_init(&(res->mutex), NULL), "Mutex initialization error");
xbt_assert0(!pthread_cond_init(&(res->cond), NULL), "Condition initialization error");
-#else
+#else
/* FIXME: strerror is not thread safe */
xbt_assert2(getcontext(&(res->uc))==0,"Error in context saving: %d (%s)", errno, strerror(errno));
res->uc.uc_link = NULL;
/* WARNING : when this context is over, the current_context (i.e. the
father), is awaken... Theorically, the wrapper should prevent using
this feature. */
- res->uc.uc_stack.ss_sp = res->stack;
- res->uc.uc_stack.ss_size = STACK_SIZE;
-#endif
+# ifndef USE_WIN_CONTEXT
+ res->uc.uc_stack.ss_sp = pth_skaddr_makecontext(res->stack,STACK_SIZE);
+ res->uc.uc_stack.ss_size = pth_sksize_makecontext(res->stack,STACK_SIZE);
+# endif /* USE_WIN_CONTEXT */
+#endif /* USE_PTHREADS or not */
res->argc = argc;
res->argv = argv;
res->startup_func = startup_func;
res->startup_arg = startup_arg;
res->cleanup_func = cleanup_func;
res->cleanup_arg = cleanup_arg;
+ res->exception = xbt_new(ex_ctx_t,1);
+ XBT_CTX_INITIALIZE(res->exception);
xbt_swag_insert(res, context_living);
*/
void xbt_context_schedule(xbt_context_t context)
{
+ DEBUG1("Scheduling %p",context);
xbt_assert0((current_context==init_context),
"You are not supposed to run this function here!");
__xbt_context_yield(context);
return;
}
-
-/*@}*/
+/* @} */
