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 "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_GROUP_ID_T_OPAQUE;
145 #define FOSA_NULL_THREAD_GROUP_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_group...) */
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_GROUP_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
272 // typedef struct timespec fosa_rel_time_t;
273 // typedef struct timespec fosa_abs_time_t;
276 /* Threads and signals */
277 /***********************/
279 pthread_t pthread_id;
282 } FOSA_THREAD_ID_T_OPAQUE;
285 typedef pthread_attr_t FOSA_THREAD_ATTR_T_OPAQUE;
286 typedef int FOSA_SIGNAL_T_OPAQUE;
289 // The minimum and maximum signal numbers that may be used by the FRSH
291 #define FOSA_SIGNAL_MIN SIGRTMIN
292 #define FOSA_SIGNAL_MAX SIGRTMIN+0
294 #define FOSA_NULL_SIGNAL 0
299 typedef int FOSA_THREAD_GROUP_ID_T_OPAQUE;
301 /* Clocks and signals */
302 /**********************/
303 #define FOSA_CLOCK_ID_T_OPAQUE clockid_t
304 #define FOSA_SYSTEM_CLOCK_OPAQUE CLOCK_MONOTONIC
305 #define FOSA_TIMER_ID_T_OPAQUE timer_t
309 /* Mutex and cond vars */
310 /***********************/
311 typedef pthread_mutex_t FOSA_MUTEX_T_OPAQUE;
312 #define FOSA_COND_T_OPAQUE pthread_cond_t
315 /* Application Defined Scheduling */
316 /**********************************/
317 /* hack to get AQuoSA sources compile without having none
318 * of the application level scheduler header files and symbols */
319 #define posix_appsched_actions_t int
320 #define FOSA_LONG_JUMP_CONTEXT_T_OPAQUE int
322 #define FOSA_ADS_ACTIONS_T_OPAQUE posix_appsched_actions_t
327 /** Not enough memory available **/
328 #define FOSA_ENOMEM ENOMEM
330 /** Invalid parameter **/
331 #define FOSA_EINVAL EINVAL
333 /** Still pending information **/
334 #define FOSA_EAGAIN EAGAIN
336 #define FOSA_EREJECT EREJECT
337 #define FOSA_EMASKED -2
338 #define FOSA_EPOLICY -3
340 #define FOSA_ETIMEDOUT ETIMEDOUT
344 ////////////////// END of AQuoSA //////////////////////
348 /////////////////////////////////// PARTIKLE ///////////////////////////////////////////
349 #if defined(PARTIKLE)
360 posix_appsched_actions_t actions;
361 struct timespec * timeout_ptr;
362 struct timespec timeout;
366 } FOSA_ADS_ACTIONS_T_OPAQUE;
368 typedef unsigned long FOSA_LONG_JUMP_CONTEXT_T_OPAQUE [32];
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;
380 enum _fosa_clocks_e {
381 FOSA_SYSTEM_CLOCK_OPAQUE = CLOCK_MONOTONIC
384 #define LONGJMP_NSIG 3
386 #if LONGJMP_NSIG > (RTSIG_MAX - 1)
387 # error LONGJMP_NSIG too big (LONGJMP_NSIG > RTSIG_MAX - 1)
390 enum _fosa_signal_limits_e {
391 LONGJMP_FIRSTSIG = SIGRTMAX - LONGJMP_NSIG + 1,
392 FOSA_SIGNAL_MAX = LONGJMP_FIRSTSIG - 1,
393 FOSA_SIGNAL_MIN = FOSA_SIGNAL_MAX,
397 enum _fosa_errors_e {
398 FOSA_EINVAL = EINVAL,
399 FOSA_EAGAIN = EAGAIN,
400 FOSA_EREJECT = EREJECT,
401 FOSA_EMASKED = EMASKED,
402 FOSA_EPOLICY = EPOLICY,
403 FOSA_ETIMEDOUT = ETIMEDOUT,
404 FOSA_ENOMEM = ENOMEM,
411 /////////////////////////////////// PARTIKLE END //////////////////////////////////////
415 ////////////////////////// VIRTUAL TIME //////////////////////////////////////
420 // typedef struct timespec fosa_rel_time_t;
421 // typedef struct timespec fosa_abs_time_t;
425 #define FOSA_THREAD_ID_T_OPAQUE vt_posix_process_t
426 #define FOSA_THREAD_ATTR_T_OPAQUE fosa_thread_attr_t
427 #define FOSA_SIGNAL_T_OPAQUE int
429 #define FOSA_MUTEX_T_OPAQUE fosa_mutex_t
431 // The minimum and maximum signal numbers that may be used by the FRSH
433 #define FOSA_SIGNAL_MIN 8
434 #define FOSA_SIGNAL_MAX 31
436 // the min. and max. priority a fosa thread can have
437 #define FOSA_PRIORITY_MAX VT_PRIORITY_MIN - 1
438 #define FOSA_PRIORITY_MIN VT_PRIORITY_MAX
440 #define FOSA_NULL_SIGNAL 0
442 /* FOSA Errors and return values*/
444 /** Invalid parameter **/
445 #define FOSA_EINVAL -1
447 /** Not enough memory available **/
448 #define FOSA_ENOMEM -2
450 /** Still pending information **/
451 #define FOSA_EAGAIN -3
453 /** Mutex not available **/
454 #define FOSA_EBUSY -4
456 /** Cond var timedout **/
457 #define FOSA_ETIMEDOUT -5
459 /** FOSA ADS errors **/
460 #define FOSA_EREJECT -6
461 #define FOSA_EMASKED -7
464 /** Sched policy not correct */
465 #define FOSA_EPOLICY -8
467 /** the value given by thread_id is not valid for ADS */
468 #define FOSA_ESRCH -9
470 /** retval if no action performed **/
471 #define FOSA_NO_ACTION 0
473 #endif /* VIRTUAL_TIME */
474 //////////////////////////End of VIRTUAL TIME ///////////////////////////////////
477 ////////////////////////// DUMMY_OS //////////////////////////////////////
479 #if defined(DUMMY_OS)
481 /* With this define we make sure that we are truly POSIX and OSE */
482 /* independent at the FRSH code. */
483 /*****************************************************************/
487 // typedef struct timespec fosa_rel_time_t;
488 // typedef struct timespec fosa_abs_time_t;
490 /* Thread and signals */
491 /**********************/
492 typedef int FOSA_THREAD_ID_T_OPAQUE;
493 typedef int FOSA_THREAD_ATTR_T_OPAQUE;
495 typedef int FOSA_SIGNAL_T_OPAQUE;
496 typedef int FOSA_SIGNAL_INFO_T_OPAQUE;
498 /* Signal info is defined as a union in thread_and_signals */
500 #define FOSA_SIGNAL_MIN 42
501 #define FOSA_SIGNAL_MAX 44
503 #define FOSA_NULL_SIGNAL 0
505 /* Clocks and timers */
506 /**********************/
507 typedef int FOSA_CLOCK_ID_T_OPAQUE;
508 typedef int FOSA_TIMER_ID_T_OPAQUE;
510 #define FOSA_SYSTEM_CLOCK_OPAQUE 25
512 /* Mutex and conditional variables */
513 /***********************************/
514 typedef int FOSA_MUTEX_T_OPAQUE;
515 typedef int FOSA_COND_T_OPAQUE;
517 /* Application defined Scheduling */
518 /**********************************/
519 #define FOSA_ADS_ACTIONS_T_OPAQUE int
523 //////////////////////////End of DUMMY_OS ////////////////////////////////////
528 #endif // _FOSA_OPAQUE_TYPES_H_