Flags.h 9.26 KB
Newer Older
Simon Marlow's avatar
Simon Marlow committed
1 2
/* -----------------------------------------------------------------------------
 *
3
 * (c) The GHC Team, 1998-2009
Simon Marlow's avatar
Simon Marlow committed
4 5 6
 *
 * Datatypes that holds the command-line flag settings.
 *
7 8 9
 * Do not #include this file directly: #include "Rts.h" instead.
 *
 * To understand the structure of the RTS headers, see the wiki:
10
 *   http://ghc.haskell.org/trac/ghc/wiki/Commentary/SourceTree/Includes
11
 *
Simon Marlow's avatar
Simon Marlow committed
12 13 14 15 16 17 18 19 20
 * ---------------------------------------------------------------------------*/

#ifndef RTS_FLAGS_H
#define RTS_FLAGS_H

#include <stdio.h>

/* For defaults, see the @initRtsFlagsDefaults@ routine. */

21 22 23 24 25 26 27 28
/* Note [Synchronization of flags and base APIs]
 *
 * We provide accessors to RTS flags in base. (GHC.RTS module)
 * The API should be updated whenever RTS flags are modified.
 */

/* See Note [Synchronization of flags and base APIs] */
typedef struct _GC_FLAGS {
Simon Marlow's avatar
Simon Marlow committed
29
    FILE   *statsFile;
30
    uint32_t  giveStats;
Simon Marlow's avatar
Simon Marlow committed
31 32 33 34 35 36
#define NO_GC_STATS	 0
#define COLLECT_GC_STATS 1
#define ONELINE_GC_STATS 2
#define SUMMARY_GC_STATS 3
#define VERBOSE_GC_STATS 4

37 38 39 40 41 42 43 44 45 46 47
    uint32_t     maxStkSize;         /* in *words* */
    uint32_t     initialStkSize;     /* in *words* */
    uint32_t     stkChunkSize;       /* in *words* */
    uint32_t     stkChunkBufferSize; /* in *words* */

    uint32_t     maxHeapSize;        /* in *blocks* */
    uint32_t     minAllocAreaSize;   /* in *blocks* */
    uint32_t     largeAllocLim;      /* in *blocks* */
    uint32_t     nurseryChunkSize;   /* in *blocks* */
    uint32_t     minOldGenSize;      /* in *blocks* */
    uint32_t     heapSizeSuggestion; /* in *blocks* */
48
    rtsBool heapSizeSuggestionAuto;
Simon Marlow's avatar
Simon Marlow committed
49 50 51
    double  oldGenFactor;
    double  pcFreeHeap;

52 53
    uint32_t     generations;
    uint32_t     steps;
Simon Marlow's avatar
Simon Marlow committed
54 55 56 57 58 59 60 61 62 63
    rtsBool squeezeUpdFrames;

    rtsBool compact;		/* True <=> "compact all the time" */
    double  compactThreshold;

    rtsBool sweep;		/* use "mostly mark-sweep" instead of copying
                                 * for the oldest generation */
    rtsBool ringBell;
    rtsBool frontpanel;

Simon Marlow's avatar
Simon Marlow committed
64
    Time    idleGCDelayTime;    /* units: TIME_RESOLUTION */
65
    rtsBool doIdleGC;
Simon Marlow's avatar
Simon Marlow committed
66 67

    StgWord heapBase;           /* address to ask the OS for memory */
68 69 70 71 72 73 74 75

    StgWord allocLimitGrace;    /* units: *blocks*
                                 * After an AllocationLimitExceeded
                                 * exception has been raised, how much
                                 * extra space is given to the thread
                                 * to handle the exception before we
                                 * raise it again.
                                 */
76
} GC_FLAGS;
Simon Marlow's avatar
Simon Marlow committed
77

78 79
/* See Note [Synchronization of flags and base APIs] */
typedef struct _DEBUG_FLAGS {
Simon Marlow's avatar
Simon Marlow committed
80 81 82 83 84 85 86 87 88 89 90 91 92 93 94
    /* flags to control debugging output & extra checking in various subsystems */
    rtsBool scheduler;      /* 's' */
    rtsBool interpreter;    /* 'i' */
    rtsBool weak;           /* 'w' */
    rtsBool gccafs;         /* 'G' */
    rtsBool gc;             /* 'g' */
    rtsBool block_alloc;    /* 'b' */
    rtsBool sanity;         /* 'S'   warning: might be expensive! */
    rtsBool stable;         /* 't' */
    rtsBool prof;           /* 'p' */
    rtsBool linker;         /* 'l'   the object linker */
    rtsBool apply;          /* 'a' */
    rtsBool stm;            /* 'm' */
    rtsBool squeeze;        /* 'z'  stack squeezing & lazy blackholing */
    rtsBool hpc; 	    /* 'c' coverage */
95
    rtsBool sparks; 	    /* 'r' */
96
} DEBUG_FLAGS;
Simon Marlow's avatar
Simon Marlow committed
97

98 99
/* See Note [Synchronization of flags and base APIs] */
typedef struct _COST_CENTRE_FLAGS {
100
    uint32_t    doCostCentres;
101
# define COST_CENTRES_NONE      0
Simon Marlow's avatar
Simon Marlow committed
102 103 104 105 106 107 108
# define COST_CENTRES_SUMMARY	1
# define COST_CENTRES_VERBOSE	2 /* incl. serial time profile */
# define COST_CENTRES_ALL	3
# define COST_CENTRES_XML       4

    int	    profilerTicks;   /* derived */
    int	    msecsPerTick;    /* derived */
109
} COST_CENTRE_FLAGS;
Simon Marlow's avatar
Simon Marlow committed
110

111 112
/* See Note [Synchronization of flags and base APIs] */
typedef struct _PROFILING_FLAGS {
113
    uint32_t doHeapProfile;
Simon Marlow's avatar
Simon Marlow committed
114 115 116 117 118 119 120 121 122 123
# define NO_HEAP_PROFILING	0	/* N.B. Used as indexes into arrays */
# define HEAP_BY_CCS		1
# define HEAP_BY_MOD		2
# define HEAP_BY_DESCR		4
# define HEAP_BY_TYPE		5
# define HEAP_BY_RETAINER       6
# define HEAP_BY_LDV            7

# define HEAP_BY_CLOSURE_TYPE   8

124 125 126
    Time        heapProfileInterval; /* time between samples */
    uint32_t    heapProfileIntervalTicks; /* ticks between samples (derived) */
    rtsBool     includeTSOs;
Simon Marlow's avatar
Simon Marlow committed
127 128 129 130


    rtsBool		showCCSOnException;

131
    uint32_t    maxRetainerSetSize;
Simon Marlow's avatar
Simon Marlow committed
132

133
    uint32_t    ccsLength;
Simon Marlow's avatar
Simon Marlow committed
134

Ben Gamari's avatar
Ben Gamari committed
135 136 137 138 139 140 141
    const char*         modSelector;
    const char*         descrSelector;
    const char*         typeSelector;
    const char*         ccSelector;
    const char*         ccsSelector;
    const char*         retainerSelector;
    const char*         bioSelector;
Simon Marlow's avatar
Simon Marlow committed
142

143
} PROFILING_FLAGS;
Simon Marlow's avatar
Simon Marlow committed
144

145 146 147 148
#define TRACE_NONE      0
#define TRACE_EVENTLOG  1
#define TRACE_STDERR    2

149 150
/* See Note [Synchronization of flags and base APIs] */
typedef struct _TRACE_FLAGS {
151
    int tracing;
152 153
    rtsBool timestamp;      /* show timestamp in stderr output */
    rtsBool scheduler;      /* trace scheduler events */
154
    rtsBool gc;             /* trace GC events */
155 156
    rtsBool sparks_sampled; /* trace spark events by a sampled method */
    rtsBool sparks_full;    /* trace spark events 100% accurately */
157
    rtsBool user;           /* trace user events (emitted from Haskell code) */
158
} TRACE_FLAGS;
Simon Marlow's avatar
Simon Marlow committed
159

160 161
/* See Note [Synchronization of flags and base APIs] */
typedef struct _CONCURRENT_FLAGS {
Simon Marlow's avatar
Simon Marlow committed
162 163
    Time ctxtSwitchTime;         /* units: TIME_RESOLUTION */
    int ctxtSwitchTicks;         /* derived */
164
} CONCURRENT_FLAGS;
Simon Marlow's avatar
Simon Marlow committed
165

Simon Marlow's avatar
Simon Marlow committed
166 167 168 169 170 171 172 173 174
/*
 * The tickInterval is the time interval between "ticks", ie.
 * timer signals (see Timer.{c,h}).  It is the frequency at
 * which we sample CCCS for profiling.
 *
 * It is changed by the +RTS -V<secs> flag.
 */
#define DEFAULT_TICK_INTERVAL USToTime(10000)

175 176
/* See Note [Synchronization of flags and base APIs] */
typedef struct _MISC_FLAGS {
Simon Marlow's avatar
Simon Marlow committed
177
    Time    tickInterval;        /* units: TIME_RESOLUTION */
Simon Marlow's avatar
Simon Marlow committed
178 179 180 181
    rtsBool install_signal_handlers;
    rtsBool machineReadable;
    StgWord linkerMemBase;       /* address to ask the OS for memory
                                  * for the linker, NULL ==> off */
182
} MISC_FLAGS;
Simon Marlow's avatar
Simon Marlow committed
183 184

#ifdef THREADED_RTS
185 186
/* See Note [Synchronization of flags and base APIs] */
typedef struct _PAR_FLAGS {
187
  uint32_t       nNodes;         /* number of threads to run simultaneously */
Simon Marlow's avatar
Simon Marlow committed
188
  rtsBool        migrate;        /* migrate threads between capabilities */
189
  uint32_t       maxLocalSparks;
Simon Marlow's avatar
Simon Marlow committed
190
  rtsBool        parGcEnabled;   /* enable parallel GC */
191
  uint32_t       parGcGen;       /* do parallel GC in this generation
Simon Marlow's avatar
Simon Marlow committed
192
                                  * and higher only */
193
  rtsBool        parGcLoadBalancingEnabled;
194 195
                                 /* enable load-balancing in the
                                  * parallel GC */
196
  uint32_t       parGcLoadBalancingGen;
197 198
                                 /* do load-balancing in this
                                  * generation and higher only */
199

200
  uint32_t       parGcNoSyncWithIdle;
201 202 203 204 205 206
                                 /* if a Capability has been idle for
                                  * this many GCs, do not try to wake
                                  * it up when doing a
                                  * non-load-balancing parallel GC.
                                  * (zero disables) */

207
  uint32_t       parGcThreads;
208 209 210
                                 /* Use this many threads for parallel
                                  * GC (default: use all nNodes). */

Simon Marlow's avatar
Simon Marlow committed
211
  rtsBool        setAffinity;    /* force thread affinity with CPUs */
212
} PAR_FLAGS;
Simon Marlow's avatar
Simon Marlow committed
213 214
#endif /* THREADED_RTS */

215 216
/* See Note [Synchronization of flags and base APIs] */
typedef struct _TICKY_FLAGS {
Simon Marlow's avatar
Simon Marlow committed
217 218
    rtsBool showTickyStats;
    FILE   *tickyFile;
219
} TICKY_FLAGS;
Simon Marlow's avatar
Simon Marlow committed
220 221 222

/* Put them together: */

223
/* See Note [Synchronization of flags and base APIs] */
Simon Marlow's avatar
Simon Marlow committed
224 225
typedef struct _RTS_FLAGS {
    /* The first portion of RTS_FLAGS is invariant. */
226 227 228 229 230 231 232 233
    GC_FLAGS	      GcFlags;
    CONCURRENT_FLAGS  ConcFlags;
    MISC_FLAGS        MiscFlags;
    DEBUG_FLAGS	      DebugFlags;
    COST_CENTRE_FLAGS CcFlags;
    PROFILING_FLAGS   ProfFlags;
    TRACE_FLAGS       TraceFlags;
    TICKY_FLAGS	      TickyFlags;
Simon Marlow's avatar
Simon Marlow committed
234 235

#if defined(THREADED_RTS)
236
    PAR_FLAGS	      ParFlags;
Simon Marlow's avatar
Simon Marlow committed
237 238 239 240 241 242 243 244 245 246 247 248 249 250 251
#endif
} RTS_FLAGS;

#ifdef COMPILING_RTS_MAIN
extern DLLIMPORT RTS_FLAGS RtsFlags;
#elif IN_STG_CODE
/* Hack because the C code generator can't generate '&label'. */
extern RTS_FLAGS RtsFlags[];
#else
extern RTS_FLAGS RtsFlags;
#endif

/*
 * The printf formats are here, so we are less likely to make
 * overly-long filenames (with disastrous results).  No more than 128
252
 * chars, please!
Simon Marlow's avatar
Simon Marlow committed
253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273
 */

#define STATS_FILENAME_MAXLEN	128

#define GR_FILENAME_FMT		"%0.124s.gr"
#define GR_FILENAME_FMT_GUM	"%0.120s.%03d.%s"
#define HP_FILENAME_FMT		"%0.124s.hp"
#define LIFE_FILENAME_FMT	"%0.122s.life"
#define PROF_FILENAME_FMT	"%0.122s.prof"
#define PROF_FILENAME_FMT_GUM	"%0.118s.%03d.prof"
#define QP_FILENAME_FMT		"%0.124s.qp"
#define STAT_FILENAME_FMT	"%0.122s.stat"
#define TICKY_FILENAME_FMT	"%0.121s.ticky"
#define TIME_FILENAME_FMT	"%0.122s.time"
#define TIME_FILENAME_FMT_GUM	"%0.118s.%03d.time"

/* an "int" so as to match normal "argc" */
/* Now defined in Stg.h (lib/std/cbits need these too.)
extern int     prog_argc;
extern char  **prog_argv;
*/
274 275
extern int      rts_argc;  /* ditto */
extern char   **rts_argv;
Simon Marlow's avatar
Simon Marlow committed
276 277

#endif	/* RTS_FLAGS_H */