Publication:
VMAD: a virtual machine for advanced dynamic. Analysis of programs

Simple item page
dc.contributor.authorJimborean, Alexandra
dc.contributor.authorHerrmann, Matthieu
dc.contributor.authorLoechner, Vincent
dc.contributor.authorClauss, Philippe
dc.contributor.departmentIngeniería y Tecnología de Computadores
dc.date.accessioned2024-02-02T11:19:05Z
dc.date.available2024-02-02T11:19:05Z
dc.date.issued2021-02
dc.descriptionCompiler Construction - 21st International Conference, 2012. Held as Part of the European Joint Conferences on Theory and Practice of Software, 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings.es
dc.description©2021. This document is the Published version of a Published Work that appeared in final form in Portail HAL Inria. To access the final edited and published work see https://doi.org/10.1007/978-3-642-28652-0\_12es
dc.description.abstractAbstract In this paper, we present a virtual machine, VMAD (Virtual Machine for Advanced Dynamic analysis), enabling an efficient implementation of advanced profiling and analysis of programs. VMAD is organized as a sequence of basic operations where external modules associated to specific profiling strategies are dynamically loaded hen required. The program binary files handled by VMAD are previously instrumented at compile time to include ecessary data, instrumentation instructions and callbacks to the VM. Dynamic information, such as memory ocations 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 uccessively accessed through each memory reference as alinear function of some virtual loop indices. This profiling strategy using VMAD has been run on some of the SPEC2006 and Pointer Intensive benchmark suites, showing a very ow time overhead, in most cases.es
dc.formatapplication/pdfes
dc.format.extent11es
dc.identifier.citationHAL Id: inria-00534748 (https://inria.hal.science/inria-00534748)
dc.identifier.doihttps://doi.org/10.1007/978-3-642-28652-0\_12
dc.identifier.urihttp://hdl.handle.net/10201/138519
dc.languageenges
dc.relationSin financiación externa a la Universidades
dc.rights.accessRightsinfo:eu-repo/semantics/restrictedAccess
dc.titleVMAD: a virtual machine for advanced dynamic. Analysis of programses
dc.typeinfo:eu-repo/semantics/articlees
dspace.entity.typePublicationes
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
2012_CC_Alexandra_Jimborean_HAL.pdf
Size:
1.35 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
2.26 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Artículos