X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=rts%2FRtsFlags.c;h=14080702bf4560f2a3565de02841e49681ecbe73;hp=f8c8403328eeffccddb95c4592d68ab85b8584d3;hb=2d4d636af091b8da27466b5cf90011395a9c2f66;hpb=50c4d03919a9d5c37c14004e964083251f655e93 diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index f8c8403..1408070 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -9,15 +9,16 @@ #include "PosixSource.h" #include "Rts.h" -#include "RtsFlags.h" + +#include "RtsOpts.h" #include "RtsUtils.h" #include "Profiling.h" +#include "RtsFlags.h" #ifdef HAVE_CTYPE_H #include #endif -#include #include // Flag Structure @@ -33,6 +34,14 @@ char **full_prog_argv = NULL; char *prog_name = NULL; /* 'basename' of prog_argv[0] */ int rts_argc = 0; /* ditto */ char *rts_argv[MAX_RTS_ARGS]; +#if defined(mingw32_HOST_OS) +// On Windows, we want to use GetCommandLineW rather than argc/argv, +// but we need to mutate the command line arguments for withProgName and +// friends. The System.Environment module achieves that using this bit of +// shared state: +int win32_prog_argc = 0; +wchar_t **win32_prog_argv = NULL; +#endif /* * constants, used later @@ -40,83 +49,30 @@ char *rts_argv[MAX_RTS_ARGS]; #define RTS 1 #define PGM 0 -#if defined(GRAN) - -static char *gran_debug_opts_strs[] = { - "DEBUG (-bDe, -bD1): event_trace; printing event trace.\n", - "DEBUG (-bDE, -bD2): event_stats; printing event statistics.\n", - "DEBUG (-bDb, -bD4): bq; check blocking queues\n", - "DEBUG (-bDG, -bD8): pack; routines for (un-)packing graph structures.\n", - "DEBUG (-bDq, -bD16): checkSparkQ; check consistency of the spark queues.\n", - "DEBUG (-bDf, -bD32): thunkStealing; print forwarding of fetches.\n", - "DEBUG (-bDr, -bD64): randomSteal; stealing sparks/threads from random PEs.\n", - "DEBUG (-bDF, -bD128): findWork; searching spark-pools (local & remote), thread queues for work.\n", - "DEBUG (-bDu, -bD256): unused; currently unused flag.\n", - "DEBUG (-bDS, -bD512): pri; priority sparking or scheduling.\n", - "DEBUG (-bD:, -bD1024): checkLight; check GranSim-Light setup.\n", - "DEBUG (-bDo, -bD2048): sortedQ; check whether spark/thread queues are sorted.\n", - "DEBUG (-bDz, -bD4096): blockOnFetch; check for blocked on fetch.\n", - "DEBUG (-bDP, -bD8192): packBuffer; routines handling pack buffer (GranSim internal!).\n", - "DEBUG (-bDt, -bD16384): blockOnFetch_sanity; check for TSO asleep on fetch.\n", -}; +/* ----------------------------------------------------------------------------- + Static function decls + -------------------------------------------------------------------------- */ -/* one character codes for the available debug options */ -static char gran_debug_opts_flags[] = { - 'e', 'E', 'b', 'G', 'q', 'f', 'r', 'F', 'u', 'S', ':', 'o', 'z', 'P', 't' -}; +static void procRtsOpts (int rts_argc0, RtsOptsEnabledEnum enabled); -#elif defined(PAR) - -static char *par_debug_opts_strs[] = { - "DEBUG (-qDv, -qD1): verbose; be generally verbose with parallel related stuff.\n", - "DEBUG (-qDq, -qD2): bq; print blocking queues.\n", - "DEBUG (-qDs, -qD4): schedule; scheduling of parallel threads.\n", - "DEBUG (-qDe, -qD8): free; free messages.\n", - "DEBUG (-qDr, -qD16): resume; resume messages.\n", - "DEBUG (-qDw, -qD32): weight; print weights and distrib GC stuff.\n", - "DEBUG (-qDF, -qD64): fetch; fetch messages.\n", - // "DEBUG (-qDa, -qD128): ack; ack messages.\n", - "DEBUG (-qDf, -qD128): fish; fish messages.\n", - //"DEBUG (-qDo, -qD512): forward; forwarding messages to other PEs.\n", - "DEBUG (-qDl, -qD256): tables; print internal LAGA etc tables.\n", - "DEBUG (-qDo, -qD512): packet; packets and graph structures when packing.\n", - "DEBUG (-qDp, -qD1024): pack; packing and unpacking graphs.\n", - "DEBUG (-qDz, -qD2048): paranoia; ridiculously detailed output (excellent for filling a partition).\n" -}; +static void normaliseRtsOpts (void); -/* one character codes for the available debug options */ -static char par_debug_opts_flags[] = { - 'v', 'q', 's', 'e', 'r', 'w', 'F', 'f', 'l', 'o', 'p', 'z' -}; +static void initStatsFile (FILE *f); -#endif /* PAR */ +static int openStatsFile (char *filename, const char *FILENAME_FMT, + FILE **file_ret); -/* ----------------------------------------------------------------------------- - Static function decls - -------------------------------------------------------------------------- */ +static StgWord64 decodeSize (const char *flag, nat offset, + StgWord64 min, StgWord64 max); -static int /* return NULL on error */ -open_stats_file ( - I_ arg, - int argc, char *argv[], - int rts_argc, char *rts_argv[], - const char *FILENAME_FMT, - FILE **file_ret); - -static I_ decode(const char *s); -static void bad_option(const char *s); - -#if defined(GRAN) -static void enable_GranSimLight(void); -static void process_gran_option(int arg, int *rts_argc, char *rts_argv[], rtsBool *error); -static void set_GranSim_debug_options(nat n); -static void help_GranSim_debug_options(nat n); -#elif defined(PAR) -static void process_par_option(int arg, int *rts_argc, char *rts_argv[], rtsBool *error); -static void set_par_debug_options(nat n); -static void help_par_debug_options(nat n); +static void bad_option (const char *s); + +#ifdef TRACING +static void read_trace_flags(char *arg); #endif +static void errorUsage (void) GNU_ATTRIBUTE(__noreturn__); + /* ----------------------------------------------------------------------------- * Command-line option parsing routines. * ---------------------------------------------------------------------------*/ @@ -128,25 +84,21 @@ void initRtsFlagsDefaults(void) RtsFlags.GcFlags.maxStkSize = (8 * 1024 * 1024) / sizeof(W_); RtsFlags.GcFlags.initialStkSize = 1024 / sizeof(W_); + RtsFlags.GcFlags.stkChunkSize = (32 * 1024) / sizeof(W_); + RtsFlags.GcFlags.stkChunkBufferSize = (1 * 1024) / sizeof(W_); RtsFlags.GcFlags.minAllocAreaSize = (512 * 1024) / BLOCK_SIZE; RtsFlags.GcFlags.minOldGenSize = (1024 * 1024) / BLOCK_SIZE; RtsFlags.GcFlags.maxHeapSize = 0; /* off by default */ RtsFlags.GcFlags.heapSizeSuggestion = 0; /* none */ + RtsFlags.GcFlags.heapSizeSuggestionAuto = rtsFalse; RtsFlags.GcFlags.pcFreeHeap = 3; /* 3% */ RtsFlags.GcFlags.oldGenFactor = 2; -#if defined(PAR) - /* A hack currently needed for GUM -- HWL */ - RtsFlags.GcFlags.generations = 1; - RtsFlags.GcFlags.steps = 2; - RtsFlags.GcFlags.squeezeUpdFrames = rtsFalse; -#else RtsFlags.GcFlags.generations = 2; - RtsFlags.GcFlags.steps = 2; RtsFlags.GcFlags.squeezeUpdFrames = rtsTrue; -#endif RtsFlags.GcFlags.compact = rtsFalse; RtsFlags.GcFlags.compactThreshold = 30.0; + RtsFlags.GcFlags.sweep = rtsFalse; #ifdef RTS_GTK_FRONTPANEL RtsFlags.GcFlags.frontpanel = rtsFalse; #endif @@ -175,16 +127,16 @@ void initRtsFlagsDefaults(void) RtsFlags.DebugFlags.stable = rtsFalse; RtsFlags.DebugFlags.stm = rtsFalse; RtsFlags.DebugFlags.prof = rtsFalse; - RtsFlags.DebugFlags.gran = rtsFalse; - RtsFlags.DebugFlags.par = rtsFalse; + RtsFlags.DebugFlags.apply = rtsFalse; RtsFlags.DebugFlags.linker = rtsFalse; RtsFlags.DebugFlags.squeeze = rtsFalse; RtsFlags.DebugFlags.hpc = rtsFalse; + RtsFlags.DebugFlags.sparks = rtsFalse; #endif -#if defined(PROFILING) || defined(PAR) +#if defined(PROFILING) RtsFlags.CcFlags.doCostCentres = 0; -#endif /* PROFILING or PAR */ +#endif /* PROFILING */ RtsFlags.ProfFlags.doHeapProfile = rtsFalse; RtsFlags.ProfFlags.profileInterval = 100; @@ -203,123 +155,42 @@ void initRtsFlagsDefaults(void) RtsFlags.ProfFlags.bioSelector = NULL; #endif +#ifdef TRACING + RtsFlags.TraceFlags.tracing = TRACE_NONE; + RtsFlags.TraceFlags.timestamp = rtsFalse; + RtsFlags.TraceFlags.scheduler = rtsFalse; +#endif + RtsFlags.MiscFlags.tickInterval = 20; /* In milliseconds */ RtsFlags.ConcFlags.ctxtSwitchTime = 20; /* In milliseconds */ RtsFlags.MiscFlags.install_signal_handlers = rtsTrue; + RtsFlags.MiscFlags.machineReadable = rtsFalse; + RtsFlags.MiscFlags.linkerMemBase = 0; #ifdef THREADED_RTS RtsFlags.ParFlags.nNodes = 1; RtsFlags.ParFlags.migrate = rtsTrue; - RtsFlags.ParFlags.wakeupMigrate = rtsFalse; -#endif - -#ifdef PAR - RtsFlags.ParFlags.ParStats.Full = rtsFalse; - RtsFlags.ParFlags.ParStats.Suppressed = rtsFalse; - RtsFlags.ParFlags.ParStats.Binary = rtsFalse; - RtsFlags.ParFlags.ParStats.Sparks = rtsFalse; - RtsFlags.ParFlags.ParStats.Heap = rtsFalse; - RtsFlags.ParFlags.ParStats.NewLogfile = rtsFalse; - RtsFlags.ParFlags.ParStats.Global = rtsFalse; - - RtsFlags.ParFlags.outputDisabled = rtsFalse; -#ifdef DIST - RtsFlags.ParFlags.doFairScheduling = rtsTrue; /* fair sched by def */ -#else - RtsFlags.ParFlags.doFairScheduling = rtsFalse; /* unfair sched by def */ -#endif - RtsFlags.ParFlags.packBufferSize = 1024; - RtsFlags.ParFlags.thunksToPack = 1; /* 0 ... infinity; */ - RtsFlags.ParFlags.globalising = 1; /* 0 ... everything */ - RtsFlags.ParFlags.maxThreads = 1024; - RtsFlags.ParFlags.maxFishes = MAX_FISHES; - RtsFlags.ParFlags.fishDelay = FISH_DELAY; + RtsFlags.ParFlags.parGcEnabled = 1; + RtsFlags.ParFlags.parGcGen = 0; + RtsFlags.ParFlags.parGcLoadBalancingEnabled = rtsTrue; + RtsFlags.ParFlags.parGcLoadBalancingGen = 1; + RtsFlags.ParFlags.setAffinity = 0; #endif -#if defined(PAR) || defined(THREADED_RTS) +#if defined(THREADED_RTS) RtsFlags.ParFlags.maxLocalSparks = 4096; -#endif /* PAR || THREADED_RTS */ - -#if defined(GRAN) - /* ToDo: check defaults for GranSim and GUM */ - RtsFlags.GcFlags.maxStkSize = (8 * 1024 * 1024) / sizeof(W_); - RtsFlags.GcFlags.initialStkSize = 1024 / sizeof(W_); - - RtsFlags.GranFlags.maxThreads = 65536; // refers to mandatory threads - RtsFlags.GranFlags.GranSimStats.Full = rtsFalse; - RtsFlags.GranFlags.GranSimStats.Suppressed = rtsFalse; - RtsFlags.GranFlags.GranSimStats.Binary = rtsFalse; - RtsFlags.GranFlags.GranSimStats.Sparks = rtsFalse; - RtsFlags.GranFlags.GranSimStats.Heap = rtsFalse; - RtsFlags.GranFlags.GranSimStats.NewLogfile = rtsFalse; - RtsFlags.GranFlags.GranSimStats.Global = rtsFalse; - - RtsFlags.GranFlags.packBufferSize = 1024; - RtsFlags.GranFlags.packBufferSize_internal = GRANSIM_DEFAULT_PACK_BUFFER_SIZE; - - RtsFlags.GranFlags.proc = MAX_PROC; - RtsFlags.GranFlags.Fishing = rtsFalse; - RtsFlags.GranFlags.maxFishes = MAX_FISHES; - RtsFlags.GranFlags.time_slice = GRAN_TIME_SLICE; - RtsFlags.GranFlags.Light = rtsFalse; - - RtsFlags.GranFlags.Costs.latency = LATENCY; - RtsFlags.GranFlags.Costs.additional_latency = ADDITIONAL_LATENCY; - RtsFlags.GranFlags.Costs.fetchtime = FETCHTIME; - RtsFlags.GranFlags.Costs.lunblocktime = LOCALUNBLOCKTIME; - RtsFlags.GranFlags.Costs.gunblocktime = GLOBALUNBLOCKTIME; - RtsFlags.GranFlags.Costs.mpacktime = MSGPACKTIME; - RtsFlags.GranFlags.Costs.munpacktime = MSGUNPACKTIME; - RtsFlags.GranFlags.Costs.mtidytime = MSGTIDYTIME; - - RtsFlags.GranFlags.Costs.threadcreatetime = THREADCREATETIME; - RtsFlags.GranFlags.Costs.threadqueuetime = THREADQUEUETIME; - RtsFlags.GranFlags.Costs.threaddescheduletime = THREADDESCHEDULETIME; - RtsFlags.GranFlags.Costs.threadscheduletime = THREADSCHEDULETIME; - RtsFlags.GranFlags.Costs.threadcontextswitchtime = THREADCONTEXTSWITCHTIME; - - RtsFlags.GranFlags.Costs.arith_cost = ARITH_COST; - RtsFlags.GranFlags.Costs.branch_cost = BRANCH_COST; - RtsFlags.GranFlags.Costs.load_cost = LOAD_COST; - RtsFlags.GranFlags.Costs.store_cost = STORE_COST; - RtsFlags.GranFlags.Costs.float_cost = FLOAT_COST; - - RtsFlags.GranFlags.Costs.heapalloc_cost = HEAPALLOC_COST; - - RtsFlags.GranFlags.Costs.pri_spark_overhead = PRI_SPARK_OVERHEAD; - RtsFlags.GranFlags.Costs.pri_sched_overhead = PRI_SCHED_OVERHEAD; - - RtsFlags.GranFlags.DoFairSchedule = rtsFalse; - RtsFlags.GranFlags.DoAsyncFetch = rtsFalse; - RtsFlags.GranFlags.DoStealThreadsFirst = rtsFalse; - RtsFlags.GranFlags.DoAlwaysCreateThreads = rtsFalse; - RtsFlags.GranFlags.DoBulkFetching = rtsFalse; - RtsFlags.GranFlags.DoThreadMigration = rtsFalse; - RtsFlags.GranFlags.FetchStrategy = 2; - RtsFlags.GranFlags.PreferSparksOfLocalNodes = rtsFalse; - RtsFlags.GranFlags.DoPrioritySparking = rtsFalse; - RtsFlags.GranFlags.DoPriorityScheduling = rtsFalse; - RtsFlags.GranFlags.SparkPriority = 0; - RtsFlags.GranFlags.SparkPriority2 = 0; - RtsFlags.GranFlags.RandomPriorities = rtsFalse; - RtsFlags.GranFlags.InversePriorities = rtsFalse; - RtsFlags.GranFlags.IgnorePriorities = rtsFalse; - RtsFlags.GranFlags.ThunksToPack = 0; - RtsFlags.GranFlags.RandomSteal = rtsTrue; -#endif +#endif /* THREADED_RTS */ #ifdef TICKY_TICKY RtsFlags.TickyFlags.showTickyStats = rtsFalse; RtsFlags.TickyFlags.tickyFile = NULL; #endif - RtsFlags.TraceFlags.timestamp = rtsFalse; - RtsFlags.TraceFlags.sched = rtsFalse; - #ifdef USE_PAPI /* By default no special measurements taken */ RtsFlags.PapiFlags.eventType = 0; + RtsFlags.PapiFlags.numUserEvents = 0; #endif } @@ -339,24 +210,28 @@ usage_text[] = { " --info Print information about the RTS used by this program", "", " -K Sets the maximum stack size (default 8M) Egs: -K32k -K512k", -" -k Sets the initial thread stack size (default 1k) Egs: -k4k -k2m", +" -ki Sets the initial thread stack size (default 1k) Egs: -ki4k -ki2m", +" -kc Sets the stack chunk size (default 32k)", +" -kb Sets the stack chunk buffer size (default 1k)", "", -" -A Sets the minimum allocation area size (default 256k) Egs: -A1m -A10k", +" -A Sets the minimum allocation area size (default 512k) Egs: -A1m -A10k", " -M Sets the maximum heap size (default unlimited) Egs: -M256k -M1G", " -H Sets the minimum heap size (default 0M) Egs: -H24m -H1G", " -m Minimum % of heap which must be available (default 3%)", " -G Number of generations (default: 2)", -" -T Number of steps in younger generations (default: 2)", -" -c Auto-enable compaction of the oldest generation when live data is", -" at least % of the maximum heap size set with -M (default: 30%)", -" -c Enable compaction for all major collections", +" -c Use in-place compaction instead of copying in the oldest generation", +" when live data is at least % of the maximum heap size set with", +" -M (default: 30%)", +" -c Use in-place compaction for all oldest generation collections", +" (the default is to use copying)", +" -w Use mark-region for the oldest generation (experimental)", #if defined(THREADED_RTS) " -I Perform full GC after idle time (default: 0.3, 0 == off)", #endif "", -" -t One-line GC statistics (default file: .stat)", -" -s Summary GC statistics (with -Sstderr going to stderr)", -" -S Detailed GC statistics", +" -t[] One-line GC statistics (if omitted, uses stderr)", +" -s[] Summary GC statistics (if omitted, uses stderr)", +" -S[] Detailed GC statistics (if omitted, uses stderr)", #ifdef RTS_GTK_FRONTPANEL " -f Display front panel (requires X11 & GTK+)", #endif @@ -364,7 +239,7 @@ usage_text[] = { "", " -Z Don't squeeze out update frames on stack overflow", " -B Sound the bell at the start of each garbage collection", -#if defined(PROFILING) || defined(PAR) +#if defined(PROFILING) "", " -px Time/allocation profile (XML) (output file .prof)", " -p Time/allocation profile (output file .prof)", @@ -398,9 +273,22 @@ usage_text[] = { " -xt Include threads (TSOs) in a heap profile", "", " -xc Show current cost centre stack on raising an exception", -"", # endif #endif /* PROFILING or PAR */ + +#ifdef TRACING +"", +" -l[flags] Log events in binary format to the file .eventlog", +# ifdef DEBUG +" -v[flags] Log events to stderr", +# endif +" where [flags] can contain:", +" s scheduler events", +# ifdef DEBUG +" t add time stamps (only useful with -v)", +# endif +#endif + #if !defined(PROFILING) "", " -hT Heap residency profile (output file .hp)", @@ -411,10 +299,6 @@ usage_text[] = { " -r Produce ticky-ticky statistics (with -rstderr for stderr)", "", #endif -#if defined(PAR) -" -N Use PVMish processors in parallel (default: 2)", -/* NB: the -N is implemented by the driver!! */ -#endif " -C Context-switch interval in seconds.", " 0 or no argument means switch as often as possible.", " Default: 0.02 sec; resolution is set by -V below.", @@ -422,9 +306,6 @@ usage_text[] = { " This sets the resolution for -C and the profile timer -i.", " Default: 0.02 sec.", "", -" -vs Trace scheduler events (see also -Ds with -debug)", -" -vt Time-stamp trace messages", -"", #if defined(DEBUG) " -Ds DEBUG: scheduler", " -Di DEBUG: interpreter", @@ -435,40 +316,36 @@ usage_text[] = { " -DS DEBUG: sanity", " -Dt DEBUG: stable", " -Dp DEBUG: prof", -" -Dr DEBUG: gran", -" -DP DEBUG: par", +" -De DEBUG: event logging", +" -Da DEBUG: apply", " -Dl DEBUG: linker", " -Dm DEBUG: stm", -" -Dz DEBUG: stack squezing", +" -Dz DEBUG: stack squeezing", " -Dc DEBUG: program coverage", +" -Dr DEBUG: sparks", +"", +" NOTE: DEBUG events are sent to stderr by default; add -l to create a", +" binary event log file instead.", "", #endif /* DEBUG */ #if defined(THREADED_RTS) && !defined(NOSMP) -" -N Use OS threads (default: 1)", +" -N Use processors (default: 1)", +" -N Determine the number of processors to use automatically", +" -qg[] Use parallel GC only for generations >= ", +" (default: 0, -qg alone turns off parallel GC)", +" -qb[] Use load-balancing in the parallel GC only for generations >= ", +" (default: 1, -qb alone turns off load-balancing)", +" -qa Use the OS to set thread affinity (experimental)", " -qm Don't automatically migrate threads between CPUs", -" -qw Migrate a thread to the current CPU when it is woken up", #endif " --install-signal-handlers=", " Install signal handlers (default: yes)", -#if defined(THREADED_RTS) || defined(PAR) -" -e Size of spark pools (default 100)", -#endif -#if defined(PAR) -" -t Set maximum number of advisory threads per PE (default 32)", -" -qP Enable activity profile (output files in ~/*.gr)", -" -qQ Set pack-buffer size (default: 1024)", -" -qd Turn on PVM-ish debugging", -" -qO Disable output for performance measurement", -#endif -#if defined(THREADED_RTS) || defined(PAR) +#if defined(THREADED_RTS) " -e Maximum number of outstanding local sparks (default: 4096)", #endif -#if defined(PAR) -" -d Turn on PVM-ish debugging", -" -O Disable output for performance measurement", -#endif /* PAR */ -#if defined(GRAN) /* ToDo: fill in decent Docu here */ -" -b... All GranSim options start with -b; see GranSim User's Guide for details", +#if defined(x86_64_HOST_ARCH) +" -xm Base address to mmap memory in the GHCi linker", +" (hex; must be <80000000)", #endif #if defined(USE_PAPI) " -aX CPU performance counter measurements using PAPI", @@ -480,6 +357,8 @@ usage_text[] = { " b - branch mispredictions", " s - stalled cycles", " e - cache miss and branch misprediction events", +" +PAPI_EVENT - collect papi preset event PAPI_EVENT", +" #NATIVE_EVENT - collect native event NATIVE_EVENT (in hex)", #endif "", "RTS options may also be specified using the GHCRTS environment variable.", @@ -496,8 +375,7 @@ strequal(const char *a, const char * b) return(strcmp(a, b) == 0); } -static void -splitRtsFlags(char *s, int *rts_argc, char *rts_argv[]) +static void splitRtsFlags(char *s) { char *c1, *c2; @@ -509,11 +387,11 @@ splitRtsFlags(char *s, int *rts_argc, char *rts_argv[]) if (c1 == c2) { break; } - if (*rts_argc < MAX_RTS_ARGS-1) { + if (rts_argc < MAX_RTS_ARGS-1) { s = stgMallocBytes(c2-c1+1, "RtsFlags.c:splitRtsFlags()"); strncpy(s, c1, c2-c1); s[c2-c1] = '\0'; - rts_argv[(*rts_argc)++] = s; + rts_argv[rts_argc++] = s; } else { barf("too many RTS arguments (max %d)", MAX_RTS_ARGS-1); } @@ -522,27 +400,48 @@ splitRtsFlags(char *s, int *rts_argc, char *rts_argv[]) } while (*c1 != '\0'); } -void -setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[]) +/* ----------------------------------------------------------------------------- + Parse the command line arguments, collecting options for the RTS. + + On return: + - argv[] is *modified*, any RTS options have been stripped out + - *argc contains the new count of arguments in argv[] + + - rts_argv[] (global) contains the collected RTS args + - rts_argc (global) contains the count of args in rts_argv + + - prog_argv[] (global) contains the non-RTS args (== argv) + - prog_argc (global) contains the count of args in prog_argv + + - prog_name (global) contains the basename of argv[0] + + -------------------------------------------------------------------------- */ + +void setupRtsFlags (int *argc, char *argv[]) { - rtsBool error = rtsFalse; - I_ mode; - I_ arg, total_arg; + nat mode; + nat total_arg; + nat arg, rts_argc0; setProgName (argv); total_arg = *argc; arg = 1; *argc = 1; - *rts_argc = 0; + rts_argc = 0; + + rts_argc0 = rts_argc; // process arguments from the ghc_rts_opts global variable first. // (arguments from the GHCRTS environment variable and the command // line override these). { if (ghc_rts_opts != NULL) { - splitRtsFlags(ghc_rts_opts, rts_argc, rts_argv); - } + splitRtsFlags(ghc_rts_opts); + // opts from ghc_rts_opts are always enabled: + procRtsOpts(rts_argc0, RtsOptsAll); + rts_argc0 = rts_argc; + } } // process arguments from the GHCRTS environment variable next @@ -551,8 +450,15 @@ setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[]) char *ghc_rts = getenv("GHCRTS"); if (ghc_rts != NULL) { - splitRtsFlags(ghc_rts, rts_argc, rts_argv); - } + if (rtsOptsEnabled == RtsOptsNone) { + errorBelch("Warning: Ignoring GHCRTS variable as RTS options are disabled.\n Link with -rtsopts to enable them."); + // We don't actually exit, just warn + } else { + splitRtsFlags(ghc_rts); + procRtsOpts(rts_argc0, rtsOptsEnabled); + rts_argc0 = rts_argc; + } + } } // Split arguments (argv) into PGM (argv) and RTS (rts_argv) parts @@ -570,15 +476,15 @@ setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[]) break; } else if (strequal("+RTS", argv[arg])) { - mode = RTS; - } + mode = RTS; + } else if (strequal("-RTS", argv[arg])) { mode = PGM; } - else if (mode == RTS && *rts_argc < MAX_RTS_ARGS-1) { - rts_argv[(*rts_argc)++] = argv[arg]; - } - else if (mode == PGM) { + else if (mode == RTS && rts_argc < MAX_RTS_ARGS-1) { + rts_argv[rts_argc++] = argv[arg]; + } + else if (mode == PGM) { argv[(*argc)++] = argv[arg]; } else { @@ -590,39 +496,75 @@ setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[]) argv[(*argc)++] = argv[arg]; } argv[*argc] = (char *) 0; - rts_argv[*rts_argc] = (char *) 0; + rts_argv[rts_argc] = (char *) 0; + + procRtsOpts(rts_argc0, rtsOptsEnabled); + + normaliseRtsOpts(); + + setProgArgv(*argc, argv); + + if (RtsFlags.GcFlags.statsFile != NULL) { + initStatsFile (RtsFlags.GcFlags.statsFile); + } + if (RtsFlags.TickyFlags.tickyFile != NULL) { + initStatsFile (RtsFlags.GcFlags.statsFile); + } +} + +/* ----------------------------------------------------------------------------- + * procRtsOpts: Process rts_argv between rts_argc0 and rts_argc. + * -------------------------------------------------------------------------- */ + +static void procRtsOpts (int rts_argc0, RtsOptsEnabledEnum enabled) +{ + rtsBool error = rtsFalse; + int arg; // Process RTS (rts_argv) part: mainly to determine statsfile - for (arg = 0; arg < *rts_argc; arg++) { - if (rts_argv[arg][0] != '-') { + for (arg = rts_argc0; arg < rts_argc; arg++) { + if (rts_argv[arg][0] != '-') { fflush(stdout); errorBelch("unexpected RTS argument: %s", rts_argv[arg]); error = rtsTrue; } else { - switch(rts_argv[arg][1]) { - - /* process: general args, then PROFILING-only ones, - then CONCURRENT-only, PARallel-only, GRAN-only, - TICKY-only (same order as defined in RtsFlags.lh); - within those groups, mostly in case-insensitive - alphabetical order. - Final group is x*, which allows for more options. + + if (enabled == RtsOptsNone) { + errorBelch("RTS options are disabled. Link with -rtsopts to enable them."); + stg_exit(EXIT_FAILURE); + } + + switch(rts_argv[arg][1]) { + case '-': + if (strequal("info", &rts_argv[arg][2])) { + printRtsInfo(); + stg_exit(0); + } + break; + default: + break; + } + + if (enabled == RtsOptsSafeOnly) { + errorBelch("Most RTS options are disabled. Link with -rtsopts to enable them."); + stg_exit(EXIT_FAILURE); + } + + switch(rts_argv[arg][1]) { + + /* process: general args, then PROFILING-only ones, then + CONCURRENT-only, TICKY-only (same order as defined in + RtsFlags.lh); within those groups, mostly in + case-insensitive alphabetical order. Final group is + x*, which allows for more options. */ #ifdef TICKY_TICKY # define TICKY_BUILD_ONLY(x) x #else # define TICKY_BUILD_ONLY(x) \ -errorBelch("not built for: ticky-ticky stats"); \ -error = rtsTrue; -#endif - -#if defined(PROFILING) -# define COST_CENTRE_USING_BUILD_ONLY(x) x -#else -# define COST_CENTRE_USING_BUILD_ONLY(x) \ -errorBelch("not built for: -prof or -parallel"); \ +errorBelch("the flag %s requires the program to be built with -ticky", rts_argv[arg]); \ error = rtsTrue; #endif @@ -630,15 +572,15 @@ error = rtsTrue; # define PROFILING_BUILD_ONLY(x) x #else # define PROFILING_BUILD_ONLY(x) \ -errorBelch("not built for: -prof"); \ +errorBelch("the flag %s requires the program to be built with -prof", rts_argv[arg]); \ error = rtsTrue; #endif -#ifdef PAR -# define PAR_BUILD_ONLY(x) x +#ifdef TRACING +# define TRACING_BUILD_ONLY(x) x #else -# define PAR_BUILD_ONLY(x) \ -errorBelch("not built for: -parallel"); \ +# define TRACING_BUILD_ONLY(x) \ +errorBelch("the flag %s requires the program to be built with -eventlog or -debug", rts_argv[arg]); \ error = rtsTrue; #endif @@ -646,23 +588,15 @@ error = rtsTrue; # define THREADED_BUILD_ONLY(x) x #else # define THREADED_BUILD_ONLY(x) \ -errorBelch("not built for: -smp"); \ +errorBelch("the flag %s requires the program to be built with -threaded", rts_argv[arg]); \ error = rtsTrue; #endif -#if defined(THREADED_RTS) || defined(PAR) -# define PAR_OR_THREADED_BUILD_ONLY(x) x -#else -# define PAR_OR_THREADED_BUILD_ONLY(x) \ -errorBelch("not built for: -parallel or -smp"); \ -error = rtsTrue; -#endif - -#ifdef GRAN -# define GRAN_BUILD_ONLY(x) x +#ifdef DEBUG +# define DEBUG_BUILD_ONLY(x) x #else -# define GRAN_BUILD_ONLY(x) \ -errorBelch("not built for: -gransim"); \ +# define DEBUG_BUILD_ONLY(x) \ +errorBelch("the flag %s requires the program to be built with -debug", rts_argv[arg]); \ error = rtsTrue; #endif @@ -683,10 +617,14 @@ error = rtsTrue; &rts_argv[arg][2])) { RtsFlags.MiscFlags.install_signal_handlers = rtsFalse; } + else if (strequal("machine-readable", + &rts_argv[arg][2])) { + RtsFlags.MiscFlags.machineReadable = rtsTrue; + } else if (strequal("info", &rts_argv[arg][2])) { printRtsInfo(); - exit(0); + stg_exit(0); } else { errorBelch("unknown RTS option: %s",rts_argv[arg]); @@ -694,12 +632,10 @@ error = rtsTrue; } break; case 'A': - RtsFlags.GcFlags.minAllocAreaSize - = decode(rts_argv[arg]+2) / BLOCK_SIZE; - if (RtsFlags.GcFlags.minAllocAreaSize <= 0) { - bad_option(rts_argv[arg]); - } - break; + RtsFlags.GcFlags.minAllocAreaSize + = decodeSize(rts_argv[arg], 2, BLOCK_SIZE, HS_INT_MAX) + / BLOCK_SIZE; + break; #ifdef USE_PAPI case 'a': @@ -719,6 +655,20 @@ error = rtsTrue; case 'e': RtsFlags.PapiFlags.eventType = PAPI_FLAG_CB_EVENTS; break; + case '+': + case '#': + if (RtsFlags.PapiFlags.numUserEvents >= MAX_PAPI_USER_EVENTS) { + errorBelch("maximum number of PAPI events reached"); + stg_exit(EXIT_FAILURE); + } + nat eventNum = RtsFlags.PapiFlags.numUserEvents++; + char kind = rts_argv[arg][2]; + nat eventKind = kind == '+' ? PAPI_PRESET_EVENT_KIND : PAPI_NATIVE_EVENT_KIND; + + RtsFlags.PapiFlags.userEvents[eventNum] = rts_argv[arg] + 3; + RtsFlags.PapiFlags.eventType = PAPI_USER_EVENTS; + RtsFlags.PapiFlags.userEventsKind[eventNum] = eventKind; + break; default: bad_option( rts_argv[arg] ); } @@ -738,6 +688,10 @@ error = rtsTrue; } break; + case 'w': + RtsFlags.GcFlags.sweep = rtsTrue; + break; + case 'F': RtsFlags.GcFlags.oldGenFactor = atof(rts_argv[arg]+2); @@ -745,8 +699,8 @@ error = rtsTrue; bad_option( rts_argv[arg] ); break; -#ifdef DEBUG case 'D': + DEBUG_BUILD_ONLY( { char *c; @@ -779,12 +733,6 @@ error = rtsTrue; case 'p': RtsFlags.DebugFlags.prof = rtsTrue; break; - case 'r': - RtsFlags.DebugFlags.gran = rtsTrue; - break; - case 'P': - RtsFlags.DebugFlags.par = rtsTrue; - break; case 'l': RtsFlags.DebugFlags.linker = rtsTrue; break; @@ -800,70 +748,72 @@ error = rtsTrue; case 'c': RtsFlags.DebugFlags.hpc = rtsTrue; break; + case 'r': + RtsFlags.DebugFlags.sparks = rtsTrue; + break; default: bad_option( rts_argv[arg] ); } } - break; - } -#endif + // -Dx also turns on -v. Use -l to direct trace + // events to the .eventlog file instead. + RtsFlags.TraceFlags.tracing = TRACE_STDERR; + }) + break; case 'K': - RtsFlags.GcFlags.maxStkSize = - decode(rts_argv[arg]+2) / sizeof(W_); - - if (RtsFlags.GcFlags.maxStkSize == 0) - bad_option( rts_argv[arg] ); - break; + RtsFlags.GcFlags.maxStkSize = + decodeSize(rts_argv[arg], 2, sizeof(W_), HS_WORD_MAX) / sizeof(W_); + break; case 'k': - RtsFlags.GcFlags.initialStkSize = - decode(rts_argv[arg]+2) / sizeof(W_); - - if (RtsFlags.GcFlags.initialStkSize == 0) - bad_option( rts_argv[arg] ); - break; - - case 'M': - RtsFlags.GcFlags.maxHeapSize = - decode(rts_argv[arg]+2) / BLOCK_SIZE; - /* user give size in *bytes* but "maxHeapSize" is in *blocks* */ + switch(rts_argv[arg][2]) { + case 'c': + RtsFlags.GcFlags.stkChunkSize = + decodeSize(rts_argv[arg], 3, sizeof(W_), HS_WORD_MAX) / sizeof(W_); + break; + case 'b': + RtsFlags.GcFlags.stkChunkBufferSize = + decodeSize(rts_argv[arg], 3, sizeof(W_), HS_WORD_MAX) / sizeof(W_); + break; + case 'i': + RtsFlags.GcFlags.initialStkSize = + decodeSize(rts_argv[arg], 3, sizeof(W_), HS_WORD_MAX) / sizeof(W_); + break; + default: + RtsFlags.GcFlags.initialStkSize = + decodeSize(rts_argv[arg], 2, sizeof(W_), HS_WORD_MAX) / sizeof(W_); + break; + } + break; - if (RtsFlags.GcFlags.maxHeapSize <= 0) { - bad_option(rts_argv[arg]); - } - break; + case 'M': + RtsFlags.GcFlags.maxHeapSize = + decodeSize(rts_argv[arg], 2, BLOCK_SIZE, HS_WORD_MAX) / BLOCK_SIZE; + /* user give size in *bytes* but "maxHeapSize" is in *blocks* */ + break; case 'm': - RtsFlags.GcFlags.pcFreeHeap = atof(rts_argv[arg]+2); + RtsFlags.GcFlags.pcFreeHeap = atof(rts_argv[arg]+2); - if (RtsFlags.GcFlags.pcFreeHeap < 0 || - RtsFlags.GcFlags.pcFreeHeap > 100) - bad_option( rts_argv[arg] ); - break; + if (RtsFlags.GcFlags.pcFreeHeap < 0 || + RtsFlags.GcFlags.pcFreeHeap > 100) + bad_option( rts_argv[arg] ); + break; case 'G': - RtsFlags.GcFlags.generations = decode(rts_argv[arg]+2); - if (RtsFlags.GcFlags.generations < 1) { - bad_option(rts_argv[arg]); - } - break; - - case 'T': - RtsFlags.GcFlags.steps = decode(rts_argv[arg]+2); - if (RtsFlags.GcFlags.steps < 1) { - bad_option(rts_argv[arg]); - } - break; + RtsFlags.GcFlags.generations = + decodeSize(rts_argv[arg], 2, 1, HS_INT_MAX); + break; case 'H': - RtsFlags.GcFlags.heapSizeSuggestion = - decode(rts_argv[arg]+2) / BLOCK_SIZE; - - if (RtsFlags.GcFlags.heapSizeSuggestion <= 0) { - bad_option(rts_argv[arg]); - } - break; + if (rts_argv[arg][2] == '\0') { + RtsFlags.GcFlags.heapSizeSuggestionAuto = rtsTrue; + } else { + RtsFlags.GcFlags.heapSizeSuggestion = + (nat)(decodeSize(rts_argv[arg], 2, BLOCK_SIZE, HS_WORD_MAX) / BLOCK_SIZE); + } + break; #ifdef RTS_GTK_FRONTPANEL case 'f': @@ -896,20 +846,13 @@ error = rtsTrue; goto stats; stats: -#ifdef PAR - /* Opening all those files would almost certainly fail... */ - // RtsFlags.ParFlags.ParStats.Full = rtsTrue; - RtsFlags.GcFlags.statsFile = NULL; /* temporary; ToDo: rm */ -#else { int r; - r = open_stats_file(arg, *argc, argv, - *rts_argc, rts_argv, STAT_FILENAME_FMT, - &RtsFlags.GcFlags.statsFile); + r = openStatsFile(rts_argv[arg]+2, NULL, + &RtsFlags.GcFlags.statsFile); if (r == -1) { error = rtsTrue; } } -#endif - break; + break; case 'Z': RtsFlags.GcFlags.squeezeUpdFrames = rtsFalse; @@ -919,7 +862,7 @@ error = rtsTrue; case 'P': /* detailed cost centre profiling (time/alloc) */ case 'p': /* cost centre profiling (time/alloc) */ - COST_CENTRE_USING_BUILD_ONLY( + PROFILING_BUILD_ONLY( switch (rts_argv[arg][2]) { case 'x': RtsFlags.CcFlags.doCostCentres = COST_CENTRES_XML; @@ -1107,10 +1050,16 @@ error = rtsTrue; } break; -#if defined(THREADED_RTS) && !defined(NOSMP) +#if !defined(NOSMP) case 'N': THREADED_BUILD_ONLY( - if (rts_argv[arg][2] != '\0') { + if (rts_argv[arg][2] == '\0') { +#if defined(PROFILING) + RtsFlags.ParFlags.nNodes = 1; +#else + RtsFlags.ParFlags.nNodes = getNumberOfProcessors(); +#endif + } else { RtsFlags.ParFlags.nNodes = strtol(rts_argv[arg]+2, (char **) NULL, 10); if (RtsFlags.ParFlags.nNodes <= 0) { @@ -1126,28 +1075,65 @@ error = rtsTrue; } ) break; + case 'g': + THREADED_BUILD_ONLY( + switch (rts_argv[arg][2]) { + case '1': + // backwards compat only + RtsFlags.ParFlags.parGcEnabled = rtsFalse; + break; + default: + errorBelch("unknown RTS option: %s",rts_argv[arg]); + error = rtsTrue; + break; + } + ) break; + case 'q': + THREADED_BUILD_ONLY( switch (rts_argv[arg][2]) { case '\0': errorBelch("incomplete RTS option: %s",rts_argv[arg]); error = rtsTrue; break; + case 'g': + if (rts_argv[arg][3] == '\0') { + RtsFlags.ParFlags.parGcEnabled = rtsFalse; + } else { + RtsFlags.ParFlags.parGcEnabled = rtsTrue; + RtsFlags.ParFlags.parGcGen + = strtol(rts_argv[arg]+3, (char **) NULL, 10); + } + break; + case 'b': + if (rts_argv[arg][3] == '\0') { + RtsFlags.ParFlags.parGcLoadBalancingEnabled = rtsFalse; + } + else { + RtsFlags.ParFlags.parGcLoadBalancingEnabled = rtsTrue; + RtsFlags.ParFlags.parGcLoadBalancingGen + = strtol(rts_argv[arg]+3, (char **) NULL, 10); + } + break; + case 'a': + RtsFlags.ParFlags.setAffinity = rtsTrue; + break; case 'm': RtsFlags.ParFlags.migrate = rtsFalse; break; - case 'w': - RtsFlags.ParFlags.wakeupMigrate = rtsTrue; - break; - default: + case 'w': + // -qw was removed; accepted for backwards compat + break; + default: errorBelch("unknown RTS option: %s",rts_argv[arg]); error = rtsTrue; break; } - break; + ) break; #endif /* =========== PARALLEL =========================== */ case 'e': - PAR_OR_THREADED_BUILD_ONLY( + THREADED_BUILD_ONLY( if (rts_argv[arg][2] != '\0') { RtsFlags.ParFlags.maxLocalSparks = strtol(rts_argv[arg]+2, (char **) NULL, 10); @@ -1158,20 +1144,6 @@ error = rtsTrue; } ) break; -#ifdef PAR - case 'q': - PAR_BUILD_ONLY( - process_par_option(arg, rts_argc, rts_argv, &error); - ) break; -#endif - - /* =========== GRAN =============================== */ - - case 'b': - GRAN_BUILD_ONLY( - process_gran_option(arg, rts_argc, rts_argv, &error); - ) break; - /* =========== TICKY ============================== */ case 'r': /* Basic profiling stats */ @@ -1181,33 +1153,28 @@ error = rtsTrue; { int r; - r = open_stats_file(arg, *argc, argv, - *rts_argc, rts_argv, TICKY_FILENAME_FMT, - &RtsFlags.TickyFlags.tickyFile); + r = openStatsFile(rts_argv[arg]+2, + TICKY_FILENAME_FMT, + &RtsFlags.TickyFlags.tickyFile); if (r == -1) { error = rtsTrue; } } ) break; /* =========== TRACING ---------=================== */ + case 'l': + TRACING_BUILD_ONLY( + RtsFlags.TraceFlags.tracing = TRACE_EVENTLOG; + read_trace_flags(&rts_argv[arg][2]); + ); + break; + case 'v': - switch(rts_argv[arg][2]) { - case '\0': - errorBelch("incomplete RTS option: %s",rts_argv[arg]); - error = rtsTrue; - break; - case 't': - RtsFlags.TraceFlags.timestamp = rtsTrue; - break; - case 's': - RtsFlags.TraceFlags.sched = rtsTrue; - break; - default: - errorBelch("unknown RTS option: %s",rts_argv[arg]); - error = rtsTrue; - break; - } - break; + DEBUG_BUILD_ONLY( + RtsFlags.TraceFlags.tracing = TRACE_STDERR; + read_trace_flags(&rts_argv[arg][2]); + ); + break; /* =========== EXTENDED OPTIONS =================== */ @@ -1228,7 +1195,22 @@ error = rtsTrue; } break; - case 'c': /* Debugging tool: show current cost centre on an exception */ +#if defined(x86_64_HOST_ARCH) + case 'm': /* linkerMemBase */ + if (rts_argv[arg][3] != '\0') { + RtsFlags.MiscFlags.linkerMemBase + = strtol(rts_argv[arg]+3, (char **) NULL, 16); + if (RtsFlags.MiscFlags.linkerMemBase > 0x80000000) { + errorBelch("-xm: value must be <80000000"); + error = rtsTrue; + } + } else { + RtsFlags.MiscFlags.linkerMemBase = 0; + } + break; +#endif + + case 'c': /* Debugging tool: show current cost centre on an exception */ PROFILING_BUILD_ONLY( RtsFlags.ProfFlags.showCCSOnException = rtsTrue; ); @@ -1258,6 +1240,16 @@ error = rtsTrue; } } + if (error) errorUsage(); +} + +/* ----------------------------------------------------------------------------- + * normaliseRtsOpts: Set some derived values, and make sure things are + * within sensible ranges. + * -------------------------------------------------------------------------- */ + +static void normaliseRtsOpts (void) +{ if (RtsFlags.MiscFlags.tickInterval < 0) { RtsFlags.MiscFlags.tickInterval = 50; } @@ -1306,989 +1298,23 @@ error = rtsTrue; RtsFlags.ProfFlags.profileIntervalTicks = 0; } - if (error) { - const char **p; - - fflush(stdout); - for (p = usage_text; *p; p++) - errorBelch("%s", *p); - stg_exit(EXIT_FAILURE); + if (RtsFlags.GcFlags.stkChunkBufferSize > + RtsFlags.GcFlags.stkChunkSize / 2) { + errorBelch("stack chunk buffer size (-kb) must be less than 50%% of the stack chunk size (-kc)"); + errorUsage(); } } -#if defined(GRAN) - -static void -enable_GranSimLight(void) { - - debugBelch("GrAnSim Light enabled (infinite number of processors; 0 communication costs)\n"); - RtsFlags.GranFlags.Light=rtsTrue; - RtsFlags.GranFlags.Costs.latency = - RtsFlags.GranFlags.Costs.fetchtime = - RtsFlags.GranFlags.Costs.additional_latency = - RtsFlags.GranFlags.Costs.gunblocktime = - RtsFlags.GranFlags.Costs.lunblocktime = - RtsFlags.GranFlags.Costs.threadcreatetime = - RtsFlags.GranFlags.Costs.threadqueuetime = - RtsFlags.GranFlags.Costs.threadscheduletime = - RtsFlags.GranFlags.Costs.threaddescheduletime = - RtsFlags.GranFlags.Costs.threadcontextswitchtime = 0; - - RtsFlags.GranFlags.Costs.mpacktime = - RtsFlags.GranFlags.Costs.munpacktime = 0; - - RtsFlags.GranFlags.DoFairSchedule = rtsTrue; - RtsFlags.GranFlags.DoAsyncFetch = rtsFalse; - RtsFlags.GranFlags.DoAlwaysCreateThreads = rtsTrue; - /* FetchStrategy is irrelevant in GrAnSim-Light */ - - /* GrAnSim Light often creates an abundance of parallel threads, - each with its own stack etc. Therefore, it's in general a good - idea to use small stack chunks (use the -o option to - increase it again). - */ - // RtsFlags.ConcFlags.stkChunkSize = 100; - - RtsFlags.GranFlags.proc = 1; -} - -static void -process_gran_option(int arg, int *rts_argc, char *rts_argv[], rtsBool *error) +static void errorUsage (void) { - if (rts_argv[arg][1] != 'b') /* All GranSim options start with -b */ - return; - - /* or a ridiculously idealised simulator */ - if(strcmp((rts_argv[arg]+2),"oring")==0) { - RtsFlags.GranFlags.Costs.latency = - RtsFlags.GranFlags.Costs.fetchtime = - RtsFlags.GranFlags.Costs.additional_latency = - RtsFlags.GranFlags.Costs.gunblocktime = - RtsFlags.GranFlags.Costs.lunblocktime = - RtsFlags.GranFlags.Costs.threadcreatetime = - RtsFlags.GranFlags.Costs.threadqueuetime = - RtsFlags.GranFlags.Costs.threadscheduletime = - RtsFlags.GranFlags.Costs.threaddescheduletime = - RtsFlags.GranFlags.Costs.threadcontextswitchtime = 0; - - RtsFlags.GranFlags.Costs.mpacktime = - RtsFlags.GranFlags.Costs.munpacktime = 0; - - RtsFlags.GranFlags.Costs.arith_cost = - RtsFlags.GranFlags.Costs.float_cost = - RtsFlags.GranFlags.Costs.load_cost = - RtsFlags.GranFlags.Costs.store_cost = - RtsFlags.GranFlags.Costs.branch_cost = 0; - - RtsFlags.GranFlags.Costs.heapalloc_cost = 1; - - /* ++RtsFlags.GranFlags.DoFairSchedule; */ - RtsFlags.GranFlags.DoStealThreadsFirst = rtsTrue; /* -bZ */ - RtsFlags.GranFlags.DoThreadMigration = rtsTrue; /* -bM */ - RtsFlags.GranFlags.GranSimStats.Full = rtsTrue; /* -bP */ - return; - } - - /* or a somewhat idealised simulator */ - if(strcmp((rts_argv[arg]+2),"onzo")==0) { - RtsFlags.GranFlags.Costs.latency = - RtsFlags.GranFlags.Costs.fetchtime = - RtsFlags.GranFlags.Costs.additional_latency = - RtsFlags.GranFlags.Costs.gunblocktime = - RtsFlags.GranFlags.Costs.lunblocktime = - RtsFlags.GranFlags.Costs.threadcreatetime = - RtsFlags.GranFlags.Costs.threadqueuetime = - RtsFlags.GranFlags.Costs.threadscheduletime = - RtsFlags.GranFlags.Costs.threaddescheduletime = - RtsFlags.GranFlags.Costs.threadcontextswitchtime = 0; - - RtsFlags.GranFlags.Costs.mpacktime = - RtsFlags.GranFlags.Costs.munpacktime = 0; - - RtsFlags.GranFlags.Costs.heapalloc_cost = 1; - - /* RtsFlags.GranFlags.DoFairSchedule = rtsTrue; */ /* -b-R */ - /* RtsFlags.GranFlags.DoStealThreadsFirst = rtsTrue; */ /* -b-T */ - RtsFlags.GranFlags.DoAsyncFetch = rtsTrue; /* -bZ */ - RtsFlags.GranFlags.DoThreadMigration = rtsTrue; /* -bM */ - RtsFlags.GranFlags.GranSimStats.Full = rtsTrue; /* -bP */ -# if defined(GRAN_CHECK) && defined(GRAN) - RtsFlags.GranFlags.Debug.event_stats = rtsTrue; /* print event statistics */ -# endif - return; - } - - /* Communication and task creation cost parameters */ - switch(rts_argv[arg][2]) { - case '.': - IgnoreYields = rtsTrue; // HWL HACK - break; - - case ':': - enable_GranSimLight(); /* set flags for GrAnSim-Light mode */ - break; - - case 'l': - if (rts_argv[arg][3] != '\0') - { - RtsFlags.GranFlags.Costs.gunblocktime = - RtsFlags.GranFlags.Costs.latency = decode(rts_argv[arg]+3); - RtsFlags.GranFlags.Costs.fetchtime = 2*RtsFlags.GranFlags.Costs.latency; - } - else - RtsFlags.GranFlags.Costs.latency = LATENCY; - break; - - case 'a': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.additional_latency = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.additional_latency = ADDITIONAL_LATENCY; - break; - - case 'm': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.mpacktime = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.mpacktime = MSGPACKTIME; - break; - - case 'x': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.mtidytime = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.mtidytime = 0; - break; - - case 'r': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.munpacktime = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.munpacktime = MSGUNPACKTIME; - break; - - case 'g': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.fetchtime = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.fetchtime = FETCHTIME; - break; - - case 'n': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.gunblocktime = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.gunblocktime = GLOBALUNBLOCKTIME; - break; - - case 'u': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.lunblocktime = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.lunblocktime = LOCALUNBLOCKTIME; - break; - - /* Thread-related metrics */ - case 't': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.threadcreatetime = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.threadcreatetime = THREADCREATETIME; - break; - - case 'q': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.threadqueuetime = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.threadqueuetime = THREADQUEUETIME; - break; - - case 'c': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.threadscheduletime = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.threadscheduletime = THREADSCHEDULETIME; - - RtsFlags.GranFlags.Costs.threadcontextswitchtime = RtsFlags.GranFlags.Costs.threadscheduletime - + RtsFlags.GranFlags.Costs.threaddescheduletime; - break; - - case 'd': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.threaddescheduletime = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.threaddescheduletime = THREADDESCHEDULETIME; - - RtsFlags.GranFlags.Costs.threadcontextswitchtime = RtsFlags.GranFlags.Costs.threadscheduletime - + RtsFlags.GranFlags.Costs.threaddescheduletime; - break; - - /* Instruction Cost Metrics */ - case 'A': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.arith_cost = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.arith_cost = ARITH_COST; - break; - - case 'F': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.float_cost = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.float_cost = FLOAT_COST; - break; - - case 'B': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.branch_cost = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.branch_cost = BRANCH_COST; - break; - - case 'L': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.load_cost = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.load_cost = LOAD_COST; - break; - - case 'S': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.store_cost = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.store_cost = STORE_COST; - break; - - case 'H': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.heapalloc_cost = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.heapalloc_cost = 0; - break; - - case 'y': - RtsFlags.GranFlags.DoAsyncFetch = rtsTrue; - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.FetchStrategy = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.FetchStrategy = 2; - if (RtsFlags.GranFlags.FetchStrategy == 0) - RtsFlags.GranFlags.DoAsyncFetch = rtsFalse; - break; - - case 'K': /* sort overhead (per elem in spark list) */ - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.pri_spark_overhead = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.pri_spark_overhead = PRI_SPARK_OVERHEAD; - debugBelch("Overhead for pri spark: %d (per elem).\n", - RtsFlags.GranFlags.Costs.pri_spark_overhead); - break; - - case 'O': /* sort overhead (per elem in spark list) */ - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.Costs.pri_sched_overhead = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.Costs.pri_sched_overhead = PRI_SCHED_OVERHEAD; - debugBelch("Overhead for pri sched: %d (per elem).\n", - RtsFlags.GranFlags.Costs.pri_sched_overhead); - break; - - /* General Parameters */ - case 'p': - if (rts_argv[arg][3] != '\0') - { - RtsFlags.GranFlags.proc = decode(rts_argv[arg]+3); - if (RtsFlags.GranFlags.proc==0) { - enable_GranSimLight(); /* set flags for GrAnSim-Light mode */ - } else if (RtsFlags.GranFlags.proc > MAX_PROC || - RtsFlags.GranFlags.proc < 1) - { - debugBelch("setupRtsFlags: no more than %u processors allowed\n", - MAX_PROC); - *error = rtsTrue; - } - } - else - RtsFlags.GranFlags.proc = MAX_PROC; - break; - - case 'f': - RtsFlags.GranFlags.Fishing = rtsTrue; - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.maxFishes = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.maxFishes = MAX_FISHES; - break; - - case 'w': - if (rts_argv[arg][3] != '\0') - RtsFlags.GranFlags.time_slice = decode(rts_argv[arg]+3); - else - RtsFlags.GranFlags.time_slice = GRAN_TIME_SLICE; - break; - - case 'C': - RtsFlags.GranFlags.DoAlwaysCreateThreads=rtsTrue; - RtsFlags.GranFlags.DoThreadMigration=rtsTrue; - break; - - case 'G': - debugBelch("Bulk fetching enabled.\n"); - RtsFlags.GranFlags.DoBulkFetching=rtsTrue; - break; - - case 'M': - debugBelch("Thread migration enabled.\n"); - RtsFlags.GranFlags.DoThreadMigration=rtsTrue; - break; - - case 'R': - debugBelch("Fair Scheduling enabled.\n"); - RtsFlags.GranFlags.DoFairSchedule=rtsTrue; - break; - - case 'I': - debugBelch("Priority Scheduling enabled.\n"); - RtsFlags.GranFlags.DoPriorityScheduling=rtsTrue; - break; - - case 'T': - RtsFlags.GranFlags.DoStealThreadsFirst=rtsTrue; - RtsFlags.GranFlags.DoThreadMigration=rtsTrue; - break; - - case 'Z': - RtsFlags.GranFlags.DoAsyncFetch=rtsTrue; - break; - -/* case 'z': */ -/* RtsFlags.GranFlags.SimplifiedFetch=rtsTrue; */ -/* break; */ - - case 'N': - RtsFlags.GranFlags.PreferSparksOfLocalNodes=rtsTrue; - break; - - case 'b': - RtsFlags.GranFlags.GranSimStats.Binary=rtsTrue; - break; - - case 'P': - /* format is -bP where is one char describing kind of profile */ - RtsFlags.GranFlags.GranSimStats.Full = rtsTrue; - switch(rts_argv[arg][3]) { - case '\0': break; // nothing special, just an ordinary profile - case '0': RtsFlags.GranFlags.GranSimStats.Suppressed = rtsTrue; - break; - case 'b': RtsFlags.GranFlags.GranSimStats.Binary = rtsTrue; - break; - case 's': RtsFlags.GranFlags.GranSimStats.Sparks = rtsTrue; - break; - case 'h': RtsFlags.GranFlags.GranSimStats.Heap = rtsTrue; - break; - case 'n': RtsFlags.GranFlags.GranSimStats.NewLogfile = rtsTrue; - break; - case 'g': RtsFlags.GranFlags.GranSimStats.Global = rtsTrue; - break; - default: barf("Unknown option -bP%c", rts_argv[arg][3]); - } - break; - - case 's': - RtsFlags.GranFlags.GranSimStats.Sparks=rtsTrue; - break; - - case 'h': - RtsFlags.GranFlags.GranSimStats.Heap=rtsTrue; - break; - - case 'Y': /* syntax: -bY[,] n ... pos int */ - if (rts_argv[arg][3] != '\0') { - char *arg0, *tmp; - - arg0 = rts_argv[arg]+3; - if ((tmp = strstr(arg0,","))==NULL) { - RtsFlags.GranFlags.SparkPriority = decode(arg0); - debugBelch("SparkPriority: %u.\n",RtsFlags.GranFlags.SparkPriority); - } else { - *(tmp++) = '\0'; - RtsFlags.GranFlags.SparkPriority = decode(arg0); - RtsFlags.GranFlags.SparkPriority2 = decode(tmp); - debugBelch("SparkPriority: %u.\n", - RtsFlags.GranFlags.SparkPriority); - debugBelch("SparkPriority2:%u.\n", - RtsFlags.GranFlags.SparkPriority2); - if (RtsFlags.GranFlags.SparkPriority2 < - RtsFlags.GranFlags.SparkPriority) { - debugBelch("WARNING: 2nd pri < main pri (%u<%u); 2nd pri has no effect\n", - RtsFlags.GranFlags.SparkPriority2, - RtsFlags.GranFlags.SparkPriority); - } - } - } else { - /* plain pri spark is now invoked with -bX - RtsFlags.GranFlags.DoPrioritySparking = 1; - debugBelch("PrioritySparking.\n"); - */ - } - break; - - case 'Q': - if (rts_argv[arg][3] != '\0') { - RtsFlags.GranFlags.ThunksToPack = decode(rts_argv[arg]+3); - } else { - RtsFlags.GranFlags.ThunksToPack = 1; - } - debugBelch("Thunks To Pack in one packet: %u.\n", - RtsFlags.GranFlags.ThunksToPack); - break; - - case 'e': - RtsFlags.GranFlags.RandomSteal = rtsFalse; - debugBelch("Deterministic mode (no random stealing)\n"); - break; + const char **p; - /* The following class of options contains eXperimental */ - /* features in connection with exploiting granularity */ - /* information. I.e. if -bY is chosen these options */ - /* tell the RTS what to do with the supplied info --HWL */ - - case 'W': - if (rts_argv[arg][3] != '\0') { - RtsFlags.GranFlags.packBufferSize_internal = decode(rts_argv[arg]+3); - } else { - RtsFlags.GranFlags.packBufferSize_internal = GRANSIM_DEFAULT_PACK_BUFFER_SIZE; - } - debugBelch("Size of GranSim internal pack buffer: %u.\n", - RtsFlags.GranFlags.packBufferSize_internal); - break; - - case 'X': - switch(rts_argv[arg][3]) { - - case '\0': - RtsFlags.GranFlags.DoPrioritySparking = 1; - debugBelch("Priority Sparking with Normal Priorities.\n"); - RtsFlags.GranFlags.InversePriorities = rtsFalse; - RtsFlags.GranFlags.RandomPriorities = rtsFalse; - RtsFlags.GranFlags.IgnorePriorities = rtsFalse; - break; - - case 'I': - RtsFlags.GranFlags.DoPrioritySparking = 1; - debugBelch("Priority Sparking with Inverse Priorities.\n"); - RtsFlags.GranFlags.InversePriorities++; - break; - - case 'R': - RtsFlags.GranFlags.DoPrioritySparking = 1; - debugBelch("Priority Sparking with Random Priorities.\n"); - RtsFlags.GranFlags.RandomPriorities++; - break; - - case 'N': - RtsFlags.GranFlags.DoPrioritySparking = 1; - debugBelch("Priority Sparking with No Priorities.\n"); - RtsFlags.GranFlags.IgnorePriorities++; - break; - - default: - bad_option( rts_argv[arg] ); - break; - } - break; - - case '-': - switch(rts_argv[arg][3]) { - - case 'C': - RtsFlags.GranFlags.DoAlwaysCreateThreads=rtsFalse; - RtsFlags.GranFlags.DoThreadMigration=rtsFalse; - break; - - case 'G': - RtsFlags.GranFlags.DoBulkFetching=rtsFalse; - break; - - case 'M': - RtsFlags.GranFlags.DoThreadMigration=rtsFalse; - break; - - case 'R': - RtsFlags.GranFlags.DoFairSchedule=rtsFalse; - break; - - case 'T': - RtsFlags.GranFlags.DoStealThreadsFirst=rtsFalse; - RtsFlags.GranFlags.DoThreadMigration=rtsFalse; - break; - - case 'Z': - RtsFlags.GranFlags.DoAsyncFetch=rtsFalse; - break; - - case 'N': - RtsFlags.GranFlags.PreferSparksOfLocalNodes=rtsFalse; - break; - - case 'P': - RtsFlags.GranFlags.GranSimStats.Suppressed=rtsTrue; - break; - - case 's': - RtsFlags.GranFlags.GranSimStats.Sparks=rtsFalse; - break; - - case 'h': - RtsFlags.GranFlags.GranSimStats.Heap=rtsFalse; - break; - - case 'b': - RtsFlags.GranFlags.GranSimStats.Binary=rtsFalse; - break; - - case 'X': - RtsFlags.GranFlags.DoPrioritySparking = rtsFalse; - break; - - case 'Y': - RtsFlags.GranFlags.DoPrioritySparking = rtsFalse; - RtsFlags.GranFlags.SparkPriority = rtsFalse; - break; - - case 'I': - RtsFlags.GranFlags.DoPriorityScheduling = rtsFalse; - break; - - case 'e': - RtsFlags.GranFlags.RandomSteal = rtsFalse; - break; - - default: - bad_option( rts_argv[arg] ); - break; - } - break; - -# if defined(GRAN_CHECK) && defined(GRAN) - case 'D': - switch(rts_argv[arg][3]) { - case 'Q': /* Set pack buffer size (same as 'Q' in GUM) */ - if (rts_argv[arg][4] != '\0') { - RtsFlags.GranFlags.packBufferSize = decode(rts_argv[arg]+4); - debugBelch("Pack buffer size: %d\n", - RtsFlags.GranFlags.packBufferSize); - } else { - debugBelch("setupRtsFlags: missing size of PackBuffer (for -Q)\n"); - *error = rtsTrue; - } - break; - - default: - if (isdigit(rts_argv[arg][3])) {/* Set all debugging options in one */ - /* hack warning: interpret the flags as a binary number */ - nat n = decode(rts_argv[arg]+3); - set_GranSim_debug_options(n); - } else { - nat i; - for (i=0; i<=MAX_GRAN_DEBUG_OPTION; i++) - if (rts_argv[arg][3] == gran_debug_opts_flags[i]) - break; - - if (i==MAX_GRAN_DEBUG_OPTION+1) { - debugBelch("Valid GranSim debug options are:\n"); - help_GranSim_debug_options(MAX_GRAN_DEBUG_MASK); - bad_option( rts_argv[arg] ); - } else { // flag found; now set it - set_GranSim_debug_options(GRAN_DEBUG_MASK(i)); // 2^i - } - } - break; - -#if 0 - case 'e': /* event trace; also -bD1 */ - debugBelch("DEBUG: event_trace; printing event trace.\n"); - RtsFlags.GranFlags.Debug.event_trace = rtsTrue; - /* RtsFlags.GranFlags.event_trace=rtsTrue; */ - break; - - case 'E': /* event statistics; also -bD2 */ - debugBelch("DEBUG: event_stats; printing event statistics.\n"); - RtsFlags.GranFlags.Debug.event_stats = rtsTrue; - /* RtsFlags.GranFlags.Debug |= 0x20; print event statistics */ - break; - - case 'f': /* thunkStealing; also -bD4 */ - debugBelch("DEBUG: thunkStealing; printing forwarding of FETCHNODES.\n"); - RtsFlags.GranFlags.Debug.thunkStealing = rtsTrue; - /* RtsFlags.GranFlags.Debug |= 0x2; print fwd messages */ - break; - - case 'z': /* blockOnFetch; also -bD8 */ - debugBelch("DEBUG: blockOnFetch; check for blocked on fetch.\n"); - RtsFlags.GranFlags.Debug.blockOnFetch = rtsTrue; - /* RtsFlags.GranFlags.Debug |= 0x4; debug non-reschedule-on-fetch */ - break; - - case 't': /* blockOnFetch_sanity; also -bD16 */ - debugBelch("DEBUG: blockOnFetch_sanity; check for TSO asleep on fetch.\n"); - RtsFlags.GranFlags.Debug.blockOnFetch_sanity = rtsTrue; - /* RtsFlags.GranFlags.Debug |= 0x10; debug TSO asleep for fetch */ - break; - - case 'S': /* priSpark; also -bD32 */ - debugBelch("DEBUG: priSpark; priority sparking.\n"); - RtsFlags.GranFlags.Debug.priSpark = rtsTrue; - break; - - case 's': /* priSched; also -bD64 */ - debugBelch("DEBUG: priSched; priority scheduling.\n"); - RtsFlags.GranFlags.Debug.priSched = rtsTrue; - break; - - case 'F': /* findWork; also -bD128 */ - debugBelch("DEBUG: findWork; searching spark-pools (local & remote), thread queues for work.\n"); - RtsFlags.GranFlags.Debug.findWork = rtsTrue; - break; - - case 'g': /* globalBlock; also -bD256 */ - debugBelch("DEBUG: globalBlock; blocking on remote closures (FETCHMEs etc in GUM).\n"); - RtsFlags.GranFlags.Debug.globalBlock = rtsTrue; - break; - - case 'G': /* pack; also -bD512 */ - debugBelch("DEBUG: pack; routines for (un-)packing graph structures.\n"); - RtsFlags.GranFlags.Debug.pack = rtsTrue; - break; - - case 'P': /* packBuffer; also -bD1024 */ - debugBelch("DEBUG: packBuffer; routines handling pack buffer (GranSim internal!).\n"); - RtsFlags.GranFlags.Debug.packBuffer = rtsTrue; - break; - - case 'o': /* sortedQ; also -bD2048 */ - debugBelch("DEBUG: sortedQ; check whether spark/thread queues are sorted.\n"); - RtsFlags.GranFlags.Debug.sortedQ = rtsTrue; - break; - - case 'r': /* randomSteal; also -bD4096 */ - debugBelch("DEBUG: randomSteal; stealing sparks/threads from random PEs.\n"); - RtsFlags.GranFlags.Debug.randomSteal = rtsTrue; - break; - - case 'q': /* checkSparkQ; also -bD8192 */ - debugBelch("DEBUG: checkSparkQ; check consistency of the spark queues.\n"); - RtsFlags.GranFlags.Debug.checkSparkQ = rtsTrue; - break; - - case ':': /* checkLight; also -bD16384 */ - debugBelch("DEBUG: checkLight; check GranSim-Light setup.\n"); - RtsFlags.GranFlags.Debug.checkLight = rtsTrue; - break; - - case 'b': /* bq; also -bD32768 */ - debugBelch("DEBUG: bq; check blocking queues\n"); - RtsFlags.GranFlags.Debug.bq = rtsTrue; - break; - - case 'd': /* all options turned on */ - debugBelch("DEBUG: all options turned on.\n"); - set_GranSim_debug_options(MAX_GRAN_DEBUG_MASK); - /* RtsFlags.GranFlags.Debug |= 0x40; */ - break; - -/* case '\0': */ -/* RtsFlags.GranFlags.Debug = 1; */ -/* break; */ -#endif - - } - break; -# endif /* GRAN_CHECK */ - default: - bad_option( rts_argv[arg] ); - break; - } -} - -/* - Interpret n as a binary number masking GranSim debug options and set the - correxponding option. See gran_debug_opts_strs for explanations of the flags. -*/ -static void -set_GranSim_debug_options(nat n) { - nat i; - - for (i=0; i<=MAX_GRAN_DEBUG_OPTION; i++) - if ((n>>i)&1) { - errorBelch(gran_debug_opts_strs[i]); - switch (i) { - case 0: RtsFlags.GranFlags.Debug.event_trace = rtsTrue; break; - case 1: RtsFlags.GranFlags.Debug.event_stats = rtsTrue; break; - case 2: RtsFlags.GranFlags.Debug.bq = rtsTrue; break; - case 3: RtsFlags.GranFlags.Debug.pack = rtsTrue; break; - case 4: RtsFlags.GranFlags.Debug.checkSparkQ = rtsTrue; break; - case 5: RtsFlags.GranFlags.Debug.thunkStealing = rtsTrue; break; - case 6: RtsFlags.GranFlags.Debug.randomSteal = rtsTrue; break; - case 7: RtsFlags.GranFlags.Debug.findWork = rtsTrue; break; - case 8: RtsFlags.GranFlags.Debug.unused = rtsTrue; break; - case 9: RtsFlags.GranFlags.Debug.pri = rtsTrue; break; - case 10: RtsFlags.GranFlags.Debug.checkLight = rtsTrue; break; - case 11: RtsFlags.GranFlags.Debug.sortedQ = rtsTrue; break; - case 12: RtsFlags.GranFlags.Debug.blockOnFetch = rtsTrue; break; - case 13: RtsFlags.GranFlags.Debug.packBuffer = rtsTrue; break; - case 14: RtsFlags.GranFlags.Debug.blockOnFetch_sanity = rtsTrue; break; - default: barf("set_GranSim_debug_options: only %d debug options expected"); - } /* switch */ - } /* if */ + fflush(stdout); + for (p = usage_text; *p; p++) + errorBelch("%s", *p); + stg_exit(EXIT_FAILURE); } -/* - Print one line explanation for each of the GranSim debug options specified - in the bitmask n. -*/ -static void -help_GranSim_debug_options(nat n) { - nat i; - - for (i=0; i<=MAX_GRAN_DEBUG_OPTION; i++) - if ((n>>i)&1) - debugBelch(gran_debug_opts_strs[i]); -} - -# elif defined(PAR) - -static void -process_par_option(int arg, int *rts_argc, char *rts_argv[], rtsBool *error) -{ - - if (rts_argv[arg][1] != 'q') { /* All GUM options start with -q */ - errorBelch("Warning: GUM option does not start with -q: %s", rts_argv[arg]); - return; - } - - /* Communication and task creation cost parameters */ - switch(rts_argv[arg][2]) { - case 'e': /* -qe ... allow local sparks */ - if (rts_argv[arg][3] != '\0') { /* otherwise, stick w/ the default */ - RtsFlags.ParFlags.maxLocalSparks - = strtol(rts_argv[arg]+3, (char **) NULL, 10); - - if (RtsFlags.ParFlags.maxLocalSparks <= 0) { - errorBelch("setupRtsFlags: bad value for -e\n"); - *error = rtsTrue; - } - } - IF_PAR_DEBUG(verbose, - errorBelch("-qe: max %d local sparks", - RtsFlags.ParFlags.maxLocalSparks)); - break; - - case 't': - if (rts_argv[arg][3] != '\0') { - RtsFlags.ParFlags.maxThreads - = strtol(rts_argv[arg]+3, (char **) NULL, 10); - } else { - errorBelch("missing size for -qt\n"); - *error = rtsTrue; - } - IF_PAR_DEBUG(verbose, - errorBelch("-qt: max %d threads", - RtsFlags.ParFlags.maxThreads)); - break; - - case 'f': - if (rts_argv[arg][3] != '\0') - RtsFlags.ParFlags.maxFishes = decode(rts_argv[arg]+3); - else - RtsFlags.ParFlags.maxFishes = MAX_FISHES; - break; - IF_PAR_DEBUG(verbose, - errorBelch("-qf: max %d fishes sent out at one time", - RtsFlags.ParFlags.maxFishes)); - break; - - case 'F': - if (rts_argv[arg][3] != '\0') { - RtsFlags.ParFlags.fishDelay - = strtol(rts_argv[arg]+3, (char **) NULL, 10); - } else { - errorBelch("missing fish delay time for -qF\n"); - *error = rtsTrue; - } - IF_PAR_DEBUG(verbose, - errorBelch("-qF: fish delay time %d us", - RtsFlags.ParFlags.fishDelay)); - break; - - case 'O': - RtsFlags.ParFlags.outputDisabled = rtsTrue; - IF_PAR_DEBUG(verbose, - errorBelch("-qO: output disabled")); - break; - - case 'g': /* -qg ... globalisation scheme */ - if (rts_argv[arg][3] != '\0') { - RtsFlags.ParFlags.globalising = decode(rts_argv[arg]+3); - } else { - errorBelch("missing identifier for globalisation scheme (for -qg)\n"); - *error = rtsTrue; - } - IF_PAR_DEBUG(verbose, - debugBelch("-qg: globalisation scheme set to %d", - RtsFlags.ParFlags.globalising)); - break; - - case 'h': /* -qh ... max number of thunks (except root) in packet */ - if (rts_argv[arg][3] != '\0') { - RtsFlags.ParFlags.thunksToPack = decode(rts_argv[arg]+3); - } else { - errorBelch("missing number of thunks per packet (for -qh)\n"); - *error = rtsTrue; - } - IF_PAR_DEBUG(verbose, - debugBelch("-qh: thunks per packet set to %d", - RtsFlags.ParFlags.thunksToPack)); - break; - - case 'P': /* -qP for writing a log file */ - //RtsFlags.ParFlags.ParStats.Full = rtsFalse; - /* same encoding as in GranSim after -bP */ - switch(rts_argv[arg][3]) { - case '\0': RtsFlags.ParFlags.ParStats.Full = rtsTrue; - break; // nothing special, just an ordinary profile - case '0': RtsFlags.ParFlags.ParStats.Suppressed = rtsTrue; - RtsFlags.ParFlags.ParStats.Full = rtsFalse; - break; - case 'b': RtsFlags.ParFlags.ParStats.Binary = rtsTrue; - break; - case 's': RtsFlags.ParFlags.ParStats.Sparks = rtsTrue; - break; - //case 'h': RtsFlags.parFlags.ParStats.Heap = rtsTrue; - // break; - case 'n': RtsFlags.ParFlags.ParStats.NewLogfile = rtsTrue; - break; - case 'g': -# if defined(PAR_TICKY) - RtsFlags.ParFlags.ParStats.Global = rtsTrue; -# else - errorBelch("-qPg is only possible for a PAR_TICKY RTS, which this is not"); - stg_exit(EXIT_FAILURE); -# endif - break; - default: barf("Unknown option -qP%c", rts_argv[arg][2]); - } - IF_PAR_DEBUG(verbose, - debugBelch("(-qP) writing to log-file (RtsFlags.ParFlags.ParStats.Full=%s)", - (RtsFlags.ParFlags.ParStats.Full ? "rtsTrue" : "rtsFalse"))); - break; - - case 'Q': /* -qQ ... set pack buffer size to */ - if (rts_argv[arg][3] != '\0') { - RtsFlags.ParFlags.packBufferSize = decode(rts_argv[arg]+3); - } else { - errorBelch("missing size of PackBuffer (for -qQ)\n"); - *error = rtsTrue; - } - IF_PAR_DEBUG(verbose, - debugBelch("-qQ: pack buffer size set to %d", - RtsFlags.ParFlags.packBufferSize)); - break; - - case 'R': - RtsFlags.ParFlags.doFairScheduling = rtsTrue; - IF_PAR_DEBUG(verbose, - debugBelch("-qR: fair-ish scheduling")); - break; - -# if defined(DEBUG) - case 'w': - if (rts_argv[arg][3] != '\0') { - RtsFlags.ParFlags.wait - = strtol(rts_argv[arg]+3, (char **) NULL, 10); - } else { - RtsFlags.ParFlags.wait = 1000; - } - IF_PAR_DEBUG(verbose, - debugBelch("-qw: length of wait loop after synchr before reduction: %d", - RtsFlags.ParFlags.wait)); - break; - - case 'D': /* -qD ... all the debugging options */ - if (isdigit(rts_argv[arg][3])) {/* Set all debugging options in one */ - /* hack warning: interpret the flags as a binary number */ - nat n = decode(rts_argv[arg]+3); - set_par_debug_options(n); - } else { - nat i; - for (i=0; i<=MAX_PAR_DEBUG_OPTION; i++) - if (rts_argv[arg][3] == par_debug_opts_flags[i]) - break; - - if (i==MAX_PAR_DEBUG_OPTION+1) { - errorBelch("Valid GUM debug options are:\n"); - help_par_debug_options(MAX_PAR_DEBUG_MASK); - bad_option( rts_argv[arg] ); - } else { // flag found; now set it - set_par_debug_options(PAR_DEBUG_MASK(i)); // 2^i - } - } - break; -# endif - default: - errorBelch("Unknown option -q%c (%d opts in total)", - rts_argv[arg][2], *rts_argc); - break; - } /* switch */ -} - -/* - Interpret n as a binary number masking Par debug options and set the - correxponding option. See par_debug_opts_strs for explanations of the flags. -*/ -static void -set_par_debug_options(nat n) { - nat i; - - for (i=0; i<=MAX_PAR_DEBUG_OPTION; i++) - if ((n>>i)&1) { - debugBelch(par_debug_opts_strs[i]); - switch (i) { - case 0: RtsFlags.ParFlags.Debug.verbose = rtsTrue; break; - case 1: RtsFlags.ParFlags.Debug.bq = rtsTrue; break; - case 2: RtsFlags.ParFlags.Debug.schedule = rtsTrue; break; - case 3: RtsFlags.ParFlags.Debug.free = rtsTrue; break; - case 4: RtsFlags.ParFlags.Debug.resume = rtsTrue; break; - case 5: RtsFlags.ParFlags.Debug.weight = rtsTrue; break; - case 6: RtsFlags.ParFlags.Debug.fetch = rtsTrue; break; - //case 7: RtsFlags.ParFlags.Debug.ack = rtsTrue; break; - case 7: RtsFlags.ParFlags.Debug.fish = rtsTrue; break; - case 8: RtsFlags.ParFlags.Debug.tables = rtsTrue; break; - case 9: RtsFlags.ParFlags.Debug.packet = rtsTrue; break; - case 10: RtsFlags.ParFlags.Debug.pack = rtsTrue; break; - case 11: RtsFlags.ParFlags.Debug.paranoia = rtsTrue; break; - default: barf("set_par_debug_options: only %d debug options expected", - MAX_PAR_DEBUG_OPTION); - } /* switch */ - } /* if */ -} - -/* - Print one line explanation for each of the GranSim debug options specified - in the bitmask n. -*/ -static void -help_par_debug_options(nat n) { - nat i; - - for (i=0; i<=MAX_PAR_DEBUG_OPTION; i++) - if ((n>>i)&1) - debugBelch(par_debug_opts_strs[i]); -} - -#endif /* PAR */ - static void stats_fprintf(FILE *f, char *s, ...) { @@ -2302,74 +1328,131 @@ stats_fprintf(FILE *f, char *s, ...) va_end(ap); } -static int /* return -1 on error */ -open_stats_file ( - I_ arg, - int argc, char *argv[], - int rts_argc, char *rts_argv[], - const char *FILENAME_FMT, - FILE **file_ret) +/* ----------------------------------------------------------------------------- + * openStatsFile: open a file in which to put some runtime stats + * -------------------------------------------------------------------------- */ + +static int // return -1 on error +openStatsFile (char *filename, // filename, or NULL + const char *filename_fmt, // if filename == NULL, use + // this fmt with sprintf to + // generate the filename. %s + // expands to the program name. + FILE **file_ret) // return the FILE* { FILE *f = NULL; - if (strequal(rts_argv[arg]+2, "stderr")) { /* use debugBelch */ + if (strequal(filename, "stderr") + || (filename_fmt == NULL && *filename == '\0')) { f = NULL; /* NULL means use debugBelch */ } else { - if (rts_argv[arg][2] != '\0') { /* stats file specified */ - f = fopen(rts_argv[arg]+2,"w"); - } else { - char stats_filename[STATS_FILENAME_MAXLEN]; /* default . */ - sprintf(stats_filename, FILENAME_FMT, argv[0]); - f = fopen(stats_filename,"w"); - } + if (*filename != '\0') { /* stats file specified */ + f = fopen(filename,"w"); + } else { + char stats_filename[STATS_FILENAME_MAXLEN]; /* default . */ + sprintf(stats_filename, filename_fmt, prog_name); + f = fopen(stats_filename,"w"); + } if (f == NULL) { - errorBelch("Can't open stats file %s\n", rts_argv[arg]+2); + errorBelch("Can't open stats file %s\n", filename); return -1; } } *file_ret = f; - { - /* Write argv and rtsv into start of stats file */ - int count; - for(count = 0; count < argc; count++) { - stats_fprintf(f, "%s ", argv[count]); - } - stats_fprintf(f, "+RTS "); - for(count = 0; count < rts_argc; count++) - stats_fprintf(f, "%s ", rts_argv[count]); - stats_fprintf(f, "\n"); - } return 0; } +/* ----------------------------------------------------------------------------- + * initStatsFile: write a line to the file containing the program name + * and the arguments it was invoked with. +-------------------------------------------------------------------------- */ +static void initStatsFile (FILE *f) +{ + /* Write prog_argv and rts_argv into start of stats file */ + int count; + for (count = 0; count < prog_argc; count++) { + stats_fprintf(f, "%s ", prog_argv[count]); + } + stats_fprintf(f, "+RTS "); + for (count = 0; count < rts_argc; count++) + stats_fprintf(f, "%s ", rts_argv[count]); + stats_fprintf(f, "\n"); +} + +/* ----------------------------------------------------------------------------- + * decodeSize: parse a string containing a size, like 300K or 1.2M +-------------------------------------------------------------------------- */ -static I_ -decode(const char *s) +static StgWord64 +decodeSize(const char *flag, nat offset, StgWord64 min, StgWord64 max) { - I_ c; + char c; + const char *s; StgDouble m; + StgWord64 val; + + s = flag + offset; if (!*s) - return 0; + { + m = 0; + } + else + { + m = atof(s); + c = s[strlen(s)-1]; + + if (c == 'g' || c == 'G') + m *= 1024*1024*1024; + else if (c == 'm' || c == 'M') + m *= 1024*1024; + else if (c == 'k' || c == 'K') + m *= 1024; + else if (c == 'w' || c == 'W') + m *= sizeof(W_); + } - m = atof(s); - c = s[strlen(s)-1]; + val = (StgWord64)m; - if (c == 'g' || c == 'G') - m *= 1000*1000*1000; /* UNchecked! */ - else if (c == 'm' || c == 'M') - m *= 1000*1000; /* We do not use powers of 2 (1024) */ - else if (c == 'k' || c == 'K') /* to avoid possible bad effects on */ - m *= 1000; /* a direct-mapped cache. */ - else if (c == 'w' || c == 'W') - m *= sizeof(W_); + if (m < 0 || val < min || val > max) { + // printf doesn't like 64-bit format specs on Windows + // apparently, so fall back to unsigned long. + errorBelch("error in RTS option %s: size outside allowed range (%lu - %lu)", flag, (lnat)min, (lnat)max); + stg_exit(EXIT_FAILURE); + } - return (I_)m; + return val; } -static void +#if defined(TRACING) +static void read_trace_flags(char *arg) +{ + char *c; + + for (c = arg; *c != '\0'; c++) { + switch(*c) { + case '\0': + break; + case 's': + RtsFlags.TraceFlags.scheduler = rtsTrue; + break; + case 't': + RtsFlags.TraceFlags.timestamp = rtsTrue; + break; + case 'g': + // ignored for backwards-compat + break; + default: + errorBelch("unknown trace option: %c",*c); + break; + } + } +} +#endif + +static void GNU_ATTRIBUTE(__noreturn__) bad_option(const char *s) { errorBelch("bad RTS option: %s", s); @@ -2416,14 +1499,9 @@ getProgArgv(int *argc, char **argv[]) void setProgArgv(int argc, char *argv[]) { - /* Usually this is done by startupHaskell, so we don't need to call this. - However, sometimes Hugs wants to change the arguments which Haskell - getArgs >>= ... will be fed. So you can do that by calling here - _after_ calling startupHaskell. - */ - prog_argc = argc; - prog_argv = argv; - setProgName(prog_argv); + prog_argc = argc; + prog_argv = argv; + setProgName(prog_argv); } /* These functions record and recall the full arguments, including the @@ -2451,3 +1529,68 @@ setFullProgArgv(int argc, char *argv[]) full_prog_argv[argc] = NULL; } +void +freeFullProgArgv (void) +{ + int i; + + if (full_prog_argv != NULL) { + for (i = 0; i < full_prog_argc; i++) { + stgFree(full_prog_argv[i]); + } + stgFree(full_prog_argv); + } + + full_prog_argc = 0; + full_prog_argv = NULL; +} + +#if defined(mingw32_HOST_OS) +void freeWin32ProgArgv (void); + +void +freeWin32ProgArgv (void) +{ + int i; + + if (win32_prog_argv != NULL) { + for (i = 0; i < win32_prog_argc; i++) { + stgFree(win32_prog_argv[i]); + } + stgFree(win32_prog_argv); + } + + win32_prog_argc = 0; + win32_prog_argv = NULL; +} + +void +getWin32ProgArgv(int *argc, wchar_t **argv[]) +{ + *argc = win32_prog_argc; + *argv = win32_prog_argv; +} + +void +setWin32ProgArgv(int argc, wchar_t *argv[]) +{ + int i; + + freeWin32ProgArgv(); + + win32_prog_argc = argc; + if (argv == NULL) { + win32_prog_argv = NULL; + return; + } + + win32_prog_argv = stgCallocBytes(argc + 1, sizeof (wchar_t *), + "setWin32ProgArgv 1"); + for (i = 0; i < argc; i++) { + win32_prog_argv[i] = stgMallocBytes((wcslen(argv[i]) + 1) * sizeof(wchar_t), + "setWin32ProgArgv 2"); + wcscpy(win32_prog_argv[i], argv[i]); + } + win32_prog_argv[argc] = NULL; +} +#endif