// Visual Tools S.A. SPAIN
// Rapita Systems Ltd UK
// Evidence ITALY
-//
+//
// See http://www.frescor.org for a link to partners' websites
//
// FRESCOR project (FP6/2005/IST/5-034026) is funded
//
//
// based on previous work (FSF) done in the FIRST project
-//
+//
// Copyright (C) 2005 Mälardalen University, SWEDEN
// Scuola Superiore S.Anna, ITALY
// Universidad de Cantabria, SPAIN
// **//// /**///** ////////** /**//////** **//// /** ** ////////** /**//////**
// ** /** //** /** /** /** ** /** ** /** /** /**
// ** /** //** ******** /** /** ** /** ** ******** /** /**
-// // // // //////// // // // /******/ //////// // //
+// // // // //////// // // // /******/ //////// // //
//
// FRSH(FRescor ScHeduler), pronounced "fresh" FOSA(Frescor Oper System Adaptation layer)
//========================================================================================
**/
-//////////////////////////MaRTE OS & RT_LINUX /////////////////////////
+/////////////////////MaRTE OS, RT_LINUX & AQuoSA //////////////////////
-#if defined(MARTE_OS) || defined(RT_LINUX)
+#if defined(MARTE_OS) || defined(RT_LINUX) || defined(AQuoSA)
#include <pthread.h>
#include <signal.h>
#include <errno.h>
#include <time.h>
+#include <stdbool.h>
-#define FOSA_THREAD_ID_T_OPAQUE pthread_t
+#ifdef AQuoSA
-#define FOSA_THREAD_ATTR_T_OPAQUE pthread_attr_t
+typedef struct {
+ pthread_t pthread_id;
+ pid_t linux_pid;
+ pid_t linux_tid;
+} FOSA_THREAD_ID_T_OPAQUE;
-#define FOSA_SIGNAL_T_OPAQUE int
+#else /* !AQuoSA, MARTE_OS, RT_LINUX */
-#define FOSA_MUTEX_T_OPAQUE int
+#ifdef MARTE_OS
+typedef pthread_t FOSA_THREAD_ID_T_OPAQUE;
+#else
+//#define FOSA_MUTEX_T_OPAQUE pthread_mutex_t
+#define FOSA_THREAD_ID_T_OPAQUE pthread_t
+#endif
+
+#endif /* AQuoSA */
+
+typedef pthread_attr_t FOSA_THREAD_ATTR_T_OPAQUE;
+
+typedef int FOSA_SIGNAL_T_OPAQUE;
+
+typedef pthread_mutex_t FOSA_MUTEX_T_OPAQUE;
// The minimum and maximum signal numbers that may be used by the FRSH
// implementation
#define FOSA_EAGAIN EAGAIN
/** FOSA ADS errors **/
+#ifdef MARTE_OS
+#define EREJECT 201 /* (for linux_lib_arch) Appsched has rejected object */
+#endif
+
#define FOSA_EREJECT EREJECT
-#define FOSA_EMASKED EMASKED
+#define FOSA_EMASKED -2
+#define FOSA_EPOLICY -3
+
+#define FOSA_ETIMEDOUT ETIMEDOUT
-#endif /* MARTE_OS || RT_LINUX */
+#endif /* MARTE_OS || RT_LINUX || AQuoSA */
-//////////////////////////End of MaRTE OS & RT_LINUX ///////////////////
+//////////////////End of MaRTE OS, RT_LINUX & AQuoSA ///////////////////
+
+////////////////////////// VIRTUAL TIME //////////////////////////////////////
+
+#if defined(VIRTUAL_TIME)
+#include <fosa_vt.h>
+
+#define FOSA_THREAD_ID_T_OPAQUE vt_posix_process_t
+
+#define FOSA_THREAD_ATTR_T_OPAQUE fosa_thread_attr_t
+
+#define FOSA_SIGNAL_T_OPAQUE int
+
+#define FOSA_MUTEX_T_OPAQUE fosa_mutex_t
+
+// The minimum and maximum signal numbers that may be used by the FRSH
+// implementation
+#define FOSA_SIGNAL_MIN 8
+#define FOSA_SIGNAL_MAX 31
+// the min. and max. priority a fosa thread can have
+#define FOSA_PRIORITY_MAX VT_PRIORITY_MIN - 1
+#define FOSA_PRIORITY_MIN VT_PRIORITY_MAX
+
+#define FOSA_NULL_SIGNAL 0
+
+/* FOSA Errors and return values*/
+
+/** Invalid parameter **/
+#define FOSA_EINVAL -1
+
+/** Not enough memory available **/
+#define FOSA_ENOMEM -2
+
+/** Still pending information **/
+#define FOSA_EAGAIN -3
+
+/** Mutex not available **/
+#define FOSA_EBUSY -4
+
+/** Cond var timedout **/
+#define FOSA_ETIMEDOUT -5
+
+/** FOSA ADS errors **/
+#define FOSA_EREJECT -6
+#define FOSA_EMASKED -7
+
+
+/** Sched policy not correct */
+#define FOSA_EPOLICY -8
+
+/** the value given by thread_id is not valid for ADS */
+#define FOSA_ESRCH -9
+
+/** retval if no action performed **/
+#define FOSA_NO_ACTION 0
+
+#endif /* VIRTUAL_TIME */
+//////////////////////////End of VIRTUAL TIME ///////////////////////////////////
////////////////////////// OSE //////////////////////////////////////
#define FOSA_SIGNAL_T_OPAQUE int
+#define FRSH_SIGNAL_INFO_T_OPAQUE int
+
#define FOSA_MUTEX_T_OPAQUE int
// The minimum and maximum signal numbers that may be used by the FRSH
#define FOSA_EREJECT -4
#define FOSA_EMASKED -5
+#define FOSA_EPOLICY -6
#endif /* DUMMY */
//////////////////////////End of DUMMY_OS ////////////////////////////////////