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ómezZamalloa , 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 minitutorial 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
compiletime 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
