Especialização especulativa de valores baseada em parâmetros

• Autor(a) principal: Igor Rafael de Assis Costa
• Data de Publicação: 2013
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Repositório Institucional da UFMG
• Texto Completo: http://hdl.handle.net/1843/ESBF-97CNCD
• topic: Ciência da Computação; Linguagem de programação (Computadores); Computação; Compiladores (Programas de computador)

JavaScript emerge atualmente como uma das mais importantes linguagens de programação no desenvolvimento da interface com o usuário de aplicações Web. Desse modo, é essencial que os navegadores de Internet sejam capazes de executar programasJavaScript eficientemente. Entretanto, a natureza dinâmica dessa linguagem torna a eficiência de sua execução um desafio.Compiladores dinâmicos aparentam ser a ferramenta mais escolhida por desenvolvedores para lidar com tais desafios. Neste trabalho nós propomos uma técnica de especialização de valores especulativa baseada em parâmetros de função como uma estratégia para melhorar a qualidade do código produzido dinamicamente. Através de observação empírica, descobrimos que aproximadamente 60% das funções JavaScript encontradas nos 100 sítios web mais populares são chamadas apenas uma vez, ou são chamadas sempre com os mesmo parâmetros. Baseado nessa observação, neste trabalho nós adaptamos diferentes otimizações clássicas de código para especializar código a partir dos valores atuais dos parâmetros de uma função. As técnicas propostas foram implementadas no IonMonkey, um compilador JIT para JavaScript de qualidade industrial desenvolvido pela fundação Mozilla. Por meio de experimentos executados em três coleções populares de testes, SunSpider, V8 e Kraken, foram alcançados ganhos de desempenho apesar da natureza especulativa da técnica proposta. Por exemplo, combinando algumas das diferentes otimizações propostas, obtivemos ganhos de 5.38% no tempo de execução na coleção SunSpider, além de reduzir o tamanho do código nativo produzido em 16.72%.