Técnicas e algoritmos para emulação eficiente de saltos em máquinas virtuais

• Processo: 11/16468-6
• Linha de fomento: Bolsas no Brasil - Mestrado
• Vigência (Início): 01 de março de 2012
• Vigência (Término): 31 de julho de 2013
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Edson Borin
• Beneficiário: Gabriel Ferreira Teles Gomes
• Instituição-sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Interpretação Montadores e compiladores

Resumo

Este projeto visa investigar algoritmos e técnicas em hardware para a execução eficiente de operações de salto em máquinas virtuais.Máquinas virtuais são programas de computador que emulam uma interface para execução de outros programas, compilados para a interface sendo emulada.Esta tecnologia está presente em diversos sistemas computacionais e é utilizada desde o suporte à linguagens de programação de alto nível, como na máquina virtual Java, até a implementação de processadores com projeto integrado de hardware e software.A maioria das máquinas virtuais existentes na literatura utiliza técnicas de emulação similares, como interpretação e tradução dinâmica de binários. De fato, as duas técnicas são muitas vezes utilizadas de forma colaborativa, em uma mesma máquina virtual, para acelerar o processo de emulação e tornar a máquina virtual eficiente. Dada a importância do processo de emulação nas máquinas virtuais, o objetivo deste projeto de pesquisa é a investigação dealgoritmos e técnicas em hardware para acelerar o processo de emulação em máquinas virtuais. Este projeto será focado na investigação de técnicas para acelerar a emulação de saltos diretos e indiretos com ênfase em benchmarks com cargas de trabalho representativas de aplicações de produtividade ou de grande porte como sistemas operacionais e ferramentas de escritório.

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

GOMES, Gabriel Ferreira Teles. Indirect branch emulation techniques in virtual machines. 2014. Dissertação de Mestrado - Universidade Estadual de Campinas. Instituto de Computação.