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

• Processo: 11/16468-6
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de março de 2012
• Data de Término da vigência: 31 de julho de 2013
• Área de 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
• Palavra(s)-Chave do Pesquisador: detecção de código quente | geração e otimização de código dinâmica | interpretação | Máquinas Virtuais | Tradução dinâmica de binários | 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 (UNICAMP). Instituto de Computação Campinas, SP.