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 // -----------------------------------------------------------------------
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_H_
72 #define _FOSA_OPAQUE_TYPES_H_
76 #include "fosa_cpp_macros.h"
77 #include "fosa_opaque_types_time.h"
79 /////////////////////// MARTE_OS /////////////////////////////
92 /* Thread and signals */
93 /**********************/
94 typedef pthread_t FOSA_THREAD_ID_T_OPAQUE;
95 typedef pthread_attr_t FOSA_THREAD_ATTR_T_OPAQUE;
97 typedef int FOSA_SIGNAL_T_OPAQUE;
98 /* Signal info is defined as a union in thread_and_signals */
100 #define FOSA_SIGNAL_MIN SIGRTMIN
101 #define FOSA_SIGNAL_MAX SIGRTMIN+0
103 #define FOSA_NULL_SIGNAL 0
105 /* Clocks and timers */
106 /**********************/
107 typedef clockid_t FOSA_CLOCK_ID_T_OPAQUE;
108 typedef timer_t FOSA_TIMER_ID_T_OPAQUE;
110 #define FOSA_SYSTEM_CLOCK_OPAQUE CLOCK_MONOTONIC
112 /* Mutex and conditional variables */
113 /***********************************/
114 typedef pthread_mutex_t FOSA_MUTEX_T_OPAQUE;
115 typedef pthread_cond_t FOSA_COND_T_OPAQUE;
118 /* Application defined Scheduling */
119 /**********************************/
120 #define FOSA_ADS_ACTIONS_T_OPAQUE struct \
122 posix_appsched_actions_t actions; \
123 struct timespec *timeout_ptr; \
124 struct timespec timeout; \
133 #include "misc/marte_non_local_jmp.h"
135 #define FOSA_LONG_JUMP_CONTEXT_T_OPAQUE struct { \
136 marte_nonlocaljmp_context_t marte_context; \
137 fosa_thread_id_t tid; \
143 typedef marte_thread_set_t FOSA_THREAD_SET_ID_T_OPAQUE;
145 #define FOSA_NULL_THREAD_SET_ID_OPAQUE 0 /* In MaRTE-OS thread_set_t are
150 /** Not enough memory available **/
151 #define FOSA_ENOMEM ENOMEM
153 /** Invalid parameter **/
154 #define FOSA_EINVAL EINVAL
156 /** Still pending information **/
157 #define FOSA_EAGAIN EAGAIN
159 /** FOSA ADS errors **/
161 #define EREJECT 201 /* (for linux_lib_arch) Appsched has rejected object */
164 #define FOSA_EREJECT EREJECT
165 #define FOSA_EMASKED -2
166 #define FOSA_EPOLICY -3
168 #define FOSA_ETIMEDOUT ETIMEDOUT
170 /* Not found in search (non existing thread, thread_set...) */
171 #define FOSA_ESRCH ESRCH
172 #define FOSA_ENOTSUP ENOTSUP
176 /////////////////////// End of MARTE_OS /////////////////////////////
179 /////////////////////// RT_LINUX ///////////////////////////
183 /* Very similar to MARTE_OS but I leave separate for clarity */
190 #include <rtl_timer.h>
193 /* Threads and signals */
194 /***********************/
195 #define FOSA_THREAD_ID_T_OPAQUE pthread_t
197 typedef pthread_attr_t FOSA_THREAD_ATTR_T_OPAQUE;
198 typedef int FOSA_SIGNAL_T_OPAQUE;
199 /* Signal info is defined as a union in fosa_types.h */
201 // The minimum and maximum signal numbers that may be used by the FRSH
203 #define FOSA_SIGNAL_MIN SIGRTMIN
204 #define FOSA_SIGNAL_MAX SIGRTMIN+0
205 #define FOSA_NULL_SIGNAL 0
207 /* Clocks and timers */
208 /*********************/
209 #define FOSA_CLOCK_ID_T_OPAQUE clockid_t
210 #define FOSA_TIMER_ID_T_OPAQUE timer_t
211 #define FOSA_SYSTEM_CLOCK_OPAQUE CLOCK_MONOTONIC
213 /* Mutex and cond vars */
214 /***********************/
215 typedef pthread_mutex_t FOSA_MUTEX_T_OPAQUE;
216 #define FOSA_COND_T_OPAQUE pthread_cond_t
220 typedef int FOSA_THREAD_SET_ID_T_OPAQUE
224 /** Not enough memory available **/
225 #define FOSA_ENOMEM ENOMEM
226 /** Invalid parameter **/
227 #define FOSA_EINVAL EINVAL
228 /** Still pending information **/
229 #define FOSA_EAGAIN EAGAIN
231 /** FOSA ADS errors **/
232 #define FOSA_EREJECT EREJECT
233 #define FOSA_EMASKED -2
234 #define FOSA_EPOLICY -3
236 #define FOSA_ETIMEDOUT ETIMEDOUT
240 /////////////////////// End of RT_LINUX /////////////////////////////
243 ////////////////////////// OSE //////////////////////////////////////
249 /* Put OSE dependent includes and defines here */
255 /////////////////////// AQuoSA ///////////////////////////
260 #include <linux/unistd.h>
262 #define _XOPEN_SOURCE 500
275 typedef sigjmp_buf FOSA_LONG_JUMP_CONTEXT_T_OPAQUE;
278 /* Threads and signals */
279 /***********************/
281 pthread_t pthread_id;
284 } FOSA_THREAD_ID_T_OPAQUE;
287 typedef pthread_attr_t FOSA_THREAD_ATTR_T_OPAQUE;
288 typedef int FOSA_SIGNAL_T_OPAQUE;
291 // The minimum and maximum signal numbers that may be used by the FRSH
293 #define FOSA_SIGNAL_MIN SIGRTMIN
294 #define FOSA_SIGNAL_MAX SIGRTMIN+0
296 #define FOSA_NULL_SIGNAL 0
301 typedef int FOSA_THREAD_SET_ID_T_OPAQUE;
303 /* Clocks and signals */
304 /**********************/
305 #define FOSA_CLOCK_ID_T_OPAQUE clockid_t
306 #define FOSA_SYSTEM_CLOCK_OPAQUE CLOCK_MONOTONIC
307 #define FOSA_TIMER_ID_T_OPAQUE timer_t
311 /* Mutex and cond vars */
312 /***********************/
313 typedef pthread_mutex_t FOSA_MUTEX_T_OPAQUE;
314 #define FOSA_COND_T_OPAQUE pthread_cond_t
317 /* Application Defined Scheduling */
318 /**********************************/
319 /* hack to get AQuoSA sources compile without having none
320 * of the application level scheduler header files and symbols */
321 #define posix_appsched_actions_t int
323 #define FOSA_ADS_ACTIONS_T_OPAQUE posix_appsched_actions_t
328 /** Not enough memory available **/
329 #define FOSA_ENOMEM ENOMEM
331 /** Invalid parameter **/
332 #define FOSA_EINVAL EINVAL
334 /** Still pending information **/
335 #define FOSA_EAGAIN EAGAIN
337 #define FOSA_EREJECT EREJECT
338 #define FOSA_EMASKED -2
339 #define FOSA_EPOLICY -3
341 #define FOSA_ETIMEDOUT ETIMEDOUT
345 ////////////////// END of AQuoSA //////////////////////
349 ///////////////////////////////// PARTIKLE /////////////////////////////////////
350 #if defined(PARTIKLE)
361 posix_appsched_actions_t actions;
362 struct timespec * timeout_ptr;
363 struct timespec timeout;
367 } FOSA_ADS_ACTIONS_T_OPAQUE;
370 typedef pthread_t FOSA_THREAD_ID_T_OPAQUE;
371 typedef pthread_attr_t FOSA_THREAD_ATTR_T_OPAQUE;
372 typedef int FOSA_SIGNAL_T_OPAQUE;
373 typedef clockid_t FOSA_CLOCK_ID_T_OPAQUE;
374 typedef timer_t FOSA_TIMER_ID_T_OPAQUE;
375 typedef pthread_cond_t FOSA_COND_T_OPAQUE;
376 typedef pthread_mutex_t FOSA_MUTEX_T_OPAQUE;
377 typedef unsigned long FOSA_LONG_JUMP_CONTEXT_T_OPAQUE [32];
378 typedef group_clock_t FOSA_THREAD_SET_ID_T_OPAQUE;
380 #define FOSA_NULL_THREAD_SET_ID_OPAQUE 0x0;
382 enum _fosa_clocks_e {
383 FOSA_SYSTEM_CLOCK_OPAQUE = CLOCK_MONOTONIC
386 #define LONGJMP_NSIG 3
388 #if LONGJMP_NSIG > (RTSIG_MAX - 1)
389 # error LONGJMP_NSIG too big (LONGJMP_NSIG > RTSIG_MAX - 1)
392 enum _fosa_signal_limits_e {
393 LONGJMP_FIRSTSIG = SIGRTMAX - LONGJMP_NSIG + 1,
394 FOSA_SIGNAL_MAX = LONGJMP_FIRSTSIG - 1,
395 FOSA_SIGNAL_MIN = SIGRTMIN,
396 FOSA_NULL_SIGNAL = -1,
400 enum _fosa_errors_e {
401 FOSA_EINVAL = EINVAL,
402 FOSA_EAGAIN = EAGAIN,
403 FOSA_EREJECT = EREJECT,
404 FOSA_EMASKED = EMASKED,
405 FOSA_EPOLICY = EPOLICY,
406 FOSA_ETIMEDOUT = ETIMEDOUT,
407 FOSA_ENOMEM = ENOMEM,
412 /////////////////////////////// PARTIKLE END //////////////////////////////////
416 ////////////////////////// VIRTUAL TIME //////////////////////////////////////
421 // typedef struct timespec fosa_rel_time_t;
422 // typedef struct timespec fosa_abs_time_t;
426 #define FOSA_THREAD_ID_T_OPAQUE vt_posix_process_t
427 #define FOSA_THREAD_ATTR_T_OPAQUE fosa_thread_attr_t
428 #define FOSA_SIGNAL_T_OPAQUE int
430 #define FOSA_MUTEX_T_OPAQUE fosa_mutex_t
432 // The minimum and maximum signal numbers that may be used by the FRSH
434 #define FOSA_SIGNAL_MIN 8
435 #define FOSA_SIGNAL_MAX 31
437 // the min. and max. priority a fosa thread can have
438 #define FOSA_PRIORITY_MAX VT_PRIORITY_MIN - 1
439 #define FOSA_PRIORITY_MIN VT_PRIORITY_MAX
441 #define FOSA_NULL_SIGNAL 0
443 /* FOSA Errors and return values*/
445 /** Invalid parameter **/
446 #define FOSA_EINVAL -1
448 /** Not enough memory available **/
449 #define FOSA_ENOMEM -2
451 /** Still pending information **/
452 #define FOSA_EAGAIN -3
454 /** Mutex not available **/
455 #define FOSA_EBUSY -4
457 /** Cond var timedout **/
458 #define FOSA_ETIMEDOUT -5
460 /** FOSA ADS errors **/
461 #define FOSA_EREJECT -6
462 #define FOSA_EMASKED -7
465 /** Sched policy not correct */
466 #define FOSA_EPOLICY -8
468 /** the value given by thread_id is not valid for ADS */
469 #define FOSA_ESRCH -9
471 /** retval if no action performed **/
472 #define FOSA_NO_ACTION 0
474 #endif /* VIRTUAL_TIME */
475 //////////////////////////End of VIRTUAL TIME ///////////////////////////////////
478 ////////////////////////// DUMMY_OS //////////////////////////////////////
480 #if defined(DUMMY_OS)
482 /* With this define we make sure that we are truly POSIX and OSE */
483 /* independent at the FRSH code. */
484 /*****************************************************************/
488 // typedef struct timespec fosa_rel_time_t;
489 // typedef struct timespec fosa_abs_time_t;
491 /* Thread and signals */
492 /**********************/
493 typedef int FOSA_THREAD_ID_T_OPAQUE;
494 typedef int FOSA_THREAD_ATTR_T_OPAQUE;
496 typedef int FOSA_SIGNAL_T_OPAQUE;
497 typedef int FOSA_SIGNAL_INFO_T_OPAQUE;
499 /* Signal info is defined as a union in thread_and_signals */
501 #define FOSA_SIGNAL_MIN 42
502 #define FOSA_SIGNAL_MAX 44
504 #define FOSA_NULL_SIGNAL 0
506 /* Clocks and timers */
507 /**********************/
508 typedef int FOSA_CLOCK_ID_T_OPAQUE;
509 typedef int FOSA_TIMER_ID_T_OPAQUE;
511 #define FOSA_SYSTEM_CLOCK_OPAQUE 25
513 /* Mutex and conditional variables */
514 /***********************************/
515 typedef int FOSA_MUTEX_T_OPAQUE;
516 typedef int FOSA_COND_T_OPAQUE;
518 /* Application defined Scheduling */
519 /**********************************/
520 #define FOSA_ADS_ACTIONS_T_OPAQUE int
524 //////////////////////////End of DUMMY_OS ////////////////////////////////////
529 #endif // _FOSA_OPAQUE_TYPES_H_