Rts.h 9.66 KB
Newer Older
1
/* -----------------------------------------------------------------------------
2
 *
Simon Marlow's avatar
Simon Marlow committed
3
 * (c) The GHC Team, 1998-2009
4
 *
Simon Marlow's avatar
Simon Marlow committed
5 6
 * RTS external APIs.  This file declares everything that the GHC RTS
 * exposes externally.
7
 *
8 9 10
 * To understand the structure of the RTS headers, see the wiki:
 *   http://hackage.haskell.org/trac/ghc/wiki/Commentary/SourceTree/Includes
 *
11 12 13 14 15
 * ---------------------------------------------------------------------------*/

#ifndef RTS_H
#define RTS_H

16 17 18 19
#ifdef __cplusplus
extern "C" {
#endif

20 21 22 23 24 25 26
/* We include windows.h very early, as on Win64 the CONTEXT type has
   fields "R8", "R9" and "R10", which goes bad if we've already
   #define'd those names for our own purposes (in stg/Regs.h) */
#if defined(HAVE_WINDOWS_H)
#include <windows.h>
#endif

27
#ifndef IN_STG_CODE
28
#define IN_STG_CODE 0
29 30 31
#endif
#include "Stg.h"

Simon Marlow's avatar
Simon Marlow committed
32 33
#include "HsFFI.h"
#include "RtsAPI.h"
34

35 36 37 38 39 40
// Turn off inlining when debugging - it obfuscates things
#ifdef DEBUG
# undef  STATIC_INLINE
# define STATIC_INLINE static
#endif

Simon Marlow's avatar
Simon Marlow committed
41
#include "rts/Types.h"
42 43 44 45 46 47 48 49 50 51

#if __GNUC__ >= 3
/* Assume that a flexible array member at the end of a struct
 * can be defined thus: T arr[]; */
#define FLEXIBLE_ARRAY
#else
/* Assume that it must be defined thus: T arr[0]; */
#define FLEXIBLE_ARRAY 0
#endif

52 53 54 55 56 57
#if __GNUC__ >= 3
#define ATTRIBUTE_ALIGNED(n) __attribute__((aligned(n)))
#else
#define ATTRIBUTE_ALIGNED(n) /*nothing*/
#endif

Simon Marlow's avatar
Simon Marlow committed
58 59 60
// Symbols that are extern, but private to the RTS, are declared
// with visibility "hidden" to hide them outside the RTS shared
// library.
61
#if defined(HAS_VISIBILITY_HIDDEN)
Simon Marlow's avatar
Simon Marlow committed
62
#define RTS_PRIVATE  GNUC3_ATTRIBUTE(visibility("hidden"))
63 64 65 66
#else
#define RTS_PRIVATE  /* disabled: RTS_PRIVATE */
#endif

67
#if __GNUC__ >= 4
68 69 70 71 72
#define RTS_UNLIKELY(p) __builtin_expect((p),0)
#else
#define RTS_UNLIKELY(p) p
#endif

73
/* Fix for mingw stat problem (done here so it's early enough) */
74
#ifdef mingw32_HOST_OS
75 76 77
#define __MSVCRT__ 1
#endif

78 79
/* Needed to get the macro version of errno on some OSs, and also to
   get prototypes for the _r versions of C library functions. */
80
#ifndef _REENTRANT
81
#define _REENTRANT 1
82
#endif
83

84 85 86 87
/*
 * We often want to know the size of something in units of an
 * StgWord... (rounded up, of course!)
 */
88 89 90
#define ROUNDUP_BYTES_TO_WDS(n) (((n) + sizeof(W_) - 1) / sizeof(W_))

#define sizeofW(t) ROUNDUP_BYTES_TO_WDS(sizeof(t))
91 92 93 94

/* -----------------------------------------------------------------------------
   Assertions and Debuggery

95 96 97
   CHECK(p)   evaluates p and terminates with an error if p is false
   ASSERT(p)  like CHECK(p) if DEBUG is on, otherwise a no-op
   -------------------------------------------------------------------------- */
98

Simon Marlow's avatar
Simon Marlow committed
99 100
void _assertFail(const char *filename, unsigned int linenum)
   GNUC3_ATTRIBUTE(__noreturn__);
101

102
#define CHECK(predicate)			\
103 104 105
	if (predicate)				\
	    /*null*/;				\
	else					\
106
	    _assertFail(__FILE__, __LINE__)
107

108 109 110 111 112 113
#define CHECKM(predicate, msg, ...)             \
	if (predicate)				\
	    /*null*/;				\
	else					\
            barf(msg, ##__VA_ARGS__)

114 115
#ifndef DEBUG
#define ASSERT(predicate) /* nothing */
116
#define ASSERTM(predicate,msg,...) /* nothing */
117 118
#else
#define ASSERT(predicate) CHECK(predicate)
119
#define ASSERTM(predicate,msg,...) CHECKM(predicate,msg,##__VA_ARGS__)
120 121 122 123 124 125 126 127 128 129
#endif /* DEBUG */

/* 
 * Use this on the RHS of macros which expand to nothing
 * to make sure that the macro can be used in a context which
 * demands a non-empty statement.
 */

#define doNothing() do { } while (0)

130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145
#ifdef DEBUG
#define USED_IF_DEBUG
#define USED_IF_NOT_DEBUG STG_UNUSED
#else
#define USED_IF_DEBUG STG_UNUSED
#define USED_IF_NOT_DEBUG
#endif

#ifdef THREADED_RTS
#define USED_IF_THREADS
#define USED_IF_NOT_THREADS STG_UNUSED
#else
#define USED_IF_THREADS STG_UNUSED
#define USED_IF_NOT_THREADS
#endif

Ian Lynagh's avatar
Ian Lynagh committed
146
#if SIZEOF_VOID_P == 8
147 148 149 150
# define FMT_SizeT    "zu"
# define FMT_HexSizeT "zx"
# define FMT_Word     "zu"
# define FMT_Int      "zd"
Ian Lynagh's avatar
Ian Lynagh committed
151
#elif SIZEOF_VOID_P == 4
152
# if defined(mingw32_HOST_OS)
Ian Lynagh's avatar
Ian Lynagh committed
153 154 155 156
#  define FMT_SizeT    "u"
#  define FMT_HexSizeT "x"
#  define FMT_Word     "u"
#  define FMT_Int      "d"
Ian Lynagh's avatar
Ian Lynagh committed
157
# else
158 159 160 161
#  define FMT_SizeT    "zu"
#  define FMT_HexSizeT "zx"
#  define FMT_Word     "zu"
#  define FMT_Int      "zd"
Ian Lynagh's avatar
Ian Lynagh committed
162 163 164 165 166
# endif
#else
# error Cannot handle this word size
#endif

Simon Marlow's avatar
Simon Marlow committed
167 168 169 170 171 172 173
/*
 * Getting printf formats right for platform-dependent typedefs
 */
#if SIZEOF_LONG == 8
#define FMT_Word64 "lu"
#define FMT_Int64  "ld"
#else
Ian Lynagh's avatar
Ian Lynagh committed
174
#if defined(mingw32_HOST_OS) && defined(i386_HOST_ARCH)
175 176 177 178 179
/* mingw doesn't understand %llu/%lld - it treats them as 32-bit
   rather than 64-bit */
#define FMT_Word64 "I64u"
#define FMT_Int64  "I64d"
#else
Simon Marlow's avatar
Simon Marlow committed
180 181 182
#define FMT_Word64 "llu"
#define FMT_Int64  "lld"
#endif
183
#endif
Simon Marlow's avatar
Simon Marlow committed
184

Simon Marlow's avatar
Simon Marlow committed
185 186 187 188 189 190 191 192 193 194 195 196
/* -----------------------------------------------------------------------------
   Time values in the RTS
   -------------------------------------------------------------------------- */

// For most time values in the RTS we use a fixed resolution of nanoseconds,
// normalising the time we get from platform-dependent APIs to this
// resolution.
#define TIME_RESOLUTION 1000000000
typedef StgInt64 Time;

#if TIME_RESOLUTION == 1000000000
// I'm being lazy, but it's awkward to define fully general versions of these
Ian Lynagh's avatar
Ian Lynagh committed
197
#define TimeToUS(t)      ((t) / 1000)
Simon Marlow's avatar
Simon Marlow committed
198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214
#define TimeToNS(t)      (t)
#define USToTime(t)      ((Time)(t) * 1000)
#define NSToTime(t)      ((Time)(t))
#else
#error Fix TimeToNS(), TimeToUS() etc.
#endif

#define SecondsToTime(t) ((Time)(t) * TIME_RESOLUTION)
#define TimeToSeconds(t) ((t) / TIME_RESOLUTION)

// Use instead of SecondsToTime() when we have a floating-point
// seconds value, to avoid truncating it.
INLINE_HEADER Time fsecondsToTime (double t)
{
    return (Time)(t * TIME_RESOLUTION);
}

215 216 217 218 219 220 221 222 223 224 225
/* -----------------------------------------------------------------------------
   Include everything STG-ish
   -------------------------------------------------------------------------- */

/* System headers: stdlib.h is eeded so that we can use NULL.  It must
 * come after MachRegs.h, because stdlib.h might define some inline
 * functions which may only be defined after register variables have
 * been declared.
 */
#include <stdlib.h>

Simon Marlow's avatar
Simon Marlow committed
226 227
#include "rts/Config.h"

228
/* Global constaints */
Simon Marlow's avatar
Simon Marlow committed
229
#include "rts/Constants.h"
230 231

/* Profiling information */
Simon Marlow's avatar
Simon Marlow committed
232 233
#include "rts/prof/CCS.h"
#include "rts/prof/LDV.h"
234 235

/* Parallel information */
Simon Marlow's avatar
Simon Marlow committed
236 237
#include "rts/OSThreads.h"
#include "rts/SpinLock.h"
238

Simon Marlow's avatar
Simon Marlow committed
239
#include "rts/Messages.h"
240

Simon Marlow's avatar
Simon Marlow committed
241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258
/* Storage format definitions */
#include "rts/storage/FunTypes.h"
#include "rts/storage/InfoTables.h"
#include "rts/storage/Closures.h"
#include "rts/storage/Liveness.h"
#include "rts/storage/ClosureTypes.h"
#include "rts/storage/TSO.h"
#include "stg/MiscClosures.h" /* InfoTables, closures etc. defined in the RTS */
#include "rts/storage/SMPClosureOps.h"
#include "rts/storage/Block.h"
#include "rts/storage/ClosureMacros.h"
#include "rts/storage/MBlock.h"
#include "rts/storage/GC.h"

/* Other RTS external APIs */
#include "rts/Parallel.h"
#include "rts/Hooks.h"
#include "rts/Signals.h"
259
#include "rts/BlockSignals.h"
Simon Marlow's avatar
Simon Marlow committed
260 261 262 263 264 265 266 267
#include "rts/Hpc.h"
#include "rts/Flags.h"
#include "rts/Adjustor.h"
#include "rts/FileLock.h"
#include "rts/Globals.h"
#include "rts/IOManager.h"
#include "rts/Linker.h"
#include "rts/Threads.h"
268
#include "rts/Ticky.h"
Simon Marlow's avatar
Simon Marlow committed
269 270
#include "rts/Timer.h"
#include "rts/Stable.h"
271
#include "rts/TTY.h"
272 273
#include "rts/Utils.h"
#include "rts/PrimFloat.h"
274
#include "rts/Main.h"
275 276 277 278 279 280

/* Misc stuff without a home */
DLL_IMPORT_RTS extern char **prog_argv;	/* so we can get at these from Haskell */
DLL_IMPORT_RTS extern int    prog_argc;
DLL_IMPORT_RTS extern char  *prog_name;

281 282 283 284 285 286
#ifdef mingw32_HOST_OS
// We need these two from Haskell too
void getWin32ProgArgv(int *argc, wchar_t **argv[]);
void setWin32ProgArgv(int argc, wchar_t *argv[]);
#endif

Simon Marlow's avatar
Simon Marlow committed
287
void stackOverflow(void);
288

Simon Marlow's avatar
Simon Marlow committed
289
void stg_exit(int n) GNU_ATTRIBUTE(__noreturn__);
290

Simon Marlow's avatar
Simon Marlow committed
291 292 293
#ifndef mingw32_HOST_OS
int stg_sig_install (int, int, void *);
#endif
294

295
/* -----------------------------------------------------------------------------
296
   RTS Exit codes
297 298
   -------------------------------------------------------------------------- */

299 300 301 302 303 304 305 306 307 308 309
/* 255 is allegedly used by dynamic linkers to report linking failure */
#define EXIT_INTERNAL_ERROR 254
#define EXIT_DEADLOCK       253
#define EXIT_INTERRUPTED    252
#define EXIT_HEAPOVERFLOW   251
#define EXIT_KILLED         250

/* -----------------------------------------------------------------------------
   Miscellaneous garbage
   -------------------------------------------------------------------------- */

Simon Marlow's avatar
Simon Marlow committed
310 311 312 313 314 315 316 317 318 319 320 321
#ifdef DEBUG
#define TICK_VAR(arity) \
  extern StgInt SLOW_CALLS_##arity; \
  extern StgInt RIGHT_ARITY_##arity; \
  extern StgInt TAGGED_PTR_##arity;

extern StgInt TOTAL_CALLS;

TICK_VAR(1)
TICK_VAR(2)
#endif

322
/* -----------------------------------------------------------------------------
323
   Assertions and Debuggery
324 325
   -------------------------------------------------------------------------- */

326
#define IF_RTSFLAGS(c,s)  if (RtsFlags.c) { s; }
327

328
#ifdef DEBUG
329 330 331
#if IN_STG_CODE
#define IF_DEBUG(c,s)  if (RtsFlags[0].DebugFlags.c) { s; }
#else
332
#define IF_DEBUG(c,s)  if (RtsFlags.DebugFlags.c) { s; }
333
#endif
334
#else
335
#define IF_DEBUG(c,s)  doNothing()
336 337
#endif

338 339 340 341 342 343
#ifdef DEBUG
#define DEBUG_ONLY(s) s
#else
#define DEBUG_ONLY(s) doNothing()
#endif

344
/* -----------------------------------------------------------------------------
345
   Useful macros and inline functions
346 347
   -------------------------------------------------------------------------- */

sof's avatar
sof committed
348 349 350 351 352
#if defined(__GNUC__)
#define SUPPORTS_TYPEOF
#endif

#if defined(SUPPORTS_TYPEOF)
353 354
#define stg_min(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _a : _b; })
#define stg_max(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _b : _a; })
sof's avatar
sof committed
355 356 357 358
#else
#define stg_min(a,b) ((a) <= (b) ? (a) : (b))
#define stg_max(a,b) ((a) <= (b) ? (b) : (a))
#endif
359

360 361 362 363 364 365
/* -------------------------------------------------------------------------- */

#ifdef __cplusplus
}
#endif

366
#endif /* RTS_H */