768732 - "Assertion failure: [barrier verifier] Unmarked edge: element,"

Status: RESOLVED FIXED

(Core :: JavaScript Engine, defect)

Description

[Gary Kwong [:gkw] [:nth10sd] (NOT official MoCo now)]

Attachment: stack from Windows 7

a = ''
b = []
a = b.concat(a)
Object.defineProperty(a, 3, {
  e: gczeal(4, 2)
})

asserts js debug shell on m-c changeset 5c07a681371d with and without patch v3 from bug 757199 applied, at Assertion failure: [barrier verifier] Unmarked edge: element, without any CLI arguments.

gczeal seems involved so setting s-s to be safe.

autoBisect shows this is probably related to the following changeset:

The first bad revision is:
changeset:   97431:bd1992ab029b
user:        Bill McCloskey
date:        Fri Jun 22 11:30:48 2012 -0700
summary:     Bug 766355 - Fix GC valgrind warnings (r=terrence)

Comment 1

[Bill McCloskey [inactive unless it's an emergency] (:billm)]

Attachment: patch

In this test case, we're slowifying a dense array. The following steps can happen:

1. Start an incremental GC.
2. Enter the array slowification. It will set obj->elements to empty while keeping the elements rooted with an AutoRooter.
3. It allocates some shapes. At this point, it's possible we could do a GC slice. If we scan the array during this time, it will look empty.

The incremental GC only scans the autorooted elements in the first slice, which might have taken place before the slowification started.

This patch invokes a write barrier on all the elements during slowification. This is a bit expensive, but we're already allocating a shape for every element, so I don't think it should be too bad. And it only happens when we're running an incremental GC.

Comment 2

[Gary Kwong [:gkw] [:nth10sd] (NOT official MoCo now)]

Assuming sec-critical based on comment 1, please change if this is not the case.

Comment 3

[Gary Kwong [:gkw] [:nth10sd] (NOT official MoCo now)]

Incremental GC is only enabled by default on 16, so setting the rest unaffected/disabled on 15.

Comment 5

[Bill McCloskey [inactive unless it's an emergency] (:billm)]

https://hg.mozilla.org/integration/mozilla-inbound/rev/864f8f84cc53

Comment 6

[Bill McCloskey [inactive unless it's an emergency] (:billm)]

https://hg.mozilla.org/mozilla-central/rev/864f8f84cc53

Comment 8

[Christian Holler (:decoder)]

A testcase for this bug was automatically identified at js/src/jit-test/tests/basic/bug768732.js.