Anomalia de Belady

Pontifícia Universidade Católica do Rio de Janeiro
13/11/2014
INF1019 - Sistemas de Computação
Trabalho de pesquisa sobre Anomalia de Belady e WSClock
Alunos: - Henrique Azevedo Gélio (1021588) - Stefano Politi (1111513)
-------------------------------------------------------------------------

--------------------
Anomalia de Belady:
--------------------

Sabemos que a memória RAM nunca é grande o suficiente para armazenar todos os processos ao mesmo tempo, e por isso precisamos implementar um espaço de endereçamento chamado de memória virtual, que utiliza o disco rígido. Uma das estratégias - e também a mais utilizada - para implementar esse conceito de memória virtual é a Paginação. A maioria dos sistemas com memória virtual utiliza esta técnica. Para entender a anomalia de Belady é preciso antes entender um pouco sobre o que é paginação: 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. As unidades correspondentes em memória física são denominadas frames. As páginas e os frames são sempre do mesmo tamanho. As transferências entre memória e disco são sempre em unidades de página. Quando um processo tenta utilizar uma página que não esta mapeada na RAM, a MMU constata que essa página não está mapeada e força o desvio da CPU para o SO. Esta interrupção é denominada de page fault. Quando ocorre um page fault, o SO precisa escolher uma página para ser removida da memória a fim de liberar espaço para uma