Source code

Revision control

Copy as Markdown

Other Tools

// |jit-test| skip-if: !hasFunction["gczeal"]
// Check that incoming CCW edges are marked gray in a zone GC if the
// source is gray.
// Set up a new compartment with a gray object wrapper to this
// compartment.
function createOtherCompartment() {
let t = {};
addMarkObservers([t]);
let g = newGlobal({newCompartment: true});
g.t = t;
g.eval(`grayRoot().push(t);`);
g.t = null;
t = null;
return g;
}
function startGCMarking() {
startgc(1);
while (gcstate() === "Prepare") {
gcslice(1);
}
}
gczeal(0);
let g = createOtherCompartment();
// The target should be gray in a full GC...
gc();
assertEq(getMarks()[0], "gray");
// and subsequently gray in a zone GC of only this compartment.
gc(this);
assertEq(getMarks()[0], "gray");
// If a barrier marks the gray wrapper black after the start of the
// GC, the target ends up black.
schedulezone(this);
startGCMarking()
assertEq(getMarks()[0], "unmarked");
g.eval(`grayRoot()`); // Barrier marks gray roots black.
assertEq(getMarks()[0], "black");
finishgc();
// A full collection resets the wrapper to gray.
gc();
assertEq(getMarks()[0], "gray");
// If a barrier marks the gray wrapper black after the target has
// already been marked gray, the target ends up black.
gczeal(25); // Yield during gray marking.
schedulezone(this);
startGCMarking();
assertEq(getMarks()[0], "gray");
g.eval(`grayRoot()`); // Barrier marks gray roots black.
assertEq(getMarks()[0], "black");
finishgc();