HotSpot Optimization

[Wiki Duke]

compiler tactics:

• delayed compilation
• tiered compilation
• on-stack replacement
• delayed re-optimization
• program dependence graph representation
• static single assignment representation

proof-based techniques:

• exact type inference
• memory value inference
• memory value tracking
• constant folding
• reassociation
• operator strength reduction
• null check elimination
• type test strength reduction
• type test elimination
• algebraic simplification
• common subexpression elimination
• integer range typing

flow-sensitive rewrites:

• conditional constant propagation
• dominating test detection
• flow-carried type narrowing
• dead code elimination

language-specific techniques:

• class hierarchy analysis
• devirtualization
• symbolic constant propagation
• autobox elimination
• escape analysis
• scalar replacement
• lock elision
• lock fusion
• de-reflection

speculative (profile-based) techniques:

• optimistic nullness assertions
• optimistic type assertions
• optimistic type strengthening
• optimistic array length strengthening
• untaken branch pruning
• optimistic N-morphic inlining
• branch frequency prediction
• call frequency prediction

memory and placement transformation:

• expression hoisting
• expression sinking
• redundant store elimination
• adjacent store fusion
• card-mark elimination
• merge-point splitting

loop transformations:

• loop unrolling
• loop peeling
• safepoint elimination
• iteration range splitting
• range check elimination
• loop vectorization

global code shaping:

• inlining (graph integration)
• global code motion
• heat-based code layout
• switch balancing
• throw inlining

control flow graph transformation:

• local code scheduling
• local code bundling
• delay slot filling
• graph-coloring register allocation
• linear scan register allocation
• live range splitting
• copy coalescing
• constant splitting
• copy removal
• address mode matching
• instruction peepholing
• DFA-based code generator

Addional resources

Oracle's guidance page
List on the HotSpot wiki: here

This wiki entry has had 4 revisions with contributions from 2 members. (more info)

    Rev.4: by Roquen (+488 chars, 2012-08-03 11:03:57)
    Rev.3: by matheus23 (+486 chars, 2012-08-02 20:54:41)
    Rev.2: by Roquen (+223 chars, 2012-08-02 17:39:16)
    Rev.1: by Roquen (+894 chars, 2012-08-02 17:32:57)
    Initial post: by Roquen (2658 chars, 2012-08-02 13:48:27)

[matheus23]

Made this look good.

Was pretty much work... only used Ctrl+V for "[/li][/list]"...

Thought about writing a Generator.
But didn't did it...