]> rtime.felk.cvut.cz Git - frescor/fosa.git/blob - include/fosa_clocks_and_timers.h
Adding FOSA_CPP_BEING|END_DECLS to allow interfacing with C++
[frescor/fosa.git] / include / fosa_clocks_and_timers.h
1 //----------------------------------------------------------------------
2 //  Copyright (C) 2006 - 2007 by the FRESCOR consortium:
3 //
4 //    Universidad de Cantabria,              SPAIN
5 //    University of York,                    UK
6 //    Scuola Superiore Sant'Anna,            ITALY
7 //    Kaiserslautern University,             GERMANY
8 //    Univ. Politecnica  Valencia,           SPAIN
9 //    Czech Technical University in Prague,  CZECH REPUBLIC
10 //    ENEA                                   SWEDEN
11 //    Thales Communication S.A.              FRANCE
12 //    Visual Tools S.A.                      SPAIN
13 //    Rapita Systems Ltd                     UK
14 //    Evidence                               ITALY
15 //
16 //    See http://www.frescor.org
17 //
18 //        The FRESCOR project (FP6/2005/IST/5-034026) is funded
19 //        in part by the European Union Sixth Framework Programme
20 //        The European Union is not liable of any use that may be
21 //        made of this code.
22 //
23 //
24 //  based on previous work (FSF) done in the FIRST project
25 //
26 //   Copyright (C) 2005  Mälardalen University, SWEDEN
27 //                       Scuola Superiore S.Anna, ITALY
28 //                       Universidad de Cantabria, SPAIN
29 //                       University of York, UK
30 //
31 // This file is part of FOSA (Frsh Operating System Abstraction)
32 //
33 // FOSA is free software; you can redistribute it and/or modify it
34 // under terms of the GNU General Public License as published by the
35 // Free Software Foundation; either version 2, or (at your option) any
36 // later version.  FOSA is distributed in the hope that it will be
37 // useful, but WITHOUT ANY WARRANTY; without even the implied warranty
38 // of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
39 // General Public License for more details. You should have received a
40 // copy of the GNU General Public License along with FOSA; see file
41 // COPYING. If not, write to the Free Software Foundation, 675 Mass Ave,
42 // Cambridge, MA 02139, USA.
43 //
44 // As a special exception, including FOSA header files in a file,
45 // instantiating FOSA generics or templates, or linking other files
46 // with FOSA objects to produce an executable application, does not
47 // by itself cause the resulting executable application to be covered
48 // by the GNU General Public License. This exception does not
49 // however invalidate any other reasons why the executable file might be
50 // covered by the GNU Public License.
51 // -----------------------------------------------------------------------
52 //fosa_clocks_and_timers.h
53 //==============================================
54 //  ********  ******    ********  **********
55 //  **///// /**    **  **//////  /**     /**
56 //  **      /**    ** /**        /**     /**
57 //  ******* /**    ** /********* /**********
58 //  **////  /**    ** ////////** /**//////**
59 //  **      /**    **        /** /**     /**
60 //  **      /**    **  ********  /**     /**
61 //  //       /******/  ////////   //      //
62 //
63 // FOSA(Frescor Operating System Adaptation layer)
64 //================================================
65
66
67 #ifndef         FOSA_CLOCKS_AND_TIMERS_H_
68 #define         FOSA_CLOCKS_AND_TIMERS_H_
69
70 #include "fosa_types.h"
71 #include "fosa_configuration_parameters.h"
72
73 FOSA_CPP_BEGIN_DECLS
74
75 /**
76  * @defgroup clocksandtimers Clocks and Timers
77  * @ingroup fosa
78  *
79  * This module defines the types and functions to abstract clocks and
80  * timers for the FRSH implementation.
81  *
82  * @{
83  **/
84
85
86
87 /*************************
88  * Timing: Clocks
89  *************************/
90
91 /**
92  * fosa_get_time()
93  *
94  * Get the time from a clock
95  *
96  * This function sets the variable pointed to by current_time to the
97  * current value of the clock specified by clockid, which may be the
98  * FOSA_CLOCK_REALTIME constant or a value obtained with
99  * fosa_get_cputime_clock()
100  *
101  * Returns 0 if successful; otherwise it returns an error code:
102  *     FOSA_EINVAL: the value of clockid is invalid
103  *
104  * Alternatively, in case of error the implementation is allowed to
105  * notify it to the system console and then terminate the FRSH
106  * implementation and dependant applications
107  **/
108 int fosa_clock_get_time(fosa_clock_id_t clockid, struct timespec *current_time);
109
110
111 /**
112  * fosa_get_cputime_clock()
113  *
114  * Get the identifier of a cpu-time clock
115  *
116  * This function stores in the variable pointed to by clockid the
117  * identifier of a cpu-time clock for the thread specified by tid.
118  *
119  * Returns 0 if successful; otherwise it returns an error code:
120  *    FOSA_EINVAL: the value of tid is invalid
121  *
122  * Alternatively, in case of error the implementation is allowed to
123  * notify it to the system console and then terminate the FRSH
124  * implementation and dependant applications
125  **/
126 int fosa_thread_get_cputime_clock(fosa_thread_id_t tid, fosa_clock_id_t *clockid);
127
128
129 /*************************
130  * Timing: Timers
131  *************************/
132
133 /**
134  * fosa_timer_create()
135  *
136  * Create a one-shot timer
137  *
138  * This function creates a timer based on the clock specified by clock,
139  * and associates to this timer a notification mechanism consisting of
140  * a signal and associated information. Initially, the timer is in the
141  * disarmed state, i.e., not counting time. It can be armed to start
142  * counting time with fosa_timer_arm().
143  *
144  * The function stores the identifier of the newly created timer in the
145  * variable pointed to by timerid.
146  *
147  * When the timer expires, the signal number specified by signal will be
148  * sent together with the information specified by info, to the thread
149  * that armed the timer (@see fosa_timer_arm()).
150  *
151  * In those implementations that do not support queueing a
152  * signal with information to a thread (such as POSIX), the signal may
153  * be sent to any thread that is waiting for this signal via
154  * fosa_signal_wait(). Portability can be ensured by having the receiver
155  * thread be the one who is waiting for the signal.
156  *
157  * Returns 0 if successful; otherwise it returns an error code:
158  *     FOSA_EINVAL: the value of clockid or signal is invalid
159  *
160  *     FOSA_EAGAIN: the system lacks enough resources to create the timer
161  *
162  * Alternatively, in case of error the implementation is allowed to
163  * notify it to the system console and then terminate the FRSH
164  * implementation and dependant applications
165  **/
166  int fosa_timer_create
167       (fosa_clock_id_t clockid, fosa_signal_t signal, fosa_signal_info_t info,
168        fosa_timer_id_t *timerid);
169
170 /**
171  * fosa_timer_create_with_receiver()
172  *
173  * Create a one-shot timer with a specific signal receiver thread
174  *
175  * This function creates a timer in the same way as fosa_timer_create,
176  * except that the signal generated when the timer expires is sent to
177  * the thread specified by receiver
178  *
179  * Returns 0 if successful; otherwise it returns an error code:
180  *     FOSA_EINVAL: the value of clockid or signal is invalid
181  *
182  *     FOSA_EAGAIN: the system lacks enough resources to create the timer
183  *
184  * Alternatively, in case of error the implementation is allowed to
185  * notify it to the system console and then terminate the FRSH
186  * implementation and dependant applications
187  **/
188  int fosa_timer_create_with_receiver
189       (fosa_clock_id_t clockid, fosa_signal_t signal, fosa_signal_info_t info,
190        fosa_timer_id_t *timerid, fosa_thread_id_t receiver);
191
192 /**
193  * fosa_timer_delete()
194  *
195  * Delete a timer
196  *
197  * The function deletes the timer specified by timerid, which becomes
198  * unusable. If the timer was armed, it is automatically disarmed before
199  * deletion.
200  *
201  * Returns 0 if successful; otherwise it returns an error code:
202  *     FOSA_EINVAL: the value of timerid is not valid
203  *
204  * Alternatively, in case of error the implementation is allowed to
205  * notify it to the system console and then terminate the FRSH
206  * implementation and dependant applications
207  **/
208 int fosa_timer_delete(fosa_timer_id_t timerid);
209
210 /**
211  * fosa_timer_arm()
212  *
213  * Arm a timer
214  *
215  * The timer specified by timer is armed and starts counting time.
216  *
217  * If abstime is true, the value pointed to by value is the absolute
218  * time at which the timer will expire. If value specifies a time instant
219  * in the past, the timer expires immediately.
220  *
221  * If abstime is false, the value pointed to by value is the relative interval
222  * that must elapse for the timer to expire.
223  *
224  * In both cases, absolute or relative, the time is measured with the clock
225  * associated with the timer when it was created.
226  *
227  * If the timer was already armed, the previous time or interval is discarded
228  * and the timer is rearmed with the new value.
229  *
230  * When the timer expires, it is disarmed.
231  *
232  * Returns 0 if successful; otherwise it returns an error code:
233  *    FOSA_EINVAL: the value of timerid or value is invalid
234  *
235  * Alternatively, in case of error the implementation is allowed to
236  * notify it to the system console and then terminate the FRSH
237  * implementation and dependant applications
238  **/
239 int fosa_timer_arm
240       (fosa_timer_id_t timerid, bool abstime,
241        const struct timespec *value);
242
243 /**
244  * fosa_timer_get_remaining_time()
245  *
246  * Get the remaining time for timer expiration
247  *
248  * Returns the relative remaining time for timer expiration.  If the
249  * clock is a CPU clock it returns the time as if the thread was
250  * executing constantly.
251  *
252  * If the timer is disarmed it returns 0.
253  *
254  * Returns 0 if successful; otherwise it returns an error code:
255  *    FOSA_EINVAL: the value of timerid or value is invalid
256  *
257  * Alternatively, in case of error the implementation is allowed to
258  * notify it to the system console and then terminate the FRSH
259  * implementation and dependant applications
260  **/
261 int fosa_timer_get_remaining_time
262     (fosa_timer_id_t timerid, struct timespec *remaining_time);
263
264 /**
265  * fosa_timer_disarm()
266  *
267  * Disarm a timer and optionally obtain remaining time before expiration
268  *
269  * The timer specified by timer is disarmed, and will not expire unless
270  * it is rearmed. If the timer was already disramed, the function has
271  * no effect.
272  *
273  * If the pointer remaining_time is != NULL, the remaining time before
274  * expiration will be returned in that pointer.  If the timer was
275  * disarmed a 0 value will be set.
276  *
277  * Returns 0 if successful; otherwise it returns an error code:
278  *    FOSA_EINVAL: the value of timerid or value is invalid
279  *
280  * Alternatively, in case of error the implementation is allowed to
281  * notify it to the system console and then terminate the FRSH
282  * implementation and dependant applications
283  **/
284 int fosa_timer_disarm(fosa_timer_id_t timerid, struct timespec
285                            *remaining_time);
286
287
288 /*@}*/
289
290 FOSA_CPP_END_DECLS
291
292 #endif      /* !FOSA_CLOCKS_AND_TIMERS_H_ */