2010 | OriginalPaper | Buchkapitel
RATA: Rapid Atomic Type Analysis by Abstract Interpretation – Application to JavaScript Optimization
verfasst von : Francesco Logozzo, Herman Venter
Erschienen in: Compiler Construction
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We introduce RATA, a static analysis based on abstract interpretation for the rapid inference of atomic types in
JavaScript
programs. RATA enables aggressive type specialization optimizations in dynamic languages. RATA is a combination of an interval analysis (to determine the range of variables), a kind analysis (to determine if a variable may assume fractional values, or
NaN
), and a variation analysis (to relate the values of variables). The combination of those three analyses allows our compiler to specialize
Float64
variables (the only numerical type in
JavaScript
) to
Int32
variables, providing large performance improvements (up to 7.7×) in some of our benchmarks.