source: libcfa/src/concurrency/alarm.cfa@ 6b33e89

Last change on this file since 6b33e89 was 6b33e89, checked in by Peter A. Buhr <pabuhr@…>, 5 months ago

change backquote call to regular call

  • Property mode set to 100644
File size: 3.9 KB
RevLine 
[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.c --
8//
9// Author : Thierry Delisle
10// Created On : Fri Jun 2 11:31:25 2017
[6b0b624]11// Last Modified By : Peter A. Buhr
[6b33e89]12// Last Modified On : Thu Apr 24 22:22:25 2025
13// Update Count : 88
[6cff9f3]14//
15
[2026bb6]16#define __cforall_thread__
[c9ec301]17// #define __CFA_DEBUG_PRINT_PREEMPTION__
[2026bb6]18
[82ff5845]19#include <errno.h>
20#include <stdio.h>
21#include <unistd.h>
[c1ee231]22#include <string.h>
[c81ebf9]23#include <sys/time.h>
24
[73abe95]25#include "alarm.hfa"
[e660761]26#include "kernel/fwd.hfa"
[73abe95]27#include "preemption.hfa"
[6cff9f3]28
[c81ebf9]29//=============================================================================================
30// Clock logic
31//=============================================================================================
32
[2a84d06d]33Time __kernel_get_time() {
[c81ebf9]34 timespec curr;
[2a84d06d]35 clock_gettime( CLOCK_MONOTONIC_RAW, &curr ); // CLOCK_REALTIME
36 return (Time){ curr };
[c81ebf9]37}
38
[2a84d06d]39void __kernel_set_timer( Duration alarm ) {
[c457dc41]40 alarm = max(alarm, 1`us);
41 itimerval otv @= { 0 };
42 getitimer( ITIMER_REAL, &otv );
43 Duration od = { otv.it_value };
44 if(od == 0 || od > alarm) {
45 setitimer( ITIMER_REAL, &(itimerval){ alarm }, 0p );
46 }
[6cff9f3]47}
48
[c81ebf9]49//=============================================================================================
50// Alarm logic
51//=============================================================================================
52
[e84ab3d]53void ?{}( alarm_node_t & this, thread$ * thrd, Duration alarm, Duration period) with( this ) {
[c457dc41]54 this.initial = alarm;
55 this.period = period;
[242a902]56 this.thrd = thrd;
[1756e08]57 this.deadline = __kernel_get_time() + alarm;
[c40e7c5]58 set = false;
[eeb5023]59 type = User;
[6cff9f3]60}
61
[c457dc41]62void ?{}( alarm_node_t & this, processor * proc, Duration alarm, Duration period ) with( this ) {
63 this.initial = alarm;
64 this.period = period;
[242a902]65 this.proc = proc;
[1756e08]66 this.deadline = __kernel_get_time() + alarm;
[c40e7c5]67 set = false;
[eeb5023]68 type = Kernel;
69}
[c457dc41]70void ?{}( alarm_node_t & this, Alarm_Callback callback, Duration alarm, Duration period ) with( this ) {
[0f1fb78]71 this.callback = callback;
[c457dc41]72 this.initial = alarm;
73 this.period = period;
[1756e08]74 this.deadline = __kernel_get_time() + alarm;
[eeb5023]75 set = false;
76 type = Callback;
[c81ebf9]77}
[6cff9f3]78
[242a902]79void ^?{}( alarm_node_t & this ) {
80 if( this.set ) {
81 unregister_self( &this );
[c81ebf9]82 }
[6cff9f3]83}
84
85void insert( alarm_list_t * this, alarm_node_t * n ) {
[6b33e89]86 alarm_node_t & it = iter( *this );
87 while ( advance( it ) && it.deadline <= n->deadline );
88 insert_before( it, *n );
[d3ab183]89 verify( validate( *this ) );
[6cff9f3]90}
91
[c81ebf9]92alarm_node_t * pop( alarm_list_t * this ) {
[d3ab183]93 verify( validate( *this ) );
[6b33e89]94 alarm_node_t * head = &first( *this );
[6cff9f3]95 if( head ) {
[d3ab183]96 remove(*head);
[6cff9f3]97 }
[d3ab183]98 verify( validate( *this ) );
[6cff9f3]99 return head;
[c81ebf9]100}
101
102void register_self( alarm_node_t * this ) {
[d3ab183]103 alarm_list_t & alarms = event_kernel->alarms;
[e60e0dc]104
[c81ebf9]105 disable_interrupts();
[36982fc]106 lock( event_kernel->lock __cfaabi_dbg_ctx2 );
[c81ebf9]107 {
[c457dc41]108 /* paranoid */ verify( validate( alarms ) );
[82ff5845]109
[0f1fb78]110 Time curr = __kernel_get_time();
[1756e08]111 __cfadbg_print_safe( preemption, " KERNEL: alarm inserting %p (%lu -> %lu).\n", this, curr.tn, this->deadline.tn );
[d3ab183]112 insert( &alarms, this );
[1756e08]113 __kernel_set_timer( this->deadline - curr);
[afd7faf]114 this->set = true;
[c81ebf9]115 }
[ea7d2b0]116 unlock( event_kernel->lock );
[a3821fa]117 enable_interrupts();
[c81ebf9]118}
119
120void unregister_self( alarm_node_t * this ) {
121 disable_interrupts();
[36982fc]122 lock( event_kernel->lock __cfaabi_dbg_ctx2 );
[0b33412]123 {
[d3ab183]124 verify( validate( event_kernel->alarms ) );
[afd7faf]125 if (this->set) remove( *this );
126 this->set = false;
[0b33412]127 }
[ea7d2b0]128 unlock( event_kernel->lock );
[a3821fa]129 enable_interrupts();
[4aa2fb2]130}
[6b0b624]131
[2d8f7b0]132//=============================================================================================
133// Utilities
134//=============================================================================================
135
[c18bf9e]136void sleep( Duration duration ) libcfa_public {
[c457dc41]137 alarm_node_t node = { active_thread(), duration, 0`s };
[2d8f7b0]138
139 register_self( &node );
[e235429]140 park();
[2d8f7b0]141
[6b33e89]142 /* paranoid */ verify( ! node.set );
143 /* paranoid */ verify( & next( node ) == 0p );
144 /* paranoid */ verify( & prev( node ) == 0p );
[2d8f7b0]145}
146
[6b0b624]147// Local Variables: //
148// mode: c //
149// tab-width: 4 //
150// End: //
Note: See TracBrowser for help on using the repository browser.