VMAD: a Virtual Machine for Advanced Dynamic Analysis of Programs

Abstract : In this paper, we present a virtual machine, VMAD (Virtual Machine for Advanced Dynamic analysis), enabling an efficient implementation of advanced profiling and analysis processes. VMAD is organized as a sequence of basic operations where external modules associated to specific profiling strategies are dynamically loaded when required. The program binary files handled by VMAD are previously instrumented at compile time to include necessary data, instrumentation instructions and callbacks to the VM. Dynamic information, such as memory locations of launched modules, are patched at startup in the binary file. The LLVM compiler has been extended to automatically instrument programs according to both VMAD and the handled profiling strategies. VMAD's potential is illustrated by presenting a profiling strategy dedicated to loop nests. It collects all memory addresses that are accessed during a selected number of successive iterations of each loop. The collected addresses are consumed by an analysis process trying to interpolate addresses successively accessed through each memory reference as a linear function of some "virtual" loop indices. This profiling strategy using VMAD has been tested on the SPEC2006 benchmark suite showing a very low time overhead.
Type de document :
Communication dans un congrès
IEEE. IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, Apr 2011, Austin, United States. 2011
Liste complète des métadonnées

https://hal.inria.fr/inria-00544501
Contributeur : Philippe Clauss <>
Soumis le : mercredi 8 décembre 2010 - 11:42:28
Dernière modification le : samedi 13 janvier 2018 - 01:03:35

Identifiants

  • HAL Id : inria-00544501, version 1

Collections

Citation

Alexandra Jimborean, Matthieu Herrmann, Vincent Loechner, Philippe Clauss. VMAD: a Virtual Machine for Advanced Dynamic Analysis of Programs. IEEE. IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, Apr 2011, Austin, United States. 2011. 〈inria-00544501〉

Partager

Métriques

Consultations de la notice

220