[6cff9f3] | 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 | // alarm.h -- |
---|
| 8 | // |
---|
| 9 | // Author : Thierry Delisle |
---|
| 10 | // Created On : Fri Jun 2 11:31:25 2017 |
---|
[91c389a] | 11 | // Last Modified By : Peter A. Buhr |
---|
[6b0b624] | 12 | // Last Modified On : Sat Jul 22 09:59:27 2017 |
---|
| 13 | // Update Count : 3 |
---|
[6cff9f3] | 14 | // |
---|
| 15 | |
---|
[6b0b624] | 16 | #pragma once |
---|
[6cff9f3] | 17 | |
---|
[c81ebf9] | 18 | #include <stdbool.h> |
---|
[8cb529e] | 19 | #include <stdint.h> |
---|
[c81ebf9] | 20 | |
---|
[91c389a] | 21 | #include <assert.h> |
---|
[6cff9f3] | 22 | |
---|
[b69ea6b] | 23 | #include "bits/cfatime.h" |
---|
| 24 | |
---|
[6cff9f3] | 25 | struct thread_desc; |
---|
| 26 | struct processor; |
---|
| 27 | |
---|
[969b3fe] | 28 | //============================================================================================= |
---|
| 29 | // Clock logic |
---|
| 30 | //============================================================================================= |
---|
[c81ebf9] | 31 | |
---|
| 32 | __cfa_time_t __kernel_get_time(); |
---|
| 33 | void __kernel_set_timer( __cfa_time_t alarm ); |
---|
| 34 | |
---|
| 35 | //============================================================================================= |
---|
| 36 | // Alarm logic |
---|
| 37 | //============================================================================================= |
---|
| 38 | |
---|
[6cff9f3] | 39 | struct alarm_node_t { |
---|
[c81ebf9] | 40 | __cfa_time_t alarm; // time when alarm goes off |
---|
| 41 | __cfa_time_t period; // if > 0 => period of alarm |
---|
| 42 | alarm_node_t * next; // intrusive link list field |
---|
[6cff9f3] | 43 | |
---|
| 44 | union { |
---|
| 45 | thread_desc * thrd; // thrd who created event |
---|
| 46 | processor * proc; // proc who created event |
---|
| 47 | }; |
---|
[c81ebf9] | 48 | |
---|
| 49 | bool set :1; // whether or not the alarm has be registered |
---|
| 50 | bool kernel_alarm :1; // true if this is not a user defined alarm |
---|
[6cff9f3] | 51 | }; |
---|
| 52 | |
---|
| 53 | typedef alarm_node_t ** __alarm_it_t; |
---|
| 54 | |
---|
[b69ea6b] | 55 | void ?{}( alarm_node_t & this, thread_desc * thrd, __cfa_time_t alarm = 0`cfa_s, __cfa_time_t period = 0`cfa_s ); |
---|
| 56 | void ?{}( alarm_node_t & this, processor * proc, __cfa_time_t alarm = 0`cfa_s, __cfa_time_t period = 0`cfa_s ); |
---|
[242a902] | 57 | void ^?{}( alarm_node_t & this ); |
---|
[6cff9f3] | 58 | |
---|
| 59 | struct alarm_list_t { |
---|
| 60 | alarm_node_t * head; |
---|
| 61 | __alarm_it_t tail; |
---|
| 62 | }; |
---|
| 63 | |
---|
[c40e7c5] | 64 | static inline void ?{}( alarm_list_t & this ) with( this ) { |
---|
| 65 | head = 0; |
---|
| 66 | tail = &head; |
---|
[6cff9f3] | 67 | } |
---|
| 68 | |
---|
| 69 | void insert( alarm_list_t * this, alarm_node_t * n ); |
---|
| 70 | alarm_node_t * pop( alarm_list_t * this ); |
---|
| 71 | |
---|
[c81ebf9] | 72 | void register_self ( alarm_node_t * this ); |
---|
| 73 | void unregister_self( alarm_node_t * this ); |
---|
| 74 | |
---|
[6cff9f3] | 75 | // Local Variables: // |
---|
[6b0b624] | 76 | // mode: c // |
---|
[6cff9f3] | 77 | // tab-width: 6 // |
---|
[242a902] | 78 | // End: // |
---|