Geração automática de backend de compiladores baseada em ADLs

• Processo: 10/02230-5
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de setembro de 2010
• Data de Término da vigência: 31 de julho de 2011
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Paulo Cesar Centoducatte
• Beneficiário: Rafael Auler
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Arquitetura e organização de computadores
• Palavra(s)-Chave do Pesquisador: Compiladores Redirecionáveis | Geradores de Gerador de Código | Linguagens de Descrição de Arquitetura | Arquitetura de Computadores

Resumo

O processo de automatização da criação de backends de compiladores, isto é, docomponente responsável principalmente pela tradução final para código de máquina, é perseguido desde o início da formação da teoria decompiladores. Esta pressão por isolar o código, da descrição formal da máquina, decorre das características do desenvolvimento destescomponentes: um processo longo, envolvendo análise de muitos casos (levando a códigos grandes e difíceis de manter), que compreende duas partes distintas - algoritmos genéricos de compiladores unidos com conhecimento sobre aarquitetura da máquina alvo. Por esse motivo, um esforço natural para manter o desenvolvimento simples e intuitivo é a concentração do conhecimento sobre a máquina alvo em uma forma concisa de descrição, da qual seja possívelespecializar algoritmos genéricos de compilação para este alvo específico. Uma linguagem de descrição de arquiteturas (ADL) permite a especificação das características arquiteturais de processadores, englobando as instruçõesdisponíveis. Este projeto de mestrado propõe o estudo de mecanismos para gerar backend de compiladores através de descrições arquiteturais de processadores, com ênfase no estudo de caso da ADL ArchC com o compilador LLVM.

Publicações científicas

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

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)

Publicações acadêmicas

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

AULER, Rafael. Geração automática de backend de compiladores baseada em ADLs. 2011. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação Campinas, SP.