struct PAR_FLAGS {
nat nNodes; /* number of threads to run simultaneously */
rtsBool migrate; /* migrate threads between capabilities */
- rtsBool wakeupMigrate; /* migrate a thread on wakeup */
- unsigned int maxLocalSparks;
+ unsigned int maxLocalSparks;
rtsBool parGcEnabled; /* enable parallel GC */
unsigned int parGcGen; /* do parallel GC in this generation
* and higher only */
extern RTS_FLAGS RtsFlags;
#endif
-/* Routines that operate-on/to-do-with RTS flags: */
-
-void initRtsFlagsDefaults(void);
-void setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[]);
-void setProgName(char *argv[]);
-
-
/*
* The printf formats are here, so we are less likely to make
* overly-long filenames (with disastrous results). No more than 128