理解code specialization

• Overview

  Code specialization is a well-known technique used to produce more efficient code from a generic one.

  It works by substituting a formal input value by an effective value, and can be done either staticallyu or dynamically.

• Static specialization

  Static specialization makes use of data that is expected to be frequently used.

• Dynamic specialization

  Dynamic specialization uses the actual values at run-time.

• References

1. Hybrid Specialization: A Trade-off Between Static and Dynamic Specialization
2. Code Specialization based on Value Profiles