ETD system

Electronic theses and dissertations repository

 

Tesi etd-03292008-200820


Thesis type
Tesi di laurea specialistica
Author
FINA, VALERIO
URN
etd-03292008-200820
Title
UN'ANALISI DEI CONTROLLI DI TIPO NELLA JAVA VIRTUAL MACHINE
Struttura
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Commissione
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 analitico
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