diff options
Diffstat (limited to 'rts/sm/GC.c')
| -rw-r--r-- | rts/sm/GC.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rts/sm/GC.c b/rts/sm/GC.c index 4bf540a4a7..92a5e229a1 100644 --- a/rts/sm/GC.c +++ b/rts/sm/GC.c @@ -1104,6 +1104,8 @@ loop: // scavenge_loop() only exits when there's no work to do + // This atomic decrement also serves as a full barrier to ensure that any + // writes we made during scavenging are visible to other threads. #if defined(DEBUG) r = dec_running(); #else |