|
CS Seminar: Miguel Gómez-Zamalloa, March 18, 2009
- Speaker
-
Miguel Gómez-Zamalloa,
Departamento de Sistemas Informáticos y Computación (DSIC),
Complutense University of Madrid, Spain.
- Date and Time
-
Wednesday, March 18, 2009 at 11:30
- Place
-
Aula D,
Dipartimento di Matematica,
Università di Parma,
I-43100 Parma
- Title
-
Live Heap Space Analysis for Java Bytecode
- Abstract
-
I will present a live heap space analysis for (sequential) Java
Bytecode. First, for those who are not familiar with Java Bytecode
(JBC), I will give a mini-tutorial on the JBC language and the JVM
(Java virtual machine). Then I will concentrate on how using the cost
analysis framework in the COSTA system (COSt and Termination Analyzer
for JBC), we can generate heap space cost relations which define at
compile-time the total heap consumption of a program as a function of
its input data size. These relations can be used to obtain upper
bounds on the total heap space allocated during the execution of a
program. Unfortunately, in presence of garbage collection (GC), such
an analysis is an overly pessimistic estimation of the actual memory
requirement. I will therefore outline a Live heap space analysis which
aims at approximating the peak heap consumption during program
execution, thus providing a much tighter estimation. Finally, I will
give a short demonstration of the COSTA system showing how it can
infer upper bounds of different resources not restricted to any
complexity class.
- Contact Person
-
Roberto Bagnara
[Page last updated on March 19, 2009, 11:07:04.]
|