includes/Rts.h

   1 /* -----------------------------------------------------------------------------
   2  *
   3  * (c) The GHC Team, 1998-2004
   4  *
   5  * Top-level include file for the RTS itself
   6  *
   7  * ---------------------------------------------------------------------------*/
   8
   9 #ifndef RTS_H
  10 #define RTS_H
  11
  12 #ifdef __cplusplus
  13 extern "C" {
  14 #endif
  15
  16 #ifndef IN_STG_CODE
  17 #define IN_STG_CODE 0
  18 #endif
  19 #include "Stg.h"
  20
  21 // Turn off inlining when debugging - it obfuscates things
  22 #ifdef DEBUG
  23 # undef  STATIC_INLINE
  24 # define STATIC_INLINE static
  25 #endif
  26
  27 #include "RtsTypes.h"
  28
  29 #if __GNUC__ >= 3
  30 /* Assume that a flexible array member at the end of a struct
  31  * can be defined thus: T arr[]; */
  32 #define FLEXIBLE_ARRAY
  33 #else
  34 /* Assume that it must be defined thus: T arr[0]; */
  35 #define FLEXIBLE_ARRAY 0
  36 #endif
  37
  38 /* Fix for mingw stat problem (done here so it's early enough) */
  39 #ifdef mingw32_HOST_OS
  40 #define __MSVCRT__ 1
  41 #endif
  42
  43 /* Needed to get the macro version of errno on some OSs, and also to
  44    get prototypes for the _r versions of C library functions. */
  45 #define _REENTRANT 1
  46
  47 /*
  48  * We often want to know the size of something in units of an
  49  * StgWord... (rounded up, of course!)
  50  */
  51 #define sizeofW(t) ((sizeof(t)+sizeof(W_)-1)/sizeof(W_))
  52
  53 /*
  54  * It's nice to be able to grep for casts
  55  */
  56 #define stgCast(ty,e) ((ty)(e))
  57
  58 /* -----------------------------------------------------------------------------
  59    Assertions and Debuggery
  60    -------------------------------------------------------------------------- */
  61
  62 #ifndef DEBUG
  63 #define ASSERT(predicate) /* nothing */
  64 #else
  65
  66 extern void _assertFail (const char *, unsigned int);
  67
  68 #define ASSERT(predicate)                       \
  69         if (predicate)                          \
  70             /*null*/;                           \
  71         else                                    \
  72             _assertFail(__FILE__, __LINE__)
  73 #endif /* DEBUG */
  74
  75 /*
  76  * Use this on the RHS of macros which expand to nothing
  77  * to make sure that the macro can be used in a context which
  78  * demands a non-empty statement.
  79  */
  80
  81 #define doNothing() do { } while (0)
  82
  83 #ifdef DEBUG
  84 #define USED_IF_DEBUG
  85 #define USED_IF_NOT_DEBUG STG_UNUSED
  86 #else
  87 #define USED_IF_DEBUG STG_UNUSED
  88 #define USED_IF_NOT_DEBUG
  89 #endif
  90
  91 #ifdef THREADED_RTS
  92 #define USED_IF_THREADS
  93 #define USED_IF_NOT_THREADS STG_UNUSED
  94 #else
  95 #define USED_IF_THREADS STG_UNUSED
  96 #define USED_IF_NOT_THREADS
  97 #endif
  98
  99 /*
 100  * Getting printf formats right for platform-dependent typedefs
 101  */
 102 #if SIZEOF_LONG == 8
 103 #define FMT_Word64 "lu"
 104 #define FMT_Int64  "ld"
 105 #else
 106 #define FMT_Word64 "llu"
 107 #define FMT_Int64  "lld"
 108 #endif
 109
 110 /* -----------------------------------------------------------------------------
 111    Include everything STG-ish
 112    -------------------------------------------------------------------------- */
 113
 114 /* System headers: stdlib.h is eeded so that we can use NULL.  It must
 115  * come after MachRegs.h, because stdlib.h might define some inline
 116  * functions which may only be defined after register variables have
 117  * been declared.
 118  */
 119 #include <stdlib.h>
 120
 121 /* Global constaints */
 122 #include "Constants.h"
 123
 124 /* Profiling information */
 125 #include "StgProf.h"
 126 #include "StgLdvProf.h"
 127
 128 /* Storage format definitions */
 129 #include "StgFun.h"
 130 #include "Closures.h"
 131 #include "Liveness.h"
 132 #include "ClosureTypes.h"
 133 #include "InfoTables.h"
 134 #include "TSO.h"
 135
 136 /* Info tables, closures & code fragments defined in the RTS */
 137 #include "StgMiscClosures.h"
 138
 139 /* Simulated-parallel information */
 140 #include "GranSim.h"
 141
 142 /* Parallel information */
 143 #include "Parallel.h"
 144 #include "OSThreads.h"
 145 #include "SMP.h"
 146
 147 /* GNU mp library */
 148 #include "gmp.h"
 149
 150 /* Macros for STG/C code */
 151 #include "Block.h"
 152 #include "ClosureMacros.h"
 153 #include "StgTicky.h"
 154
 155 /* Runtime-system hooks */
 156 #include "Hooks.h"
 157 #include "RtsMessages.h"
 158
 159 #include "ieee-flpt.h"
 160
 161 #include "Signals.h"
 162
 163 /* Misc stuff without a home */
 164 DLL_IMPORT_RTS extern char **prog_argv; /* so we can get at these from Haskell */
 165 DLL_IMPORT_RTS extern int    prog_argc;
 166 DLL_IMPORT_RTS extern char  *prog_name;
 167
 168 extern void stackOverflow(void);
 169
 170 extern void      __decodeDouble (MP_INT *man, I_ *_exp, StgDouble dbl);
 171 extern void      __decodeFloat  (MP_INT *man, I_ *_exp, StgFloat flt);
 172
 173 #if defined(WANT_DOTNET_SUPPORT)
 174 #include "DNInvoke.h"
 175 #endif
 176
 177 /* Initialising the whole adjustor thunk machinery. */
 178 extern void initAdjustor(void);
 179
 180 extern void stg_exit(int n) GNU_ATTRIBUTE(__noreturn__);
 181
 182 /* -----------------------------------------------------------------------------
 183    RTS Exit codes
 184    -------------------------------------------------------------------------- */
 185
 186 /* 255 is allegedly used by dynamic linkers to report linking failure */
 187 #define EXIT_INTERNAL_ERROR 254
 188 #define EXIT_DEADLOCK       253
 189 #define EXIT_INTERRUPTED    252
 190 #define EXIT_HEAPOVERFLOW   251
 191 #define EXIT_KILLED         250
 192
 193 /* -----------------------------------------------------------------------------
 194    Miscellaneous garbage
 195    -------------------------------------------------------------------------- */
 196
 197 /* declarations for runtime flags/values */
 198 #define MAX_RTS_ARGS 32
 199
 200 /* -----------------------------------------------------------------------------
 201    Assertions and Debuggery
 202    -------------------------------------------------------------------------- */
 203
 204 #define IF_RTSFLAGS(c,s)  if (RtsFlags.c) { s; }
 205
 206 /* -----------------------------------------------------------------------------
 207    Assertions and Debuggery
 208    -------------------------------------------------------------------------- */
 209
 210 #ifdef DEBUG
 211 #define IF_DEBUG(c,s)  if (RtsFlags.DebugFlags.c) { s; }
 212 #else
 213 #define IF_DEBUG(c,s)  doNothing()
 214 #endif
 215
 216 #ifdef DEBUG
 217 #define DEBUG_ONLY(s) s
 218 #else
 219 #define DEBUG_ONLY(s) doNothing()
 220 #endif
 221
 222 #if defined(GRAN) && defined(DEBUG)
 223 #define IF_GRAN_DEBUG(c,s)  if (RtsFlags.GranFlags.Debug.c) { s; }
 224 #else
 225 #define IF_GRAN_DEBUG(c,s)  doNothing()
 226 #endif
 227
 228 #if defined(PAR) && defined(DEBUG)
 229 #define IF_PAR_DEBUG(c,s)  if (RtsFlags.ParFlags.Debug.c) { s; }
 230 #else
 231 #define IF_PAR_DEBUG(c,s)  doNothing()
 232 #endif
 233
 234 /* -----------------------------------------------------------------------------
 235    Useful macros and inline functions
 236    -------------------------------------------------------------------------- */
 237
 238 #if defined(__GNUC__)
 239 #define SUPPORTS_TYPEOF
 240 #endif
 241
 242 #if defined(SUPPORTS_TYPEOF)
 243 #define stg_min(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _a : _b; })
 244 #define stg_max(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _b : _a; })
 245 #else
 246 #define stg_min(a,b) ((a) <= (b) ? (a) : (b))
 247 #define stg_max(a,b) ((a) <= (b) ? (b) : (a))
 248 #endif
 249
 250 /* -------------------------------------------------------------------------- */
 251
 252 #ifdef __cplusplus
 253 }
 254 #endif
 255
 256 #endif /* RTS_H */