Logo AND Algorithmique Numérique Distribuée

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