Camil Demetrescu edited approach.tex  over 8 years ago

Commit id: fd56bba9954c8b4a3beafba423264be275e6408c

deletions | additions      

       

\subsection{Overview}  \label{ss:overview}  Consider the generic OSR scenario shown Figure~\ref{fi:osr-dynamics}. A base function \textsf{f} is executed and it can either terminate normally (dashed lines), or an OSR event may transfer control to a variant \textsf{f'}. The decision of whether an OSR should be fired at a given point is based on a condition: examples include an {\em OSR condition}: for instance,  a guard that tests testing  whether \textsf{f} has become unsafe, or a profile counter that reaches reaching  a certain hotness threshold, indicating which indicates  that \textsf{f} is taking longer than expected and is worth optimizing. %\ref{fi:overview-osr-final}