Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
Navas, J. and Méndez-Lojo, Mario and Hermenegildo, Manuel V. (2008). Customizable resource usage analysis for java bytecode. Monografía (Technical Report). Facultad de Informática (UPM).
Title: | Customizable resource usage analysis for java bytecode |
---|---|
Author/s: |
|
Item Type: | Monograph (Technical Report) |
Date: | January 2008 |
Subjects: | |
Faculty: | Facultad de Informática (UPM) |
Department: | Inteligencia Artificial |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
Automatic cost analysis of programs has been traditionally studied in terms of a number of concrete, predefined resources such as execution steps, time, or memory. However, the increasing relevance of analysis applications such as static debugging and/or certification of user-level properties (including for mobile code) makes it interesting to develop analyses for resource notions that are actually applicationdependent. This may include, for example, bytes sent or received by an application, number of files left open, number of SMSs sent or received, number of accesses to a database, money spent, energy consumption, etc. We present a fully automated analysis for inferring upper bounds on the usage that a Java bytecode program makes of a set of application programmer-definable resources. In our context, a resource is defined by programmer-provided annotations which state the basic consumption that certain program elements make of that resource. From these definitions our analysis derives functions which return an upper bound on the usage that the whole program (and individual blocks) make of that resource for any given set of input data sizes. The analysis proposed is independent of the particular resource. We also present some experimental results from a prototype implementation of the approach covering an ample set of interesting resources.
Item ID: | 14723 |
---|---|
DC Identifier: | https://oa.upm.es/14723/ |
OAI Identifier: | oai:oa.upm.es:14723 |
Official URL: | http://clip.dia.fi.upm.es/papers/resources-bytecod... |
Deposited by: | Biblioteca Facultad de Informatica |
Deposited on: | 03 Apr 2013 07:06 |
Last Modified: | 27 Feb 2023 11:23 |