Add more doesGC() assertions.

[Mark Lam]

Patch coming.

[Radar WebKit Bug Importer]

<rdar://problem/48285723>

[Mark Lam]

Created attachment 362645 [details]
proposed patch.

[Saam Barati]

Comment on attachment 362645 [details]
proposed patch.

View in context: https://bugs.webkit.org/attachment.cgi?id=362645&action=review

> Source/JavaScriptCore/ChangeLog:47
> +        (JSC::Heap::collectAsync):

I wonder if it's correct for this one.

> Source/JavaScriptCore/heap/DeferGC.h:49
> +            if (m_heap.deferralDepth() == 1)

Why would we not always assert this? We generally don't know if we're the outmost or not.

> Source/JavaScriptCore/heap/Heap.cpp:1033
> +        RELEASE_ASSERT(expectDoesGC());

I wonder if this should be based on synchronousness

[Mark Lam]

Comment on attachment 362645 [details]
proposed patch.

View in context: https://bugs.webkit.org/attachment.cgi?id=362645&action=review

>> Source/JavaScriptCore/ChangeLog:47
>> +        (JSC::Heap::collectAsync):
> 
> I wonder if it's correct for this one.

collectAsync can GC synchronously as well because:
- collectAsync() calls requestCollection()
- requestCollection() calls stopIfNecessary()
- stopIfNecessary() can calls collectInMutatorThread().

>> Source/JavaScriptCore/heap/DeferGC.h:49
>> +            if (m_heap.deferralDepth() == 1)
> 
> Why would we not always assert this? We generally don't know if we're the outmost or not.

You're right.  This check is not needed.  I'll make the assertion unconditional.

>> Source/JavaScriptCore/heap/Heap.cpp:1033
>> +        RELEASE_ASSERT(expectDoesGC());
> 
> I wonder if this should be based on synchronousness

Async can GC in mutator thread as well (as explained above).

[Mark Lam]

Created attachment 362679 [details]
proposed patch after applying Saam's and Yusuke's feedback.

[Yusuke Suzuki]

Comment on attachment 362679 [details]
proposed patch after applying Saam's and Yusuke's feedback.

r=me

[Mark Lam]

Thanks for the reviews.  Landed in r241927: <http://trac.webkit.org/r241927>.