X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/234c396103c7bf598baf805afd48355a0db8533e..3d2bffb7542628af525b2507d2a5035ead215ff2:/src/kernel/context/ContextThread.cpp diff --git a/src/kernel/context/ContextThread.cpp b/src/kernel/context/ContextThread.cpp index 8be0edf754..17a3df7340 100644 --- a/src/kernel/context/ContextThread.cpp +++ b/src/kernel/context/ContextThread.cpp @@ -1,137 +1,88 @@ -/* Copyright (c) 2009-2017. 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/swag.h" -#include "xbt/xbt_os_thread.h" -#include "src/kernel/context/ContextThread.hpp" +#include +#include XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_context); -static xbt_os_sem_t smx_ctx_thread_sem = nullptr; - namespace simgrid { namespace kernel { namespace context { -XBT_PRIVATE ContextFactory* thread_factory() -{ - XBT_VERB("Activating thread context factory"); - return new ThreadContextFactory(); -} +// ThreadContextFactory -ThreadContextFactory::ThreadContextFactory() - : ContextFactory("ThreadContextFactory") +ThreadContextFactory::ThreadContextFactory() : ContextFactory(), parallel_(SIMIX_context_is_parallel()) { - if (SIMIX_context_is_parallel()) { - smx_ctx_thread_sem = xbt_os_sem_init(SIMIX_context_get_nthreads()); - } else { - smx_ctx_thread_sem = nullptr; - } + if (parallel_) + ParallelThreadContext::initialize(); } ThreadContextFactory::~ThreadContextFactory() { - if (smx_ctx_thread_sem) { - xbt_os_sem_destroy(smx_ctx_thread_sem); - smx_ctx_thread_sem = nullptr; - } + if (parallel_) + ParallelThreadContext::finalize(); } -ThreadContext* ThreadContextFactory::create_context( - std::function code, - void_pfn_smxprocess_t cleanup, smx_actor_t process) +ThreadContext* ThreadContextFactory::create_context(std::function code, smx_actor_t actor, bool maestro) { - return this->new_context(std::move(code), cleanup, process, not code); + if (parallel_) + return this->new_context(std::move(code), actor, maestro); + else + return this->new_context(std::move(code), actor, maestro); } void ThreadContextFactory::run_all() { - if (smx_ctx_thread_sem == nullptr) { - // Serial execution - for (smx_actor_t const& process : simix_global->process_to_run) { - XBT_DEBUG("Handling %p",process); - ThreadContext* context = static_cast(process->context); - xbt_os_sem_release(context->begin_); - xbt_os_sem_acquire(context->end_); - } - } else { + if (parallel_) { // Parallel execution - for (smx_actor_t const& process : simix_global->process_to_run) - xbt_os_sem_release(static_cast(process->context)->begin_); - for (smx_actor_t const& process : simix_global->process_to_run) - xbt_os_sem_acquire(static_cast(process->context)->end_); + ParallelThreadContext::run_all(); + } else { + // Serial execution + SerialThreadContext::run_all(); } } -ThreadContext* ThreadContextFactory::self() -{ - return static_cast(xbt_os_thread_get_extra_data()); -} - -ThreadContext* ThreadContextFactory::attach(void_pfn_smxprocess_t cleanup_func, smx_actor_t process) -{ - return this->new_context( - std::function(), cleanup_func, process, false); -} - -ThreadContext* ThreadContextFactory::create_maestro(std::function code, smx_actor_t process) -{ - return this->new_context(std::move(code), nullptr, process, true); -} +// 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, smx_actor_t actor, bool maestro) + : AttachContext(std::move(code), 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) +void ThreadContext::wrapper(ThreadContext* context) { - ThreadContext* context = static_cast(param); + Context::set_current(context); #ifndef WIN32 /* Install alternate signal stack, for SIGSEGV handler. */ @@ -142,18 +93,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->is_maestro_) // really? + if (not context->is_maestro()) { // Just in case somebody detached maestro context->Context::stop(); - } catch (StopRequest const&) { - XBT_DEBUG("Caught a StopRequest"); - xbt_assert(not context->is_maestro_, "I'm not supposed to be maestro here."); + context->stop_hook(); + } + } catch (ForcefulKillException const&) { + XBT_DEBUG("Caught a ForcefulKillException in Thread::wrapper"); + xbt_assert(not context->is_maestro(), "Maestro shall not receive ForcefulKillExceptions, 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(); @@ -161,27 +116,37 @@ void *ThreadContext::wrapper(void *param) stack.ss_flags = SS_DISABLE; sigaltstack(&stack, nullptr); #endif - return nullptr; + XBT_DEBUG("Terminating"); + Context::set_current(nullptr); +} + +void ThreadContext::release() +{ + this->begin_.release(); +} + +void ThreadContext::wait() +{ + this->end_.acquire(); } void ThreadContext::start() { - xbt_os_sem_acquire(this->begin_); - if (not is_maestro_ && smx_ctx_thread_sem) /* parallel run */ - xbt_os_sem_acquire(smx_ctx_thread_sem); + this->begin_.acquire(); + this->start_hook(); } void ThreadContext::yield() { - if (not is_maestro_ && smx_ctx_thread_sem) /* parallel run */ - xbt_os_sem_release(smx_ctx_thread_sem); - xbt_os_sem_release(this->end_); + this->yield_hook(); + this->end_.release(); } void ThreadContext::stop() { Context::stop(); - throw StopRequest(); + stop_hook(); + throw ForcefulKillException(); } void ThreadContext::suspend() @@ -193,21 +158,73 @@ 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->is_maestro_); + 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->is_maestro_); + 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& actor : simix_global->actors_to_run) { + XBT_DEBUG("Handling %p", actor); + ThreadContext* context = static_cast(actor->context_); + context->release(); + context->wait(); + } +} + +// ParallelThreadContext + +xbt::OsSemaphore* ParallelThreadContext::thread_sem_ = nullptr; + +void ParallelThreadContext::initialize() +{ + thread_sem_ = new xbt::OsSemaphore(SIMIX_context_get_nthreads()); +} + +void ParallelThreadContext::finalize() +{ + delete thread_sem_; + thread_sem_ = nullptr; +} + +void ParallelThreadContext::run_all() +{ + for (smx_actor_t const& actor : simix_global->actors_to_run) + static_cast(actor->context_)->release(); + for (smx_actor_t const& actor : simix_global->actors_to_run) + static_cast(actor->context_)->wait(); +} + +void ParallelThreadContext::start_hook() +{ + if (not is_maestro()) /* parallel run */ + thread_sem_->acquire(); +} + +void ParallelThreadContext::yield_hook() +{ + if (not is_maestro()) /* parallel run */ + thread_sem_->release(); +} + +XBT_PRIVATE ContextFactory* thread_factory() +{ + XBT_VERB("Activating thread context factory"); + return new ThreadContextFactory(); +} }}} // namespace