X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/611d822b02f836d7abe031cced6adc4281ef4356..2d37e348a09783cda723c7019640ee69de168324:/src/kernel/context/ContextThread.cpp diff --git a/src/kernel/context/ContextThread.cpp b/src/kernel/context/ContextThread.cpp index 26d0b219a3..171e32e62e 100644 --- a/src/kernel/context/ContextThread.cpp +++ b/src/kernel/context/ContextThread.cpp @@ -1,18 +1,18 @@ -/* Copyright (c) 2009-2018. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2009-2019. 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 -#include +#include "src/kernel/context/ContextThread.hpp" +#include "simgrid/Exception.hpp" #include "src/internal_config.h" /* loads context system definitions */ #include "src/simix/smx_private.hpp" #include "src/xbt_modinter.h" /* prototype of os thread module's init/exit in XBT */ #include "xbt/function_types.h" -#include "xbt/xbt_os_thread.h" -#include "src/kernel/context/ContextThread.hpp" +#include +#include XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_context); @@ -22,8 +22,7 @@ namespace context { // ThreadContextFactory -ThreadContextFactory::ThreadContextFactory() - : ContextFactory("ThreadContextFactory"), parallel_(SIMIX_context_is_parallel()) +ThreadContextFactory::ThreadContextFactory() : ContextFactory(), parallel_(SIMIX_context_is_parallel()) { if (parallel_) ParallelThreadContext::initialize(); @@ -36,12 +35,12 @@ ThreadContextFactory::~ThreadContextFactory() } ThreadContext* ThreadContextFactory::create_context(std::function code, void_pfn_smxprocess_t cleanup, - smx_actor_t process, bool maestro) + smx_actor_t actor, bool maestro) { if (parallel_) - return this->new_context(std::move(code), cleanup, process, maestro); + return this->new_context(std::move(code), cleanup, actor, maestro); else - return this->new_context(std::move(code), cleanup, process, maestro); + return this->new_context(std::move(code), cleanup, actor, maestro); } void ThreadContextFactory::run_all() @@ -57,49 +56,35 @@ void ThreadContextFactory::run_all() // ThreadContext -ThreadContext::ThreadContext(std::function code, void_pfn_smxprocess_t cleanup, smx_actor_t process, - bool maestro) - : AttachContext(std::move(code), cleanup, process), is_maestro_(maestro) +ThreadContext::ThreadContext(std::function code, void_pfn_smxprocess_t cleanup, smx_actor_t actor, bool maestro) + : AttachContext(std::move(code), cleanup, actor), is_maestro_(maestro) { - // We do not need the semaphores when maestro is in main, - // but creating them anyway simplifies things when maestro is externalized - this->begin_ = xbt_os_sem_init(0); - this->end_ = xbt_os_sem_init(0); - - /* If the user provided a function for the process then use it */ + /* If the user provided a function for the actor then use it */ if (has_code()) { - if (smx_context_stack_size_was_set) - xbt_os_thread_setstacksize(smx_context_stack_size); - if (smx_context_guard_size_was_set) - xbt_os_thread_setguardsize(smx_context_guard_size); - - /* create and start the process */ - /* NOTE: The first argument to xbt_os_thread_create used to be the process * - * name, but now the name is stored at SIMIX level, so we pass a null */ - this->thread_ = xbt_os_thread_create(nullptr, ThreadContext::wrapper, this, this); - /* wait the starting of the newly created process */ - xbt_os_sem_acquire(this->end_); + /* create and start the actor */ + this->thread_ = new std::thread(ThreadContext::wrapper, this); + /* wait the starting of the newly created actor */ + this->end_.acquire(); } /* Otherwise, we attach to the current thread */ else { - xbt_os_thread_set_extra_data(this); + Context::set_current(this); } } ThreadContext::~ThreadContext() { - if (this->thread_) /* If there is a thread (maestro don't have any), wait for its termination */ - xbt_os_thread_join(this->thread_, nullptr); - - /* destroy the synchronization objects */ - xbt_os_sem_destroy(this->begin_); - xbt_os_sem_destroy(this->end_); + if (this->thread_) { /* Maestro don't have any thread */ + thread_->join(); + delete thread_; + } } void *ThreadContext::wrapper(void *param) { ThreadContext* context = static_cast(param); + Context::set_current(context); #ifndef WIN32 /* Install alternate signal stack, for SIGSEGV handler. */ @@ -110,18 +95,22 @@ void *ThreadContext::wrapper(void *param) sigaltstack(&stack, nullptr); #endif // Tell the caller (normally the maestro) we are starting, and wait for its green light - xbt_os_sem_release(context->end_); + context->end_.release(); context->start(); try { (*context)(); - if (not context->isMaestro()) // really? + if (not context->is_maestro()) { // Just in case somebody detached maestro context->Context::stop(); + context->stop_hook(); + } } catch (StopRequest const&) { - XBT_DEBUG("Caught a StopRequest"); - xbt_assert(not context->isMaestro(), "I'm not supposed to be maestro here."); + XBT_DEBUG("Caught a StopRequest in Thread::wrapper"); + xbt_assert(not context->is_maestro(), "Maestro shall not receive StopRequests, even when detached."); + } catch (simgrid::Exception const& e) { + XBT_INFO("Actor killed by an uncatched exception %s", simgrid::xbt::demangle(typeid(e).name()).get()); + throw; } - // Signal to the caller (normally the maestro) that we have finished: context->yield(); @@ -129,34 +118,37 @@ void *ThreadContext::wrapper(void *param) stack.ss_flags = SS_DISABLE; sigaltstack(&stack, nullptr); #endif + XBT_DEBUG("Terminating"); + Context::set_current(nullptr); return nullptr; } void ThreadContext::release() { - xbt_os_sem_release(this->begin_); + this->begin_.release(); } void ThreadContext::wait() { - xbt_os_sem_acquire(this->end_); + this->end_.acquire(); } void ThreadContext::start() { - xbt_os_sem_acquire(this->begin_); + this->begin_.acquire(); this->start_hook(); } void ThreadContext::yield() { this->yield_hook(); - xbt_os_sem_release(this->end_); + this->end_.release(); } void ThreadContext::stop() { Context::stop(); + stop_hook(); throw StopRequest(); } @@ -169,30 +161,30 @@ void ThreadContext::suspend() void ThreadContext::attach_start() { // We're breaking the layers here by depending on the upper layer: - ThreadContext* maestro = (ThreadContext*) simix_global->maestro_process->context; - xbt_os_sem_release(maestro->begin_); - xbt_assert(not this->isMaestro()); + ThreadContext* maestro = (ThreadContext*)simix_global->maestro_process->context_; + maestro->begin_.release(); + xbt_assert(not this->is_maestro()); this->start(); } void ThreadContext::attach_stop() { - xbt_assert(not this->isMaestro()); + xbt_assert(not this->is_maestro()); this->yield(); - ThreadContext* maestro = (ThreadContext*) simix_global->maestro_process->context; - xbt_os_sem_acquire(maestro->end_); + ThreadContext* maestro = (ThreadContext*)simix_global->maestro_process->context_; + maestro->end_.acquire(); - xbt_os_thread_set_extra_data(nullptr); + Context::set_current(nullptr); } // SerialThreadContext void SerialThreadContext::run_all() { - for (smx_actor_t const& process : simix_global->process_to_run) { - XBT_DEBUG("Handling %p", process); - ThreadContext* context = static_cast(process->context); + for (smx_actor_t const& actor : simix_global->process_to_run) { + XBT_DEBUG("Handling %p", actor); + ThreadContext* context = static_cast(actor->context_); context->release(); context->wait(); } @@ -200,37 +192,37 @@ void SerialThreadContext::run_all() // ParallelThreadContext -xbt_os_sem_t ParallelThreadContext::thread_sem_ = nullptr; +xbt::OsSemaphore* ParallelThreadContext::thread_sem_ = nullptr; void ParallelThreadContext::initialize() { - thread_sem_ = xbt_os_sem_init(SIMIX_context_get_nthreads()); + thread_sem_ = new xbt::OsSemaphore(SIMIX_context_get_nthreads()); } void ParallelThreadContext::finalize() { - xbt_os_sem_destroy(thread_sem_); + delete thread_sem_; thread_sem_ = nullptr; } void ParallelThreadContext::run_all() { - for (smx_actor_t const& process : simix_global->process_to_run) - static_cast(process->context)->release(); - for (smx_actor_t const& process : simix_global->process_to_run) - static_cast(process->context)->wait(); + for (smx_actor_t const& actor : simix_global->process_to_run) + static_cast(actor->context_)->release(); + for (smx_actor_t const& actor : simix_global->process_to_run) + static_cast(actor->context_)->wait(); } void ParallelThreadContext::start_hook() { - if (not isMaestro()) /* parallel run */ - xbt_os_sem_acquire(thread_sem_); + if (not is_maestro()) /* parallel run */ + thread_sem_->acquire(); } void ParallelThreadContext::yield_hook() { - if (not isMaestro()) /* parallel run */ - xbt_os_sem_release(thread_sem_); + if (not is_maestro()) /* parallel run */ + thread_sem_->release(); } XBT_PRIVATE ContextFactory* thread_factory()