| [75f3522] | 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 | // | 
|---|
| [75a17f1] | 8 | // kernel_private.h -- | 
|---|
| [75f3522] | 9 | // | 
|---|
|  | 10 | // Author           : Thierry Delisle | 
|---|
|  | 11 | // Created On       : Mon Feb 13 12:27:26 2017 | 
|---|
|  | 12 | // Last Modified By : Thierry Delisle | 
|---|
|  | 13 | // Last Modified On : -- | 
|---|
|  | 14 | // Update Count     : 0 | 
|---|
|  | 15 | // | 
|---|
|  | 16 |  | 
|---|
|  | 17 | #ifndef KERNEL_PRIVATE_H | 
|---|
|  | 18 | #define KERNEL_PRIVATE_H | 
|---|
|  | 19 |  | 
|---|
| [2ac095d] | 20 | #include "libhdr.h" | 
|---|
|  | 21 |  | 
|---|
| [75f3522] | 22 | #include "kernel" | 
|---|
| [75a17f1] | 23 | #include "thread" | 
|---|
| [75f3522] | 24 |  | 
|---|
| [fa21ac9] | 25 | #include "alarm.h" | 
|---|
|  | 26 |  | 
|---|
| [4aa2fb2] | 27 |  | 
|---|
| [75f3522] | 28 | //----------------------------------------------------------------------------- | 
|---|
|  | 29 | // Scheduler | 
|---|
| [1c273d0] | 30 |  | 
|---|
|  | 31 | extern "C" { | 
|---|
|  | 32 | void disable_interrupts(); | 
|---|
|  | 33 | void enable_interrupts_noRF(); | 
|---|
| [2ac095d] | 34 | void enable_interrupts( DEBUG_CTX_PARAM ); | 
|---|
| [1c273d0] | 35 | } | 
|---|
|  | 36 |  | 
|---|
| [348006f] | 37 | void ScheduleThread( thread_desc * ); | 
|---|
| [1c273d0] | 38 | static inline void WakeThread( thread_desc * thrd ) { | 
|---|
|  | 39 | if( !thrd ) return; | 
|---|
|  | 40 |  | 
|---|
|  | 41 | disable_interrupts(); | 
|---|
|  | 42 | ScheduleThread( thrd ); | 
|---|
| [2ac095d] | 43 | enable_interrupts( DEBUG_CTX ); | 
|---|
| [1c273d0] | 44 | } | 
|---|
| [348006f] | 45 | thread_desc * nextThread(cluster * this); | 
|---|
| [75f3522] | 46 |  | 
|---|
| [82ff5845] | 47 | void BlockInternal(void); | 
|---|
|  | 48 | void BlockInternal(spinlock * lock); | 
|---|
|  | 49 | void BlockInternal(thread_desc * thrd); | 
|---|
|  | 50 | void BlockInternal(spinlock * lock, thread_desc * thrd); | 
|---|
|  | 51 | void BlockInternal(spinlock ** locks, unsigned short count); | 
|---|
|  | 52 | void BlockInternal(spinlock ** locks, unsigned short count, thread_desc ** thrds, unsigned short thrd_count); | 
|---|
| [f2b12406] | 53 | void LeaveThread(spinlock * lock, thread_desc * thrd); | 
|---|
| [db6f06a] | 54 |  | 
|---|
| [75f3522] | 55 | //----------------------------------------------------------------------------- | 
|---|
|  | 56 | // Processor | 
|---|
| [fa21ac9] | 57 | coroutine processorCtx_t { | 
|---|
| [75f3522] | 58 | processor * proc; | 
|---|
|  | 59 | }; | 
|---|
|  | 60 |  | 
|---|
|  | 61 | void main(processorCtx_t *); | 
|---|
| [db6f06a] | 62 | void start(processor * this); | 
|---|
| [348006f] | 63 | void runThread(processor * this, thread_desc * dst); | 
|---|
| [db6f06a] | 64 | void finishRunning(processor * this); | 
|---|
| [75f3522] | 65 | void spin(processor * this, unsigned int * spin_count); | 
|---|
|  | 66 |  | 
|---|
| [fa21ac9] | 67 | struct system_proc_t { | 
|---|
|  | 68 | processor proc; | 
|---|
|  | 69 |  | 
|---|
|  | 70 | alarm_list_t alarms; | 
|---|
|  | 71 | spinlock alarm_lock; | 
|---|
| [c81ebf9] | 72 |  | 
|---|
|  | 73 | bool pending_alarm; | 
|---|
| [fa21ac9] | 74 | }; | 
|---|
|  | 75 |  | 
|---|
|  | 76 | extern cluster * systemCluster; | 
|---|
|  | 77 | extern system_proc_t * systemProcessor; | 
|---|
| [4e6fb8e] | 78 | extern volatile thread_local processor * this_processor; | 
|---|
| [1c273d0] | 79 | extern volatile thread_local coroutine_desc * this_coroutine; | 
|---|
|  | 80 | extern volatile thread_local thread_desc * this_thread; | 
|---|
| [d6ff3ff] | 81 | extern volatile thread_local bool preemption_in_progress; | 
|---|
| [4e6fb8e] | 82 | extern volatile thread_local unsigned short disable_preempt_count; | 
|---|
| [c81ebf9] | 83 |  | 
|---|
| [75f3522] | 84 | //----------------------------------------------------------------------------- | 
|---|
|  | 85 | // Threads | 
|---|
|  | 86 | extern "C" { | 
|---|
|  | 87 | forall(dtype T | is_thread(T)) | 
|---|
|  | 88 | void CtxInvokeThread(T * this); | 
|---|
|  | 89 | } | 
|---|
|  | 90 |  | 
|---|
| [c3acb841] | 91 | extern void ThreadCtxSwitch(coroutine_desc * src, coroutine_desc * dst); | 
|---|
| [75f3522] | 92 |  | 
|---|
|  | 93 | #endif //KERNEL_PRIVATE_H | 
|---|
|  | 94 |  | 
|---|
|  | 95 | // Local Variables: // | 
|---|
|  | 96 | // mode: c // | 
|---|
|  | 97 | // tab-width: 4 // | 
|---|
| [4aa2fb2] | 98 | // End: // | 
|---|