source: src/libcfa/concurrency/kernel_private.h@ 0c674e8

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum with_gc
Last change on this file since 0c674e8 was 09800e9, checked in by Thierry Delisle <tdelisle@…>, 7 years ago

First draft at locks in Cforall

  • Property mode set to 100644
File size: 3.4 KB
RevLine 
[75f3522]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//
[75a17f1]7// kernel_private.h --
[75f3522]8//
9// Author : Thierry Delisle
10// Created On : Mon Feb 13 12:27:26 2017
[6b0b624]11// Last Modified By : Peter A. Buhr
[b10affd]12// Last Modified On : Thu Mar 29 14:06:40 2018
13// Update Count : 3
[75f3522]14//
15
[6b0b624]16#pragma once
[75f3522]17
18#include "kernel"
[75a17f1]19#include "thread"
[75f3522]20
[fa21ac9]21#include "alarm.h"
22
[4aa2fb2]23
[75f3522]24//-----------------------------------------------------------------------------
25// Scheduler
[1c273d0]26
27extern "C" {
28 void disable_interrupts();
[969b3fe]29 void enable_interrupts_noPoll();
[36982fc]30 void enable_interrupts( __cfaabi_dbg_ctx_param );
[1c273d0]31}
32
[348006f]33void ScheduleThread( thread_desc * );
[1c273d0]34static inline void WakeThread( thread_desc * thrd ) {
35 if( !thrd ) return;
36
37 disable_interrupts();
38 ScheduleThread( thrd );
[36982fc]39 enable_interrupts( __cfaabi_dbg_ctx );
[1c273d0]40}
[348006f]41thread_desc * nextThread(cluster * this);
[75f3522]42
[e60e0dc]43//Block current thread and release/wake-up the following resources
[82ff5845]44void BlockInternal(void);
[ea7d2b0]45void BlockInternal(__spinlock_t * lock);
[82ff5845]46void BlockInternal(thread_desc * thrd);
[ea7d2b0]47void BlockInternal(__spinlock_t * lock, thread_desc * thrd);
48void BlockInternal(__spinlock_t * locks [], unsigned short count);
49void BlockInternal(__spinlock_t * locks [], unsigned short count, thread_desc * thrds [], unsigned short thrd_count);
[09800e9]50void BlockInternal(__finish_callback_fptr_t callback);
[ea7d2b0]51void LeaveThread(__spinlock_t * lock, thread_desc * thrd);
[db6f06a]52
[75f3522]53//-----------------------------------------------------------------------------
54// Processor
55void main(processorCtx_t *);
[db6f06a]56void start(processor * this);
[348006f]57void runThread(processor * this, thread_desc * dst);
[db6f06a]58void finishRunning(processor * this);
[4dad189]59void terminate(processor * this);
[75f3522]60void spin(processor * this, unsigned int * spin_count);
61
[e60e0dc]62struct event_kernel_t {
[fa21ac9]63 alarm_list_t alarms;
[ea7d2b0]64 __spinlock_t lock;
[fa21ac9]65};
66
[e60e0dc]67extern event_kernel_t * event_kernel;
68
[b10affd]69//extern thread_local coroutine_desc * volatile this_coroutine;
70//extern thread_local thread_desc * volatile this_thread;
71//extern thread_local processor * volatile this_processor;
[9cc0472]72
[b69ea6b]73// extern volatile thread_local bool preemption_in_progress;
74// extern volatile thread_local bool preemption_enabled;
75// extern volatile thread_local unsigned short disable_preempt_count;
76
[d8548e2]77struct __cfa_kernel_preemption_state_t {
[b69ea6b]78 bool enabled;
79 bool in_progress;
80 unsigned short disable_count;
81};
82
[d8548e2]83extern volatile thread_local __cfa_kernel_preemption_state_t preemption_state;
[c81ebf9]84
[75f3522]85//-----------------------------------------------------------------------------
86// Threads
87extern "C" {
88 forall(dtype T | is_thread(T))
89 void CtxInvokeThread(T * this);
90}
91
[c3acb841]92extern void ThreadCtxSwitch(coroutine_desc * src, coroutine_desc * dst);
[75f3522]93
[f7d6bb0]94__cfaabi_dbg_debug_do(
95 extern void __cfaabi_dbg_thread_register ( thread_desc * thrd );
96 extern void __cfaabi_dbg_thread_unregister( thread_desc * thrd );
97)
98
[969b3fe]99//-----------------------------------------------------------------------------
100// Utils
101#define KERNEL_STORAGE(T,X) static char storage_##X[sizeof(T)]
102
[de94a60]103
[a1a17a74]104void doregister( struct cluster & cltr );
105void unregister( struct cluster & cltr );
[de94a60]106
[a1a17a74]107void doregister( struct cluster * cltr, struct thread_desc & thrd );
108void unregister( struct cluster * cltr, struct thread_desc & thrd );
[de94a60]109
110void doregister( struct cluster * cltr, struct processor * proc );
111void unregister( struct cluster * cltr, struct processor * proc );
112
[75f3522]113// Local Variables: //
114// mode: c //
115// tab-width: 4 //
[4aa2fb2]116// End: //
Note: See TracBrowser for help on using the repository browser.