ghc/includes/Rts.h

   1 /* -----------------------------------------------------------------------------
   2  * $Id: Rts.h,v 1.27 2004/09/06 11:10:34 simonmar Exp $
   3  *
   4  * (c) The GHC Team, 1998-1999
   5  *
   6  * Top-level include file for the RTS itself
   7  *
   8  * ---------------------------------------------------------------------------*/
   9
  10 #ifndef RTS_H
  11 #define RTS_H
  12
  13 #ifdef __cplusplus
  14 extern "C" {
  15 #endif
  16
  17 #ifndef IN_STG_CODE
  18 #define IN_STG_CODE 0
  19 #endif
  20 #include "Stg.h"
  21
  22 #include "RtsTypes.h"
  23
  24 #if __GNUC__ >= 3
  25 /* Assume that a flexible array member at the end of a struct
  26  * can be defined thus: T arr[]; */
  27 #define FLEXIBLE_ARRAY
  28 #else
  29 /* Assume that it must be defined thus: T arr[0]; */
  30 #define FLEXIBLE_ARRAY 0
  31 #endif
  32
  33 #if defined(SMP) || defined(THREADED_RTS)
  34 #define RTS_SUPPORTS_THREADS 1
  35 #endif
  36
  37 /* Fix for mingw stat problem (done here so it's early enough) */
  38 #ifdef mingw32_TARGET_OS
  39 #define __MSVCRT__ 1
  40 #endif
  41
  42 #if defined(__GNUC__)
  43 #define GNU_ATTRIBUTE(at) __attribute__((at))
  44 #else
  45 #define GNU_ATTRIBUTE(at)
  46 #endif
  47
  48 #if __GNUC__ >= 3
  49 #define GNUC3_ATTRIBUTE(at) __attribute__((at))
  50 #else
  51 #define GNUC3_ATTRIBUTE(at)
  52 #endif
  53
  54 /*
  55  * Empty structures isn't supported by all, so to define
  56  * empty structures, please protect the defn with an
  57  * #if SUPPORTS_EMPTY_STRUCTS. Similarly for use,
  58  * employ the macro MAYBE_EMPTY_STRUCT():
  59  *
  60  *     MAYBE_EMPTY_STRUCT(structFoo, fieldName);
  61  */
  62 #if SUPPORTS_EMPTY_STRUCTS
  63 # define MAYBE_EMPTY_STRUCT(a,b) a b;
  64 #else
  65 # define MAYBE_EMPTY_STRUCT(a,b) /* empty */
  66 #endif
  67
  68 /*
  69  * We often want to know the size of something in units of an
  70  * StgWord... (rounded up, of course!)
  71  */
  72 #define sizeofW(t) ((sizeof(t)+sizeof(W_)-1)/sizeof(W_))
  73
  74 /*
  75  * It's nice to be able to grep for casts
  76  */
  77 #define stgCast(ty,e) ((ty)(e))
  78
  79 /* -----------------------------------------------------------------------------
  80    Assertions and Debuggery
  81    -------------------------------------------------------------------------- */
  82
  83 #ifndef DEBUG
  84 #define ASSERT(predicate) /* nothing */
  85 #else
  86
  87 void _stgAssert (char *, unsigned int);
  88
  89 #define ASSERT(predicate)                       \
  90         if (predicate)                          \
  91             /*null*/;                           \
  92         else                                    \
  93             _stgAssert(__FILE__, __LINE__)
  94 #endif /* DEBUG */
  95
  96 /*
  97  * Use this on the RHS of macros which expand to nothing
  98  * to make sure that the macro can be used in a context which
  99  * demands a non-empty statement.
 100  */
 101
 102 #define doNothing() do { } while (0)
 103
 104 /* -----------------------------------------------------------------------------
 105    Include everything STG-ish
 106    -------------------------------------------------------------------------- */
 107
 108 /* System headers: stdlib.h is eeded so that we can use NULL.  It must
 109  * come after MachRegs.h, because stdlib.h might define some inline
 110  * functions which may only be defined after register variables have
 111  * been declared.
 112  */
 113 #include <stdlib.h>
 114
 115 /* Global constaints */
 116 #include "Constants.h"
 117
 118 /* Profiling information */
 119 #include "StgProf.h"
 120 #include "StgLdvProf.h"
 121
 122 /* Storage format definitions */
 123 #include "StgFun.h"
 124 #include "Closures.h"
 125 #include "Liveness.h"
 126 #include "ClosureTypes.h"
 127 #include "InfoTables.h"
 128 #include "TSO.h"
 129
 130 /* Info tables, closures & code fragments defined in the RTS */
 131 #include "StgMiscClosures.h"
 132
 133 /* Simulated-parallel information */
 134 #include "GranSim.h"
 135
 136 /* Parallel information */
 137 #include "Parallel.h"
 138
 139 /* STG/Optimised-C related stuff */
 140 #include "SMP.h"
 141 #include "Block.h"
 142
 143 #ifdef SMP
 144 #include <pthread.h>
 145 #endif
 146
 147 /* GNU mp library */
 148 #include "gmp.h"
 149
 150 /* Macros for STG/C code */
 151 #include "ClosureMacros.h"
 152 #include "StgTicky.h"
 153 #include "Stable.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 #ifdef _WIN32
 201 /* On the yucky side..suppress -Wmissing-declarations warnings when
 202  * including <windows.h>
 203  */
 204 extern void* GetCurrentFiber ( void );
 205 extern void* GetFiberData ( void );
 206 #endif
 207
 208 /* -----------------------------------------------------------------------------
 209    Assertions and Debuggery
 210    -------------------------------------------------------------------------- */
 211
 212 #define IF_RTSFLAGS(c,s)  if (RtsFlags.c) { s; }
 213
 214 /* -----------------------------------------------------------------------------
 215    Assertions and Debuggery
 216    -------------------------------------------------------------------------- */
 217
 218 #ifdef DEBUG
 219 #define IF_DEBUG(c,s)  if (RtsFlags.DebugFlags.c) { s; }
 220 #else
 221 #define IF_DEBUG(c,s)  doNothing()
 222 #endif
 223
 224 #ifdef DEBUG
 225 #define DEBUG_ONLY(s) s
 226 #else
 227 #define DEBUG_ONLY(s) doNothing()
 228 #endif
 229
 230 #if defined(GRAN) && defined(DEBUG)
 231 #define IF_GRAN_DEBUG(c,s)  if (RtsFlags.GranFlags.Debug.c) { s; }
 232 #else
 233 #define IF_GRAN_DEBUG(c,s)  doNothing()
 234 #endif
 235
 236 #if defined(PAR) && defined(DEBUG)
 237 #define IF_PAR_DEBUG(c,s)  if (RtsFlags.ParFlags.Debug.c) { s; }
 238 #else
 239 #define IF_PAR_DEBUG(c,s)  doNothing()
 240 #endif
 241
 242 /* -----------------------------------------------------------------------------
 243    Attributes
 244    -------------------------------------------------------------------------- */
 245
 246 #ifdef __GNUC__     /* Avoid spurious warnings                             */
 247 #if (__GNUC__ == 2 && __GNUC_MINOR__ >= 7) || __GNUC__ >= 3
 248 #define STG_NORETURN  __attribute__ ((noreturn))
 249 #define STG_UNUSED    __attribute__ ((unused))
 250 #else
 251 #define STG_NORETURN
 252 #define STG_UNUSED
 253 #endif
 254 #else
 255 #define STG_NORETURN
 256 #define STG_UNUSED
 257 #endif
 258
 259 #if defined(__GNUC__)
 260 #define SUPPORTS_TYPEOF
 261 #endif
 262
 263 /* -----------------------------------------------------------------------------
 264    Useful macros and inline functions
 265    -------------------------------------------------------------------------- */
 266
 267 #if defined(SUPPORTS_TYPEOF)
 268 #define stg_min(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _a : _b; })
 269 #define stg_max(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _b : _a; })
 270 #else
 271 #define stg_min(a,b) ((a) <= (b) ? (a) : (b))
 272 #define stg_max(a,b) ((a) <= (b) ? (b) : (a))
 273 #endif
 274
 275 /* -------------------------------------------------------------------------- */
 276
 277 #ifdef __cplusplus
 278 }
 279 #endif
 280
 281 #endif /* RTS_H */