• mlippautz's avatar
    [heap] Do not trace through blink after making weak roots strong for finalizers · af6d01a1
    mlippautz authored
    Similar to object grouping, we cannot trace through blink (and back to V8) after
    making weak roots strong because phantom callbacks have already been scheduled
    and the handles been zapped.
    
    This is a short-term solution (mimicing what object grouping currently does). It
    is not correct in general because we should fully process the subgraph that was
    discovered by making some of the weak roots strong.  In long term we need  a
    separate handle type on the API level for traced references that have their
    handles zapped at a different stage.
    
    Reproduction:
    - Initial marking is done, i.e., both marking deques are empty.
    - We make weak roots needed for regular finalizers strong.
    - We collect phantom callback data and zap handles that are not reachable so far.
    - Through new roots we discover wrappables on the blink side that would also keep
      objects that were already scheduled for phantom callbacks alive.
    - Since the handle was already zapped we crash during dereferencing.
    
    BUG=chromium:668060,chromium:468240
    
    Review-Url: https://codereview.chromium.org/2580813002
    Cr-Commit-Position: refs/heads/master@{#41724}
    af6d01a1
mark-compact.cc 144 KB