nonmoving: Clear segment bitmaps during sweep

Authored by bgamari on Nov 30 2019, 8:55 PM.

Description

nonmoving: Clear segment bitmaps during sweep

Previously we would clear the bitmaps of segments which we are going to
sweep during the preparatory pause. However, this is unnecessary: the
existence of the mark epoch ensures that the sweep will correctly
identify non-reachable objects, even if we do not clear the bitmap.

We now defer clearing the bitmap to sweep, which happens concurrently
with mutation.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Dec 5 2019, 3:07 PM
Parents
rGHC8324f0b7357c: Test proxy-polymorphic sameNat and sameSymbol
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC69001f54279a: nonmoving: Clear segment bitmaps during sweep (authored by bgamari).Dec 5 2019, 3:07 PM