#include "simgrid/s4u/Host.hpp"
#include "src/kernel/activity/CommImpl.hpp"
#include "src/kernel/context/Context.hpp"
+#include "src/sthread/sthread.h"
#include "src/surf/surf_interface.hpp"
#include <vector>
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(ker_context, kernel, "Context switching mechanism");
-namespace simgrid {
-namespace kernel {
-namespace context {
+namespace simgrid::kernel::context {
std::function<ContextFactory*(void)> ContextFactory::initializer;
void Context::stop()
{
this->actor_->cleanup_from_self();
+ sthread_disable();
throw ForcefulKillException(); // clean RAII variables with the dedicated exception
}
AttachContext::~AttachContext() = default;
-} // namespace context
-} // namespace kernel
-} // namespace simgrid
+} // namespace simgrid::kernel::context