1 // -----------------------------------------------------------------------
2 // Copyright (C) 2006 - 2008 FRESCOR consortium partners:
4 // Universidad de Cantabria, SPAIN
5 // University of York, UK
6 // Scuola Superiore Sant'Anna, ITALY
7 // Kaiserslautern University, GERMANY
8 // Univ. Politécnica Valencia, SPAIN
9 // Czech Technical University in Prague, CZECH REPUBLIC
11 // Thales Communication S.A. FRANCE
12 // Visual Tools S.A. SPAIN
13 // Rapita Systems Ltd UK
16 // See http://www.frescor.org for a link to partners' websites
18 // 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
24 // based on previous work (FSF) done in the FIRST project
26 // Copyright (C) 2005 Mälardalen University, SWEDEN
27 // Scuola Superiore S.Anna, ITALY
28 // Universidad de Cantabria, SPAIN
29 // University of York, UK
31 // FSF API web pages: http://marte.unican.es/fsf/docs
32 // http://shark.sssup.it/contrib/first/docs/
34 // This file is part of FOSA (Frsh Operating System Adaption)
36 // FOSA is free software; you can redistribute it and/or modify it
37 // under terms of the GNU General Public License as published by the
38 // Free Software Foundation; either version 2, or (at your option) any
39 // later version. FOSA is distributed in the hope that it will be
40 // useful, but WITHOUT ANY WARRANTY; without even the implied warranty
41 // of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
42 // General Public License for more details. You should have received a
43 // copy of the GNU General Public License along with FOSA; see file
44 // COPYING. If not, write to the Free Software Foundation, 675 Mass Ave,
45 // Cambridge, MA 02139, USA.
47 // As a special exception, including FOSA header files in a file,
48 // instantiating FOSA generics or templates, or linking other files
49 // with FOSA objects to produce an executable application, does not
50 // by itself cause the resulting executable application to be covered
51 // by the GNU General Public License. This exception does not
52 // however invalidate any other reasons why the executable file might be
53 // covered by the GNU Public License.
54 // -----------------------------------------------------------------------
55 //fosa_opaque_types_time.h
56 //==============================================
57 // ******** ****** ******** **********
58 // **///// /** ** **////// /** /**
59 // ** /** ** /** /** /**
60 // ******* /** ** /********* /**********
61 // **//// /** ** ////////** /**//////**
62 // ** /** ** /** /** /**
63 // ** /** ** ******** /** /**
64 // // /******/ //////// // //
66 // FOSA(Frescor Operating System Adaptation layer)
67 //================================================
69 // Implementation dependent definitions
71 #ifndef _FOSA_OPAQUE_TYPES_TIME_H_
72 #define _FOSA_OPAQUE_TYPES_TIME_H_
75 /////////////////////// MARTE_OS /////////////////////////////
82 - numeric type (long, .long long, short)
85 #define FOSA_TIME_TIMESPEC
87 typedef struct timespec FOSA_REL_TIME_T_OPAQUE;
88 typedef struct timespec FOSA_ABS_TIME_T_OPAQUE;
93 #define FOSA_TIME_NUMERIC
94 #define FOSA_TIME_BASE 9 // 9 for nanosecods
98 typedef long long FOSA_REL_TIME_T_OPAQUE;
99 typedef unsigned long long FOSA_ABS_TIME_T_OPAQUE;
104 Possible additions: FOSA_ABS_TIME_MAX, FOSA_ABS_TIME_MIN,
105 FOSA_REL_TIME_MAX, FOSA_REL_TIME_MIN to protect
106 operations against possible overflows or handle circular
110 #endif /* MARTE_OS */
112 /////////////////////// End of MARTE_OS /////////////////////////////
115 /////////////////////// RT_LINUX ///////////////////////////
122 - numeric type (long, .long long, short)
125 #define FOSA_TIME_TIMESPEC
127 typedef struct timespec FOSA_REL_TIME_T_OPAQUE;
128 typedef struct timespec FOSA_ABS_TIME_T_OPAQUE;
134 #define FOSA_TIME_NUMERIC
135 #define FOSA_TIME_BASE 9 // 9 for nanosecods
136 // 6 for microseconds
139 typedef long long FOSA_REL_TIME_T_OPAQUE;
140 typedef unsigned long long FOSA_ABS_TIME_T_OPAQUE;
145 Possible additions: FOSA_ABS_TIME_MAX, FOSA_ABS_TIME_MIN,
146 FOSA_REL_TIME_MAX, FOSA_REL_TIME_MIN to protect
147 operations against possible overflows or handle circular
151 #endif /* RT_LINUX */
154 /////////////////////// End of RT_LINUX /////////////////////////////
158 ////////////////////////// OSE //////////////////////////////////////
165 - numeric type (long, .long long, short)
168 #define FOSA_TIME_TIMESPEC
170 typedef struct timespec FOSA_REL_TIME_T_OPAQUE;
171 typedef struct timespec FOSA_ABS_TIME_T_OPAQUE;
174 #define FOSA_TIME_NUMERIC
175 #define FOSA_TIME_BASE 9 // 9 for nanosecods
176 // 6 for microseconds
179 typedef long long FOSA_REL_TIME_T_OPAQUE;
180 typedef unsigned long long FOSA_ABS_TIME_T_OPAQUE;
185 Possible additions: FOSA_ABS_TIME_MAX, FOSA_ABS_TIME_MIN,
186 FOSA_REL_TIME_MAX, FOSA_REL_TIME_MIN to protect
187 operations against possible overflows or handle circular
194 /////////////////////// End of OSE ///////////////////////////////////
196 /////////////////////// AQuoSA ///////////////////////////
203 - numeric type (long, .long long, short)
207 #define FOSA_TIME_TIMESPEC
209 typedef struct timespec FOSA_REL_TIME_T_OPAQUE;
210 typedef struct timespec FOSA_ABS_TIME_T_OPAQUE;
215 #define FOSA_TIME_NUMERIC
216 #define FOSA_TIME_BASE 9 // 9 for nanosecods
217 // 6 for microseconds
220 typedef long long FOSA_REL_TIME_T_OPAQUE;
221 typedef unsigned long long FOSA_ABS_TIME_T_OPAQUE;
225 Possible additions: FOSA_ABS_TIME_MAX, FOSA_ABS_TIME_MIN,
226 FOSA_REL_TIME_MAX, FOSA_REL_TIME_MIN to protect
227 operations against possible overflows or handle circular
234 /////////////////////// End of AQuoSA ////////////////////////////////
237 /////////////////////// PARTIKLE ///////////////////////////
244 - numeric type (long, .long long, short)
248 #define FOSA_TIME_TIMESPEC
250 typedef struct timespec FOSA_REL_TIME_T_OPAQUE;
251 typedef struct timespec FOSA_ABS_TIME_T_OPAQUE;
255 #define FOSA_TIME_NUMERIC
256 #define FOSA_TIME_BASE 9 // 9 for nanosecods
257 // 6 for microseconds
260 typedef long long FOSA_REL_TIME_T_OPAQUE;
261 typedef unsigned long long FOSA_ABS_TIME_T_OPAQUE;
266 Possible additions: FOSA_ABS_TIME_MAX, FOSA_ABS_TIME_MIN,
267 FOSA_REL_TIME_MAX, FOSA_REL_TIME_MIN to protect
268 operations against possible overflows or handle circular
273 #endif /* PARTIKLE */
275 /////////////////////// End of PARTIKLE ////////////////////////////////
277 /////////////////////// VIRTUAL_TIME ///////////////////////////
284 - numeric type (long, .long long, short)
289 #define FOSA_TIME_TIMESPEC
291 typedef struct timespec FOSA_REL_TIME_T_OPAQUE;
292 typedef struct timespec FOSA_ABS_TIME_T_OPAQUE;
297 #define FOSA_TIME_NUMERIC
298 #define FOSA_TIME_BASE 9 // 9 for nanosecods
299 // 6 for microseconds
302 typedef long long FOSA_REL_TIME_T_OPAQUE;
303 typedef unsigned long long FOSA_ABS_TIME_T_OPAQUE;
308 Possible additions: FOSA_ABS_TIME_MAX, FOSA_ABS_TIME_MIN,
309 FOSA_REL_TIME_MAX, FOSA_REL_TIME_MIN to protect
310 operations against possible overflows or handle circular
315 #endif /* VIRTUAL_TIME */
317 /////////////////////// End of VIRTUAL_TIME //////////////////////////
319 /////////////////////// DUMMY_OS ///////////////////////////
326 - numeric type (long, .long long, short)
330 #define FOSA_TIME_TIMESPEC
332 typedef struct timespec FOSA_REL_TIME_T_OPAQUE;
333 typedef struct timespec FOSA_ABS_TIME_T_OPAQUE;
338 #define FOSA_TIME_NUMERIC
339 #define FOSA_TIME_BASE 9 // 9 for nanosecods
340 // 6 for microseconds
343 typedef long long FOSA_REL_TIME_T_OPAQUE;
344 typedef unsigned long long FOSA_ABS_TIME_T_OPAQUE;
349 Possible additions: FOSA_ABS_TIME_MAX, FOSA_ABS_TIME_MIN,
350 FOSA_REL_TIME_MAX, FOSA_REL_TIME_MIN to protect
351 operations against possible overflows or handle circular
356 #endif /* DUMMY_OS */
358 /////////////////////// End of DUMMY_OS //////////////////////////
360 #endif /* FOSA_OPAQUE_TYPES_TIME_H */