source: src/libcfa/concurrency/kernel @ 0c78741

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 0c78741 was 0c78741, checked in by Thierry Delisle <tdelisle@…>, 7 years ago

Implementation of internal scheduling in CFA

  • Property mode set to 100644
File size: 2.2 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 --
9//
10// Author           : Thierry Delisle
11// Created On       : Tue Jan 17 12:27:26 2017
12// Last Modified By : Thierry Delisle
13// Last Modified On : --
14// Update Count     : 0
15//
16
17#ifndef KERNEL_H
18#define KERNEL_H
19
20#include <stdbool.h>
21
22#include "invoke.h"
23
24extern "C" {
25#include <pthread.h>
26}
27
28//-----------------------------------------------------------------------------
29// Locks
30void lock( spinlock * );
31void unlock( spinlock * );
32
33struct signal_once {
34        volatile bool cond;
35        struct spinlock lock;
36        struct __thread_queue_t blocked;
37};
38
39void ?{}(signal_once * this);
40void ^?{}(signal_once * this);
41
42void wait( signal_once * );
43void signal( signal_once * );
44
45//-----------------------------------------------------------------------------
46// Cluster
47struct cluster {
48        __thread_queue_t ready_queue;
49        spinlock lock;
50};
51
52void ?{}(cluster * this);
53void ^?{}(cluster * this);
54
55//-----------------------------------------------------------------------------
56// Processor
57enum FinishOpCode { No_Action, Release, Schedule, Release_Schedule, Release_Multi, Release_Multi_Schedule };
58
59//TODO use union, many of these fields are mutually exclusive (i.e. MULTI vs NOMULTI)
60struct FinishAction {
61        FinishOpCode action_code;
62        thread_desc * thrd;
63        spinlock * lock;
64        spinlock ** locks;
65        unsigned short lock_count;
66        thread_desc ** thrds;
67        unsigned short thrd_count;
68};
69static inline void ?{}(FinishAction * this) {
70        this->action_code = No_Action;
71        this->thrd = NULL;
72        this->lock = NULL;
73}
74static inline void ^?{}(FinishAction * this) {}
75
76struct processor {
77        struct processorCtx_t * runner;
78        cluster * cltr;
79        coroutine_desc * current_coroutine;
80        thread_desc * current_thread;
81        pthread_t kernel_thread;
82       
83        signal_once terminated;
84        volatile bool is_terminated;
85
86        struct FinishAction finish;
87};
88
89void ?{}(processor * this);
90void ?{}(processor * this, cluster * cltr);
91void ^?{}(processor * this);
92
93#endif //KERNEL_H
94
95// Local Variables: //
96// mode: c //
97// tab-width: 4 //
98// End: //
Note: See TracBrowser for help on using the repository browser.