Merge win:c:/m64/reg8
[ghc.git] / includes / Rts.h
1 /* -----------------------------------------------------------------------------
2 *
3 * (c) The GHC Team, 1998-2009
4 *
5 * RTS external APIs. This file declares everything that the GHC RTS
6 * exposes externally.
7 *
8 * To understand the structure of the RTS headers, see the wiki:
9 * http://hackage.haskell.org/trac/ghc/wiki/Commentary/SourceTree/Includes
10 *
11 * ---------------------------------------------------------------------------*/
12
13 #ifndef RTS_H
14 #define RTS_H
15
16 #ifdef __cplusplus
17 extern "C" {
18 #endif
19
20 /* We include windows.h very early, as on Win64 the CONTEXT type has
21 fields "R8", "R9" and "R10", which goes bad if we've already
22 #define'd those names for our own purposes (in stg/Regs.h) */
23 #if defined(HAVE_WINDOWS_H)
24 #include <windows.h>
25 #endif
26
27 #ifndef IN_STG_CODE
28 #define IN_STG_CODE 0
29 #endif
30 #include "Stg.h"
31
32 #include "HsFFI.h"
33 #include "RtsAPI.h"
34
35 // Turn off inlining when debugging - it obfuscates things
36 #ifdef DEBUG
37 # undef STATIC_INLINE
38 # define STATIC_INLINE static
39 #endif
40
41 #include "rts/Types.h"
42
43 #if __GNUC__ >= 3
44 /* Assume that a flexible array member at the end of a struct
45 * can be defined thus: T arr[]; */
46 #define FLEXIBLE_ARRAY
47 #else
48 /* Assume that it must be defined thus: T arr[0]; */
49 #define FLEXIBLE_ARRAY 0
50 #endif
51
52 #if __GNUC__ >= 3
53 #define ATTRIBUTE_ALIGNED(n) __attribute__((aligned(n)))
54 #else
55 #define ATTRIBUTE_ALIGNED(n) /*nothing*/
56 #endif
57
58 // Symbols that are extern, but private to the RTS, are declared
59 // with visibility "hidden" to hide them outside the RTS shared
60 // library.
61 #if defined(HAS_VISIBILITY_HIDDEN)
62 #define RTS_PRIVATE GNUC3_ATTRIBUTE(visibility("hidden"))
63 #else
64 #define RTS_PRIVATE /* disabled: RTS_PRIVATE */
65 #endif
66
67 #if __GNUC__ >= 4
68 #define RTS_UNLIKELY(p) __builtin_expect((p),0)
69 #else
70 #define RTS_UNLIKELY(p) p
71 #endif
72
73 /* Fix for mingw stat problem (done here so it's early enough) */
74 #ifdef mingw32_HOST_OS
75 #define __MSVCRT__ 1
76 #endif
77
78 /* Needed to get the macro version of errno on some OSs, and also to
79 get prototypes for the _r versions of C library functions. */
80 #ifndef _REENTRANT
81 #define _REENTRANT 1
82 #endif
83
84 /*
85 * We often want to know the size of something in units of an
86 * StgWord... (rounded up, of course!)
87 */
88 #define ROUNDUP_BYTES_TO_WDS(n) (((n) + sizeof(W_) - 1) / sizeof(W_))
89
90 #define sizeofW(t) ROUNDUP_BYTES_TO_WDS(sizeof(t))
91
92 /* -----------------------------------------------------------------------------
93 Assertions and Debuggery
94
95 CHECK(p) evaluates p and terminates with an error if p is false
96 ASSERT(p) like CHECK(p) if DEBUG is on, otherwise a no-op
97 -------------------------------------------------------------------------- */
98
99 void _assertFail(const char *filename, unsigned int linenum)
100 GNUC3_ATTRIBUTE(__noreturn__);
101
102 #define CHECK(predicate) \
103 if (predicate) \
104 /*null*/; \
105 else \
106 _assertFail(__FILE__, __LINE__)
107
108 #define CHECKM(predicate, msg, ...) \
109 if (predicate) \
110 /*null*/; \
111 else \
112 barf(msg, ##__VA_ARGS__)
113
114 #ifndef DEBUG
115 #define ASSERT(predicate) /* nothing */
116 #define ASSERTM(predicate,msg,...) /* nothing */
117 #else
118 #define ASSERT(predicate) CHECK(predicate)
119 #define ASSERTM(predicate,msg,...) CHECKM(predicate,msg,##__VA_ARGS__)
120 #endif /* DEBUG */
121
122 /*
123 * Use this on the RHS of macros which expand to nothing
124 * to make sure that the macro can be used in a context which
125 * demands a non-empty statement.
126 */
127
128 #define doNothing() do { } while (0)
129
130 #ifdef DEBUG
131 #define USED_IF_DEBUG
132 #define USED_IF_NOT_DEBUG STG_UNUSED
133 #else
134 #define USED_IF_DEBUG STG_UNUSED
135 #define USED_IF_NOT_DEBUG
136 #endif
137
138 #ifdef THREADED_RTS
139 #define USED_IF_THREADS
140 #define USED_IF_NOT_THREADS STG_UNUSED
141 #else
142 #define USED_IF_THREADS STG_UNUSED
143 #define USED_IF_NOT_THREADS
144 #endif
145
146 #if SIZEOF_VOID_P == 8
147 # if SIZEOF_LONG == 8
148 # define FMT_SizeT "lu"
149 # define FMT_HexSizeT "lx"
150 # define FMT_Word "lu"
151 # define FMT_Int "ld"
152 # elif SIZEOF_LONG_LONG == 8
153 # define FMT_SizeT "llu"
154 # define FMT_HexSizeT "llx"
155 # define FMT_Word "llu"
156 # define FMT_Int "lld"
157 # else
158 # error Cannot find format specifier for size_t size type
159 # endif
160 #elif SIZEOF_VOID_P == 4
161 # if SIZEOF_INT == 4
162 # define FMT_SizeT "u"
163 # define FMT_HexSizeT "x"
164 # define FMT_Word "u"
165 # define FMT_Int "d"
166 # else
167 # error Cannot find format specifier for size_t size type
168 # endif
169 #else
170 # error Cannot handle this word size
171 #endif
172
173 /*
174 * Getting printf formats right for platform-dependent typedefs
175 */
176 #if SIZEOF_LONG == 8
177 #define FMT_Word64 "lu"
178 #define FMT_Int64 "ld"
179 #else
180 #if defined(mingw32_HOST_OS) && defined(i386_HOST_ARCH)
181 /* mingw doesn't understand %llu/%lld - it treats them as 32-bit
182 rather than 64-bit */
183 #define FMT_Word64 "I64u"
184 #define FMT_Int64 "I64d"
185 #else
186 #define FMT_Word64 "llu"
187 #define FMT_Int64 "lld"
188 #endif
189 #endif
190
191 /* -----------------------------------------------------------------------------
192 Time values in the RTS
193 -------------------------------------------------------------------------- */
194
195 // For most time values in the RTS we use a fixed resolution of nanoseconds,
196 // normalising the time we get from platform-dependent APIs to this
197 // resolution.
198 #define TIME_RESOLUTION 1000000000
199 typedef StgInt64 Time;
200
201 #if TIME_RESOLUTION == 1000000000
202 // I'm being lazy, but it's awkward to define fully general versions of these
203 #define TimeToUS(t) ((t) / 1000)
204 #define TimeToNS(t) (t)
205 #define USToTime(t) ((Time)(t) * 1000)
206 #define NSToTime(t) ((Time)(t))
207 #else
208 #error Fix TimeToNS(), TimeToUS() etc.
209 #endif
210
211 #define SecondsToTime(t) ((Time)(t) * TIME_RESOLUTION)
212 #define TimeToSeconds(t) ((t) / TIME_RESOLUTION)
213
214 // Use instead of SecondsToTime() when we have a floating-point
215 // seconds value, to avoid truncating it.
216 INLINE_HEADER Time fsecondsToTime (double t)
217 {
218 return (Time)(t * TIME_RESOLUTION);
219 }
220
221 /* -----------------------------------------------------------------------------
222 Include everything STG-ish
223 -------------------------------------------------------------------------- */
224
225 /* System headers: stdlib.h is eeded so that we can use NULL. It must
226 * come after MachRegs.h, because stdlib.h might define some inline
227 * functions which may only be defined after register variables have
228 * been declared.
229 */
230 #include <stdlib.h>
231
232 #include "rts/Config.h"
233
234 /* Global constaints */
235 #include "rts/Constants.h"
236
237 /* Profiling information */
238 #include "rts/prof/CCS.h"
239 #include "rts/prof/LDV.h"
240
241 /* Parallel information */
242 #include "rts/OSThreads.h"
243 #include "rts/SpinLock.h"
244
245 #include "rts/Messages.h"
246
247 /* Storage format definitions */
248 #include "rts/storage/FunTypes.h"
249 #include "rts/storage/InfoTables.h"
250 #include "rts/storage/Closures.h"
251 #include "rts/storage/Liveness.h"
252 #include "rts/storage/ClosureTypes.h"
253 #include "rts/storage/TSO.h"
254 #include "stg/MiscClosures.h" /* InfoTables, closures etc. defined in the RTS */
255 #include "rts/storage/SMPClosureOps.h"
256 #include "rts/storage/Block.h"
257 #include "rts/storage/ClosureMacros.h"
258 #include "rts/storage/MBlock.h"
259 #include "rts/storage/GC.h"
260
261 /* Other RTS external APIs */
262 #include "rts/Parallel.h"
263 #include "rts/Hooks.h"
264 #include "rts/Signals.h"
265 #include "rts/BlockSignals.h"
266 #include "rts/Hpc.h"
267 #include "rts/Flags.h"
268 #include "rts/Adjustor.h"
269 #include "rts/FileLock.h"
270 #include "rts/Globals.h"
271 #include "rts/IOManager.h"
272 #include "rts/Linker.h"
273 #include "rts/Threads.h"
274 #include "rts/Ticky.h"
275 #include "rts/Timer.h"
276 #include "rts/Stable.h"
277 #include "rts/TTY.h"
278 #include "rts/Utils.h"
279 #include "rts/PrimFloat.h"
280 #include "rts/Main.h"
281
282 /* Misc stuff without a home */
283 DLL_IMPORT_RTS extern char **prog_argv; /* so we can get at these from Haskell */
284 DLL_IMPORT_RTS extern int prog_argc;
285 DLL_IMPORT_RTS extern char *prog_name;
286
287 #ifdef mingw32_HOST_OS
288 // We need these two from Haskell too
289 void getWin32ProgArgv(int *argc, wchar_t **argv[]);
290 void setWin32ProgArgv(int argc, wchar_t *argv[]);
291 #endif
292
293 void stackOverflow(void);
294
295 void stg_exit(int n) GNU_ATTRIBUTE(__noreturn__);
296
297 #ifndef mingw32_HOST_OS
298 int stg_sig_install (int, int, void *);
299 #endif
300
301 /* -----------------------------------------------------------------------------
302 RTS Exit codes
303 -------------------------------------------------------------------------- */
304
305 /* 255 is allegedly used by dynamic linkers to report linking failure */
306 #define EXIT_INTERNAL_ERROR 254
307 #define EXIT_DEADLOCK 253
308 #define EXIT_INTERRUPTED 252
309 #define EXIT_HEAPOVERFLOW 251
310 #define EXIT_KILLED 250
311
312 /* -----------------------------------------------------------------------------
313 Miscellaneous garbage
314 -------------------------------------------------------------------------- */
315
316 #ifdef DEBUG
317 #define TICK_VAR(arity) \
318 extern StgInt SLOW_CALLS_##arity; \
319 extern StgInt RIGHT_ARITY_##arity; \
320 extern StgInt TAGGED_PTR_##arity;
321
322 extern StgInt TOTAL_CALLS;
323
324 TICK_VAR(1)
325 TICK_VAR(2)
326 #endif
327
328 /* -----------------------------------------------------------------------------
329 Assertions and Debuggery
330 -------------------------------------------------------------------------- */
331
332 #define IF_RTSFLAGS(c,s) if (RtsFlags.c) { s; }
333
334 #ifdef DEBUG
335 #if IN_STG_CODE
336 #define IF_DEBUG(c,s) if (RtsFlags[0].DebugFlags.c) { s; }
337 #else
338 #define IF_DEBUG(c,s) if (RtsFlags.DebugFlags.c) { s; }
339 #endif
340 #else
341 #define IF_DEBUG(c,s) doNothing()
342 #endif
343
344 #ifdef DEBUG
345 #define DEBUG_ONLY(s) s
346 #else
347 #define DEBUG_ONLY(s) doNothing()
348 #endif
349
350 /* -----------------------------------------------------------------------------
351 Useful macros and inline functions
352 -------------------------------------------------------------------------- */
353
354 #if defined(__GNUC__)
355 #define SUPPORTS_TYPEOF
356 #endif
357
358 #if defined(SUPPORTS_TYPEOF)
359 #define stg_min(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _a : _b; })
360 #define stg_max(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _b : _a; })
361 #else
362 #define stg_min(a,b) ((a) <= (b) ? (a) : (b))
363 #define stg_max(a,b) ((a) <= (b) ? (b) : (a))
364 #endif
365
366 /* -------------------------------------------------------------------------- */
367
368 #ifdef __cplusplus
369 }
370 #endif
371
372 #endif /* RTS_H */