MIL : A language to build program analysis tools through static binary instrumentation
CHARIF-RUBIAL, Andres
Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués [LI-PaRAD]
Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués [LI-PaRAD]
BARTHOU, Denis
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Efficient runtime systems for parallel architectures [RUNTIME]
Voir plus >
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Efficient runtime systems for parallel architectures [RUNTIME]
CHARIF-RUBIAL, Andres
Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués [LI-PaRAD]
Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués [LI-PaRAD]
BARTHOU, Denis
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Efficient runtime systems for parallel architectures [RUNTIME]
< Réduire
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Efficient runtime systems for parallel architectures [RUNTIME]
Langue
en
Communication dans un congrès
Ce document a été publié dans
Proceedings of the High Performance Computing Conference, Proceedings of the High Performance Computing Conference, High Performance Computing, 2013-12-18. 2013p. pp. 206-215
Résumé en anglais
As software complexity increases, the analysis of code behavior during its execution is becoming more important. Instru- mentation techniques, through the insertion of code directly into binaries, are essential to program ...Lire la suite >
As software complexity increases, the analysis of code behavior during its execution is becoming more important. Instru- mentation techniques, through the insertion of code directly into binaries, are essential to program analyses such as performance evaluation and profiling. In the context of high-performance parallel applications, building an instrumentation framework is quite challenging. One of the difficulties is due to the necessity to capture coarse grain behavior, such as the execution time of different functions, as well as finer-grain behavior in order to pinpoint performance issues. In this paper, we propose a language, MIL, for the development of program analysis tools based on static binary instrumentation. The key feature of MIL is to ease the integration of static, global program analysis with instrumentation. We will show how this enables both a precise targeting of the code regions to analyze, and a better understanding of the optimized program behavior.< Réduire
Origine
Importé de halUnités de recherche