include/fosa_opaque_types.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_opaque_types.h
  53 //==============================================
  54 //  ********  ******    ********  **********
  55 //  **///// /**    **  **//////  /**     /**
  56 //  **      /**    ** /**        /**     /**
  57 //  ******* /**    ** /********* /**********
  58 //  **////  /**    ** ////////** /**//////**
  59 //  **      /**    **        /** /**     /**
  60 //  **      /**    **  ********  /**     /**
  61 //  //       /******/  ////////   //      //
  62 //
  63 // FOSA(Frescor Operating System Adaptation layer)
  64 //================================================
  65
  66 // Implementation dependent definitions
  67
  68 #ifndef _FOSA_OPAQUE_TYPES_H_
  69 #define _FOSA_OPAQUE_TYPES_H_
  70
  71 #include <stdbool.h>
  72
  73 /////////////////////// RT_LINUX, MARTE_OS & AQuoSA ///////////////////////////
  74
  75 #if defined(RT_LINUX) || defined(MARTE_OS) || defined(AQuoSA)
  76
  77 #ifdef AQuoSA
  78 #define __USE_UNIX98
  79 #endif // AQuoSA
  80 #include <pthread.h>
  81 #include <signal.h>
  82 #include <time.h>
  83 #include <sched.h>
  84
  85 #ifdef RT_LINUX
  86 #include <rtl_timer.h>
  87 #endif // RT_LINUX
  88
  89 #define    FOSA_CLOCK_ID_T_OPAQUE    clockid_t
  90 #define    FOSA_SYSTEM_CLOCK_OPAQUE  CLOCK_MONOTONIC
  91
  92 #define    FOSA_TIMER_ID_T_OPAQUE    timer_t
  93
  94 #define    FOSA_COND_T_OPAQUE        pthread_cond_t
  95
  96 /*********
  97  *  ADS
  98  *********/
  99
 100 #ifdef MARTE_OS
 101 typedef struct {
 102     posix_appsched_actions_t actions;
 103     struct timespec * timeout_ptr;
 104     struct timespec timeout;
 105     bool rejected;
 106     bool suspended;
 107     bool activated;
 108 } fosa_ads_actions_internal_t;
 109
 110
 111 #define FOSA_ADS_ACTIONS_T_OPAQUE fosa_ads_actions_internal_t
 112
 113 ///////////////////
 114 // Long jumps
 115 ///////////////////
 116
 117 #include "marte_non_local_jmp.h"
 118
 119 #define FOSA_LONG_JUMP_CONTEXT_T_OPAQUE  struct { \
 120   marte_nonlocaljmp_context_t marte_context;      \
 121   frsh_thread_id_t tid;                            \
 122 }
 123
 124 #else // MARTE_OS
 125
 126 /* hack to get AQuoSA sources compile without having none
 127  * of the application level scheduler header files and symbols */
 128 #ifdef AQuoSA
 129 #define posix_appsched_actions_t int
 130 #define FOSA_LONG_JUMP_CONTEXT_T_OPAQUE int
 131 #endif // AQuoSA
 132
 133 #define FOSA_ADS_ACTIONS_T_OPAQUE posix_appsched_actions_t
 134 #endif // MARTE_OS
 135
 136
 137
 138 #endif //  defined(RT_LINUX) || defined(MARTE_OS) || defined(AQuoSA)
 139
 140
 141 ////////////////// END OF RT_LINUX, MARTE_OS and AQuoSA //////////////////////
 142
 143
 144 ////////////////////////// DUMMY_OS    //////////////////////////////////////
 145
 146 #if defined(DUMMY_OS)
 147
 148 /* With this define we make sure that we are truly POSIX and OSE */
 149 /* independent at the FRSH code.                                 */
 150 /*****************************************************************/
 151
 152 #define    FOSA_CLOCK_ID_T_OPAQUE    int
 153 #define    FOSA_SYSTEM_CLOCK_OPAQUE  42
 154
 155 #define    FOSA_TIMER_ID_T_OPAQUE    int
 156
 157 #define    FOSA_COND_T_OPAQUE        int
 158
 159
 160 /*********
 161  *  ADS
 162  *********/
 163
 164 #define FOSA_ADS_ACTIONS_T_OPAQUE  int
 165
 166
 167
 168
 169 #endif /* DUMMY */
 170 //////////////////////////End of DUMMY_OS ////////////////////////////////////
 171
 172
 173
 174
 175 #endif // _FOSA_OPAQUE_TYPES_H_