Busca avançada
Ano de início
Entree

Gerenciamento de memória usando codificação implícita do espaço-livre

Processo: 98/06313-9
Linha de fomento:Bolsas no Brasil - Mestrado
Vigência (Início): 01 de julho de 1998
Vigência (Término): 30 de junho de 2000
Área do 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

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)

Publicações acadêmicas
(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)
RIGO, Sandro. Experimentos com codificação e compactação no gerenciamento de memoria da maquina virtual java. 2000. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação.

Por favor, reporte erros na lista de publicações científicas escrevendo para: cdi@fapesp.br.