1 | /* |
---|
2 | * Copyright (c) 2005, Eric Crahen |
---|
3 | * |
---|
4 | * Permission is hereby granted, free of charge, to any person obtaining a copy |
---|
5 | * of this software and associated documentation files (the "Software"), to deal |
---|
6 | * in the Software without restriction, including without limitation the rights |
---|
7 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell |
---|
8 | * copies of the Software, and to permit persons to whom the Software is furnished |
---|
9 | * to do so, subject to the following conditions: |
---|
10 | * |
---|
11 | * The above copyright notice and this permission notice shall be included in all |
---|
12 | * copies or substantial portions of the Software. |
---|
13 | * |
---|
14 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
---|
15 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
---|
16 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE |
---|
17 | * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, |
---|
18 | * WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN |
---|
19 | * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. |
---|
20 | * |
---|
21 | */ |
---|
22 | |
---|
23 | #include "Debug.h" |
---|
24 | |
---|
25 | #include "zthread/Runnable.h" |
---|
26 | #include "ThreadImpl.h" |
---|
27 | #include "ThreadQueue.h" |
---|
28 | #include "DeferredInterruptionScope.h" |
---|
29 | |
---|
30 | #include <assert.h> |
---|
31 | |
---|
32 | namespace ZThread { |
---|
33 | |
---|
34 | TSS<ThreadImpl*> ThreadImpl::_threadMap; |
---|
35 | |
---|
36 | namespace { |
---|
37 | |
---|
38 | class Launcher : public Runnable { |
---|
39 | |
---|
40 | ThreadImpl* x; |
---|
41 | ThreadImpl* y; |
---|
42 | Task z; |
---|
43 | |
---|
44 | public: |
---|
45 | |
---|
46 | Launcher(ThreadImpl* a, ThreadImpl* b, const Task& c) : x(a), y(b), z(c) {} |
---|
47 | |
---|
48 | void run() { |
---|
49 | y->dispatch(x,y,z); |
---|
50 | } |
---|
51 | |
---|
52 | }; |
---|
53 | |
---|
54 | } |
---|
55 | |
---|
56 | ThreadImpl::ThreadImpl() |
---|
57 | : _state(State::REFERENCE), _priority(Medium), _autoCancel(false) { |
---|
58 | |
---|
59 | ZTDEBUG("Reference thread created.\n"); |
---|
60 | |
---|
61 | } |
---|
62 | |
---|
63 | ThreadImpl::ThreadImpl(const Task& task, bool autoCancel) |
---|
64 | : _state(State::IDLE), _priority(Medium), _autoCancel(autoCancel) { |
---|
65 | |
---|
66 | ZTDEBUG("User thread created.\n"); |
---|
67 | |
---|
68 | start(task); |
---|
69 | |
---|
70 | } |
---|
71 | |
---|
72 | |
---|
73 | ThreadImpl::~ThreadImpl() { |
---|
74 | |
---|
75 | _tls.clear(); |
---|
76 | |
---|
77 | if(isActive()) { |
---|
78 | |
---|
79 | ZTDEBUG("You are destroying an executing thread!\n"); |
---|
80 | abort(); |
---|
81 | |
---|
82 | } |
---|
83 | |
---|
84 | ZTDEBUG("Thread destroyed.\n"); |
---|
85 | |
---|
86 | } |
---|
87 | |
---|
88 | Monitor& ThreadImpl::getMonitor() { |
---|
89 | return _monitor; |
---|
90 | } |
---|
91 | |
---|
92 | void ThreadImpl::cancel(bool autoCancel) { |
---|
93 | if(!autoCancel || _autoCancel) |
---|
94 | _monitor.cancel(); |
---|
95 | } |
---|
96 | |
---|
97 | bool ThreadImpl::interrupt() { |
---|
98 | return _monitor.interrupt(); |
---|
99 | } |
---|
100 | |
---|
101 | bool ThreadImpl::isInterrupted() { |
---|
102 | return _monitor.isInterrupted(); |
---|
103 | } |
---|
104 | |
---|
105 | bool ThreadImpl::isCanceled() { |
---|
106 | return _monitor.isCanceled(); |
---|
107 | } |
---|
108 | |
---|
109 | Priority ThreadImpl::getPriority() const { |
---|
110 | return _priority; |
---|
111 | } |
---|
112 | |
---|
113 | |
---|
114 | |
---|
115 | bool ThreadImpl::isReference() { |
---|
116 | return _state.isReference(); |
---|
117 | } |
---|
118 | |
---|
119 | /** |
---|
120 | * Join the thread, blocking the caller until it is interrupted or until |
---|
121 | * the thread represented by this object exits. |
---|
122 | * |
---|
123 | * Reference threads are not under the control of ZThreads and cannot be |
---|
124 | * joined. |
---|
125 | */ |
---|
126 | bool ThreadImpl::join(unsigned long timeout) { |
---|
127 | |
---|
128 | // Serial access to this ThreadImpl's state |
---|
129 | Guard<Monitor> g1(_monitor); |
---|
130 | |
---|
131 | // Make sure a thread is not trying to join() itself. |
---|
132 | if(ThreadOps::isCurrent(this)) |
---|
133 | throw Deadlock_Exception("Cannot join self."); |
---|
134 | |
---|
135 | // Reference threads can't be joined. |
---|
136 | if(_state.isReference()) |
---|
137 | throw InvalidOp_Exception("Can not join this thread."); |
---|
138 | |
---|
139 | /* |
---|
140 | |
---|
141 | TODO: Insert cyclic join check. |
---|
142 | |
---|
143 | */ |
---|
144 | |
---|
145 | // If the task has not completed yet, wait for completion |
---|
146 | if(!_state.isJoined()) { |
---|
147 | |
---|
148 | // Add the current thread to the joiner list |
---|
149 | ThreadImpl* impl = current(); |
---|
150 | _joiners.push_back(impl); |
---|
151 | |
---|
152 | Monitor::STATE result; |
---|
153 | |
---|
154 | { // Release this ThreadImpl's lock while the joiner sleeps |
---|
155 | |
---|
156 | _monitor.release(); |
---|
157 | Guard<Monitor> g3(impl->getMonitor()); |
---|
158 | |
---|
159 | result = impl->_monitor.wait(timeout); |
---|
160 | |
---|
161 | _monitor.acquire(); |
---|
162 | |
---|
163 | } |
---|
164 | |
---|
165 | // Update the joiner list |
---|
166 | List::iterator i = std::find(_joiners.begin(), _joiners.end(), impl); |
---|
167 | if(i != _joiners.end()) |
---|
168 | _joiners.erase(i); |
---|
169 | |
---|
170 | |
---|
171 | switch(result) { |
---|
172 | |
---|
173 | case Monitor::TIMEDOUT: |
---|
174 | return false; |
---|
175 | |
---|
176 | case Monitor::INTERRUPTED: |
---|
177 | throw Interrupted_Exception(); |
---|
178 | |
---|
179 | default: |
---|
180 | break; |
---|
181 | |
---|
182 | } |
---|
183 | |
---|
184 | } |
---|
185 | |
---|
186 | return true; |
---|
187 | |
---|
188 | } |
---|
189 | |
---|
190 | |
---|
191 | /** |
---|
192 | * Translate the priority into a pthread value, and update the thread priority. |
---|
193 | * |
---|
194 | * This is not available on all platforms, and probably works differently |
---|
195 | * the platforms that do support it. Pthreads does not have very portable |
---|
196 | * priority support as far I am aware. |
---|
197 | * |
---|
198 | * If SCHED_OTHER is not supported priority values are still set but |
---|
199 | * dont not actually in affect anything. |
---|
200 | * |
---|
201 | * @param prio PRIORITY value |
---|
202 | * |
---|
203 | * @exception Killed_Exception thrown by KILLED threads. |
---|
204 | * @exception InvalidOp_Exception thrown by IDLE, JOINING or JOINED threads. |
---|
205 | */ |
---|
206 | void ThreadImpl::setPriority(Priority p) { |
---|
207 | |
---|
208 | Guard<Monitor> g(_monitor); |
---|
209 | |
---|
210 | // Only set the native priority when the thread is running |
---|
211 | if(_state.isRunning()) |
---|
212 | ThreadOps::setPriority(this, p); |
---|
213 | |
---|
214 | _priority = p; |
---|
215 | |
---|
216 | } |
---|
217 | |
---|
218 | |
---|
219 | /** |
---|
220 | * Test the state Monitor of this thread to determine if the thread |
---|
221 | * is an active thread created by zthreads. |
---|
222 | * |
---|
223 | * @return bool indicating the activity of the thread. |
---|
224 | */ |
---|
225 | bool ThreadImpl::isActive() { |
---|
226 | |
---|
227 | Guard<Monitor> g(_monitor); |
---|
228 | return _state.isRunning(); |
---|
229 | |
---|
230 | } |
---|
231 | |
---|
232 | |
---|
233 | /** |
---|
234 | * Get a reference to an implmenetation that maps to the current thread. |
---|
235 | * Accomplished by checking the TLS map. This will always return a valid |
---|
236 | * ThreadImpl instance. |
---|
237 | * |
---|
238 | * @return ThreadImpl* current implementation that maps to the |
---|
239 | * executing thread. |
---|
240 | */ |
---|
241 | ThreadImpl* ThreadImpl::current() { |
---|
242 | |
---|
243 | // Get the ThreadImpl previously mapped onto the executing thread. |
---|
244 | ThreadImpl* impl = _threadMap.get(); |
---|
245 | |
---|
246 | // Create a reference thread for any threads that have been 'discovered' |
---|
247 | // because they are not created by ZThreads. |
---|
248 | if(impl == 0) { |
---|
249 | |
---|
250 | // Create a ThreadImpl to represent this thread. |
---|
251 | impl = new ThreadImpl(); |
---|
252 | impl->_state.setReference(); |
---|
253 | |
---|
254 | ThreadOps::activate(impl); |
---|
255 | |
---|
256 | // Map a reference thread and insert it into the queue |
---|
257 | _threadMap.set(impl); |
---|
258 | |
---|
259 | ThreadQueue::instance()->insertReferenceThread(impl); |
---|
260 | |
---|
261 | } |
---|
262 | |
---|
263 | assert(impl != 0); |
---|
264 | return impl; |
---|
265 | |
---|
266 | } |
---|
267 | |
---|
268 | /** |
---|
269 | * Make current thread sleep for the given number of milliseconds. |
---|
270 | * This sleep can be interrupt()ed. |
---|
271 | * |
---|
272 | * @param ms timeout for the sleep. |
---|
273 | * |
---|
274 | * @post the calling thread is blocked by waiting on the internal condition |
---|
275 | * variable. This can be signaled in the monitor of an interrupt |
---|
276 | */ |
---|
277 | void ThreadImpl::sleep(unsigned long ms) { |
---|
278 | |
---|
279 | // Make sleep()ing for 0 milliseconds equivalent to a yield. |
---|
280 | if(ms == 0) { |
---|
281 | |
---|
282 | yield(); |
---|
283 | return; |
---|
284 | |
---|
285 | } |
---|
286 | |
---|
287 | // Get the monitor for the current thread |
---|
288 | Monitor& monitor = current()->getMonitor(); |
---|
289 | |
---|
290 | // Acquire that threads Monitor with a Guard |
---|
291 | Guard<Monitor> g(monitor); |
---|
292 | |
---|
293 | for(;;) { |
---|
294 | |
---|
295 | switch(monitor.wait(ms)) { |
---|
296 | |
---|
297 | case Monitor::INTERRUPTED: |
---|
298 | throw Interrupted_Exception(); |
---|
299 | |
---|
300 | default: |
---|
301 | return; |
---|
302 | |
---|
303 | } |
---|
304 | |
---|
305 | } |
---|
306 | |
---|
307 | } |
---|
308 | |
---|
309 | |
---|
310 | /** |
---|
311 | * Yield the current timeslice to another thread. |
---|
312 | * If sched_yield() is available it is used. |
---|
313 | * Otherwise, the state Monitor for this thread is used to simiulate a |
---|
314 | * yield by blocking for 1 millisecond, which should give the |
---|
315 | * scheduler a chance to schedule another thread. |
---|
316 | */ |
---|
317 | void ThreadImpl::yield() { |
---|
318 | |
---|
319 | // Try to yield with the native operation. If it fails, then |
---|
320 | // simulate with a short wait() on the monitor. |
---|
321 | if(!ThreadOps::yield()) { |
---|
322 | |
---|
323 | // Get the monitor for the current thread |
---|
324 | Monitor& monitor = current()->getMonitor(); |
---|
325 | |
---|
326 | // Attempt a wait(). |
---|
327 | Guard<Monitor> g(monitor); |
---|
328 | monitor.wait(1); |
---|
329 | |
---|
330 | } |
---|
331 | |
---|
332 | } |
---|
333 | |
---|
334 | void ThreadImpl::start(const Task& task) { |
---|
335 | |
---|
336 | Guard<Monitor> g1(_monitor); |
---|
337 | |
---|
338 | // A Thread must be idle in order to be eligable to run a task. |
---|
339 | if(!_state.isIdle()) |
---|
340 | throw InvalidOp_Exception("Thread is not idle."); |
---|
341 | |
---|
342 | _state.setRunning(); |
---|
343 | |
---|
344 | // Spawn a new thread, blocking the parent (current) thread until |
---|
345 | // the child starts. |
---|
346 | |
---|
347 | ThreadImpl* parent = current(); |
---|
348 | Launcher launch(parent, this, task); |
---|
349 | |
---|
350 | // Attempt to start the child thread |
---|
351 | Guard<Monitor> g2(parent->_monitor); |
---|
352 | |
---|
353 | if(!spawn(&launch)) { |
---|
354 | |
---|
355 | // Return to the idle state & report the error if it doesn't work out. |
---|
356 | _state.setIdle(); |
---|
357 | throw Synchronization_Exception(); |
---|
358 | |
---|
359 | |
---|
360 | } |
---|
361 | |
---|
362 | // Wait, uninterruptably, for the child's signal. The parent thread |
---|
363 | // still can be interrupted and killed; it just won't take effect |
---|
364 | // until the child has started. |
---|
365 | |
---|
366 | Guard<Monitor, DeferredInterruptionScope> g3(parent->_monitor); |
---|
367 | |
---|
368 | if(parent->_monitor.wait() != Monitor::SIGNALED) { |
---|
369 | assert(0); |
---|
370 | } |
---|
371 | |
---|
372 | |
---|
373 | } |
---|
374 | |
---|
375 | |
---|
376 | void ThreadImpl::dispatch(ThreadImpl* parent, ThreadImpl* impl, Task task) { |
---|
377 | |
---|
378 | // Map the implementation object onto the running thread. |
---|
379 | _threadMap.set(impl); |
---|
380 | |
---|
381 | // Update the reference count on a ThreadImpl before the 'Thread' |
---|
382 | // that owns it can go out of scope (by signaling the parent) |
---|
383 | impl->addReference(); |
---|
384 | |
---|
385 | // Update the priority of the thread |
---|
386 | if(parent->_state.isReference()) |
---|
387 | ThreadOps::setPriority(impl, |
---|
388 | parent->_state.isReference() ? impl->_priority : parent->_priority); |
---|
389 | |
---|
390 | // Inherit ThreadLocal values from the parent |
---|
391 | typedef ThreadLocalMap::const_iterator It; |
---|
392 | |
---|
393 | for(It i = parent->getThreadLocalMap().begin(); i != parent->getThreadLocalMap().end(); ++i) |
---|
394 | if( (i->second)->isInheritable() ) |
---|
395 | impl->getThreadLocalMap()[ i->first ] = (i->second)->clone(); |
---|
396 | |
---|
397 | // Insert a user-thread mapping |
---|
398 | ThreadQueue::instance()->insertUserThread(impl); |
---|
399 | // Wake the parent once the thread is setup |
---|
400 | parent->_monitor.notify(); |
---|
401 | |
---|
402 | ZTDEBUG("Thread starting...\n"); |
---|
403 | |
---|
404 | // not catch exceptions, let program terminate |
---|
405 | //try { |
---|
406 | |
---|
407 | task->run(); |
---|
408 | |
---|
409 | //} catch(...) { |
---|
410 | |
---|
411 | // Result of running a task that threw an exception. |
---|
412 | // ZTDEBUG("The task has thrown an unhandled exception\n"); |
---|
413 | //assert(0); // UQ1: Go to debugger... |
---|
414 | |
---|
415 | //} |
---|
416 | |
---|
417 | ZTDEBUG("Thread joining...\n"); |
---|
418 | |
---|
419 | { // Update the state of the thread |
---|
420 | |
---|
421 | Guard<Monitor> g(impl->_monitor); |
---|
422 | impl->_state.setJoined(); |
---|
423 | |
---|
424 | // Wake the joiners that will be easy to join first |
---|
425 | for(List::iterator i = impl->_joiners.begin(); i != impl->_joiners.end();) { |
---|
426 | |
---|
427 | ThreadImpl* joiner = *i; |
---|
428 | Monitor& m = joiner->getMonitor(); |
---|
429 | |
---|
430 | if(m.tryAcquire()) { |
---|
431 | |
---|
432 | m.notify(); |
---|
433 | m.release(); |
---|
434 | |
---|
435 | i = impl->_joiners.erase(i); |
---|
436 | |
---|
437 | } else |
---|
438 | ++i; |
---|
439 | |
---|
440 | } |
---|
441 | |
---|
442 | // Wake the joiners that might take a while next |
---|
443 | for(List::iterator i = impl->_joiners.begin(); i != impl->_joiners.end(); ++i) { |
---|
444 | |
---|
445 | ThreadImpl* joiner = *i; |
---|
446 | Monitor& m = joiner->getMonitor(); |
---|
447 | |
---|
448 | m.acquire(); |
---|
449 | m.notify(); |
---|
450 | m.release(); |
---|
451 | |
---|
452 | } |
---|
453 | |
---|
454 | } |
---|
455 | |
---|
456 | ZTDEBUG("Thread exiting...\n"); |
---|
457 | |
---|
458 | // Insert a pending-thread mapping, allowing the resources to be reclaimed |
---|
459 | ThreadQueue::instance()->insertPendingThread(impl); |
---|
460 | |
---|
461 | // Cleanup ThreadLocal values |
---|
462 | impl->getThreadLocalMap().clear(); |
---|
463 | |
---|
464 | // Update the reference count allowing it to be destroyed |
---|
465 | impl->delReference(); |
---|
466 | |
---|
467 | } |
---|
468 | |
---|
469 | |
---|
470 | } // namespace ZThread |
---|