Dipartimento di Matematica
Università degli Studi di Parma
Facoltà di Scienze Mat. Fis. Nat.
SEMINARIO di INFORMATICA
Mercoledì 18 Marzo 2009
alle ore 11,30 presso l'aula D del Dipartimento di
Matematica, il
Prof. Miguel Gómez-Zamalloa , Departamento de Sistemas Informáticos y Computación,
Universidad Complutense de Madrid, España,
terrà un Seminario dal titolo:
"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.
Tutti gli interessati sono invitati a partecipare.
Prof. Roberto Bagnara
Parma, 17 Marzo 2009
Bacheca del Dip. Mat. Univ. Parma
|