1 | // -*- Mode: CFA -*-
|
---|
2 | //
|
---|
3 | // Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
|
---|
4 | //
|
---|
5 | // The contents of this file are covered under the licence agreement in the
|
---|
6 | // file "LICENCE" distributed with Cforall.
|
---|
7 | //
|
---|
8 | // thread.c --
|
---|
9 | //
|
---|
10 | // Author : Thierry Delisle
|
---|
11 | // Created On : Tue Jan 17 12:27:26 2017
|
---|
12 | // Last Modified By : Thierry Delisle
|
---|
13 | // Last Modified On : --
|
---|
14 | // Update Count : 0
|
---|
15 | //
|
---|
16 |
|
---|
17 | #include "thread"
|
---|
18 |
|
---|
19 | #include "kernel_private.h"
|
---|
20 | #include "libhdr.h"
|
---|
21 |
|
---|
22 | #define __CFA_INVOKE_PRIVATE__
|
---|
23 | #include "invoke.h"
|
---|
24 |
|
---|
25 | extern "C" {
|
---|
26 | #include <fenv.h>
|
---|
27 | #include <stddef.h>
|
---|
28 | }
|
---|
29 |
|
---|
30 | extern thread_local processor * this_processor;
|
---|
31 |
|
---|
32 | //-----------------------------------------------------------------------------
|
---|
33 | // Thread ctors and dtors
|
---|
34 |
|
---|
35 | void ?{}(thread_desc* this) {
|
---|
36 | (&this->cor){};
|
---|
37 | this->cor.name = "Anonymous Coroutine";
|
---|
38 | this->mon.owner = this;
|
---|
39 | this->mon.recursion = 1;
|
---|
40 | this->next = NULL;
|
---|
41 |
|
---|
42 | this->current_monitors = &this->mon;
|
---|
43 | this->current_monitor_count = 1;
|
---|
44 | }
|
---|
45 |
|
---|
46 | void ^?{}(thread_desc* this) {
|
---|
47 | ^(&this->cor){};
|
---|
48 | }
|
---|
49 |
|
---|
50 | forall( dtype T | sized(T) | is_thread(T) | { void ?{}(T*); } )
|
---|
51 | void ?{}( scoped(T)* this ) {
|
---|
52 | (&this->handle){};
|
---|
53 | __thrd_start(&this->handle);
|
---|
54 | }
|
---|
55 |
|
---|
56 | forall( dtype T, ttype P | sized(T) | is_thread(T) | { void ?{}(T*, P); } )
|
---|
57 | void ?{}( scoped(T)* this, P params ) {
|
---|
58 | (&this->handle){ params };
|
---|
59 | __thrd_start(&this->handle);
|
---|
60 | }
|
---|
61 |
|
---|
62 | forall( dtype T | sized(T) | is_thread(T) )
|
---|
63 | void ^?{}( scoped(T)* this ) {
|
---|
64 | ^(&this->handle){};
|
---|
65 | }
|
---|
66 |
|
---|
67 | //-----------------------------------------------------------------------------
|
---|
68 | // Starting and stopping threads
|
---|
69 | forall( dtype T | is_thread(T) )
|
---|
70 | void __thrd_start( T* this ) {
|
---|
71 | coroutine_desc* thrd_c = get_coroutine(this);
|
---|
72 | thread_desc* thrd_h = get_thread (this);
|
---|
73 | thrd_c->last = this_coroutine();
|
---|
74 | this_processor->current_coroutine = thrd_c;
|
---|
75 |
|
---|
76 | LIB_DEBUG_PRINT_SAFE("Thread start : %p (t %p, c %p)\n", this, thrd_c, thrd_h);
|
---|
77 |
|
---|
78 | create_stack(&thrd_c->stack, thrd_c->stack.size);
|
---|
79 | CtxStart(this, CtxInvokeThread);
|
---|
80 | CtxSwitch( thrd_c->last->stack.context, thrd_c->stack.context );
|
---|
81 |
|
---|
82 | ScheduleThread(thrd_h);
|
---|
83 | }
|
---|
84 |
|
---|
85 | void yield( void ) {
|
---|
86 | ScheduleInternal( this_processor->current_thread );
|
---|
87 | }
|
---|
88 |
|
---|
89 | void yield( unsigned times ) {
|
---|
90 | for( unsigned i = 0; i < times; i++ ) {
|
---|
91 | yield();
|
---|
92 | }
|
---|
93 | }
|
---|
94 |
|
---|
95 | void ThreadCtxSwitch(coroutine_desc* src, coroutine_desc* dst) {
|
---|
96 | // set state of current coroutine to inactive
|
---|
97 | src->state = Inactive;
|
---|
98 | dst->state = Active;
|
---|
99 |
|
---|
100 | //update the last resumer
|
---|
101 | dst->last = src;
|
---|
102 |
|
---|
103 | // set new coroutine that the processor is executing
|
---|
104 | // and context switch to it
|
---|
105 | this_processor->current_coroutine = dst;
|
---|
106 | CtxSwitch( src->stack.context, dst->stack.context );
|
---|
107 | this_processor->current_coroutine = src;
|
---|
108 |
|
---|
109 | // set state of new coroutine to active
|
---|
110 | dst->state = Inactive;
|
---|
111 | src->state = Active;
|
---|
112 | }
|
---|
113 |
|
---|
114 | // Local Variables: //
|
---|
115 | // mode: c //
|
---|
116 | // tab-width: 4 //
|
---|
117 | // End: //
|
---|