Selective Runtime Memory Disambiguation in a Dynamic Binary Translator

Download Now
Provided by: Princeton Software
Topic: Storage
Format: PDF
Alias analysis, traditionally performed statically, is unsuited for a Dynamic Binary Translator (DBT) due to incomplete control-flow information and the high complexity of an accurate analysis. Whole-program profiling, however, shows that most memory references do not alias. The current technique used in DBTs to disambiguate memory references, instruction inspection, is too simple and can only disambiguate one-third of potential aliases. To achieve effective memory disambiguation while keeping a tight bound on analysis overhead, the authors propose an efficient heuristic algorithm that strategically selects key memory dependences to disambiguate with runtime checks.
Download Now

Find By Topic