1 /* Copyright (c) 2009-2019. The SimGrid Team. All rights reserved. */
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. */
6 #include "ContextRaw.hpp"
7 #include "context_private.hpp"
9 #include "simgrid/Exception.hpp"
10 #include "src/simix/smx_private.hpp"
12 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_context);
14 // Raw context routines
16 typedef void (*rawctx_entry_point_t)(void *);
18 typedef void* raw_stack_t;
19 extern "C" raw_stack_t raw_makecontext(void* malloced_stack, int stack_size,
20 rawctx_entry_point_t entry_point, void* arg);
21 extern "C" void raw_swapcontext(raw_stack_t* old, raw_stack_t new_context);
23 // TODO, we should handle FP, MMX and the x87 control-word (for x86 and x86_64)
25 #if SIMGRID_PROCESSOR_x86_64
27 #if defined(__APPLE__)
29 ".globl _raw_makecontext\n"
33 ".globl raw_makecontext\n"
37 ".globl raw_makecontext\n"
38 ".type raw_makecontext,@function\n"
39 "raw_makecontext:\n"/* Calling convention sets the arguments in rdi, rsi, rdx and rcx, respectively */
41 " mov %rdi,%rax\n" /* stack */
42 " add %rsi,%rax\n" /* size */
43 " andq $-16, %rax\n" /* align stack */
44 " movq $0, -8(%rax)\n" /* @return for func */
45 " mov %rdx,-16(%rax)\n" /* func */
46 " mov %rcx,-24(%rax)\n" /* arg/rdi */
47 " movq $0, -32(%rax)\n" /* rsi */
48 " movq $0, -40(%rax)\n" /* rdx */
49 " movq $0, -48(%rax)\n" /* rcx */
50 " movq $0, -56(%rax)\n" /* r8 */
51 " movq $0, -64(%rax)\n" /* r9 */
52 " movq $0, -72(%rax)\n" /* rbp */
53 " movq $0, -80(%rax)\n" /* rbx */
54 " movq $0, -88(%rax)\n" /* r12 */
55 " movq $0, -96(%rax)\n" /* r13 */
56 " movq $0, -104(%rax)\n" /* r14 */
57 " movq $0, -112(%rax)\n" /* r15 */
63 #if defined(__APPLE__)
65 ".globl _raw_swapcontext\n"
69 ".globl raw_swapcontext\n"
73 ".globl raw_swapcontext\n"
74 ".type raw_swapcontext,@function\n"
75 "raw_swapcontext:\n" /* Calling convention sets the arguments in rdi and rsi, respectively */
89 " mov %rsp,(%rdi)\n" /* old */
90 " mov %rsi,%rsp\n" /* new */
105 #elif SIMGRID_PROCESSOR_i686
107 #if defined(__APPLE__) || defined(_WIN32)
109 ".globl _raw_makecontext\n"
110 "_raw_makecontext:\n"
113 ".globl raw_makecontext\n"
114 ".type raw_makecontext,@function\n"
117 " movl 4(%esp),%eax\n" /* stack */
118 " addl 8(%esp),%eax\n" /* size */
119 " andl $-16, %eax\n" /* align stack */
120 " movl 12(%esp),%ecx\n" /* func */
121 " movl 16(%esp),%edx\n" /* arg */
122 " movl %edx, -4(%eax)\n"
123 " movl $0, -8(%eax)\n" /* @return for func */
124 " movl %ecx,-12(%eax)\n"
125 " movl $0, -16(%eax)\n" /* ebp */
126 " movl $0, -20(%eax)\n" /* ebx */
127 " movl $0, -24(%eax)\n" /* esi */
128 " movl $0, -28(%eax)\n" /* edi */
134 #if defined(__APPLE__) || defined(_WIN32)
136 ".globl _raw_swapcontext\n"
137 "_raw_swapcontext:\n"
140 ".globl raw_swapcontext\n"
141 ".type raw_swapcontext,@function\n"
144 // Fetch the parameters:
145 " movl 4(%esp),%eax\n" /* old (raw_stack_t*) */
146 " movl 8(%esp),%edx\n" /* new (raw_stack_t) */
147 // Save registers of the current context on the stack:
152 // Save the current context (stack pointer) in *old:
153 " movl %esp,(%eax)\n"
154 // Switch to the stack of the new context:
156 // Pop the values of the new context:
161 // Return using the return address of the new context:
167 /* If you implement raw contexts for other processors, don't forget to
168 update the definition of HAVE_RAW_CONTEXTS in tools/cmake/CompleteInFiles.cmake */
170 raw_stack_t raw_makecontext(void* malloced_stack, int stack_size,
171 rawctx_entry_point_t entry_point, void* arg) {
175 void raw_swapcontext(raw_stack_t* old, raw_stack_t new_context) {
181 // ***** Method definitions
189 Context* RawContextFactory::create_context(std::function<void()> code, smx_actor_t actor)
191 return this->new_context<RawContext>(std::move(code), actor, this);
196 RawContext::RawContext(std::function<void()> code, smx_actor_t actor, SwappedContextFactory* factory)
197 : SwappedContext(std::move(code), actor, factory)
200 this->stack_top_ = raw_makecontext(get_stack(), smx_context_usable_stack_size, RawContext::wrapper, this);
203 MC_ignore_heap(&stack_top_, sizeof(stack_top_));
207 void RawContext::wrapper(void* arg)
209 RawContext* context = static_cast<RawContext*>(arg);
210 ASAN_FINISH_SWITCH(nullptr, &context->asan_ctx_->asan_stack_, &context->asan_ctx_->asan_stack_size_);
213 context->Context::stop();
214 } catch (ForcefulKillException const&) {
215 XBT_DEBUG("Caught a ForcefulKillException");
216 } catch (simgrid::Exception const& e) {
217 XBT_INFO("Actor killed by an uncatched exception %s", simgrid::xbt::demangle(typeid(e).name()).get());
220 ASAN_ONLY(context->asan_stop_ = true);
224 void RawContext::swap_into(SwappedContext* to_)
226 RawContext* to = static_cast<RawContext*>(to_);
227 ASAN_ONLY(void* fake_stack = nullptr);
228 ASAN_ONLY(to->asan_ctx_ = this);
229 ASAN_START_SWITCH(this->asan_stop_ ? nullptr : &fake_stack, to->asan_stack_, to->asan_stack_size_);
230 raw_swapcontext(&this->stack_top_, to->stack_top_);
231 ASAN_FINISH_SWITCH(fake_stack, &this->asan_ctx_->asan_stack_, &this->asan_ctx_->asan_stack_size_);
234 ContextFactory* raw_factory()
236 XBT_VERB("Using raw contexts. Because the glibc is just not good enough for us.");
237 return new RawContextFactory();