diff options
Diffstat (limited to 'includes/rts/Flags.h')
| -rw-r--r-- | includes/rts/Flags.h | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/includes/rts/Flags.h b/includes/rts/Flags.h index 8020a177b0..ff303dc5e6 100644 --- a/includes/rts/Flags.h +++ b/includes/rts/Flags.h @@ -73,6 +73,11 @@ typedef struct _GC_FLAGS { * to handle the exception before we * raise it again. */ + + rtsBool numa; /* Use NUMA */ + uint32_t nNumaNodes; /* Number of nodes */ + uint32_t numaMap[MAX_NUMA_NODES]; /* Map our internal node numbers to OS + * node numbers */ } GC_FLAGS; /* See Note [Synchronization of flags and base APIs] */ @@ -93,6 +98,7 @@ typedef struct _DEBUG_FLAGS { rtsBool squeeze; /* 'z' stack squeezing & lazy blackholing */ rtsBool hpc; /* 'c' coverage */ rtsBool sparks; /* 'r' */ + rtsBool numa; /* '--debug-numa' */ } DEBUG_FLAGS; /* See Note [Synchronization of flags and base APIs] */ @@ -184,7 +190,7 @@ typedef struct _MISC_FLAGS { #ifdef THREADED_RTS /* See Note [Synchronization of flags and base APIs] */ typedef struct _PAR_FLAGS { - uint32_t nNodes; /* number of threads to run simultaneously */ + uint32_t nCapabilities; /* number of threads to run simultaneously */ rtsBool migrate; /* migrate threads between capabilities */ uint32_t maxLocalSparks; rtsBool parGcEnabled; /* enable parallel GC */ |