-/* Copyright (c) 2009-2018. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2009-2020. 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. */
// Raw context routines
-typedef void (*rawctx_entry_point_t)(void *);
+typedef void (*rawctx_entry_point_t)(simgrid::kernel::context::RawContext*);
typedef void* raw_stack_t;
-extern "C" raw_stack_t raw_makecontext(void* malloced_stack, int stack_size,
- rawctx_entry_point_t entry_point, void* arg);
+extern "C" raw_stack_t raw_makecontext(void* malloced_stack, int stack_size, rawctx_entry_point_t entry_point,
+ simgrid::kernel::context::RawContext* arg);
extern "C" void raw_swapcontext(raw_stack_t* old, raw_stack_t new_context);
// TODO, we should handle FP, MMX and the x87 control-word (for x86 and x86_64)
/* If you implement raw contexts for other processors, don't forget to
update the definition of HAVE_RAW_CONTEXTS in tools/cmake/CompleteInFiles.cmake */
-raw_stack_t raw_makecontext(void* malloced_stack, int stack_size,
- rawctx_entry_point_t entry_point, void* arg) {
- THROW_UNIMPLEMENTED;
+raw_stack_t raw_makecontext(void* malloced_stack, int stack_size, rawctx_entry_point_t entry_point,
+ simgrid::kernel::context::RawContext* arg)
+{
+ THROW_UNIMPLEMENTED;
}
-void raw_swapcontext(raw_stack_t* old, raw_stack_t new_context) {
- THROW_UNIMPLEMENTED;
+void raw_swapcontext(raw_stack_t* old, raw_stack_t new_context)
+{
+ THROW_UNIMPLEMENTED;
}
#endif
// RawContextFactory
-RawContextFactory::RawContextFactory() : SwappedContextFactory("RawContextFactory") {}
-
-RawContextFactory::~RawContextFactory() = default;
-
-Context* RawContextFactory::create_context(std::function<void()> code, void_pfn_smxprocess_t cleanup_func,
- smx_actor_t process)
+RawContext* RawContextFactory::create_context(std::function<void()>&& code, actor::ActorImpl* actor)
{
- if (parallel_)
- return this->new_context<ParallelRawContext>(std::move(code), cleanup_func, process, this);
- return this->new_context<RawContext>(std::move(code), cleanup_func, process, this);
+ return this->new_context<RawContext>(std::move(code), actor, this);
}
// RawContext
-RawContext::RawContext(std::function<void()> code, void_pfn_smxprocess_t cleanup, smx_actor_t process,
- SwappedContextFactory* factory)
- : SwappedContext(std::move(code), cleanup, process, factory)
+RawContext::RawContext(std::function<void()>&& code, actor::ActorImpl* actor, SwappedContextFactory* factory)
+ : SwappedContext(std::move(code), actor, factory)
{
if (has_code()) {
-#if PTH_STACKGROWTH == -1
- ASAN_ONLY(this->asan_stack_ = static_cast<char*>(this->stack_) + smx_context_usable_stack_size);
-#else
- ASAN_ONLY(this->asan_stack_ = this->stack_);
-#endif
- this->stack_top_ = raw_makecontext(this->stack_, smx_context_usable_stack_size, RawContext::wrapper, this);
+ this->stack_top_ = raw_makecontext(get_stack(), smx_context_stack_size, RawContext::wrapper, this);
} else {
- if (process != nullptr && get_maestro() == nullptr)
- set_maestro(this);
- if (MC_is_active()) {
- XBT_ATTRIB_UNUSED RawContext* maestro = static_cast<RawContext*>(get_maestro());
- MC_ignore_heap(&maestro->stack_top_, sizeof(maestro->stack_top_));
- }
+ if (MC_is_active())
+ MC_ignore_heap(&stack_top_, sizeof(stack_top_));
}
}
-RawContext::~RawContext() = default;
-
-void RawContext::wrapper(void* arg)
+void RawContext::wrapper(RawContext* context)
{
- RawContext* context = static_cast<RawContext*>(arg);
ASAN_FINISH_SWITCH(nullptr, &context->asan_ctx_->asan_stack_, &context->asan_ctx_->asan_stack_size_);
try {
(*context)();
- } catch (StopRequest const&) {
- XBT_DEBUG("Caught a StopRequest");
+ context->Context::stop();
+ } catch (ForcefulKillException const&) {
+ XBT_DEBUG("Caught a ForcefulKillException");
} catch (simgrid::Exception const& e) {
- XBT_INFO("Actor killed by an uncatched exception %s", simgrid::xbt::demangle(typeid(e).name()).get());
+ XBT_INFO("Actor killed by an uncaught exception %s", simgrid::xbt::demangle(typeid(e).name()).get());
throw;
}
- context->Context::stop();
-
ASAN_ONLY(context->asan_stop_ = true);
context->suspend();
+ THROW_IMPOSSIBLE;
}
void RawContext::swap_into(SwappedContext* to_)
{
- RawContext* to = static_cast<RawContext*>(to_);
+ const RawContext* to = static_cast<RawContext*>(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_);
+ ASAN_ONLY(to_->asan_ctx_ = this);
+ ASAN_START_SWITCH(this->asan_stop_ ? nullptr : &fake_stack, to_->asan_stack_, to_->asan_stack_size_);
raw_swapcontext(&this->stack_top_, to->stack_top_);
- ASAN_FINISH_SWITCH(fake_stack, &from->asan_ctx_->asan_stack_, &from->asan_ctx_->asan_stack_size_);
-}
-
-void RawContext::stop()
-{
- Context::stop();
- throw StopRequest();
-}
-
-// ParallelRawContext
-
-void ParallelRawContext::run_all()
-{
- threads_working_ = 0;
- if (parmap_ == nullptr)
- parmap_ = new simgrid::xbt::Parmap<smx_actor_t>(SIMIX_context_get_nthreads(), SIMIX_context_get_parallel_mode());
- parmap_->apply(
- [](smx_actor_t process) {
- ParallelRawContext* context = static_cast<ParallelRawContext*>(process->context_);
- context->resume();
- },
- simix_global->process_to_run);
-}
-
-void ParallelRawContext::suspend()
-{
- /* determine the next context */
- boost::optional<smx_actor_t> next_work = parmap_->next();
- SwappedContext* next_context;
- if (next_work) {
- /* there is a next process to resume */
- XBT_DEBUG("Run next process");
- next_context = static_cast<ParallelRawContext*>(next_work.get()->context_);
- } else {
- /* all processes were run, go to the barrier */
- XBT_DEBUG("No more processes to run");
- next_context = workers_context_[worker_id_];
- XBT_DEBUG("Restoring worker stack %zu (working threads = %zu)", worker_id_, threads_working_.load());
- }
-
- Context::set_current(next_context);
- this->swap_into(next_context);
-}
-
-void ParallelRawContext::resume()
-{
- worker_id_ = threads_working_.fetch_add(1, std::memory_order_relaxed);
- SwappedContext* worker_context = static_cast<SwappedContext*>(self());
- workers_context_[worker_id_] = worker_context;
- XBT_DEBUG("Saving worker stack %zu", worker_id_);
- Context::set_current(this);
- worker_context->swap_into(this);
+ ASAN_FINISH_SWITCH(fake_stack, &this->asan_ctx_->asan_stack_, &this->asan_ctx_->asan_stack_size_);
}
ContextFactory* raw_factory()
XBT_VERB("Using raw contexts. Because the glibc is just not good enough for us.");
return new RawContextFactory();
}
-}}}
+} // namespace context
+} // namespace kernel
+} // namespace simgrid