src/kernel/context/ContextThread.cpp

   1 /* Copyright (c) 2009-2017. The SimGrid Team. All rights reserved.          */
   2
   3 /* This program is free software; you can redistribute it and/or modify it
   4  * under the terms of the license (GNU LGPL) which comes with this package. */
   5
   6 #include <utility>
   7 #include <functional>
   8
   9 #include "xbt/function_types.h"
  10 #include "src/simix/smx_private.h"
  11 #include "src/internal_config.h"           /* loads context system definitions */
  12 #include "xbt/swag.h"
  13 #include "xbt/xbt_os_thread.h"
  14 #include "src/xbt_modinter.h"       /* prototype of os thread module's init/exit in XBT */
  15
  16 #include "src/kernel/context/ContextThread.hpp"
  17
  18 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_context);
  19
  20 static xbt_os_sem_t smx_ctx_thread_sem = nullptr;
  21
  22 namespace simgrid {
  23 namespace kernel {
  24 namespace context {
  25
  26 XBT_PRIVATE ContextFactory* thread_factory()
  27 {
  28   XBT_VERB("Activating thread context factory");
  29   return new ThreadContextFactory();
  30 }
  31
  32 ThreadContextFactory::ThreadContextFactory()
  33   : ContextFactory("ThreadContextFactory")
  34 {
  35   if (SIMIX_context_is_parallel()) {
  36     smx_ctx_thread_sem = xbt_os_sem_init(SIMIX_context_get_nthreads());
  37   } else {
  38     smx_ctx_thread_sem = nullptr;
  39   }
  40 }
  41
  42 ThreadContextFactory::~ThreadContextFactory()
  43 {
  44   if (smx_ctx_thread_sem) {
  45     xbt_os_sem_destroy(smx_ctx_thread_sem);
  46     smx_ctx_thread_sem = nullptr;
  47   }
  48 }
  49
  50 ThreadContext* ThreadContextFactory::create_context(
  51     std::function<void()> code,
  52     void_pfn_smxprocess_t cleanup, smx_actor_t process)
  53 {
  54   return this->new_context<ThreadContext>(std::move(code), cleanup, process, not code);
  55 }
  56
  57 void ThreadContextFactory::run_all()
  58 {
  59   if (smx_ctx_thread_sem == nullptr) {
  60     // Serial execution
  61     for (smx_actor_t const& process : simix_global->process_to_run) {
  62       XBT_DEBUG("Handling %p",process);
  63       ThreadContext* context = static_cast<ThreadContext*>(process->context);
  64       xbt_os_sem_release(context->begin_);
  65       xbt_os_sem_acquire(context->end_);
  66     }
  67   } else {
  68     // Parallel execution
  69     for (smx_actor_t const& process : simix_global->process_to_run)
  70       xbt_os_sem_release(static_cast<ThreadContext*>(process->context)->begin_);
  71     for (smx_actor_t const& process : simix_global->process_to_run)
  72       xbt_os_sem_acquire(static_cast<ThreadContext*>(process->context)->end_);
  73   }
  74 }
  75
  76 ThreadContext* ThreadContextFactory::self()
  77 {
  78   return static_cast<ThreadContext*>(xbt_os_thread_get_extra_data());
  79 }
  80
  81 ThreadContext* ThreadContextFactory::attach(void_pfn_smxprocess_t cleanup_func, smx_actor_t process)
  82 {
  83   return this->new_context<ThreadContext>(
  84     std::function<void()>(), cleanup_func, process, false);
  85 }
  86
  87 ThreadContext* ThreadContextFactory::create_maestro(std::function<void()> code, smx_actor_t process)
  88 {
  89     return this->new_context<ThreadContext>(std::move(code), nullptr, process, true);
  90 }
  91
  92 ThreadContext::ThreadContext(std::function<void()> code,
  93     void_pfn_smxprocess_t cleanup, smx_actor_t process, bool maestro)
  94   : AttachContext(std::move(code), cleanup, process)
  95 {
  96   // We do not need the semaphores when maestro is in main,
  97   // but creating them anyway simplifies things when maestro is externalized
  98   this->begin_ = xbt_os_sem_init(0);
  99   this->end_ = xbt_os_sem_init(0);
 100
 101   /* If the user provided a function for the process then use it */
 102   if (has_code()) {
 103     if (smx_context_stack_size_was_set)
 104       xbt_os_thread_setstacksize(smx_context_stack_size);
 105     if (smx_context_guard_size_was_set)
 106       xbt_os_thread_setguardsize(smx_context_guard_size);
 107
 108     /* create and start the process */
 109     /* NOTE: The first argument to xbt_os_thread_create used to be the process *
 110     * name, but now the name is stored at SIMIX level, so we pass a null  */
 111     this->thread_ =
 112       xbt_os_thread_create(nullptr,
 113         maestro ? &ThreadContext::maestro_wrapper : &ThreadContext::wrapper,
 114         this, this);
 115     /* wait the starting of the newly created process */
 116     xbt_os_sem_acquire(this->end_);
 117   }
 118
 119   /* Otherwise, we attach to the current thread */
 120   else {
 121     xbt_os_thread_set_extra_data(this);
 122   }
 123 }
 124
 125 ThreadContext::~ThreadContext()
 126 {
 127   if (this->thread_) /* If there is a thread (maestro don't have any), wait for its termination */
 128     xbt_os_thread_join(this->thread_, nullptr);
 129
 130   /* destroy the synchronization objects */
 131   xbt_os_sem_destroy(this->begin_);
 132   xbt_os_sem_destroy(this->end_);
 133 }
 134
 135 void *ThreadContext::wrapper(void *param)
 136 {
 137   ThreadContext* context = static_cast<ThreadContext*>(param);
 138
 139 #ifndef WIN32
 140   /* Install alternate signal stack, for SIGSEGV handler. */
 141   stack_t stack;
 142   stack.ss_sp = sigsegv_stack;
 143   stack.ss_size = sizeof sigsegv_stack;
 144   stack.ss_flags = 0;
 145   sigaltstack(&stack, nullptr);
 146 #endif
 147   /* Tell the maestro we are starting, and wait for its green light */
 148   xbt_os_sem_release(context->end_);
 149
 150   xbt_os_sem_acquire(context->begin_);
 151   if (smx_ctx_thread_sem)       /* parallel run */
 152     xbt_os_sem_acquire(smx_ctx_thread_sem);
 153
 154   try {
 155     (*context)();
 156     context->stop();
 157   } catch (StopRequest) {
 158     XBT_DEBUG("Caught a StopRequest");
 159   }
 160
 161 #ifndef WIN32
 162   stack.ss_flags = SS_DISABLE;
 163   sigaltstack(&stack, nullptr);
 164 #endif
 165   return nullptr;
 166 }
 167
 168 void *ThreadContext::maestro_wrapper(void *param)
 169 {
 170   ThreadContext* context = static_cast<ThreadContext*>(param);
 171
 172 #ifndef WIN32
 173   /* Install alternate signal stack, for SIGSEGV handler. */
 174   stack_t stack;
 175   stack.ss_sp = sigsegv_stack;
 176   stack.ss_size = sizeof sigsegv_stack;
 177   stack.ss_flags = 0;
 178   sigaltstack(&stack, nullptr);
 179 #endif
 180   /* Tell the caller we are starting */
 181   xbt_os_sem_release(context->end_);
 182
 183   // Wait for the caller to give control back to us:
 184   xbt_os_sem_acquire(context->begin_);
 185   (*context)();
 186
 187   // Tell main that we have finished:
 188   xbt_os_sem_release(context->end_);
 189
 190 #ifndef WIN32
 191   stack.ss_flags = SS_DISABLE;
 192   sigaltstack(&stack, nullptr);
 193 #endif
 194   return nullptr;
 195 }
 196
 197 void ThreadContext::start()
 198 {
 199   xbt_os_sem_acquire(this->begin_);
 200   if (smx_ctx_thread_sem)       /* parallel run */
 201     xbt_os_sem_acquire(smx_ctx_thread_sem);
 202 }
 203
 204 void ThreadContext::stop()
 205 {
 206   Context::stop();
 207   if (smx_ctx_thread_sem)
 208     xbt_os_sem_release(smx_ctx_thread_sem);
 209
 210   // Signal to the maestro that it has finished:
 211   xbt_os_sem_release(this->end_);
 212
 213   throw StopRequest();
 214 }
 215
 216 void ThreadContext::suspend()
 217 {
 218   if (smx_ctx_thread_sem)
 219     xbt_os_sem_release(smx_ctx_thread_sem);
 220   xbt_os_sem_release(this->end_);
 221   xbt_os_sem_acquire(this->begin_);
 222   if (smx_ctx_thread_sem)
 223     xbt_os_sem_acquire(smx_ctx_thread_sem);
 224 }
 225
 226 void ThreadContext::attach_start()
 227 {
 228   // We're breaking the layers here by depending on the upper layer:
 229   ThreadContext* maestro = (ThreadContext*) simix_global->maestro_process->context;
 230   xbt_os_sem_release(maestro->begin_);
 231   this->start();
 232 }
 233
 234 void ThreadContext::attach_stop()
 235 {
 236   if (smx_ctx_thread_sem)
 237     xbt_os_sem_release(smx_ctx_thread_sem);
 238   xbt_os_sem_release(this->end_);
 239
 240   ThreadContext* maestro = (ThreadContext*) simix_global->maestro_process->context;
 241   xbt_os_sem_acquire(maestro->end_);
 242
 243   xbt_os_thread_set_extra_data(nullptr);
 244 }
 245
 246 }}} // namespace