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 // ToDo: move RtsExternal stuff elsewhere
  22 #include "RtsExternal.h"
  23
  24 // Turn off inlining when debugging - it obfuscates things
  25 #ifdef DEBUG
  26 # undef  STATIC_INLINE
  27 # define STATIC_INLINE static
  28 #endif
  29
  30 #include "RtsTypes.h"
  31
  32 #if __GNUC__ >= 3
  33 /* Assume that a flexible array member at the end of a struct
  34  * can be defined thus: T arr[]; */
  35 #define FLEXIBLE_ARRAY
  36 #else
  37 /* Assume that it must be defined thus: T arr[0]; */
  38 #define FLEXIBLE_ARRAY 0
  39 #endif
  40
  41 #if __GNUC__ >= 3
  42 #define ATTRIBUTE_ALIGNED(n) __attribute__((aligned(n)))
  43 #else
  44 #define ATTRIBUTE_ALIGNED(n) /*nothing*/
  45 #endif
  46
  47 /* Fix for mingw stat problem (done here so it's early enough) */
  48 #ifdef mingw32_HOST_OS
  49 #define __MSVCRT__ 1
  50 #endif
  51
  52 /* Needed to get the macro version of errno on some OSs, and also to
  53    get prototypes for the _r versions of C library functions. */
  54 #define _REENTRANT 1
  55
  56 /*
  57  * We often want to know the size of something in units of an
  58  * StgWord... (rounded up, of course!)
  59  */
  60 #define ROUNDUP_BYTES_TO_WDS(n) (((n) + sizeof(W_) - 1) / sizeof(W_))
  61
  62 #define sizeofW(t) ROUNDUP_BYTES_TO_WDS(sizeof(t))
  63
  64 /*
  65  * It's nice to be able to grep for casts
  66  */
  67 #define stgCast(ty,e) ((ty)(e))
  68
  69 /* -----------------------------------------------------------------------------
  70    Assertions and Debuggery
  71    -------------------------------------------------------------------------- */
  72
  73 #ifndef DEBUG
  74 #define ASSERT(predicate) /* nothing */
  75 #else
  76
  77 extern void _assertFail (const char *, unsigned int);
  78
  79 #define ASSERT(predicate)                       \
  80         if (predicate)                          \
  81             /*null*/;                           \
  82         else                                    \
  83             _assertFail(__FILE__, __LINE__)
  84 #endif /* DEBUG */
  85
  86 /*
  87  * Use this on the RHS of macros which expand to nothing
  88  * to make sure that the macro can be used in a context which
  89  * demands a non-empty statement.
  90  */
  91
  92 #define doNothing() do { } while (0)
  93
  94 #ifdef DEBUG
  95 #define USED_IF_DEBUG
  96 #define USED_IF_NOT_DEBUG STG_UNUSED
  97 #else
  98 #define USED_IF_DEBUG STG_UNUSED
  99 #define USED_IF_NOT_DEBUG
 100 #endif
 101
 102 #ifdef THREADED_RTS
 103 #define USED_IF_THREADS
 104 #define USED_IF_NOT_THREADS STG_UNUSED
 105 #else
 106 #define USED_IF_THREADS STG_UNUSED
 107 #define USED_IF_NOT_THREADS
 108 #endif
 109
 110 /*
 111  * Getting printf formats right for platform-dependent typedefs
 112  */
 113 #if SIZEOF_LONG == 8
 114 #define FMT_Word64 "lu"
 115 #define FMT_Int64  "ld"
 116 #else
 117 #define FMT_Word64 "llu"
 118 #define FMT_Int64  "lld"
 119 #endif
 120
 121 /*
 122  * Macros for untagging and retagging closure pointers
 123  * For more information look at the comments in Cmm.h
 124  */
 125
 126 static inline StgWord
 127 GET_CLOSURE_TAG(StgClosure * p)
 128 {
 129     return (StgWord)p & TAG_MASK;
 130 }
 131
 132 static inline StgClosure *
 133 UNTAG_CLOSURE(StgClosure * p)
 134 {
 135     return (StgClosure*)((StgWord)p & ~TAG_MASK);
 136 }
 137
 138 static inline StgClosure *
 139 TAG_CLOSURE(StgWord tag,StgClosure * p)
 140 {
 141     return (StgClosure*)((StgWord)p | tag);
 142 }
 143
 144 /* -----------------------------------------------------------------------------
 145    Include everything STG-ish
 146    -------------------------------------------------------------------------- */
 147
 148 /* System headers: stdlib.h is eeded so that we can use NULL.  It must
 149  * come after MachRegs.h, because stdlib.h might define some inline
 150  * functions which may only be defined after register variables have
 151  * been declared.
 152  */
 153 #include <stdlib.h>
 154
 155 /* Global constaints */
 156 #include "Constants.h"
 157
 158 /* Profiling information */
 159 #include "StgProf.h"
 160 #include "StgLdvProf.h"
 161
 162 /* Storage format definitions */
 163 #include "StgFun.h"
 164 #include "Closures.h"
 165 #include "Liveness.h"
 166 #include "ClosureTypes.h"
 167 #include "InfoTables.h"
 168 #include "TSO.h"
 169
 170 /* Info tables, closures & code fragments defined in the RTS */
 171 #include "StgMiscClosures.h"
 172
 173 /* Parallel information */
 174 #include "OSThreads.h"
 175 #include "SMPClosureOps.h"
 176 #include "SpinLock.h"
 177
 178 /* Macros for STG/C code */
 179 #include "Block.h"
 180 #include "ClosureMacros.h"
 181
 182 /* Runtime-system hooks */
 183 #include "Hooks.h"
 184 #include "RtsMessages.h"
 185
 186 /* for StablePtr/getStablePtr/deRefStablePtr */
 187 #include "Storage.h"
 188 #include "Stable.h"
 189
 190 #include "ieee-flpt.h"
 191
 192 #include "Signals.h"
 193
 194 /* Misc stuff without a home */
 195 DLL_IMPORT_RTS extern char **prog_argv; /* so we can get at these from Haskell */
 196 DLL_IMPORT_RTS extern int    prog_argc;
 197 DLL_IMPORT_RTS extern char  *prog_name;
 198
 199 extern void stackOverflow(void);
 200
 201 extern void      __decodeDouble_2Int (I_ *man_sign, W_ *man_high, W_ *man_low, I_ *exp, StgDouble dbl);
 202 extern void      __decodeFloat_Int (I_ *man, I_ *exp, StgFloat flt);
 203
 204 #if defined(WANT_DOTNET_SUPPORT)
 205 #include "DNInvoke.h"
 206 #endif
 207
 208 /* Initialising the whole adjustor thunk machinery. */
 209 extern void initAdjustor(void);
 210
 211 extern void stg_exit(int n) GNU_ATTRIBUTE(__noreturn__);
 212
 213 /* -----------------------------------------------------------------------------
 214    RTS Exit codes
 215    -------------------------------------------------------------------------- */
 216
 217 /* 255 is allegedly used by dynamic linkers to report linking failure */
 218 #define EXIT_INTERNAL_ERROR 254
 219 #define EXIT_DEADLOCK       253
 220 #define EXIT_INTERRUPTED    252
 221 #define EXIT_HEAPOVERFLOW   251
 222 #define EXIT_KILLED         250
 223
 224 /* -----------------------------------------------------------------------------
 225    Miscellaneous garbage
 226    -------------------------------------------------------------------------- */
 227
 228 /* declarations for runtime flags/values */
 229 #define MAX_RTS_ARGS 32
 230
 231 #ifdef DEBUG
 232 #define TICK_VAR(arity) \
 233   extern StgInt SLOW_CALLS_##arity; \
 234   extern StgInt RIGHT_ARITY_##arity; \
 235   extern StgInt TAGGED_PTR_##arity;
 236
 237 #define TICK_VAR_INI(arity) \
 238   StgInt SLOW_CALLS_##arity = 1; \
 239   StgInt RIGHT_ARITY_##arity = 1; \
 240   StgInt TAGGED_PTR_##arity = 0;
 241
 242 extern StgInt TOTAL_CALLS;
 243
 244 TICK_VAR(1)
 245 TICK_VAR(2)
 246 #endif
 247
 248 /* -----------------------------------------------------------------------------
 249    Assertions and Debuggery
 250    -------------------------------------------------------------------------- */
 251
 252 #define IF_RTSFLAGS(c,s)  if (RtsFlags.c) { s; }
 253
 254 /* -----------------------------------------------------------------------------
 255    Assertions and Debuggery
 256    -------------------------------------------------------------------------- */
 257
 258 #ifdef DEBUG
 259 #if IN_STG_CODE
 260 #define IF_DEBUG(c,s)  if (RtsFlags[0].DebugFlags.c) { s; }
 261 #else
 262 #define IF_DEBUG(c,s)  if (RtsFlags.DebugFlags.c) { s; }
 263 #endif
 264 #else
 265 #define IF_DEBUG(c,s)  doNothing()
 266 #endif
 267
 268 #ifdef DEBUG
 269 #define DEBUG_ONLY(s) s
 270 #else
 271 #define DEBUG_ONLY(s) doNothing()
 272 #endif
 273
 274 /* -----------------------------------------------------------------------------
 275    Useful macros and inline functions
 276    -------------------------------------------------------------------------- */
 277
 278 #if defined(__GNUC__)
 279 #define SUPPORTS_TYPEOF
 280 #endif
 281
 282 #if defined(SUPPORTS_TYPEOF)
 283 #define stg_min(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _a : _b; })
 284 #define stg_max(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _b : _a; })
 285 #else
 286 #define stg_min(a,b) ((a) <= (b) ? (a) : (b))
 287 #define stg_max(a,b) ((a) <= (b) ? (b) : (a))
 288 #endif
 289
 290 /* -------------------------------------------------------------------------- */
 291
 292 #ifdef __cplusplus
 293 }
 294 #endif
 295
 296
 297 /* krc: I put this here because I don't think
 298    it needs to be visible externally.
 299    It used to be in StgTicky.h, but I got rid
 300    of that. */
 301
 302 /* -----------------------------------------------------------------------------
 303    The StgEntCounter type - needed regardless of TICKY_TICKY
 304    -------------------------------------------------------------------------- */
 305
 306 typedef struct _StgEntCounter {
 307   /* Using StgWord for everything, becuase both the C and asm code
 308      generators make trouble if you try to pack things tighter */
 309     StgWord     registeredp;    /* 0 == no, 1 == yes */
 310     StgInt      arity;          /* arity (static info) */
 311     StgInt      stk_args;       /* # of args off stack */
 312                                 /* (rest of args are in registers) */
 313     char        *str;           /* name of the thing */
 314     char        *arg_kinds;     /* info about the args types */
 315     StgInt      entry_count;    /* Trips to fast entry code */
 316     StgInt      allocs;         /* number of allocations by this fun */
 317     struct _StgEntCounter *link;/* link to chain them all together */
 318 } StgEntCounter;
 319
 320
 321 #endif /* RTS_H */