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]
See more >
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]
< Reduce
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Efficient runtime systems for parallel architectures [RUNTIME]
Language
en
Communication dans un congrès
This item was published in
Proceedings of the High Performance Computing Conference, Proceedings of the High Performance Computing Conference, High Performance Computing, 2013-12-18. 2013p. pp. 206-215
English Abstract
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 ...Read more >
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.Read less <
Origin
Hal imported