1 //----------------------------------------------------------------------
2 // Copyright (C) 2006 - 2007 by the FRESCOR consortium:
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
11 // Thales Communication S.A. FRANCE
12 // Visual Tools S.A. SPAIN
13 // Rapita Systems Ltd UK
16 // See http://www.frescor.org
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
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 // This file is part of FOSA (Frsh Operating System Abstraction)
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.
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 // -----------------------------------------------------------------------
53 //==============================================
54 // ******** ****** ******** **********
55 // **///// /** ** **////// /** /**
56 // ** /** ** /** /** /**
57 // ******* /** ** /********* /**********
58 // **//// /** ** ////////** /**//////**
59 // ** /** ** /** /** /**
60 // ** /** ** ******** /** /**
61 // // /******/ //////// // //
63 // FOSA(Frescor Operating System Adaptation layer)
64 //================================================
66 // Implementation dependent definitions
68 #ifndef _FOSA_OPAQUE_TYPES_H_
69 #define _FOSA_OPAQUE_TYPES_H_
73 /////////////////////// RT_LINUX, MARTE_OS & AQuoSA ///////////////////////////
75 #if defined(RT_LINUX) || defined(MARTE_OS) || defined(AQuoSA)
83 #include <rtl_timer.h>
86 #define FOSA_CLOCK_ID_T_OPAQUE clockid_t
87 #define FOSA_SYSTEM_CLOCK_OPAQUE CLOCK_MONOTONIC
89 #define FOSA_TIMER_ID_T_OPAQUE timer_t
91 #define FOSA_COND_T_OPAQUE pthread_cond_t
99 posix_appsched_actions_t actions;
100 struct timespec * timeout_ptr;
101 struct timespec timeout;
105 } fosa_ads_actions_internal_t;
108 #define FOSA_ADS_ACTIONS_T_OPAQUE fosa_ads_actions_internal_t
114 #include "marte_non_local_jmp.h"
116 #define FOSA_LONG_JUMP_CONTEXT_T_OPAQUE struct { \
117 marte_nonlocaljmp_context_t marte_context; \
118 frsh_thread_id_t tid; \
123 /* hack to get AQuoSA sources compile without having none
124 * of the application level scheduler header files and symbols */
126 #define posix_appsched_actions_t int
127 #define FOSA_LONG_JUMP_CONTEXT_T_OPAQUE int
130 #define FOSA_ADS_ACTIONS_T_OPAQUE posix_appsched_actions_t
135 #endif // defined(RT_LINUX) || defined(MARTE_OS) || defined(AQuoSA)
138 ////////////////// END OF RT_LINUX, MARTE_OS and AQuoSA //////////////////////
141 ////////////////////////// DUMMY_OS //////////////////////////////////////
143 #if defined(DUMMY_OS)
145 /* With this define we make sure that we are truly POSIX and OSE */
146 /* independent at the FRSH code. */
147 /*****************************************************************/
149 #define FOSA_CLOCK_ID_T_OPAQUE int
150 #define FOSA_SYSTEM_CLOCK_OPAQUE 42
152 #define FOSA_TIMER_ID_T_OPAQUE int
154 #define FOSA_COND_T_OPAQUE int
161 #define FOSA_ADS_ACTIONS_T_OPAQUE int
167 //////////////////////////End of DUMMY_OS ////////////////////////////////////
172 #endif // _FOSA_OPAQUE_TYPES_H_