• Jakob Gruber's avatar
    Reland "[regalloc] Use an adaptive data structure for live sets" · a9ea67d4
    Jakob Gruber authored
    This is a reland of b3d748a2
    
    Original change's description:
    > [regalloc] Use an adaptive data structure for live sets
    > 
    > Live sets represent sets of live virtual registers at block entry and
    > exit points. They are usually sparsely populated; for example, a sample
    > taken from Octane2 shows 80% of sampled live sets with a fill ratio of
    > 10% or less.
    > 
    > Prior to this CL, live sets were implemented as a statically-sized bit
    > vector. This is fine for low-ish virtual register counts, but becomes
    > wasteful at higher numbers.
    > 
    > This CL attempts to address this issue through an adaptive
    > implementation. Small live sets remain bit vectors, while larger sets
    > switch to a PersistentMap-based implementation. PersistentMap has very
    > memory-efficient add/remove/copy operations.
    > 
    > Of course, with adaptive data structures we enter the territory of
    > parameter fiddling. In this case, two parameters are used:
    > kMaxSmallSetSize controls when to switch implementations, and
    > kMaxDeletionsBeforePrune controls when pruning (= managing the # of
    > deleted entries in the map) sets in.
    > 
    > On the (degenerate) test case from the linked bug, the register
    > allocation zone shrinks from 1008MB to 475MB. For more realistic cases
    > I expect savings on the order of 10s of KB.
    > 
    > Bug: v8:9574
    > Change-Id: Id903bbe23f030b418e8d887ef4839c8d65126c52
    > Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1891693
    > Reviewed-by: Tobias Tebbi <tebbi@chromium.org>
    > Reviewed-by: Thibaud Michaud <thibaudm@chromium.org>
    > Commit-Queue: Jakob Gruber <jgruber@chromium.org>
    > Cr-Commit-Position: refs/heads/master@{#64872}
    
    Bug: v8:9574
    Change-Id: I5a95d56c33a98cc5c6c58ff9308314e2eefa462c
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1910953Reviewed-by: 's avatarTobias Tebbi <tebbi@chromium.org>
    Reviewed-by: 's avatarThibaud Michaud <thibaudm@chromium.org>
    Commit-Queue: Jakob Gruber <jgruber@chromium.org>
    Cr-Commit-Position: refs/heads/master@{#64950}
    a9ea67d4
Name
Last commit
Last update
..
arm Loading commit data...
arm64 Loading commit data...
ia32 Loading commit data...
mips Loading commit data...
mips64 Loading commit data...
ppc Loading commit data...
s390 Loading commit data...
x64 Loading commit data...
OWNERS Loading commit data...
code-generator-impl.h Loading commit data...
code-generator.cc Loading commit data...
code-generator.h Loading commit data...
frame-elider.cc Loading commit data...
frame-elider.h Loading commit data...
gap-resolver.cc Loading commit data...
gap-resolver.h Loading commit data...
instruction-codes.h Loading commit data...
instruction-scheduler.cc Loading commit data...
instruction-scheduler.h Loading commit data...
instruction-selector-impl.h Loading commit data...
instruction-selector.cc Loading commit data...
instruction-selector.h Loading commit data...
instruction.cc Loading commit data...
instruction.h Loading commit data...
jump-threading.cc Loading commit data...
jump-threading.h Loading commit data...
live-range-separator.cc Loading commit data...
live-range-separator.h Loading commit data...
move-optimizer.cc Loading commit data...
move-optimizer.h Loading commit data...
register-allocator-verifier.cc Loading commit data...
register-allocator-verifier.h Loading commit data...
register-allocator.cc Loading commit data...
register-allocator.h Loading commit data...
unwinding-info-writer.h Loading commit data...