• Seth Brenith's avatar
    Profile-guided optimization of builtins · 922983df
    Seth Brenith authored
    Design doc:
    https://docs.google.com/document/d/1szInbXZfaErWW70d30hJsOLL0Es-l5_g8d2rXm1ZBqI/edit?usp=sharing
    
    V8 can already collect data about how many times each basic block in the
    builtins is run. This change enables using that data for profile-guided
    optimization. New comments in BUILD.gn describe how to use this feature.
    
    A few implementation details worth mentioning, which aren't covered in
    the design doc:
    
    - BasicBlockProfilerData currently contains an array of RPO numbers.
      However, this array is always just [0, 1, 2, 3, ...], so this change
      removes that array. A new DCHECK in BasicBlockInstrumentor::Instrument
      ensures that the removal is valid.
    
    - RPO numbers, while useful for printing data that matches with the
      stringified schedule, are not useful for matching profiling data with
      blocks that haven't been scheduled yet. This change adds a new array
      of block IDs in BasicBlockProfilerData, so that block counters can be
      used for PGO.
    
    - Basic block counters need to be written to a file so that they can be
      provided to a subsequent run of mksnapshot, but the design doc doesn't
      specify the transfer format or what file is used. In this change, I
      propose using the existing v8.log file for that purpose. Block count
      records look like this:
    
      block,TestLessThanHandler,37,29405
    
      This line indicates that block ID 37 in TestLessThanHandler was run
      29405 times. If multiple lines refer to the same block, the reader
      adds them all together. I like this format because it's easy to use:
      - V8 already has robust logic for creating the log file, naming it to
        avoid conflicts in multi-process situations, etc.
      - Line order doesn't matter, and interleaved writes from various
        logging sources are fine, given that V8 writes each line atomically.
      - Combining multiple sources of profiling data is as simple as
        concatenating their v8.log files together.
    
    - It is a good idea to avoid making any changes based on profiling data
      if the function being compiled doesn't match the one that was
      profiled, since it is common to use profiling data downloaded from a
      central lab which is updated only periodically. To check whether a
      function matches, I propose using a hash of the Graph state right
      before scheduling. This might be stricter than necessary, as some
      changes to the function might be small enough that the profile data is
      still relevant, but I'd rather err on the side of not making incorrect
      changes. This hash is also written to the v8.log file, in a line that
      looks like this:
    
      builtin_hash,LdaZeroHandler,3387822046
    
    Bug: v8:10470
    Change-Id: I429e5ce5efa94e01e7489deb3996012cf860cf13
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2220765
    Commit-Queue: Seth Brenith <seth.brenith@microsoft.com>
    Reviewed-by: 's avatarRoss McIlroy <rmcilroy@chromium.org>
    Reviewed-by: 's avatarTobias Tebbi <tebbi@chromium.org>
    Cr-Commit-Position: refs/heads/master@{#69008}
    922983df
Name
Last commit
Last update
..
c-signature.h Loading commit data...
call-tester.h Loading commit data...
code-assembler-tester.h Loading commit data...
codegen-tester.cc Loading commit data...
codegen-tester.h Loading commit data...
function-tester.cc Loading commit data...
function-tester.h Loading commit data...
graph-and-builders.h Loading commit data...
serializer-tester.cc Loading commit data...
serializer-tester.h Loading commit data...
test-basic-block-profiler.cc Loading commit data...
test-branch-combine.cc Loading commit data...
test-code-assembler.cc Loading commit data...
test-code-generator.cc Loading commit data...
test-gap-resolver.cc Loading commit data...
test-graph-visualizer.cc Loading commit data...
test-instruction-scheduler.cc Loading commit data...
test-instruction.cc Loading commit data...
test-js-constant-cache.cc Loading commit data...
test-js-context-specialization.cc Loading commit data...
test-js-typed-lowering.cc Loading commit data...
test-jump-threading.cc Loading commit data...
test-linkage.cc Loading commit data...
test-loop-analysis.cc Loading commit data...
test-machine-operator-reducer.cc Loading commit data...
test-multiple-return.cc Loading commit data...
test-node.cc Loading commit data...
test-operator.cc Loading commit data...
test-representation-change.cc Loading commit data...
test-run-bytecode-graph-builder.cc Loading commit data...
test-run-calls-to-external-references.cc Loading commit data...
test-run-deopt.cc Loading commit data...
test-run-intrinsics.cc Loading commit data...
test-run-jsbranches.cc Loading commit data...
test-run-jscalls.cc Loading commit data...
test-run-jsexceptions.cc Loading commit data...
test-run-jsobjects.cc Loading commit data...
test-run-jsops.cc Loading commit data...
test-run-load-store.cc Loading commit data...
test-run-machops.cc Loading commit data...
test-run-native-calls.cc Loading commit data...
test-run-retpoline.cc Loading commit data...
test-run-stackcheck.cc Loading commit data...
test-run-tail-calls.cc Loading commit data...
test-run-unwinding-info.cc Loading commit data...
test-run-variables.cc Loading commit data...
value-helper.cc Loading commit data...
value-helper.h Loading commit data...