Trabalho de Conclusão de Curso

Trabalho de Conclusão de Curso
Um estudo sobre possíveis técnicas de otimização de código para bytecode Lua Alex de Magalhães Machado Orientador: Prof. Dr. Olinto José Varela Furtado Banca Examinadora: Prof. Dr. Ricardo Azambuja Silveira Prof. José Eduardo De Lucca Outubro 2009

O que são otimizações de código e por que realizá-las?
Introdução O que são otimizações de código e por que realizá-las?

Introdução O que são otimizações de código e por que realizá-las? Alterar sintaticamente o código de um programa, mantendo sua semântica, de forma a melhorar algum aspecto desse programa.

Introdução O que são otimizações de código e por que realizá-las? O compilador hoje em dia deve ser capaz de realizar pelo menos as principais otimizações de código.

Introdução O que são otimizações de código e por que realizá-las?
Pior caso: 20% mais rápido. Melhor caso: 65% mais rápido. Programa C sem otimização Programa C otimizado Tempo de execução 100 ~ 130 ms 45 ~ 80 ms Tamanho do código ~60 KB ~90 KB

Introdução O que são otimizações de código e por que realizá-las?

Como é a linguagem Lua? O que é um bytecode Lua?
Introdução Como é a linguagem Lua? O que é um bytecode Lua?

Introdução Como é a linguagem Lua? O que é um bytecode Lua? de Script Imperativa Máquina virtual Multiparadigma Leve Simples Rápida Dinâmica

Introdução Como é a linguagem Lua? O que é um bytecode Lua?

Introdução Como é a linguagem Lua? O que é um bytecode Lua? Simplicidade Eficiência Portabilidade Programas embarcáveis, com baixo custo

Eliminação de subexpressões comuns
Otimizações de código Eliminação de subexpressões comuns Mesma expressão sendo calculada em dois pontos no programa, sendo que o valor das variáveis envolvidas continua o mesmo.

Otimizações de código Eliminação de subexpressões comuns Mesma expressão sendo calculada em dois pontos no programa, sendo que o valor das variáveis envolvidas continua o mesmo. V = 4/3 * PI * r³ A = 4 * PI * r² a = 4 * PI; b = a / 3; c = raio * raio; d = c * raio; volume = b * d; e = 4 * PI; f = raio * raio; area = e * f;

Otimizações de código Eliminação de subexpressões comuns Mesma expressão sendo calculada em dois pontos no programa, sendo que o valor das variáveis envolvidas continua o mesmo. V = 4/3 * PI * r³ A = 4 * PI * r² a = 4 * PI; b = a / 3; c = raio * raio; d = c * raio; volume = b * d; e = a; f = c; area = e * f;

Otimizações de código Propagação de Cópia
Valores sendo copiados de uma variável para outra. Cópias costumam ser criadas durante outras otimizações.

Valores sendo copiados de uma variável para outra. Cópias costumam ser criadas durante outras otimizações. V = 4/3 * PI * r³ A = 4 * PI * r² a = 4 * PI; b = a / 3; c = raio * raio; d = c * raio; volume = b * d; e = a; f = c; area = e * f;

Valores sendo copiados de uma variável para outra. Cópias costumam ser criadas durante outras otimizações. V = 4/3 * PI * r³ A = 4 * PI * r² a = 4 * PI; b = a / 3; c = raio * raio; d = c * raio; volume = b * d; e = a; f = c; area = a * c;

Eliminação de código morto
Otimizações de código Eliminação de código morto Um código estará morto quando ele não possuir utilidade, e sua remoção não alterar em nada a semântica do programa.

Otimizações de código Eliminação de código morto Um código estará morto quando ele não possuir utilidade, e sua remoção não alterar em nada a semântica do programa. V = 4/3 * PI * r³ A = 4 * PI * r² a = 4 * PI; b = a / 3; c = raio * raio; d = c * raio; volume = b * d; e = a; f = c; area = a * c;

Otimizações de código Eliminação de código morto Um código estará morto quando ele não possuir utilidade, e sua remoção não alterar em nada a semântica do programa. V = 4/3 * PI * r³ A = 4 * PI * r² a = 4 * PI; b = a / 3; c = raio * raio; d = c * raio; volume = b * d; area = a * c;

Desdobramento de constante
Otimizações de código Desdobramento de constante Cálculo de uma expressão é constante.

Otimizações de código Desdobramento de constante Cálculo de uma expressão é constante. V = 4/3 * PI * r³ A = 4 * PI * r² a = 4 * PI; b = a / 3; c = raio * raio; d = c * raio; volume = b * d; area = a * c;

Otimizações de código Desdobramento de constante Cálculo de uma expressão é constante. V = 4/3 * PI * r³ A = 4 * PI * r² a = ; b = ; c = raio * raio; d = c * raio; volume = b * d; area = a * c;

Movimentação de código Variáveis de indução e redução de força
Otimizações de código Movimentação de código Tirar de laços internos instruções invariantes do laço. Variáveis de indução e redução de força Otimizar o cálculo de variáveis de indução, realizando redução de força, entre outras técnicas.

Projeto Prós: Muitas oportunidades de implementação
Máquina virtual baseada em registradores Apenas 38 instruções

Projeto Contras: Cada nova versão da linguagem a máquina virtual pode sofrer alterações Nova versão é lançada a cada 3 anos, e a última versão foi lançada há 3 anos

Projeto Atual situação da linguagem: Otimizações já realizadas:
Desdobramento de constante Eliminação de código morto

Projeto Características do otimizador: Linguagem de desenvolvimento C
Aprox linhas de código 25 ~ 35 ms no mínimo 80 ~ 100 ms para otimizar 200 linhas de código 190 ~ 220 ms para otimizar 1000 linhas de código Otimizações já implementadas: Eliminação de subexpressões comuns Propagação de cópia Eliminação de código morto

Projeto Otimizando código pré-compilado:

Projeto Otimizando código pré-compilado:
Otimizador de código não prejudica desempenho do programa, pois as otimizações são realizadas “off-line”.

Implementação Análise de Fluxo de Dados
Percorrer o programa fonte e coletar informações a respeito do seu funcionamento Código dividido em blocos básicos e observado if (exp){ //Bloco básico x }else{ //Bloco básico y } //Bloco básico z

Implementação Análise de Fluxo de Dados
Cada bloco básico tem um conjunto IN e um conjunto OUT, os quais guardarão as informações coletadas em cada análise de fluxo de dados.

Implementação Definições de Alcance
Definição: Qualquer atribuição de uma variável Análise determina quais definições alcançam cada ponto no programa

Implementação Expressões Disponíveis
Uma expressão ‘e’ está disponível num ponto ‘p’ qualquer se ela for calculada em todos os pontos predecessores e ainda estiver viva. if (exp){ j = a + b; }else{ k = a + b; } //Expressão ‘a + b’ está disponível aqui.

Uma expressão ‘e’ está disponível num ponto ‘p’ qualquer se ela for calculada em todos os pontos predecessores e ainda estiver viva. if (exp){ j = a + b; }else{ k = a + c; } //Nem ‘a + b’ e nem ‘a + c’ estão disponíveis aqui.

Uma expressão ‘e’ está disponível num ponto ‘p’ qualquer se ela for calculada em todos os pontos predecessores e ainda estiver viva.

Implementação Quais otimizações implementar?
Desdobramento de constante e eliminação de código morto já são realizados na linguagem Eliminação de subexpressões comuns e propagação de cópia são úteis em conjunto Ambas geram código morto

Implementação Otimizações implementadas
Eliminação de subexpressões comuns Propagação de cópia Eliminação de código morto gerado acima

Implementação Eliminação de Subexpressão Comum
Verifica se alguma expressão está no conjunto IN e no conjunto e_gen de algum bloco básico

Implementação Eliminação de Subexpressão Comum

Implementação Propagação de Cópia
Eliminação de subexpressão comum gera instruções de cópia que podem ser propagadas Percorre-se o código procurando instruções de cópia

Implementação Propagação de Cópia
Para cada cópia encontrada, tenta-se propagá-la o mais longe possível no grafo de fluxo Se foi possível propagá-la até o fim do grafo, então a cópia teoricamente pode ser removida

Implementação Eliminação de código morto (cópias inúteis)
Eliminação de subexpressão comum gera instruções de cópia que geralmente podem ser removidas Porém, algumas instruções de cópia não podem ser removidas.

Instruções como a instrução CALL utilizam cópias para organizar os parâmetros de função, por exemplo. No total, 6 instruções da LVM precisam que certos valores estejam em registradores específicos

Após propagar cada cópia, verificou-se se ela é relevante para alguma instrução Se não era relevante para nenhuma instrução, a cópia era removida.

Testes local a, b, c, d, e, f, g, i, n, start, stop, h, j, l; h = 0; j = 0 while h < 10 do start = os.clock() n = i = 0 a = 4 b = 3 c = math.pi d = a / b e = d * c while i < n do f = i * i f = f * i g = e * f i = i + 1 end stop = os.clock() j = j + stop - start h = h + 1 j = j/10 print("Benchmark: ",j,"segundos.\n")

Testes loadk 11 0 ; 0 loadk 12 0 ; 0 lt ; 10, to [5] if true jmp 29 ; to [34] getglobal 14 2 ; os gettable ; "clock“ call move 9 14 loadk 8 4 ; loadk 7 0 ; 0 loadk 0 5 ; 4 loadk 1 6 ; 3 getglobal 14 7 ; math gettable ; "pi“ div mul lt ; to [19] if true jmp 7 ; to [26] mul mul mul add ; 1 jmp ; to [17] getglobal ; os gettable ; "clock“ call move add sub add ; 1 jmp ; to [3] div ; 10 getglobal ; print loadk ; move loadk ; call return

Testes Código antes e depois de: Eliminação de Subexpressão Comum
Propagação de cópia e eliminação de código morto div mul move move move move ; instruções ; removidas

Testes loadk 11 0 ; 0 loadk 12 0 ; 0 lt ; 10, to [5] if true jmp 29 ; to [34] getglobal 14 2 ; os gettable ; "clock“ call move 9 14 loadk 8 4 ; loadk 7 0 ; 0 loadk 0 5 ; 4 loadk 1 6 ; 3 getglobal 14 7 ; math gettable ; "pi“ div mul lt ; to [19] if true jmp 7 ; to [26] mul mul mul add ; 1 jmp ; to [17] getglobal ; os gettable ; "clock“ call move add sub add ; 1 jmp ; to [3] div ; 10 getglobal ; print loadk ; move loadk ; call return

Aprox. 33% mais rápido do que sem otimização
Testes Ganho de performance: Aprox. 33% mais rápido do que sem otimização Antes de otimizar Após otimizar Em C Tempo de execução 1.283 s 0.86 s 0.35 s

Conclusões Lua é uma linguagem rápida e leve, porém dá espaço para várias otimizações de código Com as implementações realizadas e com os testes feitos, verificou-se que é possível ainda ir mais além e melhorar muito a performance de programas em Lua

Trabalhos futuros Implementar novas otimizações de código
Aprimorar as já existentes, deixando-as mais poderosas Acoplar o otimizador de código ao compilador de Lua

Trabalho de Conclusão de Curso
Um estudo sobre possíveis técnicas de otimização de código para bytecode Lua Alex de Magalhães Machado Orientador: Prof. Dr. Olinto José Varela Furtado Banca Examinadora: Prof. Dr. Ricardo Azambuja Silveira Prof. José Eduardo De Lucca Outubro 2009

Trabalho de Conclusão de Curso

Apresentações semelhantes

Apresentação em tema: "Trabalho de Conclusão de Curso"— Transcrição da apresentação:

Apresentações semelhantes

Sobre projeto

Feedback

Login

Autorizar-se através da rede social:

Trabalho de Conclusão de Curso

Apresentações semelhantes

Apresentação em tema: "Trabalho de Conclusão de Curso"— Transcrição da apresentação:

Apresentações semelhantes

Sobre projeto

Feedback