diff options
Diffstat (limited to 'includes')
| -rw-r--r-- | includes/rts/Flags.h | 4 | ||||
| -rw-r--r-- | includes/rts/storage/TSO.h | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/includes/rts/Flags.h b/includes/rts/Flags.h index 9a039fd95c..f27ce23b0b 100644 --- a/includes/rts/Flags.h +++ b/includes/rts/Flags.h @@ -52,7 +52,9 @@ typedef struct _GC_FLAGS { double oldGenFactor; double pcFreeHeap; - bool useNonmoving; + bool useNonmoving; // default = false + bool nonmovingSelectorOpt; // Do selector optimization in the + // non-moving heap, default = false uint32_t generations; bool squeezeUpdFrames; diff --git a/includes/rts/storage/TSO.h b/includes/rts/storage/TSO.h index 070ecbebaa..d706282796 100644 --- a/includes/rts/storage/TSO.h +++ b/includes/rts/storage/TSO.h @@ -231,6 +231,9 @@ typedef struct StgTSO_ { * setting the stack's mark bit (either the BF_MARKED bit for large objects * or otherwise its bit in its segment's mark bitmap). * + * To ensure that mutation does not proceed until the stack is fully marked the + * mark phase must not set the mark bit until it has finished tracing. + * */ #define STACK_DIRTY 1 |