Anomalia de Belady

Trabalho de Sistemas de Computação

Anomalia de Belady

Caroline Rosa Redlich - 0921079

Anomalia de Belady
Introdução
Antes de falarmos sobre a anomalia de Belady, é importante entendermos alguns conceitos, explicados abaixo:
1) Memória virtual:
A ideia básica por detrás deste conceito é de que o tamanho total do programa (o seu código mais os seus dados e a pilha) pode exceder a quantidade de memória física disponível para ele. O sistema operacional mantém as partes activas do programa na memória e o restante em disco.
Permite que programas possam ser executados mesmo que estejam parcialmente carregados na memória principal.

2) Paginação:
A maioria dos sistemas com memória virtual utiliza esta técnica. Em qualquer computador existe um conjunto de endereços de memória que os programas podem gerar ao ser executados. Esses endereços são denominados de endereços virtuais e constituem o espaço de endereçamento virtual.
Nos sistemas que utilizam esta técnica existe uma MMU –unidade de gestão memória. –que mapeia endereços virtuais em endereços físicos.
Uma cópia completa do código do programa deve estar presente em disco, de modo que partes possam ser carregadas dinamicamente na memória, quando necessário.
O espaço de endereçamento virtual é dividido em unidades denominadas páginas (pages). As unidades correspondentes em memória física são denominadas molduras de páginas (page frames). As páginas e as molduras de página são sempre do mesmo tamanho. As transferências entre memória e disco são sempre em unidades de página.
Quando um programa tenta utilizar uma página que não esta mapeada, a MMU constata que essa página não está mapeada e forca o desvio da CPU para o sistema operativo. Esta interrupção (trap) é denominada falta de página (page fault). O sistema operativo escolhe então uma moldura de página (page frame) pouco utilizada e a salva em disco. Em seguida ele carrega a