/* \file UContext.cpp Context switching with ucontexts from System V */
-#include "ContextUnix.hpp"
#include "context_private.hpp"
#include "mc/mc.h"
+#include "simgrid/Exception.hpp"
#include "src/mc/mc_ignore.hpp"
#include "src/simix/ActorImpl.hpp"
+#include "src/simix/smx_private.hpp"
+
+#include "ContextUnix.hpp"
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_context);
UContextFactory::UContextFactory() : ContextFactory("UContextFactory"), parallel_(SIMIX_context_is_parallel())
{
- UContext::setMaestro(nullptr);
- if (parallel_) {
-#if HAVE_THREAD_CONTEXTS
+ UContext::set_maestro(nullptr);
+ if (parallel_)
ParallelUContext::initialize();
-#else
- xbt_die("No thread support for parallel context execution");
-#endif
- }
}
UContextFactory::~UContextFactory()
{
-#if HAVE_THREAD_CONTEXTS
if (parallel_)
ParallelUContext::finalize();
-#endif
}
Context* UContextFactory::create_context(std::function<void()> code, void_pfn_smxprocess_t cleanup, smx_actor_t process)
{
-#if HAVE_THREAD_CONTEXTS
if (parallel_)
return new_context<ParallelUContext>(std::move(code), cleanup, process);
else
-#endif
- return new_context<SerialUContext>(std::move(code), cleanup, process);
+ return new_context<UContext>(std::move(code), cleanup, process);
}
/* This function is called by maestro at the beginning of a scheduling round to get all working threads executing some
*/
void UContextFactory::run_all()
{
-#if HAVE_THREAD_CONTEXTS
if (parallel_)
ParallelUContext::run_all();
else
-#endif
- SerialUContext::run_all();
+ SwappedContext::run_all();
}
// UContext
-UContext* UContext::maestro_context_ = nullptr;
-
UContext::UContext(std::function<void()> code, void_pfn_smxprocess_t cleanup_func, smx_actor_t process)
- : Context(std::move(code), cleanup_func, process)
+ : SwappedContext(std::move(code), cleanup_func, process)
{
/* if the user provided a function for the process then use it, otherwise it is the context for maestro */
if (has_code()) {
#endif
UContext::make_ctx(&this->uc_, UContext::smx_ctx_sysv_wrapper, this);
} else {
- if (process != nullptr && maestro_context_ == nullptr)
- maestro_context_ = this;
+ if (process != nullptr && get_maestro() == nullptr)
+ set_maestro(this);
}
#if SIMGRID_HAVE_MC
ASAN_FINISH_SWITCH(nullptr, &context->asan_ctx_->asan_stack_, &context->asan_ctx_->asan_stack_size_);
try {
(*context)();
- context->Context::stop();
} catch (simgrid::kernel::context::Context::StopRequest const&) {
XBT_DEBUG("Caught a StopRequest");
+ } catch (simgrid::Exception const& e) {
+ XBT_INFO("Actor killed by an uncatched exception %s", simgrid::xbt::demangle(typeid(e).name()).get());
+ throw;
}
+ context->Context::stop();
ASAN_ONLY(context->asan_stop_ = true);
context->suspend();
}
makecontext(ucp, (void (*)())func, 2, ctx_addr[0], ctx_addr[1]);
}
-inline void UContext::swap(UContext* from, UContext* to)
+void UContext::swap_into(SwappedContext* to_)
{
+ UContext* to = static_cast<UContext*>(to_);
ASAN_ONLY(void* fake_stack = nullptr);
ASAN_ONLY(to->asan_ctx_ = from);
ASAN_START_SWITCH(from->asan_stop_ ? nullptr : &fake_stack, to->asan_stack_, to->asan_stack_size_);
- swapcontext(&from->uc_, &to->uc_);
+ swapcontext(&this->uc_, &to->uc_);
ASAN_FINISH_SWITCH(fake_stack, &from->asan_ctx_->asan_stack_, &from->asan_ctx_->asan_stack_size_);
}
throw StopRequest();
}
-// SerialUContext
-
-unsigned long SerialUContext::process_index_; /* index of the next process to run in the list of runnable processes */
-
-void SerialUContext::suspend()
-{
- /* determine the next context */
- SerialUContext* next_context;
- unsigned long int i = process_index_;
- process_index_++;
-
- if (i < simix_global->process_to_run.size()) {
- /* execute the next process */
- XBT_DEBUG("Run next process");
- next_context = static_cast<SerialUContext*>(simix_global->process_to_run[i]->context);
- } else {
- /* all processes were run, return to maestro */
- XBT_DEBUG("No more process to run");
- next_context = static_cast<SerialUContext*>(UContext::getMaestro());
- }
- SIMIX_context_set_current(next_context);
- UContext::swap(this, next_context);
-}
-
-void SerialUContext::resume()
-{
- SIMIX_context_set_current(this);
- UContext::swap(UContext::getMaestro(), this);
-}
-
-void SerialUContext::run_all()
-{
- if (simix_global->process_to_run.empty())
- return;
- smx_actor_t first_process = simix_global->process_to_run.front();
- process_index_ = 1;
- static_cast<SerialUContext*>(first_process->context)->resume();
-}
-
// ParallelUContext
-#if HAVE_THREAD_CONTEXTS
-
simgrid::xbt::Parmap<smx_actor_t>* ParallelUContext::parmap_;
std::atomic<uintptr_t> ParallelUContext::threads_working_; /* number of threads that have started their work */
-xbt_os_thread_key_t ParallelUContext::worker_id_key_; /* thread-specific storage for the thread id */
+thread_local uintptr_t ParallelUContext::worker_id_; /* thread-specific storage for the thread id */
std::vector<ParallelUContext*> ParallelUContext::workers_context_; /* space to save the worker's context
* in each thread */
parmap_ = nullptr;
workers_context_.clear();
workers_context_.resize(SIMIX_context_get_nthreads(), nullptr);
- xbt_os_thread_key_create(&worker_id_key_);
}
void ParallelUContext::finalize()
delete parmap_;
parmap_ = nullptr;
workers_context_.clear();
- xbt_os_thread_key_destroy(worker_id_key_);
}
void ParallelUContext::run_all()
parmap_ = new simgrid::xbt::Parmap<smx_actor_t>(SIMIX_context_get_nthreads(), SIMIX_context_get_parallel_mode());
parmap_->apply(
[](smx_actor_t process) {
- ParallelUContext* context = static_cast<ParallelUContext*>(process->context);
+ ParallelUContext* context = static_cast<ParallelUContext*>(process->context_);
context->resume();
},
simix_global->process_to_run);
if (next_work) {
// There is a next soul to embody (ie, a next process to resume)
XBT_DEBUG("Run next process");
- next_context = static_cast<ParallelUContext*>(next_work.get()->context);
+ next_context = static_cast<ParallelUContext*>(next_work.get()->context_);
} else {
// All processes were run, go to the barrier
XBT_DEBUG("No more processes to run");
- // Get back the identity of my body that was stored when starting the scheduling round
- uintptr_t worker_id = reinterpret_cast<uintptr_t>(xbt_os_thread_get_specific(worker_id_key_));
+ // worker_id_ is the identity of my body, stored in thread_local when starting the scheduling round
// Deduce the initial soul of that body
- next_context = workers_context_[worker_id];
+ next_context = workers_context_[worker_id_];
// When given that soul, the body will wait for the next scheduling round
}
- SIMIX_context_set_current(next_context);
+ Context::set_current(next_context);
// Get the next soul to run, either simulated or initial minion's one:
- UContext::swap(this, next_context);
+ this->swap_into(next_context);
}
/** Run one particular simulated process on the current thread. */
void ParallelUContext::resume()
{
- // What is my containing body?
- uintptr_t worker_id = threads_working_.fetch_add(1, std::memory_order_relaxed);
- // Store the number of my containing body in os-thread-specific area :
- xbt_os_thread_set_specific(worker_id_key_, reinterpret_cast<void*>(worker_id));
+ // What is my containing body? Store its number in os-thread-specific area :
+ worker_id_ = threads_working_.fetch_add(1, std::memory_order_relaxed);
// Get my current soul:
- ParallelUContext* worker_context = static_cast<ParallelUContext*>(SIMIX_context_self());
+ ParallelUContext* worker_context = static_cast<ParallelUContext*>(self());
// Write down that this soul is hosted in that body (for now)
- workers_context_[worker_id] = worker_context;
+ workers_context_[worker_id_] = worker_context;
// Write in simix that I switched my soul
- SIMIX_context_set_current(this);
+ Context::set_current(this);
// Actually do that using the relevant library call:
- UContext::swap(worker_context, this);
+ worker_context->swap_into(this);
// No body runs that soul anymore at this point. Instead the current body took the soul of simulated process The
// simulated process wakes back after the call to "SIMIX_context_suspend(self->context);" within
// smx_process.c::SIMIX_process_yield()
// initial soul of the current working thread
}
-#endif
-
XBT_PRIVATE ContextFactory* sysv_factory()
{
XBT_VERB("Activating SYSV context factory");