• Leszek Swirski's avatar
    [compiler] Remove disallow scopes · a6f465d4
    Leszek Swirski authored
    TurboFan creates DisallowHeapAccess scopes, to prevent heap access in
    the concurrent parts of the compiler. Then, for parts of the compiler
    that do want to access the heap, it either creates Allow* scopes (which
    should be avoided since they "punch a hole" in the Disallow* scopes), or
    relies on a weakening of Handle::IsDereferenceAllowed which allows
    handles owned by a LocalHeap to be dereferenced even if there is a
    DisallowHeapDereference scope.
    
    This patch:
    
      a) Strengthens the implicit requirements around handle dereferencing
         to require a running heap on this thread (either main-thread heap
         or an un-parked, un-safepointed LocalHeap).
      b) Removes the overly strict Disallow scopes in TurboFan, relying
         instead on implicit requirements for allocation/handle
         dereferencing in off-thread code.
      c) Cleans up the "should_disallow_heap_access" predicate to be more
         explicit about what should be disallowed (e.g. property accesses
         can't be computed concurrently)
    
    Change-Id: Icb56b7764913ac17e2db197a70bb189af88a6978
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2554617
    Commit-Queue: Leszek Swirski <leszeks@chromium.org>
    Auto-Submit: Leszek Swirski <leszeks@chromium.org>
    Reviewed-by: 's avatarDominik Inführ <dinfuehr@chromium.org>
    Reviewed-by: 's avatarGeorg Neis <neis@chromium.org>
    Reviewed-by: 's avatarSantiago Aboy Solanes <solanes@chromium.org>
    Cr-Commit-Position: refs/heads/master@{#71600}
    a6f465d4
Name
Last commit
Last update
..
api Loading commit data...
asmjs Loading commit data...
ast Loading commit data...
base Loading commit data...
builtins Loading commit data...
codegen Loading commit data...
common Loading commit data...
compiler Loading commit data...
compiler-dispatcher Loading commit data...
d8 Loading commit data...
date Loading commit data...
debug Loading commit data...
deoptimizer Loading commit data...
diagnostics Loading commit data...
execution Loading commit data...
extensions Loading commit data...
flags Loading commit data...
handles Loading commit data...
heap Loading commit data...
ic Loading commit data...
init Loading commit data...
inspector Loading commit data...
interpreter Loading commit data...
json Loading commit data...
libplatform Loading commit data...
libsampler Loading commit data...
logging Loading commit data...
numbers Loading commit data...
objects Loading commit data...
parsing Loading commit data...
profiler Loading commit data...
protobuf Loading commit data...
regexp Loading commit data...
roots Loading commit data...
runtime Loading commit data...
sanitizer Loading commit data...
snapshot Loading commit data...
strings Loading commit data...
tasks Loading commit data...
third_party Loading commit data...
torque Loading commit data...
tracing Loading commit data...
trap-handler Loading commit data...
utils Loading commit data...
wasm Loading commit data...
zone Loading commit data...
DEPS Loading commit data...
DIR_METADATA Loading commit data...
OWNERS Loading commit data...