F´ Flight Software - C/C++ Documentation  devel
A framework for building embedded system applications to NASA flight quality standards.
TaskIdRepr.hpp
Go to the documentation of this file.
1 // File: TaskIdRepr.hpp
2 // Author: Nathan Serafin (nathan.serafin@jpl.nasa.gov)
3 // Date: 29 June, 2018
4 //
5 // Depending on the target operating system, define a type
6 // for the storage of task IDs.
7 
8 #ifndef TASKIDREPR_HPP
9 #define TASKIDREPR_HPP
10 
11 #if defined(TGT_OS_TYPE_LINUX) || defined(TGT_OS_TYPE_DARWIN)
12 extern "C" {
13 #include <pthread.h>
14 }
15 #endif
16 
17 namespace Os {
18 #if defined(TGT_OS_TYPE_VXWORKS) || (FW_BAREMETAL_SCHEDULER == 1)
19  typedef int TaskIdRepr;
20 #elif defined(TGT_OS_TYPE_LINUX) || defined(TGT_OS_TYPE_DARWIN)
21  typedef pthread_t TaskIdRepr;
22 #endif
23 }
24 
25 #endif
Os
Definition: File.cpp:6