Implementation techniques for native virtual machines

• Grant number: 13/26054-0
• Support Opportunities: Scholarships in Brazil - Master
• Start date: April 01, 2014
• End date: January 31, 2015
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computer Systems
• Principal Investigator: Edson Borin
• Grantee: Alisson Linhares de Carvalho
• Host Institution: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil

Abstract

A Virtual machine is a computer program that emulates an interface for running other programs. This technology is present in many computer systems and is used from the support of high-level programming languages, such as the Java virtual machine, to the deployment of processors with integrated design of hardware and software, as the Efficeon processor from Transmeta. Most of virtual machines in the literature use techniques like interpretation and dynamic binary translation. In fact, these techniques are often used collaboratively, with the goal of accelerating the emulation process. However, it is possible to improve the virtual machine emulation technique to obtain a higher performance with the use of a native architecture. The use of a native approach allows the reduction of the software stack between the hardware and the virtual machine. Therefore it removes many restrictions imposed by the operating system. Despite the flexibility afforded by the adoption of a native virtual machine architecture, there is a price to be paid by choosing this approach. Create a software without the abstraction provided by the operating system is extremely complex, susceptible to failures and decrease the portability. Therefore, the goal of this study is to research and develop algorithms and techniques that are going to help the construction of native virtual machines and try to reduce the complexity of developing new solutions. (AU)

Academic Publications

(References retrieved automatically from State of São Paulo Research Institutions)

CARVALHO, Alisson Linhares de. Support for development of native virtual machines. 2015. Master's Dissertation - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação Campinas, SP.