Rts.h 8.53 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
 * To understand the structure of the RTS headers, see the wiki:
9
 *   http://ghc.haskell.org/trac/ghc/wiki/Commentary/SourceTree/Includes
10
 *
11 12
 * ---------------------------------------------------------------------------*/

13
#pragma once
14

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

19 20 21 22 23 24 25
/* 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

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

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

34 35 36 37 38 39
// 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
40
#include "rts/Types.h"
Simon Marlow's avatar
Simon Marlow committed
41
#include "rts/Time.h"
42

43 44 45 46 47 48
#if __GNUC__ >= 3
#define ATTRIBUTE_ALIGNED(n) __attribute__((aligned(n)))
#else
#define ATTRIBUTE_ALIGNED(n) /*nothing*/
#endif

Simon Marlow's avatar
Simon Marlow committed
49 50 51
// Symbols that are extern, but private to the RTS, are declared
// with visibility "hidden" to hide them outside the RTS shared
// library.
52
#if defined(HAS_VISIBILITY_HIDDEN)
Simon Marlow's avatar
Simon Marlow committed
53
#define RTS_PRIVATE  GNUC3_ATTRIBUTE(visibility("hidden"))
54 55 56 57
#else
#define RTS_PRIVATE  /* disabled: RTS_PRIVATE */
#endif

58
#if __GNUC__ >= 4
59 60 61 62 63
#define RTS_UNLIKELY(p) __builtin_expect((p),0)
#else
#define RTS_UNLIKELY(p) p
#endif

64 65 66 67 68 69 70
/* __builtin_unreachable is supported since GNU C 4.5 */
#if __GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ >= 5)
#define RTS_UNREACHABLE __builtin_unreachable()
#else
#define RTS_UNREACHABLE abort()
#endif

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

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

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

#define sizeofW(t) ROUNDUP_BYTES_TO_WDS(sizeof(t))
89 90 91 92

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

93 94 95
   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
   -------------------------------------------------------------------------- */
96

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

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

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

112 113
#ifndef DEBUG
#define ASSERT(predicate) /* nothing */
114
#define ASSERTM(predicate,msg,...) /* nothing */
115 116
#else
#define ASSERT(predicate) CHECK(predicate)
117
#define ASSERTM(predicate,msg,...) CHECKM(predicate,msg,##__VA_ARGS__)
118 119
#endif /* DEBUG */

120
/*
121 122 123 124 125 126 127
 * 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)

128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143
#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
144 145
#define FMT_SizeT    "zu"
#define FMT_HexSizeT "zx"
Simon Marlow's avatar
Simon Marlow committed
146

147 148 149 150
/* -----------------------------------------------------------------------------
   Include everything STG-ish
   -------------------------------------------------------------------------- */

ian@well-typed.com's avatar
ian@well-typed.com committed
151
/* System headers: stdlib.h is needed so that we can use NULL.  It must
152 153 154 155 156 157
 * 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
158 159
#include "rts/Config.h"

160
/* Global constraints */
Simon Marlow's avatar
Simon Marlow committed
161
#include "rts/Constants.h"
162 163

/* Profiling information */
Simon Marlow's avatar
Simon Marlow committed
164 165
#include "rts/prof/CCS.h"
#include "rts/prof/LDV.h"
166 167

/* Parallel information */
Simon Marlow's avatar
Simon Marlow committed
168 169
#include "rts/OSThreads.h"
#include "rts/SpinLock.h"
170

Simon Marlow's avatar
Simon Marlow committed
171
#include "rts/Messages.h"
172
#include "rts/Threads.h"
173

Simon Marlow's avatar
Simon Marlow committed
174 175 176 177 178 179 180 181 182 183 184 185 186 187 188
/* Storage format definitions */
#include "rts/storage/FunTypes.h"
#include "rts/storage/InfoTables.h"
#include "rts/storage/Closures.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/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/Signals.h"
189
#include "rts/BlockSignals.h"
Simon Marlow's avatar
Simon Marlow committed
190 191 192 193
#include "rts/Hpc.h"
#include "rts/Flags.h"
#include "rts/Adjustor.h"
#include "rts/FileLock.h"
194
#include "rts/GetTime.h"
Simon Marlow's avatar
Simon Marlow committed
195 196 197
#include "rts/Globals.h"
#include "rts/IOManager.h"
#include "rts/Linker.h"
198
#include "rts/Ticky.h"
Simon Marlow's avatar
Simon Marlow committed
199 200
#include "rts/Timer.h"
#include "rts/Stable.h"
201
#include "rts/TTY.h"
202 203
#include "rts/Utils.h"
#include "rts/PrimFloat.h"
204
#include "rts/Main.h"
Facundo Domínguez's avatar
Facundo Domínguez committed
205
#include "rts/StaticPtrTable.h"
206
#include "rts/Libdw.h"
207
#include "rts/LibdwPool.h"
208 209

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

214 215 216 217 218 219
#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

220 221
void reportStackOverflow(StgTSO* tso);
void reportHeapOverflow(void);
222

Simon Marlow's avatar
Simon Marlow committed
223
void stg_exit(int n) GNU_ATTRIBUTE(__noreturn__);
224

Simon Marlow's avatar
Simon Marlow committed
225 226 227
#ifndef mingw32_HOST_OS
int stg_sig_install (int, int, void *);
#endif
228

229 230 231 232 233 234 235 236 237 238
/* -----------------------------------------------------------------------------
   Ways
   -------------------------------------------------------------------------- */

// Returns non-zero if the RTS is a profiling version
int rts_isProfiled(void);

// Returns non-zero if the RTS is a dynamically-linked version
int rts_isDynamic(void);

239
/* -----------------------------------------------------------------------------
240
   RTS Exit codes
241 242
   -------------------------------------------------------------------------- */

243 244 245 246 247 248 249 250 251 252 253
/* 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
254 255 256 257 258 259 260 261 262 263 264 265
#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

266
/* -----------------------------------------------------------------------------
267
   Assertions and Debuggery
268 269
   -------------------------------------------------------------------------- */

270
#define IF_RTSFLAGS(c,s)  if (RtsFlags.c) { s; } doNothing()
271

272
#ifdef DEBUG
273
#if IN_STG_CODE
274
#define IF_DEBUG(c,s)  if (RtsFlags[0].DebugFlags.c) { s; } doNothing()
275
#else
276
#define IF_DEBUG(c,s)  if (RtsFlags.DebugFlags.c) { s; } doNothing()
277
#endif
278
#else
279
#define IF_DEBUG(c,s)  doNothing()
280 281
#endif

282 283 284 285 286 287
#ifdef DEBUG
#define DEBUG_ONLY(s) s
#else
#define DEBUG_ONLY(s) doNothing()
#endif

288 289 290 291 292 293
#ifdef DEBUG
#define DEBUG_IS_ON   1
#else
#define DEBUG_IS_ON   0
#endif

294
/* -----------------------------------------------------------------------------
295
   Useful macros and inline functions
296 297
   -------------------------------------------------------------------------- */

sof's avatar
sof committed
298 299 300 301 302
#if defined(__GNUC__)
#define SUPPORTS_TYPEOF
#endif

#if defined(SUPPORTS_TYPEOF)
303 304
#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
305 306 307 308
#else
#define stg_min(a,b) ((a) <= (b) ? (a) : (b))
#define stg_max(a,b) ((a) <= (b) ? (b) : (a))
#endif
309

310 311 312 313 314
/* -------------------------------------------------------------------------- */

#ifdef __cplusplus
}
#endif