1 /* ----------------------------------------------------------------------------
3 * (c) The GHC Team, 1998-2009
7 * NOTE: this information is used by both the compiler and the RTS.
8 * Some of it is tweakable, and some of it must be kept up to date
9 * with various other parts of the system.
11 * Constants which are derived automatically from other definitions in
12 * the system (eg. structure sizes) are generated into the file
13 * DerivedConstants.h by a C program (mkDerivedConstantsHdr).
15 * To understand the structure of the RTS headers, see the wiki:
16 * http://hackage.haskell.org/trac/ghc/wiki/Commentary/SourceTree/Includes
18 * -------------------------------------------------------------------------- */
20 #ifndef RTS_CONSTANTS_H
21 #define RTS_CONSTANTS_H
23 /* -----------------------------------------------------------------------------
26 This is the minimum number of words in the payload of a
27 heap-allocated closure, so that the closure has enough room to be
28 overwritten with a forwarding pointer during garbage collection.
29 -------------------------------------------------------------------------- */
31 #define MIN_PAYLOAD_SIZE 1
33 /* -----------------------------------------------------------------------------
34 Constants to do with specialised closure types.
35 -------------------------------------------------------------------------- */
37 /* We have some pre-compiled selector thunks defined in rts/StgStdThunks.hc.
38 * This constant defines the highest selectee index that we can replace with a
39 * reference to the pre-compiled code.
42 #define MAX_SPEC_SELECTEE_SIZE 15
44 /* Vector-apply thunks. These thunks just push their free variables
45 * on the stack and enter the first one. They're a bit like PAPs, but
46 * don't have a dynamic size. We've pre-compiled a few to save
50 #define MAX_SPEC_AP_SIZE 7
52 /* Specialised FUN/THUNK/CONSTR closure types */
54 #define MAX_SPEC_THUNK_SIZE 2
55 #define MAX_SPEC_FUN_SIZE 2
56 #define MAX_SPEC_CONSTR_SIZE 2
58 /* Range of built-in table of static small int-like and char-like closures.
60 * NB. This corresponds with the number of actual INTLIKE/CHARLIKE
61 * closures defined in rts/StgMiscClosures.cmm.
63 #define MAX_INTLIKE 16
64 #define MIN_INTLIKE (-16)
66 #define MAX_CHARLIKE 255
67 #define MIN_CHARLIKE 0
69 /* Each byte in the card table for an StgMutaArrPtrs covers
70 * (1<<MUT_ARR_PTRS_CARD_BITS) elements in the array. To find a good
71 * value for this, I used the benchmarks nofib/gc/hash,
72 * nofib/gc/graph, and nofib/gc/gc_bench.
74 #define MUT_ARR_PTRS_CARD_BITS 7
76 /* -----------------------------------------------------------------------------
79 Note that in MachRegs.h we define how many of these registers are
80 *real* machine registers, and not just offsets in the Register Table.
81 -------------------------------------------------------------------------- */
83 #define MAX_VANILLA_REG 8
84 #define MAX_FLOAT_REG 4
85 #define MAX_DOUBLE_REG 2
86 #define MAX_LONG_REG 1
88 /* -----------------------------------------------------------------------------
89 Semi-Tagging constants
91 Old Comments about this stuff:
93 Tags for indirection nodes and ``other'' (probably unevaluated) nodes;
94 normal-form values of algebraic data types will have tags 0, 1, ...
96 @INFO_IND_TAG@ is different from @INFO_OTHER_TAG@ just so we can count
97 how often we bang into indirection nodes; that's all. (WDP 95/11)
99 ToDo: find out if we need any of this.
100 -------------------------------------------------------------------------- */
102 #define INFO_OTHER_TAG (-1)
103 #define INFO_IND_TAG (-2)
104 #define INFO_FIRST_TAG 0
106 /* -----------------------------------------------------------------------------
107 How much C stack to reserve for local temporaries when in the STG
108 world. Used in StgCRun.c.
109 -------------------------------------------------------------------------- */
111 #define RESERVED_C_STACK_BYTES (2048 * SIZEOF_LONG)
113 /* -----------------------------------------------------------------------------
114 How much Haskell stack space to reserve for the saving of registers
115 etc. in the case of a stack/heap overflow.
117 This must be large enough to accomodate the largest stack frame
118 pushed in one of the heap check fragments in HeapStackCheck.hc
119 (ie. currently the generic heap checks - 3 words for StgRetDyn,
120 18 words for the saved registers, see StgMacros.h).
122 In the event of an unboxed tuple or let-no-escape stack/heap check
123 failure, there will be other words on the stack which are covered
124 by the RET_DYN frame. These will have been accounted for by stack
125 checks however, so we don't need to allow for them here.
126 -------------------------------------------------------------------------- */
128 #define RESERVED_STACK_WORDS 21
130 /* -----------------------------------------------------------------------------
131 The limit on the size of the stack check performed when we enter an
132 AP_STACK, in words. See raiseAsync() and bug #1466.
133 -------------------------------------------------------------------------- */
135 #define AP_STACK_SPLIM 1024
137 /* -----------------------------------------------------------------------------
138 Storage manager constants
139 -------------------------------------------------------------------------- */
141 /* The size of a block (2^BLOCK_SHIFT bytes) */
142 #define BLOCK_SHIFT 12
144 /* The size of a megablock (2^MBLOCK_SHIFT bytes) */
145 #define MBLOCK_SHIFT 20
147 /* -----------------------------------------------------------------------------
148 Bitmap/size fields (used in info tables)
149 -------------------------------------------------------------------------- */
151 /* In a 32-bit bitmap field, we use 5 bits for the size, and 27 bits
152 * for the bitmap. If the bitmap requires more than 27 bits, then we
153 * store it in a separate array, and leave a pointer in the bitmap
154 * field. On a 64-bit machine, the sizes are extended accordingly.
156 #if SIZEOF_VOID_P == 4
157 #define BITMAP_SIZE_MASK 0x1f
158 #define BITMAP_BITS_SHIFT 5
159 #elif SIZEOF_VOID_P == 8
160 #define BITMAP_SIZE_MASK 0x3f
161 #define BITMAP_BITS_SHIFT 6
163 #error unknown SIZEOF_VOID_P
166 /* -----------------------------------------------------------------------------
167 Lag/Drag/Void constants
168 -------------------------------------------------------------------------- */
171 An LDV word is divided into 3 parts: state bits (LDV_STATE_MASK), creation
172 time bits (LDV_CREATE_MASK), and last use time bits (LDV_LAST_MASK).
174 #if SIZEOF_VOID_P == 8
176 #define LDV_STATE_MASK 0x1000000000000000
177 #define LDV_CREATE_MASK 0x0FFFFFFFC0000000
178 #define LDV_LAST_MASK 0x000000003FFFFFFF
179 #define LDV_STATE_CREATE 0x0000000000000000
180 #define LDV_STATE_USE 0x1000000000000000
183 #define LDV_STATE_MASK 0x40000000
184 #define LDV_CREATE_MASK 0x3FFF8000
185 #define LDV_LAST_MASK 0x00007FFF
186 #define LDV_STATE_CREATE 0x00000000
187 #define LDV_STATE_USE 0x40000000
188 #endif /* SIZEOF_VOID_P */
190 /* -----------------------------------------------------------------------------
191 TSO related constants
192 -------------------------------------------------------------------------- */
195 * Constants for the what_next field of a TSO, which indicates how it
198 #define ThreadRunGHC 1 /* return to address on top of stack */
199 #define ThreadInterpret 2 /* interpret this thread */
200 #define ThreadKilled 3 /* thread has died, don't run it */
201 #define ThreadRelocated 4 /* thread has moved, link points to new locn */
202 #define ThreadComplete 5 /* thread has finished */
205 * Constants for the why_blocked field of a TSO
206 * NB. keep these in sync with GHC/Conc.lhs: threadStatus
209 #define BlockedOnMVar 1
210 #define BlockedOnBlackHole 2
211 #define BlockedOnRead 3
212 #define BlockedOnWrite 4
213 #define BlockedOnDelay 5
214 #define BlockedOnSTM 6
217 #define BlockedOnDoProc 7
219 /* Only relevant for PAR: */
220 /* blocked on a remote closure represented by a Global Address: */
221 #define BlockedOnGA 8
222 /* same as above but without sending a Fetch message */
223 #define BlockedOnGA_NoSend 9
224 /* Only relevant for THREADED_RTS: */
225 #define BlockedOnCCall 10
226 #define BlockedOnCCall_NoUnblockExc 11
227 /* same as above but don't unblock async exceptions in resumeThread() */
229 /* Involved in a message sent to tso->msg_cap */
230 #define BlockedOnMsgThrowTo 12
232 /* The thread is not on any run queues, but can be woken up
233 by tryWakeupThread() */
234 #define ThreadMigrating 13
237 * These constants are returned to the scheduler by a thread that has
238 * stopped for one reason or another. See typedef StgThreadReturnCode
241 #define HeapOverflow 1 /* might also be StackOverflow */
242 #define StackOverflow 2
243 #define ThreadYielding 3
244 #define ThreadBlocked 4
245 #define ThreadFinished 5
248 * Flags for the tso->flags field.
252 * TSO_LOCKED is set when a TSO is locked to a particular Capability.
257 * TSO_BLOCKEX: the TSO is blocking exceptions
259 * TSO_INTERRUPTIBLE: the TSO can be interrupted if it blocks
260 * interruptibly (eg. with BlockedOnMVar).
262 * TSO_STOPPED_ON_BREAKPOINT: the thread is currently stopped in a breakpoint
264 #define TSO_BLOCKEX 4
265 #define TSO_INTERRUPTIBLE 8
266 #define TSO_STOPPED_ON_BREAKPOINT 16
269 * TSO_LINK_DIRTY is set when a TSO's link field is modified
271 #define TSO_LINK_DIRTY 32
274 * Used by the sanity checker to check whether TSOs are on the correct
277 #define TSO_MARKED 64
280 * Used to communicate between stackSqueeze() and
281 * threadStackOverflow() that a thread's stack was squeezed and the
282 * stack may not need to be expanded.
284 #define TSO_SQUEEZED 128
286 /* -----------------------------------------------------------------------------
288 -------------------------------------------------------------------------- */
290 /* VERY MAGIC CONSTANTS!
291 * must agree with code in HeapStackCheck.c, stg_gen_chk, and
292 * RESERVED_STACK_WORDS in Constants.h.
294 #define RET_DYN_BITMAP_SIZE 8
295 #define RET_DYN_NONPTR_REGS_SIZE 10
297 /* Sanity check that RESERVED_STACK_WORDS is reasonable. We can't
298 * just derive RESERVED_STACK_WORDS because it's used in Haskell code
301 #if RESERVED_STACK_WORDS != (3 + RET_DYN_BITMAP_SIZE + RET_DYN_NONPTR_REGS_SIZE)
302 #error RESERVED_STACK_WORDS may be wrong!
306 * The number of times we spin in a spin lock before yielding (see
307 * #3758). To tune this value, use the benchmark in #3758: run the
308 * server with -N2 and the client both on a dual-core. Also make sure
309 * that the chosen value doesn't slow down any of the parallel
310 * benchmarks in nofib/parallel.
312 #define SPIN_COUNT 1000
314 #endif /* RTS_CONSTANTS_H */