1 /* -----------------------------------------------------------------------------
2 * $Id: RtsFlags.c,v 1.24 2000/01/13 14:34:04 hwloidl Exp $
4 * (c) The AQUA Project, Glasgow University, 1994-1997
5 * (c) The GHC Team, 1998-1999
7 * Functions for parsing the argument list.
9 * ---------------------------------------------------------------------------*/
14 //* Static function decls::
15 //* Command-line option parsing routines::
16 //* GranSim specific options::
21 //@node Includes, Constants
22 //@subsection Includes
27 #include "BlockAlloc.h"
30 #if defined(PROFILING)
42 extern struct RTS_FLAGS RtsFlags;
45 * Split argument lists
47 int prog_argc; /* an "int" so as to match normal "argc" */
48 char **prog_argv = NULL;
49 int rts_argc; /* ditto */
50 char *rts_argv[MAX_RTS_ARGS];
52 //@node Constants, Static function decls, Includes
53 //@subsection Constants
56 * constants, used later
63 char *gran_debug_opts_strs[] = {
64 "DEBUG (-bDe, -bD1): event_trace; printing event trace.\n",
65 "DEBUG (-bDE, -bD2): event_stats; printing event statistics.\n",
66 "DEBUG (-bDb, -bD4): bq; check blocking queues\n",
67 "DEBUG (-bDG, -bD8): pack; routines for (un-)packing graph structures.\n",
68 "DEBUG (-bDq, -bD16): checkSparkQ; check consistency of the spark queues.\n",
69 "DEBUG (-bDf, -bD32): thunkStealing; print forwarding of fetches.\n",
70 "DEBUG (-bDr, -bD64): randomSteal; stealing sparks/threads from random PEs.\n",
71 "DEBUG (-bDF, -bD128): findWork; searching spark-pools (local & remote), thread queues for work.\n",
72 "DEBUG (-bDu, -bD256): unused; currently unused flag.\n",
73 "DEBUG (-bDS, -bD512): pri; priority sparking or scheduling.\n",
74 "DEBUG (-bD:, -bD1024): checkLight; check GranSim-Light setup.\n",
75 "DEBUG (-bDo, -bD2048): sortedQ; check whether spark/thread queues are sorted.\n",
76 "DEBUG (-bDz, -bD4096): blockOnFetch; check for blocked on fetch.\n",
77 "DEBUG (-bDP, -bD8192): packBuffer; routines handling pack buffer (GranSim internal!).\n",
78 "DEBUG (-bDt, -bD16384): blockOnFetch_sanity; check for TSO asleep on fetch.\n",
81 /* one character codes for the available debug options */
82 char gran_debug_opts_flags[] = {
83 'e', 'E', 'b', 'G', 'q', 'f', 'r', 'F', 'u', 'S', ':', 'o', 'z', 'P', 't'
86 /* prefix strings printed with the debug messages of the corresponding type */
87 char *gran_debug_opts_prefix[] = {
92 "^^", /* checkSparkQ */
93 "==", /* thunkStealing */
94 "^^", /* randomSteal */
98 "::", /* checkLight */
100 "", /* blockOnFetch */
102 "" /* blockOnFetch_sanity */
107 char *par_debug_opts_strs[] = {
108 "DEBUG (-qDv, -qD1): verbose; be generally verbose with parallel related stuff.\n",
109 "DEBUG (-qDt, -qD2): trace; trace messages.\n",
110 "DEBUG (-qDs, -qD4): schedule; scheduling of parallel threads.\n",
111 "DEBUG (-qDe, -qD8): free; free messages.\n",
112 "DEBUG (-qDr, -qD16): resume; resume messages.\n",
113 "DEBUG (-qDw, -qD32): weight; print weights for GC.\n",
114 "DEBUG (-qDF, -qD64): fetch; fetch messages.\n",
115 "DEBUG (-qDa, -qD128): ack; ack messages.\n",
116 "DEBUG (-qDf, -qD256): fish; fish messages.\n",
117 "DEBUG (-qDo, -qD512): forward; forwarding messages to other PEs.\n",
118 "DEBUG (-qDp, -qD1024): pack; packing and unpacking graphs.\n"
121 /* one character codes for the available debug options */
122 char par_debug_opts_flags[] = {
123 'v', 't', 's', 'e', 'r', 'w', 'F', 'a', 'f', 'o', 'p'
126 /* prefix strings printed with the debug messages of the corresponding type */
127 char *par_debug_opts_prefix[] = {
143 //@node Static function decls, Command-line option parsing routines, Constants
144 //@subsection Static function decls
146 /* -----------------------------------------------------------------------------
147 Static function decls
148 -------------------------------------------------------------------------- */
150 static FILE * /* return NULL on error */
153 int argc, char *argv[],
154 int rts_argc, char *rts_argv[],
155 const char *FILENAME_FMT);
157 static I_ decode(const char *s);
158 static void bad_option(const char *s);
161 static void enable_GranSimLight(void);
162 static void process_gran_option(int arg, int *rts_argc, char *rts_argv[], rtsBool *error);
163 static void set_GranSim_debug_options(nat n);
164 static void help_GranSim_debug_options(nat n);
166 static void process_par_option(int arg, int *rts_argc, char *rts_argv[], rtsBool *error);
167 static void set_par_debug_options(nat n);
168 static void help_par_debug_options(nat n);
171 //@node Command-line option parsing routines, GranSim specific options, Static function decls
172 //@subsection Command-line option parsing routines
174 /* -----------------------------------------------------------------------------
175 * Command-line option parsing routines.
176 * ---------------------------------------------------------------------------*/
178 void initRtsFlagsDefaults(void)
180 RtsFlags.GcFlags.statsFile = NULL;
181 RtsFlags.GcFlags.giveStats = NO_GC_STATS;
183 RtsFlags.GcFlags.maxStkSize = (1024 * 1024) / sizeof(W_);
184 RtsFlags.GcFlags.initialStkSize = 1024 / sizeof(W_);
186 RtsFlags.GcFlags.minAllocAreaSize = (256 * 1024) / BLOCK_SIZE;
187 RtsFlags.GcFlags.minOldGenSize = (1024 * 1024) / BLOCK_SIZE;
188 RtsFlags.GcFlags.maxHeapSize = (64 * 1024 * 1024) / BLOCK_SIZE;
189 RtsFlags.GcFlags.heapSizeSuggestion = 0; /* none */
190 RtsFlags.GcFlags.pcFreeHeap = 3; /* 3% */
191 RtsFlags.GcFlags.oldGenFactor = 2;
192 RtsFlags.GcFlags.generations = 2;
193 RtsFlags.GcFlags.steps = 2;
195 RtsFlags.GcFlags.forceGC = rtsFalse;
196 RtsFlags.GcFlags.forcingInterval = 5000000; /* 5MB (or words?) */
197 RtsFlags.GcFlags.ringBell = rtsFalse;
199 RtsFlags.GcFlags.squeezeUpdFrames = rtsTrue;
201 #if defined(PROFILING) || defined(PAR)
202 RtsFlags.CcFlags.doCostCentres = 0;
203 RtsFlags.CcFlags.sortBy = SORTCC_TIME;
204 #endif /* PROFILING or PAR */
207 RtsFlags.ProfFlags.doHeapProfile = rtsFalse;
208 RtsFlags.ProfFlags.showCCSOnException = rtsFalse;
210 RtsFlags.ProfFlags.ccSelector = NULL;
211 RtsFlags.ProfFlags.modSelector = NULL;
212 RtsFlags.ProfFlags.grpSelector = NULL;
213 RtsFlags.ProfFlags.descrSelector = NULL;
214 RtsFlags.ProfFlags.typeSelector = NULL;
215 RtsFlags.ProfFlags.kindSelector = NULL;
217 RtsFlags.ProfFlags.doHeapProfile = rtsFalse;
220 RtsFlags.ConcFlags.ctxtSwitchTime = CS_MIN_MILLISECS; /* In milliseconds */
223 RtsFlags.ParFlags.nNodes = 1;
227 RtsFlags.ParFlags.ParStats.Full = rtsFalse;
228 RtsFlags.ParFlags.ParStats.Binary = rtsFalse;
229 RtsFlags.ParFlags.ParStats.Sparks = rtsFalse;
230 RtsFlags.ParFlags.ParStats.Heap = rtsFalse;
231 RtsFlags.ParFlags.ParStats.NewLogfile = rtsFalse;
232 RtsFlags.ParFlags.ParStats.Global = rtsFalse;
234 RtsFlags.ParFlags.outputDisabled = rtsFalse;
235 RtsFlags.ParFlags.packBufferSize = 1024;
237 RtsFlags.ParFlags.maxThreads = 1024;
238 RtsFlags.ParFlags.maxFishes = MAX_FISHES;
239 RtsFlags.ParFlags.fishDelay = FISH_DELAY;
242 #if defined(PAR) || defined(SMP)
243 RtsFlags.ParFlags.maxLocalSparks = 4096;
244 #endif /* PAR || SMP */
247 /* ToDo: check defaults for GranSim and GUM */
248 RtsFlags.ConcFlags.ctxtSwitchTime = CS_MIN_MILLISECS; /* In milliseconds */
249 RtsFlags.ConcFlags.maxThreads = 65536; // refers to mandatory threads
250 RtsFlags.GcFlags.maxStkSize = (1024 * 1024) / sizeof(W_);
251 RtsFlags.GcFlags.initialStkSize = 1024 / sizeof(W_);
253 RtsFlags.GranFlags.GranSimStats.Full = rtsFalse;
254 RtsFlags.GranFlags.GranSimStats.Suppressed = rtsFalse;
255 RtsFlags.GranFlags.GranSimStats.Binary = rtsFalse;
256 RtsFlags.GranFlags.GranSimStats.Sparks = rtsFalse;
257 RtsFlags.GranFlags.GranSimStats.Heap = rtsFalse;
258 RtsFlags.GranFlags.GranSimStats.NewLogfile = rtsFalse;
259 RtsFlags.GranFlags.GranSimStats.Global = rtsFalse;
261 RtsFlags.GranFlags.packBufferSize = 1024;
262 RtsFlags.GranFlags.packBufferSize_internal = GRANSIM_DEFAULT_PACK_BUFFER_SIZE;
264 RtsFlags.GranFlags.proc = MAX_PROC;
265 RtsFlags.GranFlags.Fishing = rtsFalse;
266 RtsFlags.GranFlags.maxFishes = MAX_FISHES;
267 RtsFlags.GranFlags.time_slice = GRAN_TIME_SLICE;
268 RtsFlags.GranFlags.Light = rtsFalse;
270 RtsFlags.GranFlags.Costs.latency = LATENCY;
271 RtsFlags.GranFlags.Costs.additional_latency = ADDITIONAL_LATENCY;
272 RtsFlags.GranFlags.Costs.fetchtime = FETCHTIME;
273 RtsFlags.GranFlags.Costs.lunblocktime = LOCALUNBLOCKTIME;
274 RtsFlags.GranFlags.Costs.gunblocktime = GLOBALUNBLOCKTIME;
275 RtsFlags.GranFlags.Costs.mpacktime = MSGPACKTIME;
276 RtsFlags.GranFlags.Costs.munpacktime = MSGUNPACKTIME;
277 RtsFlags.GranFlags.Costs.mtidytime = MSGTIDYTIME;
279 RtsFlags.GranFlags.Costs.threadcreatetime = THREADCREATETIME;
280 RtsFlags.GranFlags.Costs.threadqueuetime = THREADQUEUETIME;
281 RtsFlags.GranFlags.Costs.threaddescheduletime = THREADDESCHEDULETIME;
282 RtsFlags.GranFlags.Costs.threadscheduletime = THREADSCHEDULETIME;
283 RtsFlags.GranFlags.Costs.threadcontextswitchtime = THREADCONTEXTSWITCHTIME;
285 RtsFlags.GranFlags.Costs.arith_cost = ARITH_COST;
286 RtsFlags.GranFlags.Costs.branch_cost = BRANCH_COST;
287 RtsFlags.GranFlags.Costs.load_cost = LOAD_COST;
288 RtsFlags.GranFlags.Costs.store_cost = STORE_COST;
289 RtsFlags.GranFlags.Costs.float_cost = FLOAT_COST;
291 RtsFlags.GranFlags.Costs.heapalloc_cost = HEAPALLOC_COST;
293 RtsFlags.GranFlags.Costs.pri_spark_overhead = PRI_SPARK_OVERHEAD;
294 RtsFlags.GranFlags.Costs.pri_sched_overhead = PRI_SCHED_OVERHEAD;
296 RtsFlags.GranFlags.DoFairSchedule = rtsFalse;
297 RtsFlags.GranFlags.DoAsyncFetch = rtsFalse;
298 RtsFlags.GranFlags.DoStealThreadsFirst = rtsFalse;
299 RtsFlags.GranFlags.DoAlwaysCreateThreads = rtsFalse;
300 RtsFlags.GranFlags.DoBulkFetching = rtsFalse;
301 RtsFlags.GranFlags.DoThreadMigration = rtsFalse;
302 RtsFlags.GranFlags.FetchStrategy = 2;
303 RtsFlags.GranFlags.PreferSparksOfLocalNodes = rtsFalse;
304 RtsFlags.GranFlags.DoPrioritySparking = rtsFalse;
305 RtsFlags.GranFlags.DoPriorityScheduling = rtsFalse;
306 RtsFlags.GranFlags.SparkPriority = 0;
307 RtsFlags.GranFlags.SparkPriority2 = 0;
308 RtsFlags.GranFlags.RandomPriorities = rtsFalse;
309 RtsFlags.GranFlags.InversePriorities = rtsFalse;
310 RtsFlags.GranFlags.IgnorePriorities = rtsFalse;
311 RtsFlags.GranFlags.ThunksToPack = 0;
312 RtsFlags.GranFlags.RandomSteal = rtsTrue;
316 RtsFlags.TickyFlags.showTickyStats = rtsFalse;
317 RtsFlags.TickyFlags.tickyFile = NULL;
324 "Usage: <prog> <args> [+RTS <rtsopts> | -RTS <args>] ... --RTS <args>",
326 " +RTS Indicates run time system options follow",
327 " -RTS Indicates program arguments follow",
328 " --RTS Indicates that ALL subsequent arguments will be given to the",
329 " program (including any of these RTS flags)",
331 "The following run time system options are available:",
333 " -? -f Prints this message and exits; the program is not executed",
335 " -K<size> Sets the maximum stack size (default 1M) Egs: -K32k -K512k",
336 " -k<size> Sets the initial thread stack size (default 1k) Egs: -K4k -K2m",
338 " -A<size> Sets the minimum allocation area size (default 256k) Egs: -A1m -A10k",
339 " -M<size> Sets the maximum heap size (default 64M) Egs: -M256k -M1G",
340 " -H<size> Sets the minimum heap size (default 0M) Egs: -H24m -H1G",
341 " -m<n>% Minimum % of heap which must be available (default 3%)",
342 " -G<n> Number of generations (default: 2)",
343 " -T<n> Number of steps in younger generations (default: 2)",
344 " -s<file> Summary GC statistics (default file: <program>.stat)",
345 " -S<file> Detailed GC statistics (with -Sstderr going to stderr)",
348 " -Z Don't squeeze out update frames on stack overflow",
349 " -B Sound the bell at the start of each garbage collection",
350 #if defined(PROFILING) || defined(PAR)
352 " -p<sort> Produce cost centre time profile (output file <program>.prof)",
353 " sort: T = time (default), A = alloc, C = cost centre label",
354 " -P<sort> Produce serial time profile (output file <program>.time)",
355 " and a -p profile with detailed tick/alloc info",
356 # if defined(PROFILING)
358 " -h<break-down> Heap residency profile (output file <program>.hp)",
359 " break-down: C = cost centre stack (default), M = module, G = group",
360 " D = closure description, Y = type description",
361 " T<ints>,<start> = time closure created",
362 " ints: no. of interval bands plotted (default 18)",
363 " start: seconds after which intervals start (default 0.0)",
364 " A subset of closures may be selected by the attached cost centre using:",
365 " -c{mod:lab,mod:lab...}, specific module:label cost centre(s)",
366 " -m{mod,mod...} all cost centres from the specified modules(s)",
367 " -g{grp,grp...} all cost centres from the specified group(s)",
368 " Selections can also be made by description, type, kind and age:",
369 " -d{des,des...} closures with specified closure descriptions",
370 " -y{typ,typ...} closures with specified type descriptions",
371 " -k{knd,knd...} closures of the specified kinds",
372 " -a<age> closures which survived <age> complete intervals",
373 " The selection logic used is summarised as follows:",
374 " ([-c] or [-m] or [-g]) and ([-d] or [-y] or [-k]) and [-a]",
375 " where an option is true if not specified",
377 " -xc Show current cost centre stack on raising an exception",
380 " -z<tbl><size> set hash table <size> for <tbl> (C, M, G, D or Y)",
382 " -i<secs> Number of seconds in a profiling interval (default 1.0):",
383 " heap profile (-h) and/or serial time profile (-P) frequency",
384 #endif /* PROFILING or PAR */
385 #if !defined(PROFILING) && defined(DEBUG)
387 " -h<break-down> Debugging Heap residency profile",
388 " (output file <program>.hp)",
389 " break-down: L = closure label (default)",
390 " T = closure type (constructor, thunk etc.)",
393 #if defined(TICKY_TICKY)
394 " -r<file> Produce reduction profiling statistics (with -rstderr for stderr)",
398 " -N<n> Use <n> PVMish processors in parallel (default: 2)",
399 /* NB: the -N<n> is implemented by the driver!! */
401 " -C<secs> Context-switch interval in seconds",
402 " (0 or no argument means switch as often as possible)",
403 " the default is .01 sec; resolution is .01 sec",
405 " -N<n> Use <n> OS threads (default: 1)",
407 " -e<size> Size of spark pools (default 100)",
408 " -t<num> Set maximum number of advisory threads per PE (default 32)",
409 " -o<num> Set stack chunk size (default 1024)",
412 " -qP Enable activity profile (output files in ~/<program>*.gr)",
413 " -qQ<size> Set pack-buffer size (default: 1024)",
414 " -qd Turn on PVM-ish debugging",
415 " -qO Disable output for performance measurement",
417 # if defined(SMP) || defined(PAR)
418 " -e<n> Maximum number of outstanding local sparks (default: 4096)",
421 " -d Turn on PVM-ish debugging",
422 " -O Disable output for performance measurement",
424 # ifdef GRAN /* ToDo: fill in decent Docu here */
425 " -b... All GranSim options start with -b; see GranSim User's Guide for details",
428 "Other RTS options may be available for programs compiled a different way.",
429 "The GHC User's Guide has full details.",
434 static __inline__ rtsBool
435 strequal(const char *a, const char * b)
437 return(strcmp(a, b) == 0);
441 setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[])
443 rtsBool error = rtsFalse;
448 /* Remove directory from argv[0] -- default files in current directory */
450 if ((last_slash = (char *) strrchr(argv[0], '/')) != NULL)
451 strcpy(argv[0], last_slash+1);
453 /* Split arguments (argv) into PGM (argv) and RTS (rts_argv) parts */
454 /* argv[0] must be PGM argument -- leave in argv */
462 for (mode = PGM; arg < total_arg && ! strequal("--RTS", argv[arg]); arg++) {
463 if (strequal("+RTS", argv[arg])) {
466 else if (strequal("-RTS", argv[arg])) {
469 else if (mode == RTS && *rts_argc < MAX_RTS_ARGS-1) {
470 rts_argv[(*rts_argc)++] = argv[arg];
472 else if (mode == PGM) {
473 argv[(*argc)++] = argv[arg];
476 barf("too many RTS arguments (max %d)", MAX_RTS_ARGS-1);
479 if (arg < total_arg) {
480 /* arg must be --RTS; process remaining program arguments */
481 while (++arg < total_arg) {
482 argv[(*argc)++] = argv[arg];
485 argv[*argc] = (char *) 0;
486 rts_argv[*rts_argc] = (char *) 0;
488 /* Process RTS (rts_argv) part: mainly to determine statsfile */
490 for (arg = 0; arg < *rts_argc; arg++) {
491 if (rts_argv[arg][0] != '-') {
493 prog_belch("unexpected RTS argument: %s", rts_argv[arg]);
497 switch(rts_argv[arg][1]) {
499 /* process: general args, then PROFILING-only ones,
500 then CONCURRENT-only, PARallel-only, GRAN-only,
501 TICKY-only (same order as defined in RtsFlags.lh);
502 within those groups, mostly in case-insensitive
504 Final group is x*, which allows for more options.
508 # define TICKY_BUILD_ONLY(x) x
510 # define TICKY_BUILD_ONLY(x) \
511 prog_belch("GHC not built for: ticky-ticky stats"); \
515 #if defined(PROFILING)
516 # define COST_CENTRE_USING_BUILD_ONLY(x) x
518 # define COST_CENTRE_USING_BUILD_ONLY(x) \
519 prog_belch("GHC not built for: -prof or -parallel"); \
524 # define PROFILING_BUILD_ONLY(x) x
526 # define PROFILING_BUILD_ONLY(x) \
527 prog_belch("GHC not built for: -prof"); \
532 # define SMP_BUILD_ONLY(x) x
534 # define SMP_BUILD_ONLY(x) \
535 prog_belch("GHC not built for: -parallel"); \
540 # define PAR_BUILD_ONLY(x) x
542 # define PAR_BUILD_ONLY(x) \
543 prog_belch("GHC not built for: -parallel"); \
547 #if defined(SMP) || defined(PAR)
548 # define PAR_OR_SMP_BUILD_ONLY(x) x
550 # define PAR_OR_SMP_BUILD_ONLY(x) \
551 prog_belch("GHC not built for: -parallel or -smp"); \
556 # define GRAN_BUILD_ONLY(x) x
558 # define GRAN_BUILD_ONLY(x) \
559 prog_belch("GHC not built for: -gransim"); \
563 /* =========== GENERAL ========================== */
570 RtsFlags.GcFlags.minAllocAreaSize
571 = decode(rts_argv[arg]+2) / BLOCK_SIZE;
572 if (RtsFlags.GcFlags.minAllocAreaSize <= 0) {
573 bad_option(rts_argv[arg]);
578 RtsFlags.GcFlags.ringBell = rtsTrue;
582 RtsFlags.GcFlags.oldGenFactor = atof(rts_argv[arg]+2);
584 if (RtsFlags.GcFlags.oldGenFactor < 0)
585 bad_option( rts_argv[arg] );
590 /* hack warning: interpret the flags as a binary number */
592 I_ n = decode(rts_argv[arg]+2);
593 if (n &1) RtsFlags.DebugFlags.scheduler = rtsTrue;
594 if ((n>>1)&1) RtsFlags.DebugFlags.evaluator = rtsTrue;
595 if ((n>>2)&1) RtsFlags.DebugFlags.codegen = rtsTrue;
596 if ((n>>3)&1) RtsFlags.DebugFlags.weak = rtsTrue;
597 if ((n>>4)&1) RtsFlags.DebugFlags.gccafs = rtsTrue;
598 if ((n>>5)&1) RtsFlags.DebugFlags.gc = rtsTrue;
599 if ((n>>6)&1) RtsFlags.DebugFlags.block_alloc = rtsTrue;
600 if ((n>>7)&1) RtsFlags.DebugFlags.sanity = rtsTrue;
601 if ((n>>8)&1) RtsFlags.DebugFlags.stable = rtsTrue;
602 if ((n>>9)&1) RtsFlags.DebugFlags.prof = rtsTrue;
603 if ((n>>10)&1) RtsFlags.DebugFlags.gran = rtsTrue;
604 if ((n>>11)&1) RtsFlags.DebugFlags.par = rtsTrue;
610 RtsFlags.GcFlags.maxStkSize =
611 decode(rts_argv[arg]+2) / sizeof(W_);
613 if (RtsFlags.GcFlags.maxStkSize == 0)
614 bad_option( rts_argv[arg] );
618 RtsFlags.GcFlags.initialStkSize =
619 decode(rts_argv[arg]+2) / sizeof(W_);
621 if (RtsFlags.GcFlags.initialStkSize == 0)
622 bad_option( rts_argv[arg] );
626 RtsFlags.GcFlags.maxHeapSize =
627 decode(rts_argv[arg]+2) / BLOCK_SIZE;
628 /* user give size in *bytes* but "maxHeapSize" is in *blocks* */
630 if (RtsFlags.GcFlags.maxHeapSize <= 0) {
631 bad_option(rts_argv[arg]);
636 RtsFlags.GcFlags.pcFreeHeap = atof(rts_argv[arg]+2);
638 if (RtsFlags.GcFlags.pcFreeHeap < 0 ||
639 RtsFlags.GcFlags.pcFreeHeap > 100)
640 bad_option( rts_argv[arg] );
644 RtsFlags.GcFlags.generations = decode(rts_argv[arg]+2);
645 if (RtsFlags.GcFlags.generations < 1) {
646 bad_option(rts_argv[arg]);
651 RtsFlags.GcFlags.steps = decode(rts_argv[arg]+2);
652 if (RtsFlags.GcFlags.steps < 1) {
653 bad_option(rts_argv[arg]);
658 RtsFlags.GcFlags.heapSizeSuggestion =
659 decode(rts_argv[arg]+2) / BLOCK_SIZE;
661 if (RtsFlags.GcFlags.heapSizeSuggestion <= 0) {
662 bad_option(rts_argv[arg]);
666 case 'j': /* force GC option */
667 RtsFlags.GcFlags.forceGC = rtsTrue;
668 if (rts_argv[arg][2]) {
669 RtsFlags.GcFlags.forcingInterval
670 = decode(rts_argv[arg]+2) / sizeof(W_);
675 RtsFlags.GcFlags.giveStats ++;
678 RtsFlags.GcFlags.giveStats ++;
680 /* Opening all those files would almost certainly fail... */
681 RtsFlags.ParFlags.ParStats.Full = rtsTrue;
682 RtsFlags.GcFlags.statsFile = stderr; /* temporary; ToDo: rm */
684 RtsFlags.GcFlags.statsFile
685 = open_stats_file(arg, *argc, argv,
686 *rts_argc, rts_argv, STAT_FILENAME_FMT);
688 if (RtsFlags.GcFlags.statsFile == NULL) error = rtsTrue;
693 RtsFlags.GcFlags.squeezeUpdFrames = rtsFalse;
696 /* =========== PROFILING ========================== */
698 case 'P': /* detailed cost centre profiling (time/alloc) */
699 COST_CENTRE_USING_BUILD_ONLY(
700 RtsFlags.CcFlags.doCostCentres++;
702 case 'p': /* cost centre profiling (time/alloc) */
703 COST_CENTRE_USING_BUILD_ONLY(
704 RtsFlags.CcFlags.doCostCentres++;
706 switch (rts_argv[arg][2]) {
710 RtsFlags.CcFlags.sortBy = rts_argv[arg][2];
713 RtsFlags.CcFlags.sortBy = SORTCC_TIME;
718 case 'i': /* serial profiling -- initial timer interval */
719 COST_CENTRE_USING_BUILD_ONLY(
720 interval_ticks = (I_) ((atof(rts_argv[arg]+2) * TICK_FREQUENCY));
721 if (interval_ticks <= 0)
725 case 'h': /* serial heap profile */
726 #if !defined(PROFILING) && defined(DEBUG)
727 switch (rts_argv[arg][2]) {
730 RtsFlags.ProfFlags.doHeapProfile = HEAP_BY_INFOPTR;
733 RtsFlags.ProfFlags.doHeapProfile = HEAP_BY_CLOSURE_TYPE;
736 prog_belch("invalid heap profile option: %s",rts_argv[arg]);
740 PROFILING_BUILD_ONLY(
741 switch (rts_argv[arg][2]) {
744 RtsFlags.ProfFlags.doHeapProfile = HEAP_BY_CCS;
747 RtsFlags.ProfFlags.doHeapProfile = HEAP_BY_MOD;
750 RtsFlags.ProfFlags.doHeapProfile = HEAP_BY_GRP;
753 RtsFlags.ProfFlags.doHeapProfile = HEAP_BY_DESCR;
756 RtsFlags.ProfFlags.doHeapProfile = HEAP_BY_TYPE;
759 RtsFlags.ProfFlags.doHeapProfile = HEAP_BY_TIME;
760 if (rts_argv[arg][3]) {
761 char *start_str = strchr(rts_argv[arg]+3, ',');
763 if (start_str) *start_str = '\0';
765 if ((intervals = decode(rts_argv[arg]+3)) != 0) {
766 time_intervals = (hash_t) intervals;
767 /* ToDo: and what if it *is* zero intervals??? */
770 earlier_ticks = (I_)((atof(start_str + 1) * TICK_FREQUENCY));
775 prog_belch("invalid heap profile option: %s",rts_argv[arg]);
782 case 'z': /* size of index tables */
783 PROFILING_BUILD_ONLY(
784 switch (rts_argv[arg][2]) {
786 max_cc_no = (hash_t) decode(rts_argv[arg]+3);
787 if (max_cc_no == 0) {
788 prog_belch("bad number of cost centres %s", rts_argv[arg]);
793 max_mod_no = (hash_t) decode(rts_argv[arg]+3);
794 if (max_mod_no == 0) {
795 prog_belch("bad number of modules %s", rts_argv[arg]);
800 max_grp_no = (hash_t) decode(rts_argv[arg]+3);
801 if (max_grp_no == 0) {
802 prog_belch("bad number of groups %s", rts_argv[arg]);
807 max_descr_no = (hash_t) decode(rts_argv[arg]+3);
808 if (max_descr_no == 0) {
809 prog_belch("bad number of closure descriptions %s",
815 max_type_no = (hash_t) decode(rts_argv[arg]+3);
816 if (max_type_no == 0) {
817 prog_belch("bad number of type descriptions %s",
823 prog_belch("invalid index table size option: %s",
829 case 'c': /* cost centre label select */
830 case 'g': /* cost centre group select */
831 case 'd': /* closure descr select */
832 case 'y': /* closure type select */
833 PROFILING_BUILD_ONLY(
834 {char *left = strchr(rts_argv[arg], '{');
835 char *right = strrchr(rts_argv[arg], '}');
837 if (! left || ! right ||
838 strrchr(rts_argv[arg], '{') != left ||
839 strchr(rts_argv[arg], '}') != right) {
840 prog_belch("invalid heap profiling selection bracketing: %s",
845 switch (rts_argv[arg][1]) {
846 case 'c': /* cost centre label select */
847 RtsFlags.ProfFlags.ccSelector = left + 1;
849 case 'm': /* cost centre module select */
850 RtsFlags.ProfFlags.modSelector = left + 1;
852 case 'g': /* cost centre group select */
853 RtsFlags.ProfFlags.grpSelector = left + 1;
855 case 'd': /* closure descr select */
856 RtsFlags.ProfFlags.descrSelector = left + 1;
858 case 'y': /* closure type select */
859 RtsFlags.ProfFlags.typeSelector = left + 1;
861 case 'k': /* closure kind select */
862 RtsFlags.ProfFlags.kindSelector = left + 1;
868 /* =========== CONCURRENT ========================= */
869 case 'C': /* context switch interval */
870 if (rts_argv[arg][2] == '\0')
871 RtsFlags.ConcFlags.ctxtSwitchTime = 0;
875 /* Convert to milliseconds */
876 cst = (I_) ((atof(rts_argv[arg]+2) * 1000));
877 cst = (cst / CS_MIN_MILLISECS) * CS_MIN_MILLISECS;
878 if (cst < CS_MIN_MILLISECS)
879 cst = CS_MIN_MILLISECS;
881 RtsFlags.ConcFlags.ctxtSwitchTime = cst;
888 if (rts_argv[arg][2] != '\0') {
889 RtsFlags.ParFlags.nNodes
890 = strtol(rts_argv[arg]+2, (char **) NULL, 10);
891 if (RtsFlags.ParFlags.nNodes <= 0) {
892 prog_belch("bad value for -N");
898 /* =========== PARALLEL =========================== */
900 PAR_OR_SMP_BUILD_ONLY(
901 if (rts_argv[arg][2] != '\0') {
902 RtsFlags.ParFlags.maxLocalSparks
903 = strtol(rts_argv[arg]+2, (char **) NULL, 10);
904 if (RtsFlags.ParFlags.maxLocalSparks <= 0) {
905 prog_belch("bad value for -e");
913 process_par_option(arg, rts_argc, rts_argv, &error);
916 /* =========== GRAN =============================== */
920 process_gran_option(arg, rts_argc, rts_argv, &error);
923 /* =========== TICKY ============================== */
925 case 'r': /* Basic profiling stats */
928 RtsFlags.TickyFlags.showTickyStats = rtsTrue;
929 RtsFlags.TickyFlags.tickyFile
930 = open_stats_file(arg, *argc, argv,
931 *rts_argc, rts_argv, TICKY_FILENAME_FMT);
933 if (RtsFlags.TickyFlags.tickyFile == NULL) error = rtsTrue;
936 /* =========== EXTENDED OPTIONS =================== */
938 case 'x': /* Extend the argument space */
939 switch(rts_argv[arg][2]) {
941 prog_belch("incomplete RTS option: %s",rts_argv[arg]);
945 case 'c': /* Debugging tool: show current cost centre on an exception */
946 PROFILING_BUILD_ONLY(
947 RtsFlags.ProfFlags.showCCSOnException = rtsTrue;
950 /* The option prefix '-xx' is reserved for future extension. KSW 1999-11. */
953 prog_belch("unknown RTS option: %s",rts_argv[arg]);
957 break; /* defensive programming */
959 /* =========== OH DEAR ============================ */
961 prog_belch("unknown RTS option: %s",rts_argv[arg]);
971 for (p = usage_text; *p; p++)
973 stg_exit(EXIT_FAILURE);
979 //@node GranSim specific options, Aux fcts, Command-line option parsing routines
980 //@subsection GranSim specific options
983 enable_GranSimLight(void) {
985 fprintf(stderr,"GrAnSim Light enabled (infinite number of processors; 0 communication costs)\n");
986 RtsFlags.GranFlags.Light=rtsTrue;
987 RtsFlags.GranFlags.Costs.latency =
988 RtsFlags.GranFlags.Costs.fetchtime =
989 RtsFlags.GranFlags.Costs.additional_latency =
990 RtsFlags.GranFlags.Costs.gunblocktime =
991 RtsFlags.GranFlags.Costs.lunblocktime =
992 RtsFlags.GranFlags.Costs.threadcreatetime =
993 RtsFlags.GranFlags.Costs.threadqueuetime =
994 RtsFlags.GranFlags.Costs.threadscheduletime =
995 RtsFlags.GranFlags.Costs.threaddescheduletime =
996 RtsFlags.GranFlags.Costs.threadcontextswitchtime = 0;
998 RtsFlags.GranFlags.Costs.mpacktime =
999 RtsFlags.GranFlags.Costs.munpacktime = 0;
1001 RtsFlags.GranFlags.DoFairSchedule = rtsTrue;
1002 RtsFlags.GranFlags.DoAsyncFetch = rtsFalse;
1003 RtsFlags.GranFlags.DoAlwaysCreateThreads = rtsTrue;
1004 /* FetchStrategy is irrelevant in GrAnSim-Light */
1006 /* GrAnSim Light often creates an abundance of parallel threads,
1007 each with its own stack etc. Therefore, it's in general a good
1008 idea to use small stack chunks (use the -o<size> option to
1011 // RtsFlags.ConcFlags.stkChunkSize = 100;
1013 RtsFlags.GranFlags.proc = 1;
1017 process_gran_option(int arg, int *rts_argc, char *rts_argv[], rtsBool *error)
1019 if (rts_argv[arg][1] != 'b') /* All GranSim options start with -b */
1022 /* or a ridiculously idealised simulator */
1023 if(strcmp((rts_argv[arg]+2),"oring")==0) {
1024 RtsFlags.GranFlags.Costs.latency =
1025 RtsFlags.GranFlags.Costs.fetchtime =
1026 RtsFlags.GranFlags.Costs.additional_latency =
1027 RtsFlags.GranFlags.Costs.gunblocktime =
1028 RtsFlags.GranFlags.Costs.lunblocktime =
1029 RtsFlags.GranFlags.Costs.threadcreatetime =
1030 RtsFlags.GranFlags.Costs.threadqueuetime =
1031 RtsFlags.GranFlags.Costs.threadscheduletime =
1032 RtsFlags.GranFlags.Costs.threaddescheduletime =
1033 RtsFlags.GranFlags.Costs.threadcontextswitchtime = 0;
1035 RtsFlags.GranFlags.Costs.mpacktime =
1036 RtsFlags.GranFlags.Costs.munpacktime = 0;
1038 RtsFlags.GranFlags.Costs.arith_cost =
1039 RtsFlags.GranFlags.Costs.float_cost =
1040 RtsFlags.GranFlags.Costs.load_cost =
1041 RtsFlags.GranFlags.Costs.store_cost =
1042 RtsFlags.GranFlags.Costs.branch_cost = 0;
1044 RtsFlags.GranFlags.Costs.heapalloc_cost = 1;
1046 /* ++RtsFlags.GranFlags.DoFairSchedule; */
1047 RtsFlags.GranFlags.DoStealThreadsFirst = rtsTrue; /* -bZ */
1048 RtsFlags.GranFlags.DoThreadMigration = rtsTrue; /* -bM */
1049 RtsFlags.GranFlags.GranSimStats.Full = rtsTrue; /* -bP */
1053 /* or a somewhat idealised simulator */
1054 if(strcmp((rts_argv[arg]+2),"onzo")==0) {
1055 RtsFlags.GranFlags.Costs.latency =
1056 RtsFlags.GranFlags.Costs.fetchtime =
1057 RtsFlags.GranFlags.Costs.additional_latency =
1058 RtsFlags.GranFlags.Costs.gunblocktime =
1059 RtsFlags.GranFlags.Costs.lunblocktime =
1060 RtsFlags.GranFlags.Costs.threadcreatetime =
1061 RtsFlags.GranFlags.Costs.threadqueuetime =
1062 RtsFlags.GranFlags.Costs.threadscheduletime =
1063 RtsFlags.GranFlags.Costs.threaddescheduletime =
1064 RtsFlags.GranFlags.Costs.threadcontextswitchtime = 0;
1066 RtsFlags.GranFlags.Costs.mpacktime =
1067 RtsFlags.GranFlags.Costs.munpacktime = 0;
1069 RtsFlags.GranFlags.Costs.heapalloc_cost = 1;
1071 /* RtsFlags.GranFlags.DoFairSchedule = rtsTrue; */ /* -b-R */
1072 /* RtsFlags.GranFlags.DoStealThreadsFirst = rtsTrue; */ /* -b-T */
1073 RtsFlags.GranFlags.DoAsyncFetch = rtsTrue; /* -bZ */
1074 RtsFlags.GranFlags.DoThreadMigration = rtsTrue; /* -bM */
1075 RtsFlags.GranFlags.GranSimStats.Full = rtsTrue; /* -bP */
1076 # if defined(GRAN_CHECK) && defined(GRAN)
1077 RtsFlags.GranFlags.Debug.event_stats = rtsTrue; /* print event statistics */
1082 /* Communication and task creation cost parameters */
1083 switch(rts_argv[arg][2]) {
1085 IgnoreYields = rtsTrue; // HWL HACK
1089 enable_GranSimLight(); /* set flags for GrAnSim-Light mode */
1093 if (rts_argv[arg][3] != '\0')
1095 RtsFlags.GranFlags.Costs.gunblocktime =
1096 RtsFlags.GranFlags.Costs.latency = decode(rts_argv[arg]+3);
1097 RtsFlags.GranFlags.Costs.fetchtime = 2*RtsFlags.GranFlags.Costs.latency;
1100 RtsFlags.GranFlags.Costs.latency = LATENCY;
1104 if (rts_argv[arg][3] != '\0')
1105 RtsFlags.GranFlags.Costs.additional_latency = decode(rts_argv[arg]+3);
1107 RtsFlags.GranFlags.Costs.additional_latency = ADDITIONAL_LATENCY;
1111 if (rts_argv[arg][3] != '\0')
1112 RtsFlags.GranFlags.Costs.mpacktime = decode(rts_argv[arg]+3);
1114 RtsFlags.GranFlags.Costs.mpacktime = MSGPACKTIME;
1118 if (rts_argv[arg][3] != '\0')
1119 RtsFlags.GranFlags.Costs.mtidytime = decode(rts_argv[arg]+3);
1121 RtsFlags.GranFlags.Costs.mtidytime = 0;
1125 if (rts_argv[arg][3] != '\0')
1126 RtsFlags.GranFlags.Costs.munpacktime = decode(rts_argv[arg]+3);
1128 RtsFlags.GranFlags.Costs.munpacktime = MSGUNPACKTIME;
1132 if (rts_argv[arg][3] != '\0')
1133 RtsFlags.GranFlags.Costs.fetchtime = decode(rts_argv[arg]+3);
1135 RtsFlags.GranFlags.Costs.fetchtime = FETCHTIME;
1139 if (rts_argv[arg][3] != '\0')
1140 RtsFlags.GranFlags.Costs.gunblocktime = decode(rts_argv[arg]+3);
1142 RtsFlags.GranFlags.Costs.gunblocktime = GLOBALUNBLOCKTIME;
1146 if (rts_argv[arg][3] != '\0')
1147 RtsFlags.GranFlags.Costs.lunblocktime = decode(rts_argv[arg]+3);
1149 RtsFlags.GranFlags.Costs.lunblocktime = LOCALUNBLOCKTIME;
1152 /* Thread-related metrics */
1154 if (rts_argv[arg][3] != '\0')
1155 RtsFlags.GranFlags.Costs.threadcreatetime = decode(rts_argv[arg]+3);
1157 RtsFlags.GranFlags.Costs.threadcreatetime = THREADCREATETIME;
1161 if (rts_argv[arg][3] != '\0')
1162 RtsFlags.GranFlags.Costs.threadqueuetime = decode(rts_argv[arg]+3);
1164 RtsFlags.GranFlags.Costs.threadqueuetime = THREADQUEUETIME;
1168 if (rts_argv[arg][3] != '\0')
1169 RtsFlags.GranFlags.Costs.threadscheduletime = decode(rts_argv[arg]+3);
1171 RtsFlags.GranFlags.Costs.threadscheduletime = THREADSCHEDULETIME;
1173 RtsFlags.GranFlags.Costs.threadcontextswitchtime = RtsFlags.GranFlags.Costs.threadscheduletime
1174 + RtsFlags.GranFlags.Costs.threaddescheduletime;
1178 if (rts_argv[arg][3] != '\0')
1179 RtsFlags.GranFlags.Costs.threaddescheduletime = decode(rts_argv[arg]+3);
1181 RtsFlags.GranFlags.Costs.threaddescheduletime = THREADDESCHEDULETIME;
1183 RtsFlags.GranFlags.Costs.threadcontextswitchtime = RtsFlags.GranFlags.Costs.threadscheduletime
1184 + RtsFlags.GranFlags.Costs.threaddescheduletime;
1187 /* Instruction Cost Metrics */
1189 if (rts_argv[arg][3] != '\0')
1190 RtsFlags.GranFlags.Costs.arith_cost = decode(rts_argv[arg]+3);
1192 RtsFlags.GranFlags.Costs.arith_cost = ARITH_COST;
1196 if (rts_argv[arg][3] != '\0')
1197 RtsFlags.GranFlags.Costs.float_cost = decode(rts_argv[arg]+3);
1199 RtsFlags.GranFlags.Costs.float_cost = FLOAT_COST;
1203 if (rts_argv[arg][3] != '\0')
1204 RtsFlags.GranFlags.Costs.branch_cost = decode(rts_argv[arg]+3);
1206 RtsFlags.GranFlags.Costs.branch_cost = BRANCH_COST;
1210 if (rts_argv[arg][3] != '\0')
1211 RtsFlags.GranFlags.Costs.load_cost = decode(rts_argv[arg]+3);
1213 RtsFlags.GranFlags.Costs.load_cost = LOAD_COST;
1217 if (rts_argv[arg][3] != '\0')
1218 RtsFlags.GranFlags.Costs.store_cost = decode(rts_argv[arg]+3);
1220 RtsFlags.GranFlags.Costs.store_cost = STORE_COST;
1224 if (rts_argv[arg][3] != '\0')
1225 RtsFlags.GranFlags.Costs.heapalloc_cost = decode(rts_argv[arg]+3);
1227 RtsFlags.GranFlags.Costs.heapalloc_cost = 0;
1231 RtsFlags.GranFlags.DoAsyncFetch = rtsTrue;
1232 if (rts_argv[arg][3] != '\0')
1233 RtsFlags.GranFlags.FetchStrategy = decode(rts_argv[arg]+3);
1235 RtsFlags.GranFlags.FetchStrategy = 2;
1236 if (RtsFlags.GranFlags.FetchStrategy == 0)
1237 RtsFlags.GranFlags.DoAsyncFetch = rtsFalse;
1240 case 'K': /* sort overhead (per elem in spark list) */
1241 if (rts_argv[arg][3] != '\0')
1242 RtsFlags.GranFlags.Costs.pri_spark_overhead = decode(rts_argv[arg]+3);
1244 RtsFlags.GranFlags.Costs.pri_spark_overhead = PRI_SPARK_OVERHEAD;
1245 fprintf(stderr,"Overhead for pri spark: %d (per elem).\n",
1246 RtsFlags.GranFlags.Costs.pri_spark_overhead);
1249 case 'O': /* sort overhead (per elem in spark list) */
1250 if (rts_argv[arg][3] != '\0')
1251 RtsFlags.GranFlags.Costs.pri_sched_overhead = decode(rts_argv[arg]+3);
1253 RtsFlags.GranFlags.Costs.pri_sched_overhead = PRI_SCHED_OVERHEAD;
1254 fprintf(stderr,"Overhead for pri sched: %d (per elem).\n",
1255 RtsFlags.GranFlags.Costs.pri_sched_overhead);
1258 /* General Parameters */
1260 if (rts_argv[arg][3] != '\0')
1262 RtsFlags.GranFlags.proc = decode(rts_argv[arg]+3);
1263 if (RtsFlags.GranFlags.proc==0) {
1264 enable_GranSimLight(); /* set flags for GrAnSim-Light mode */
1265 } else if (RtsFlags.GranFlags.proc > MAX_PROC ||
1266 RtsFlags.GranFlags.proc < 1)
1268 fprintf(stderr,"setupRtsFlags: no more than %u processors
1275 RtsFlags.GranFlags.proc = MAX_PROC;
1279 RtsFlags.GranFlags.Fishing = rtsTrue;
1280 if (rts_argv[arg][3] != '\0')
1281 RtsFlags.GranFlags.maxFishes = decode(rts_argv[arg]+3);
1283 RtsFlags.GranFlags.maxFishes = MAX_FISHES;
1287 if (rts_argv[arg][3] != '\0')
1288 RtsFlags.GranFlags.time_slice = decode(rts_argv[arg]+3);
1290 RtsFlags.GranFlags.time_slice = GRAN_TIME_SLICE;
1294 RtsFlags.GranFlags.DoAlwaysCreateThreads=rtsTrue;
1295 RtsFlags.GranFlags.DoThreadMigration=rtsTrue;
1299 fprintf(stderr,"Bulk fetching enabled.\n");
1300 RtsFlags.GranFlags.DoBulkFetching=rtsTrue;
1304 fprintf(stderr,"Thread migration enabled.\n");
1305 RtsFlags.GranFlags.DoThreadMigration=rtsTrue;
1309 fprintf(stderr,"Fair Scheduling enabled.\n");
1310 RtsFlags.GranFlags.DoFairSchedule=rtsTrue;
1314 fprintf(stderr,"Priority Scheduling enabled.\n");
1315 RtsFlags.GranFlags.DoPriorityScheduling=rtsTrue;
1319 RtsFlags.GranFlags.DoStealThreadsFirst=rtsTrue;
1320 RtsFlags.GranFlags.DoThreadMigration=rtsTrue;
1324 RtsFlags.GranFlags.DoAsyncFetch=rtsTrue;
1328 /* RtsFlags.GranFlags.SimplifiedFetch=rtsTrue; */
1332 RtsFlags.GranFlags.PreferSparksOfLocalNodes=rtsTrue;
1336 RtsFlags.GranFlags.GranSimStats.Binary=rtsTrue;
1340 /* format is -bP<c> where <c> is one char describing kind of profile */
1341 RtsFlags.GranFlags.GranSimStats.Full = rtsTrue;
1342 switch(rts_argv[arg][3]) {
1343 case '\0': break; // nothing special, just an ordinary profile
1344 case '0': RtsFlags.GranFlags.GranSimStats.Suppressed = rtsTrue;
1346 case 'b': RtsFlags.GranFlags.GranSimStats.Binary = rtsTrue;
1348 case 's': RtsFlags.GranFlags.GranSimStats.Sparks = rtsTrue;
1350 case 'h': RtsFlags.GranFlags.GranSimStats.Heap = rtsTrue;
1352 case 'n': RtsFlags.GranFlags.GranSimStats.NewLogfile = rtsTrue;
1354 case 'g': RtsFlags.GranFlags.GranSimStats.Global = rtsTrue;
1356 default: barf("Unknown option -bP%c", rts_argv[arg][3]);
1361 RtsFlags.GranFlags.GranSimStats.Sparks=rtsTrue;
1365 RtsFlags.GranFlags.GranSimStats.Heap=rtsTrue;
1368 case 'Y': /* syntax: -bY<n>[,<n>] n ... pos int */
1369 if (rts_argv[arg][3] != '\0') {
1372 arg0 = rts_argv[arg]+3;
1373 if ((tmp = strstr(arg0,","))==NULL) {
1374 RtsFlags.GranFlags.SparkPriority = decode(arg0);
1375 fprintf(stderr,"SparkPriority: %u.\n",RtsFlags.GranFlags.SparkPriority);
1378 RtsFlags.GranFlags.SparkPriority = decode(arg0);
1379 RtsFlags.GranFlags.SparkPriority2 = decode(tmp);
1380 fprintf(stderr,"SparkPriority: %u.\n",
1381 RtsFlags.GranFlags.SparkPriority);
1382 fprintf(stderr,"SparkPriority2:%u.\n",
1383 RtsFlags.GranFlags.SparkPriority2);
1384 if (RtsFlags.GranFlags.SparkPriority2 <
1385 RtsFlags.GranFlags.SparkPriority) {
1386 fprintf(stderr,"WARNING: 2nd pri < main pri (%u<%u); 2nd pri has no effect\n",
1387 RtsFlags.GranFlags.SparkPriority2,
1388 RtsFlags.GranFlags.SparkPriority);
1392 /* plain pri spark is now invoked with -bX
1393 RtsFlags.GranFlags.DoPrioritySparking = 1;
1394 fprintf(stderr,"PrioritySparking.\n");
1400 if (rts_argv[arg][3] != '\0') {
1401 RtsFlags.GranFlags.ThunksToPack = decode(rts_argv[arg]+3);
1403 RtsFlags.GranFlags.ThunksToPack = 1;
1405 fprintf(stderr,"Thunks To Pack in one packet: %u.\n",
1406 RtsFlags.GranFlags.ThunksToPack);
1410 RtsFlags.GranFlags.RandomSteal = rtsFalse;
1411 fprintf(stderr,"Deterministic mode (no random stealing)\n");
1414 /* The following class of options contains eXperimental */
1415 /* features in connection with exploiting granularity */
1416 /* information. I.e. if -bY is chosen these options */
1417 /* tell the RTS what to do with the supplied info --HWL */
1420 if (rts_argv[arg][3] != '\0') {
1421 RtsFlags.GranFlags.packBufferSize_internal = decode(rts_argv[arg]+3);
1423 RtsFlags.GranFlags.packBufferSize_internal = GRANSIM_DEFAULT_PACK_BUFFER_SIZE;
1425 fprintf(stderr,"Size of GranSim internal pack buffer: %u.\n",
1426 RtsFlags.GranFlags.packBufferSize_internal);
1430 switch(rts_argv[arg][3]) {
1433 RtsFlags.GranFlags.DoPrioritySparking = 1;
1434 fprintf(stderr,"Priority Sparking with Normal Priorities.\n");
1435 RtsFlags.GranFlags.InversePriorities = rtsFalse;
1436 RtsFlags.GranFlags.RandomPriorities = rtsFalse;
1437 RtsFlags.GranFlags.IgnorePriorities = rtsFalse;
1441 RtsFlags.GranFlags.DoPrioritySparking = 1;
1442 fprintf(stderr,"Priority Sparking with Inverse Priorities.\n");
1443 RtsFlags.GranFlags.InversePriorities++;
1447 RtsFlags.GranFlags.DoPrioritySparking = 1;
1448 fprintf(stderr,"Priority Sparking with Random Priorities.\n");
1449 RtsFlags.GranFlags.RandomPriorities++;
1453 RtsFlags.GranFlags.DoPrioritySparking = 1;
1454 fprintf(stderr,"Priority Sparking with No Priorities.\n");
1455 RtsFlags.GranFlags.IgnorePriorities++;
1459 bad_option( rts_argv[arg] );
1465 switch(rts_argv[arg][3]) {
1468 RtsFlags.GranFlags.DoAlwaysCreateThreads=rtsFalse;
1469 RtsFlags.GranFlags.DoThreadMigration=rtsFalse;
1473 RtsFlags.GranFlags.DoBulkFetching=rtsFalse;
1477 RtsFlags.GranFlags.DoThreadMigration=rtsFalse;
1481 RtsFlags.GranFlags.DoFairSchedule=rtsFalse;
1485 RtsFlags.GranFlags.DoStealThreadsFirst=rtsFalse;
1486 RtsFlags.GranFlags.DoThreadMigration=rtsFalse;
1490 RtsFlags.GranFlags.DoAsyncFetch=rtsFalse;
1494 RtsFlags.GranFlags.PreferSparksOfLocalNodes=rtsFalse;
1498 RtsFlags.GranFlags.GranSimStats.Suppressed=rtsTrue;
1502 RtsFlags.GranFlags.GranSimStats.Sparks=rtsFalse;
1506 RtsFlags.GranFlags.GranSimStats.Heap=rtsFalse;
1510 RtsFlags.GranFlags.GranSimStats.Binary=rtsFalse;
1514 RtsFlags.GranFlags.DoPrioritySparking = rtsFalse;
1518 RtsFlags.GranFlags.DoPrioritySparking = rtsFalse;
1519 RtsFlags.GranFlags.SparkPriority = rtsFalse;
1523 RtsFlags.GranFlags.DoPriorityScheduling = rtsFalse;
1527 RtsFlags.GranFlags.RandomSteal = rtsFalse;
1531 bad_option( rts_argv[arg] );
1536 # if defined(GRAN_CHECK) && defined(GRAN)
1538 switch(rts_argv[arg][3]) {
1539 case 'Q': /* Set pack buffer size (same as 'Q' in GUM) */
1540 if (rts_argv[arg][4] != '\0') {
1541 RtsFlags.GranFlags.packBufferSize = decode(rts_argv[arg]+4);
1542 fprintf(stderr,"Pack buffer size: %d\n",
1543 RtsFlags.GranFlags.packBufferSize);
1545 fprintf(stderr, "setupRtsFlags: missing size of PackBuffer (for -Q)\n");
1551 if (isdigit(rts_argv[arg][3])) {/* Set all debugging options in one */
1552 /* hack warning: interpret the flags as a binary number */
1553 nat n = decode(rts_argv[arg]+3);
1554 set_GranSim_debug_options(n);
1557 for (i=0; i<=MAX_GRAN_DEBUG_OPTION; i++)
1558 if (rts_argv[arg][3] == gran_debug_opts_flags[i])
1561 if (i==MAX_GRAN_DEBUG_OPTION+1) {
1562 fprintf(stderr, "Valid GranSim debug options are:\n");
1563 help_GranSim_debug_options(MAX_GRAN_DEBUG_MASK);
1564 bad_option( rts_argv[arg] );
1565 } else { // flag found; now set it
1566 set_GranSim_debug_options(GRAN_DEBUG_MASK(i)); // 2^i
1572 case 'e': /* event trace; also -bD1 */
1573 fprintf(stderr,"DEBUG: event_trace; printing event trace.\n");
1574 RtsFlags.GranFlags.Debug.event_trace = rtsTrue;
1575 /* RtsFlags.GranFlags.event_trace=rtsTrue; */
1578 case 'E': /* event statistics; also -bD2 */
1579 fprintf(stderr,"DEBUG: event_stats; printing event statistics.\n");
1580 RtsFlags.GranFlags.Debug.event_stats = rtsTrue;
1581 /* RtsFlags.GranFlags.Debug |= 0x20; print event statistics */
1584 case 'f': /* thunkStealing; also -bD4 */
1585 fprintf(stderr,"DEBUG: thunkStealing; printing forwarding of FETCHNODES.\n");
1586 RtsFlags.GranFlags.Debug.thunkStealing = rtsTrue;
1587 /* RtsFlags.GranFlags.Debug |= 0x2; print fwd messages */
1590 case 'z': /* blockOnFetch; also -bD8 */
1591 fprintf(stderr,"DEBUG: blockOnFetch; check for blocked on fetch.\n");
1592 RtsFlags.GranFlags.Debug.blockOnFetch = rtsTrue;
1593 /* RtsFlags.GranFlags.Debug |= 0x4; debug non-reschedule-on-fetch */
1596 case 't': /* blockOnFetch_sanity; also -bD16 */
1597 fprintf(stderr,"DEBUG: blockOnFetch_sanity; check for TSO asleep on fetch.\n");
1598 RtsFlags.GranFlags.Debug.blockOnFetch_sanity = rtsTrue;
1599 /* RtsFlags.GranFlags.Debug |= 0x10; debug TSO asleep for fetch */
1602 case 'S': /* priSpark; also -bD32 */
1603 fprintf(stderr,"DEBUG: priSpark; priority sparking.\n");
1604 RtsFlags.GranFlags.Debug.priSpark = rtsTrue;
1607 case 's': /* priSched; also -bD64 */
1608 fprintf(stderr,"DEBUG: priSched; priority scheduling.\n");
1609 RtsFlags.GranFlags.Debug.priSched = rtsTrue;
1612 case 'F': /* findWork; also -bD128 */
1613 fprintf(stderr,"DEBUG: findWork; searching spark-pools (local & remote), thread queues for work.\n");
1614 RtsFlags.GranFlags.Debug.findWork = rtsTrue;
1617 case 'g': /* globalBlock; also -bD256 */
1618 fprintf(stderr,"DEBUG: globalBlock; blocking on remote closures (FETCHMEs etc in GUM).\n");
1619 RtsFlags.GranFlags.Debug.globalBlock = rtsTrue;
1622 case 'G': /* pack; also -bD512 */
1623 fprintf(stderr,"DEBUG: pack; routines for (un-)packing graph structures.\n");
1624 RtsFlags.GranFlags.Debug.pack = rtsTrue;
1627 case 'P': /* packBuffer; also -bD1024 */
1628 fprintf(stderr,"DEBUG: packBuffer; routines handling pack buffer (GranSim internal!).\n");
1629 RtsFlags.GranFlags.Debug.packBuffer = rtsTrue;
1632 case 'o': /* sortedQ; also -bD2048 */
1633 fprintf(stderr,"DEBUG: sortedQ; check whether spark/thread queues are sorted.\n");
1634 RtsFlags.GranFlags.Debug.sortedQ = rtsTrue;
1637 case 'r': /* randomSteal; also -bD4096 */
1638 fprintf(stderr,"DEBUG: randomSteal; stealing sparks/threads from random PEs.\n");
1639 RtsFlags.GranFlags.Debug.randomSteal = rtsTrue;
1642 case 'q': /* checkSparkQ; also -bD8192 */
1643 fprintf(stderr,"DEBUG: checkSparkQ; check consistency of the spark queues.\n");
1644 RtsFlags.GranFlags.Debug.checkSparkQ = rtsTrue;
1647 case ':': /* checkLight; also -bD16384 */
1648 fprintf(stderr,"DEBUG: checkLight; check GranSim-Light setup.\n");
1649 RtsFlags.GranFlags.Debug.checkLight = rtsTrue;
1652 case 'b': /* bq; also -bD32768 */
1653 fprintf(stderr,"DEBUG: bq; check blocking queues\n");
1654 RtsFlags.GranFlags.Debug.bq = rtsTrue;
1657 case 'd': /* all options turned on */
1658 fprintf(stderr,"DEBUG: all options turned on.\n");
1659 set_GranSim_debug_options(MAX_GRAN_DEBUG_MASK);
1660 /* RtsFlags.GranFlags.Debug |= 0x40; */
1664 /* RtsFlags.GranFlags.Debug = 1; */
1670 # endif /* GRAN_CHECK */
1672 bad_option( rts_argv[arg] );
1678 Interpret n as a binary number masking GranSim debug options and set the
1679 correxponding option. See gran_debug_opts_strs for explanations of the flags.
1682 set_GranSim_debug_options(nat n) {
1685 for (i=0; i<=MAX_GRAN_DEBUG_OPTION; i++)
1687 fprintf(stderr, gran_debug_opts_strs[i]);
1689 case 0: RtsFlags.GranFlags.Debug.event_trace = rtsTrue; break;
1690 case 1: RtsFlags.GranFlags.Debug.event_stats = rtsTrue; break;
1691 case 2: RtsFlags.GranFlags.Debug.bq = rtsTrue; break;
1692 case 3: RtsFlags.GranFlags.Debug.pack = rtsTrue; break;
1693 case 4: RtsFlags.GranFlags.Debug.checkSparkQ = rtsTrue; break;
1694 case 5: RtsFlags.GranFlags.Debug.thunkStealing = rtsTrue; break;
1695 case 6: RtsFlags.GranFlags.Debug.randomSteal = rtsTrue; break;
1696 case 7: RtsFlags.GranFlags.Debug.findWork = rtsTrue; break;
1697 case 8: RtsFlags.GranFlags.Debug.unused = rtsTrue; break;
1698 case 9: RtsFlags.GranFlags.Debug.pri = rtsTrue; break;
1699 case 10: RtsFlags.GranFlags.Debug.checkLight = rtsTrue; break;
1700 case 11: RtsFlags.GranFlags.Debug.sortedQ = rtsTrue; break;
1701 case 12: RtsFlags.GranFlags.Debug.blockOnFetch = rtsTrue; break;
1702 case 13: RtsFlags.GranFlags.Debug.packBuffer = rtsTrue; break;
1703 case 14: RtsFlags.GranFlags.Debug.blockOnFetch_sanity = rtsTrue; break;
1704 default: barf("set_GranSim_debug_options: only %d debug options expected");
1710 Print one line explanation for each of the GranSim debug options specified
1714 help_GranSim_debug_options(nat n) {
1717 for (i=0; i<=MAX_GRAN_DEBUG_OPTION; i++)
1719 fprintf(stderr, gran_debug_opts_strs[i]);
1725 process_par_option(int arg, int *rts_argc, char *rts_argv[], rtsBool *error)
1727 if (rts_argv[arg][1] != 'q') /* All GUM options start with -q */
1730 /* Communication and task creation cost parameters */
1731 switch(rts_argv[arg][2]) {
1732 case 'e': /* -qe<n> ... allow <n> local sparks */
1733 if (rts_argv[arg][3] != '\0') { /* otherwise, stick w/ the default */
1734 RtsFlags.ParFlags.maxLocalSparks
1735 = strtol(rts_argv[arg]+3, (char **) NULL, 10);
1737 if (RtsFlags.ParFlags.maxLocalSparks <= 0) {
1738 belch("setupRtsFlags: bad value for -e\n");
1742 IF_PAR_DEBUG(verbose,
1743 belch("-qe<n>: max %d local sparks",
1744 RtsFlags.ParFlags.maxLocalSparks));
1748 if (rts_argv[arg][3] != '\0') {
1749 RtsFlags.ParFlags.maxThreads
1750 = strtol(rts_argv[arg]+3, (char **) NULL, 10);
1752 belch("setupRtsFlags: missing size for -qt\n");
1755 IF_PAR_DEBUG(verbose,
1756 belch("-qt<n>: max %d threads",
1757 RtsFlags.ParFlags.maxThreads));
1761 if (rts_argv[arg][3] != '\0')
1762 RtsFlags.ParFlags.maxFishes = decode(rts_argv[arg]+3);
1764 RtsFlags.ParFlags.maxFishes = MAX_FISHES;
1766 IF_PAR_DEBUG(verbose,
1767 belch("-qf<n>: max %d fishes sent out at one time",
1768 RtsFlags.ParFlags.maxFishes));
1773 if (rts_argv[arg][3] != '\0') {
1774 RtsFlags.ParFlags.fishDelay
1775 = strtol(rts_argv[arg]+3, (char **) NULL, 10);
1777 belch("setupRtsFlags: missing fish delay time for -qd\n");
1780 IF_PAR_DEBUG(verbose,
1781 belch("-qd<n>: fish delay time %d",
1782 RtsFlags.ParFlags.fishDelay));
1786 RtsFlags.ParFlags.outputDisabled = rtsTrue;
1787 IF_PAR_DEBUG(verbose,
1788 belch("-qO: output disabled"));
1791 case 'P': /* -qP for writing a log file */
1792 RtsFlags.ParFlags.ParStats.Full = rtsTrue;
1793 /* same encoding as in GranSim after -bP */
1794 switch(rts_argv[arg][3]) {
1795 case '\0': break; // nothing special, just an ordinary profile
1796 //case '0': RtsFlags.ParFlags.ParStats.Suppressed = rtsTrue;
1798 case 'b': RtsFlags.ParFlags.ParStats.Binary = rtsTrue;
1800 case 's': RtsFlags.ParFlags.ParStats.Sparks = rtsTrue;
1802 //case 'h': RtsFlags.parFlags.ParStats.Heap = rtsTrue;
1804 case 'n': RtsFlags.ParFlags.ParStats.NewLogfile = rtsTrue;
1806 case 'g': RtsFlags.ParFlags.ParStats.Global = rtsTrue;
1808 default: barf("Unknown option -qP%c", rts_argv[arg][2]);
1810 IF_PAR_DEBUG(verbose,
1811 belch("(-qP) writing to log-file (RtsFlags.ParFlags.ParStats.Full=%s)",
1812 (RtsFlags.ParFlags.ParStats.Full ? "rtsTrue" : "rtsFalse")));
1815 case 'Q': /* -qQ<n> ... set pack buffer size to <n> */
1816 if (rts_argv[arg][3] != '\0') {
1817 RtsFlags.ParFlags.packBufferSize = decode(rts_argv[arg]+3);
1819 belch("setupRtsFlags: missing size of PackBuffer (for -Q)\n");
1822 IF_PAR_DEBUG(verbose,
1823 belch("-qQ<n>: pack buffer size set to %d",
1824 RtsFlags.ParFlags.packBufferSize));
1829 if (rts_argv[arg][3] != '\0') {
1830 RtsFlags.ParFlags.wait
1831 = strtol(rts_argv[arg]+3, (char **) NULL, 10);
1833 RtsFlags.ParFlags.wait = 1000;
1835 IF_PAR_DEBUG(verbose,
1836 belch("-qw<n>: length of wait loop after synchr before reduction: %d",
1837 RtsFlags.ParFlags.wait));
1840 case 'D': /* -qD ... all the debugging options */
1841 if (isdigit(rts_argv[arg][3])) {/* Set all debugging options in one */
1842 /* hack warning: interpret the flags as a binary number */
1843 nat n = decode(rts_argv[arg]+3);
1844 set_par_debug_options(n);
1847 for (i=0; i<=MAX_PAR_DEBUG_OPTION; i++)
1848 if (rts_argv[arg][3] == par_debug_opts_flags[i])
1851 if (i==MAX_PAR_DEBUG_OPTION+1) {
1852 fprintf(stderr, "Valid GUM debug options are:\n");
1853 help_par_debug_options(MAX_PAR_DEBUG_MASK);
1854 bad_option( rts_argv[arg] );
1855 } else { // flag found; now set it
1856 set_par_debug_options(PAR_DEBUG_MASK(i)); // 2^i
1862 belch("Unknown option -q%c", rts_argv[arg][2]);
1868 Interpret n as a binary number masking Par debug options and set the
1869 correxponding option. See par_debug_opts_strs for explanations of the flags.
1872 set_par_debug_options(nat n) {
1875 for (i=0; i<=MAX_PAR_DEBUG_OPTION; i++)
1877 fprintf(stderr, par_debug_opts_strs[i]);
1879 case 0: RtsFlags.ParFlags.Debug.verbose = rtsTrue; break;
1880 case 1: RtsFlags.ParFlags.Debug.trace = rtsTrue; break;
1881 case 2: RtsFlags.ParFlags.Debug.schedule = rtsTrue; break;
1882 case 3: RtsFlags.ParFlags.Debug.free = rtsTrue; break;
1883 case 4: RtsFlags.ParFlags.Debug.resume = rtsTrue; break;
1884 case 5: RtsFlags.ParFlags.Debug.weight = rtsTrue; break;
1885 case 6: RtsFlags.ParFlags.Debug.fetch = rtsTrue; break;
1886 case 7: RtsFlags.ParFlags.Debug.ack = rtsTrue; break;
1887 case 8: RtsFlags.ParFlags.Debug.fish = rtsTrue; break;
1888 case 9: RtsFlags.ParFlags.Debug.forward = rtsTrue; break;
1889 case 10: RtsFlags.ParFlags.Debug.pack = rtsTrue; break;
1890 default: barf("set_par_debug_options: only %d debug options expected");
1896 Print one line explanation for each of the GranSim debug options specified
1900 help_par_debug_options(nat n) {
1903 for (i=0; i<=MAX_PAR_DEBUG_OPTION; i++)
1905 fprintf(stderr, par_debug_opts_strs[i]);
1910 //@node Aux fcts, , GranSim specific options
1911 //@subsection Aux fcts
1913 static FILE * /* return NULL on error */
1916 int argc, char *argv[],
1917 int rts_argc, char *rts_argv[],
1918 const char *FILENAME_FMT)
1922 if (strequal(rts_argv[arg]+2, "stderr")) /* use real stderr */
1924 else if (rts_argv[arg][2] != '\0') /* stats file specified */
1925 f = fopen(rts_argv[arg]+2,"w");
1927 char stats_filename[STATS_FILENAME_MAXLEN]; /* default <program>.<ext> */
1928 sprintf(stats_filename, FILENAME_FMT, argv[0]);
1929 f = fopen(stats_filename,"w");
1932 fprintf(stderr, "Can't open stats file %s\n", rts_argv[arg]+2);
1934 /* Write argv and rtsv into start of stats file */
1936 for(count = 0; count < argc; count++)
1937 fprintf(f, "%s ", argv[count]);
1938 fprintf(f, "+RTS ");
1939 for(count = 0; count < rts_argc; count++)
1940 fprintf(f, "%s ", rts_argv[count]);
1948 decode(const char *s)
1959 if (c == 'g' || c == 'G')
1960 m *= 1000*1000*1000; /* UNchecked! */
1961 else if (c == 'm' || c == 'M')
1962 m *= 1000*1000; /* We do not use powers of 2 (1024) */
1963 else if (c == 'k' || c == 'K') /* to avoid possible bad effects on */
1964 m *= 1000; /* a direct-mapped cache. */
1965 else if (c == 'w' || c == 'W')
1972 bad_option(const char *s)
1974 prog_belch("bad RTS option: %s", s);
1975 stg_exit(EXIT_FAILURE);