• 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
build_overrides Loading commit data...
custom_deps Loading commit data...
docs Loading commit data...
gni Loading commit data...
include Loading commit data...
infra Loading commit data...
samples Loading commit data...
src Loading commit data...
test Loading commit data...
testing Loading commit data...
third_party Loading commit data...
tools Loading commit data...
.clang-format Loading commit data...
.clang-tidy Loading commit data...
.editorconfig Loading commit data...
.flake8 Loading commit data...
.git-blame-ignore-revs Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gn Loading commit data...
.vpython Loading commit data...
.ycm_extra_conf.py Loading commit data...
AUTHORS Loading commit data...
BUILD.gn Loading commit data...
CODE_OF_CONDUCT.md Loading commit data...
COMMON_OWNERS Loading commit data...
DEPS Loading commit data...
DIR_METADATA Loading commit data...
ENG_REVIEW_OWNERS Loading commit data...
INFRA_OWNERS Loading commit data...
INTL_OWNERS Loading commit data...
LICENSE Loading commit data...
LICENSE.fdlibm Loading commit data...
LICENSE.strongtalk Loading commit data...
LICENSE.v8 Loading commit data...
MIPS_OWNERS Loading commit data...
OWNERS Loading commit data...
PPC_OWNERS Loading commit data...
PRESUBMIT.py Loading commit data...
README.md Loading commit data...
S390_OWNERS Loading commit data...
WATCHLISTS Loading commit data...
codereview.settings Loading commit data...