source: src/libcfa/concurrency/kernel_private.h @ c81ebf9

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since c81ebf9 was c81ebf9, checked in by Thierry Delisle <tdelisle@…>, 5 years ago

More work done on preemption in cforall, next step disabling interrupts at the correct places

  • Property mode set to 100644
File size: 2.7 KB
Line 
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// kernel_private.h --
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
20#include "kernel"
21#include "thread"
22
23#include "alarm.h"
24
25//-----------------------------------------------------------------------------
26// Scheduler
27void ScheduleThread( thread_desc * );
28thread_desc * nextThread(cluster * this);
29
30void ScheduleInternal(void);
31void ScheduleInternal(spinlock * lock);
32void ScheduleInternal(thread_desc * thrd);
33void ScheduleInternal(spinlock * lock, thread_desc * thrd);
34void ScheduleInternal(spinlock ** locks, unsigned short count);
35void ScheduleInternal(spinlock ** locks, unsigned short count, thread_desc ** thrds, unsigned short thrd_count);
36
37//-----------------------------------------------------------------------------
38// Processor
39coroutine processorCtx_t {
40        processor * proc;
41};
42
43void main(processorCtx_t *);
44void start(processor * this);
45void runThread(processor * this, thread_desc * dst);
46void finishRunning(processor * this);
47void spin(processor * this, unsigned int * spin_count);
48
49struct system_proc_t {
50        processor proc;
51
52        alarm_list_t alarms;
53        spinlock alarm_lock;
54
55        bool pending_alarm;
56};
57
58extern cluster * systemCluster;
59extern system_proc_t * systemProcessor;
60extern thread_local processor * this_processor;
61
62static inline void disable_interrupts() {
63        __attribute__((unused)) unsigned short prev = __atomic_fetch_add_2( &this_processor->disable_preempt_count, 1, __ATOMIC_SEQ_CST );
64        assert( prev != (unsigned short) -1 );
65}
66
67static inline void enable_interrupts_noRF() {
68        unsigned short prev = __atomic_fetch_add_2( &this_processor->disable_preempt_count, -1, __ATOMIC_SEQ_CST );
69        assert( prev != (unsigned short) 0 );
70}
71
72static inline void enable_interrupts() {
73        unsigned short prev = __atomic_fetch_add_2( &this_processor->disable_preempt_count, -1, __ATOMIC_SEQ_CST );
74        assert( prev != (unsigned short) 0 );
75        if( prev == 1 && this_processor->pending_preemption ) {
76                ScheduleInternal( this_processor->current_thread );
77                this_processor->pending_preemption = false;
78        }
79}
80
81//-----------------------------------------------------------------------------
82// Threads
83extern "C" {
84      forall(dtype T | is_thread(T))
85      void CtxInvokeThread(T * this);
86}
87
88extern void ThreadCtxSwitch(coroutine_desc * src, coroutine_desc * dst);
89
90#endif //KERNEL_PRIVATE_H
91
92// Local Variables: //
93// mode: c //
94// tab-width: 4 //
95// End: //
Note: See TracBrowser for help on using the repository browser.