Algorithms and hardware support for efficient virtual machines

• Grant number: 11/00901-2
• Support Opportunities: Regular Research Grants
• Start date: August 01, 2011
• End date: July 31, 2013
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computer Systems
• Principal Investigator: Edson Borin
• Grantee: Edson Borin
• Host Institution: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil

Abstract

In this project we will investigate algorithms and hardware support techniques to enable the implementation of efficient virtual machines. Virtual machines are computer programs that emulate an interface for the execution of other programs, compiled for the interface being emulated. This technology is widely used in computers systems, being used to support the execution of high level programming languages, such as Java, as well as the implementation of hardware software co-designed microprocessors, such as the Transmeta Efficeon. The majority of the existing virtual machines in the literature relies on emulation techniques such as interpretation and dynamic binary translation. In fact, these techniques are often combined in the same virtual machine to speedup the emulation process. Given the importance of the emulation process on virtual machines, the goal of this project is to investigate algorithms and hardware support techniques to speedup the emulation process of virtual machines. The focus of the project will be on: hot code prediction and the formation and optimization of hot regions of code. (AU)

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

GUEDES, MARCELO; AULER, RAFAEL; DUENHA, LIANA; BONIN, EDSON; AZEVEDO, RODOLFO. An automatic energy consumption characterization of processors using ArchC. JOURNAL OF SYSTEMS ARCHITECTURE, v. 59, n. 8, p. 12-pg., 2013-09-01. (10/02230-5, 11/09630-1, 11/00901-2)

GUEDES, MARCELO; AULER, RAFAEL; DUENHA, LIANA; BONIN, EDSON; AZEVEDO, RODOLFO. An automatic energy consumption characterization of processors using ArchC. JOURNAL OF SYSTEMS ARCHITECTURE, v. 59, n. 8, SI, p. 603-614, SEP 2013. (11/00901-2, 10/02230-5, 11/09630-1)