Estudio de la portabilidad de la JVM: ZERO/SHARK con LLVM 12

Abstract

En este trabajo realizamos un estudio sobre la virtualización, teoría, características y ejemplos, para posteriormente abordar el caso concreto de la jvm y su portabilidad. El trabajo culmina resucitando un proyecto de código abierto llamado Shark, que aborda del problema de la portabilidad de la jvm a través del marco LLVM de construcción de compiladores. Para ello, modernizamos y adaptamos el proyecto para que utilice la última versión de LLVM y la última versión de la jvm. Finalmente verificamos esta jvm con tests de estrés, y la ejecución de algunos programas de prueba.

In this work we study the topic of Virtualization, the theory behind it, characteristics and examples, to later address the specific case of the jvm and its portability. The work culminates by resurrecting an open-source project called Shark, which addresses the jvm portability problem through the LLVM compiler-construction framework. For this purpose, we modernize and adapte Shark to use the latest version of LLVM and the latest version of the jvm. Finally we verify this jvm with stress tests, and the execution of some test programs.