1 | // |
---|
2 | // Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo |
---|
3 | // |
---|
4 | // The contents of this file are covered under the licence agreement in the |
---|
5 | // file "LICENCE" distributed with Cforall. |
---|
6 | // |
---|
7 | // kernel_private.h -- |
---|
8 | // |
---|
9 | // Author : Thierry Delisle |
---|
10 | // Created On : Mon Feb 13 12:27:26 2017 |
---|
11 | // Last Modified By : Peter A. Buhr |
---|
12 | // Last Modified On : Thu Mar 29 14:06:40 2018 |
---|
13 | // Update Count : 3 |
---|
14 | // |
---|
15 | |
---|
16 | #pragma once |
---|
17 | |
---|
18 | #include "kernel" |
---|
19 | #include "thread" |
---|
20 | |
---|
21 | #include "alarm.h" |
---|
22 | |
---|
23 | |
---|
24 | //----------------------------------------------------------------------------- |
---|
25 | // Scheduler |
---|
26 | |
---|
27 | extern "C" { |
---|
28 | void disable_interrupts(); |
---|
29 | void enable_interrupts_noPoll(); |
---|
30 | void enable_interrupts( __cfaabi_dbg_ctx_param ); |
---|
31 | } |
---|
32 | |
---|
33 | void ScheduleThread( thread_desc * ); |
---|
34 | static inline void WakeThread( thread_desc * thrd ) { |
---|
35 | if( !thrd ) return; |
---|
36 | |
---|
37 | disable_interrupts(); |
---|
38 | ScheduleThread( thrd ); |
---|
39 | enable_interrupts( __cfaabi_dbg_ctx ); |
---|
40 | } |
---|
41 | thread_desc * nextThread(cluster * this); |
---|
42 | |
---|
43 | //Block current thread and release/wake-up the following resources |
---|
44 | void BlockInternal(void); |
---|
45 | void BlockInternal(__spinlock_t * lock); |
---|
46 | void BlockInternal(thread_desc * thrd); |
---|
47 | void BlockInternal(__spinlock_t * lock, thread_desc * thrd); |
---|
48 | void BlockInternal(__spinlock_t * locks [], unsigned short count); |
---|
49 | void BlockInternal(__spinlock_t * locks [], unsigned short count, thread_desc * thrds [], unsigned short thrd_count); |
---|
50 | void LeaveThread(__spinlock_t * lock, thread_desc * thrd); |
---|
51 | |
---|
52 | //----------------------------------------------------------------------------- |
---|
53 | // Processor |
---|
54 | void main(processorCtx_t *); |
---|
55 | void start(processor * this); |
---|
56 | void runThread(processor * this, thread_desc * dst); |
---|
57 | void finishRunning(processor * this); |
---|
58 | void terminate(processor * this); |
---|
59 | void spin(processor * this, unsigned int * spin_count); |
---|
60 | |
---|
61 | struct event_kernel_t { |
---|
62 | alarm_list_t alarms; |
---|
63 | __spinlock_t lock; |
---|
64 | }; |
---|
65 | |
---|
66 | extern event_kernel_t * event_kernel; |
---|
67 | |
---|
68 | //extern thread_local coroutine_desc * volatile this_coroutine; |
---|
69 | //extern thread_local thread_desc * volatile this_thread; |
---|
70 | //extern thread_local processor * volatile this_processor; |
---|
71 | |
---|
72 | // extern volatile thread_local bool preemption_in_progress; |
---|
73 | // extern volatile thread_local bool preemption_enabled; |
---|
74 | // extern volatile thread_local unsigned short disable_preempt_count; |
---|
75 | |
---|
76 | struct __cfa_kernel_preemption_state_t { |
---|
77 | bool enabled; |
---|
78 | bool in_progress; |
---|
79 | unsigned short disable_count; |
---|
80 | }; |
---|
81 | |
---|
82 | extern volatile thread_local __cfa_kernel_preemption_state_t preemption_state; |
---|
83 | |
---|
84 | //----------------------------------------------------------------------------- |
---|
85 | // Threads |
---|
86 | extern "C" { |
---|
87 | forall(dtype T | is_thread(T)) |
---|
88 | void CtxInvokeThread(T * this); |
---|
89 | } |
---|
90 | |
---|
91 | extern void ThreadCtxSwitch(coroutine_desc * src, coroutine_desc * dst); |
---|
92 | |
---|
93 | __cfaabi_dbg_debug_do( |
---|
94 | extern void __cfaabi_dbg_thread_register ( thread_desc * thrd ); |
---|
95 | extern void __cfaabi_dbg_thread_unregister( thread_desc * thrd ); |
---|
96 | ) |
---|
97 | |
---|
98 | //----------------------------------------------------------------------------- |
---|
99 | // Utils |
---|
100 | #define KERNEL_STORAGE(T,X) static char storage_##X[sizeof(T)] |
---|
101 | |
---|
102 | |
---|
103 | void doregister( struct cluster & cltr ); |
---|
104 | void unregister( struct cluster & cltr ); |
---|
105 | |
---|
106 | void doregister( struct cluster * cltr, struct thread_desc & thrd ); |
---|
107 | void unregister( struct cluster * cltr, struct thread_desc & thrd ); |
---|
108 | |
---|
109 | void doregister( struct cluster * cltr, struct processor * proc ); |
---|
110 | void unregister( struct cluster * cltr, struct processor * proc ); |
---|
111 | |
---|
112 | // Local Variables: // |
---|
113 | // mode: c // |
---|
114 | // tab-width: 4 // |
---|
115 | // End: // |
---|