Camil Demetrescu edited abstract.tex  over 8 years ago

Commit id: 5ba7f8f817570076d502fa0e5f254ce9a6bd8a54

deletions | additions      

       

% !TEX root = article.tex  On-Stack Replacement (OSR) is a technique for suspending dynamically transferring execution between different versions of a function.  %suspending  the execution of a function and continuing with a different version of the code. OSR is often used in virtual machines to interrupt a long-running function and recompile it at a higher optimization level, or to replace it with a different one when a speculative assumption made during its compilation no longer holds. In this paper we present a framework for OSR that introduces novel ideas and combines features of extant techniques that no previous solution provided simultaneously. New features include OSR with compensation code to adjust the program state during a transition and the ability to fire an OSR from arbitrary locations in the code. Our approach is platform-independent as the OSR machinery is entirely encoded at a compiler's intermediate representation level.