source: libcfa/src/concurrency/kernel_private.hfa @ ac2b598

arm-ehjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
Last change on this file since ac2b598 was ac2b598, checked in by Thierry Delisle <tdelisle@…>, 20 months ago

Changed descriptors for concurrency to use $ prefix instead of trailing _desc

  • Property mode set to 100644
File size: 2.8 KB
Line 
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.hfa --
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 : Sat Nov 30 19:25:02 2019
13// Update Count     : 8
14//
15
16#pragma once
17
18#include "kernel.hfa"
19#include "thread.hfa"
20
21#include "alarm.hfa"
22
23
24//-----------------------------------------------------------------------------
25// Scheduler
26
27extern "C" {
28        void disable_interrupts() OPTIONAL_THREAD;
29        void enable_interrupts_noPoll();
30        void enable_interrupts( __cfaabi_dbg_ctx_param );
31}
32
33void __schedule_thread( $thread * ) __attribute__((nonnull (1)));
34
35//Block current thread and release/wake-up the following resources
36void __leave_thread() __attribute__((noreturn));
37
38//-----------------------------------------------------------------------------
39// Processor
40void main(processorCtx_t *);
41
42void * __create_pthread( pthread_t *, void * (*)(void *), void * );
43
44static inline void wake_fast(processor * this) {
45        __cfaabi_dbg_print_safe("Kernel : Waking up processor %p\n", this);
46        post( this->idleLock );
47}
48
49static inline void wake(processor * this) {
50        disable_interrupts();
51        wake_fast(this);
52        enable_interrupts( __cfaabi_dbg_ctx );
53}
54
55struct event_kernel_t {
56        alarm_list_t alarms;
57        __spinlock_t lock;
58};
59
60extern event_kernel_t * event_kernel;
61
62struct __cfa_kernel_preemption_state_t {
63        bool enabled;
64        bool in_progress;
65        unsigned short disable_count;
66};
67
68extern volatile thread_local __cfa_kernel_preemption_state_t preemption_state __attribute__ ((tls_model ( "initial-exec" )));
69
70//-----------------------------------------------------------------------------
71// Threads
72extern "C" {
73      void __cfactx_invoke_thread(void (*main)(void *), void * this);
74}
75
76__cfaabi_dbg_debug_do(
77        extern void __cfaabi_dbg_thread_register  ( $thread * thrd );
78        extern void __cfaabi_dbg_thread_unregister( $thread * thrd );
79)
80
81//-----------------------------------------------------------------------------
82// Utils
83#define KERNEL_STORAGE(T,X) static char storage_##X[sizeof(T)]
84
85static inline uint32_t __tls_rand() {
86        kernelTLS.rand_seed ^= kernelTLS.rand_seed << 6;
87        kernelTLS.rand_seed ^= kernelTLS.rand_seed >> 21;
88        kernelTLS.rand_seed ^= kernelTLS.rand_seed << 7;
89        return kernelTLS.rand_seed;
90}
91
92
93void doregister( struct cluster & cltr );
94void unregister( struct cluster & cltr );
95
96void doregister( struct cluster * cltr, struct $thread & thrd );
97void unregister( struct cluster * cltr, struct $thread & thrd );
98
99void doregister( struct cluster * cltr, struct processor * proc );
100void unregister( struct cluster * cltr, struct processor * proc );
101
102// Local Variables: //
103// mode: c //
104// tab-width: 4 //
105// End: //
Note: See TracBrowser for help on using the repository browser.