| Processo: | 98/06313-9 |
| Modalidade de apoio: | Bolsas no Brasil - Mestrado |
| Data de Início da vigência: | 01 de julho de 1998 |
| Data de Término da vigência: | 30 de junho de 2000 |
| Área de conhecimento: | Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação |
| Pesquisador responsável: | Guido Costa Souza de Araújo |
| Beneficiário: | Sandro Rigo |
| Instituição Sede: | Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Assunto(s): | Memória (eletrônica digital) Geração de código Montadores e compiladores |
| Palavra(s)-Chave do Pesquisador: | Compiladores | Geracao De Codigo | Gerenciamento De Memoria |
Resumo O problema de gerenciamento de memória em um programa é um dos mais antigos em Computação. Em geral, ele pode ser formulado como o problema de se identificar componentes no grafo de registros do espaço-livre (ou heap), para as quais não existe mais nenhuma referência no programa. Neste caso, é desejável deslocar estes registros de modo a prover espaço para registros novos a serem criados, uma tarefa conhecida como Garbage Collection (GC). Por ser um problema muito antigo, existe um grande número de soluções para o mesmo. O que nos faz acreditar que podemos fazer uma contribuição aqui é o surgimento de técnicas eficientes de codificação estrutural de funções lógicas usando BDDs. Resultados recentes mostram a eficiência de BDDs na codificação de alguns grafos reais. Pretendemos usar esta abordagem para codificar o endereço dos registros vivos de um dado programa. O objetivo é minimizar o custo de se alocar/deslocar um registro no heap, usando para isto operações lógicas com BDDs. (AU) | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |