Data specialization

摘要: Given a repeated computation, part of whose input context remains invariant across all repetitions, program staging improves performance by separating the computation into two phases. An early phase executes only once, performing computations depending on inputs, while late repeatedly performs remainder work given varying inputs and results computations.Common techniques based dynamic compilation statically construct an that dynamically generates object code customized for particular context. In effect, are encoded as compiled phase.This paper describes alternative approach in which data structure, allowing both phases to be generated statically. By avoiding manipulation, we give up some optimization opportunities exchange significantly lower space/time overhead reduced implementation complexity.