ETD

Archivio digitale delle tesi discusse presso l'Università di Pisa

Tesi etd-03292008-200820


Tipo di tesi
Tesi di laurea specialistica
Autore
FINA, VALERIO
URN
etd-03292008-200820
Titolo
UN'ANALISI DEI CONTROLLI DI TIPO NELLA JAVA VIRTUAL MACHINE
Dipartimento
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Relatori
Relatore Prof. De Francesco, Nicoletta
Relatore Ing. Lettieri, Giuseppe
Relatore Ing. Martini, Luca
Parole chiave
  • Benchmark
  • Verifica
  • Java
  • Interfacce
Data inizio appello
07/05/2008
Consultabilità
Completa
Riassunto
Un programma scritto in linguaggio Java viene eseguito da una macchina virtuale denominata Java Virtual Machine. Lo sviluppo di questo linguaggio negli anni, soprattutto nel settore del Web, ha imposto dei rigidi modelli di sicurezza, uno dei quali è la verifica del codice bytecode del programma. Il costrutto Interfaccia del linguaggio Java propone delle problematiche in materia di verifica del bytecode, in quanto offre al programmatore uno strumento alternativo all'eredità multipla che in Java non è permessa. Alcuni dei controlli di tipo da effettuare sulle interfacce, non possono essere eseguiti dal verificatore e devono essere rimandati a tempo di esecuzione ed effettuati dall'interprete Java. Questa soluzione però produce un qualche rallentamento nelle prestazioni dell'interprete. Lo scopo di questa Tesi è quello di identificare i controlli a tempo di esecuzione eseguiti sulle interfacce, eliminarli ed eseguire una serie di test per quantificare l'eventuale guadagno in termini di prestazioni che è possibile ottenere.
File