• Andreas Haas's avatar
    [wasm][lazy] Avoid validation in case of a prefix_cache_hit · 2b50e9ce
    Andreas Haas authored
    If the same WebAssembly module gets compiled multiple times, the
    compilation result of the first compilation gets reused for later
    compilations. With streaming compilation functions get compiled before
    the whole module got downloaded, so it cannot be determined if the
    currently compiled module has already been compiled or not. Therefore,
    to check if the WebAssembly module has already been compiled, we compare
    if the hash of the header section matches the hash of any of the already
    compiled modules. If so, no function gets compiled until all bytes were
    received. Then a full module check can be done, and either an existing
    module can be reused, or the whole module gets compiled.
    
    While compilation is avoided after a prefix_cache_hit, decoding still has
    to happen. In the existing implementation, validation for lazy
    compilation also happened in addition to decoding. This lead to the
    problem that validation of lazy compilation could post a foreground task
    when an error was detected, and later another foreground task got posted
    when all bytes were received to do the full module check. Having two
    foreground tasks at the same time violates an invariant in the
    AsyncCompileJob.
    
    With this CL we avoid the initial function validation after a
    prefix_cache_hit to avoid the task for the error handling. Validation
    will anyways happen again if the full module check fails later, or
    validation is unnecessary if the full module check succeeds, as the
    module has already been validated before.
    
    R=clemensb@chromium.org
    
    Bug: v8:13147, v8:12852
    Change-Id: Iae24c056057f3a5dfd2f61accd1f9f0d35412996
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3812038
    Commit-Queue: Andreas Haas <ahaas@chromium.org>
    Reviewed-by: 's avatarClemens Backes <clemensb@chromium.org>
    Cr-Commit-Position: refs/heads/main@{#82218}
    2b50e9ce
Name
Last commit
Last update
.github Loading commit data...
bazel Loading commit data...
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...
.bazelrc 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...
.mailmap Loading commit data...
.style.yapf Loading commit data...
.vpython Loading commit data...
.vpython3 Loading commit data...
.ycm_extra_conf.py Loading commit data...
AUTHORS Loading commit data...
BUILD.bazel 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...
LOONG_OWNERS 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...
RISCV_OWNERS Loading commit data...
S390_OWNERS Loading commit data...
WATCHLISTS Loading commit data...
WORKSPACE Loading commit data...
codereview.settings Loading commit data...