tree 42332871eb71d519737578c0f495992834832c92
parent 0651b221dd55042ac69e2c0b2cec8843f10f5dfd
author Roland Levillain <rpl@google.com> 1536157879 +0100
committer Roland Levillain <rpl@google.com> 1536164438 +0100

Adjust AssertToSpaceInvariantInNonMovingSpace for Sticky-Bit CC.

Do not rely on the mark bitmap to check the to-space invariant in
non-moving spaces during a minor (sticky-bit) CC collection when the
young-generation collector is still scanning the dirty cards, because
of a potential race between bitmap marking (in
ConcurrentCopying::MarkNonMoving) and to-space invariant checking (in
AssertToSpaceInvariantInNonMovingSpace). Check that the read barrier
state is gray instead.

Test: ART_USE_GENERATIONAL_CC=true art/test.py
Bug: 113858074
Bug: 67628039
Change-Id: Ifa13458bc2e28a2ef8ace1496f2e1e90b0a020e4