Sistemas Operacionais
Gerência de Memória
9 – Gerência de Memória
9.1 – Introdução
Na memória principal residem os programas em execução.
Memória secundária são mecanismos de armazenamento permanente, são mais abundantes e baratas.
Para um programa ser executado deve ser carregado na memória principal.
Gerenciamento complexo em sistemas multiprogramáveis com múltiplos usuários utilizando-a eficientemente.
9.2 – Alocação Contígua Simples
Implementada nos primeiros Sistemas Operacionais e ainda existentes em alguns sistemas monoprogramáveis.
Memória dividida em duas partes, Sistema Operacional e programa do usuário.
O programador tem controle sobre toda a memória principal, podendo acessar qualquer posição da memória, inclusive onde está residente o Sistema Operacional.
Um mecanismo de proteção utilizado é delimitar a área do Sistema Operacional que delimita a área do mesmo.
Fácil implementação e código reduzido, porém Ineficiência no uso do processador e da memória pois apenas um usuário pode dispor desse recurso.
Programas limitados ao tamanho da memória disponível.
Overlay (sobreposição) – Solução encontrada para dividir o programa em partes (módulos), de forma que pudessem executar independentemente uma da outra, utilizando uma mesma área de memória.
A definição das áreas de Overlay são de responsabilidade do programador através de comandos específicos da linguagem utilizada.
9.3 – Alocação Particionada
9.3.1 – Alocação Particionada Estática:
Divisão da memória em tamanhos fixos (partições) definidos na inicialização do Sistema em função dos programas que executariam no ambiente.
A alteração do tamanho de uma partição necessita a inicialização do Sistema Operacional.
Os programas só podiam executar em uma das partições, mesmo com outras disponíveis.
Limitações impostas pelos compiladores e montadores que geravam apenas códigos absolutos.
Posteriormente, evolução dos compiladores, linkers e loaders com geração de código realocável, sendo que os programas puderam ser carregados em qualquer partição (alocação particionada estática realocável).
Surgimento da tabela de partições com informações de tamanho, uso e delimitações.
Proteção da memória através de dois registradores, início e fim da partição.
Os programas não preenchiam totalmente as partições onde eram carregados.
Problemas de fragmentação.
9.3.2 – Alocação Particionada Dinâmica
Aumento do grau de compartilhamento diminuindo o problema da fragmentação.
Partições sem tamanho fixo, onde cada programa utiliza o espaço que necessita.
Existe ainda o problema de fragmentação, conforme os programas vão terminando e deixando espaços cada vez menores.
Soluções para resolver o problema de fragmentação:
Primeira – Reunir os espaços adjacentes, produzindo um único espaço de tamanho maior.
Segunda – Realocação de todas as partições ocupadas, eliminando todos os espaços entre elas (alocação dinâmica com realocação), porém, aumentando a complexibilidade do algoritmo e consumindo mais recursos do sistema.
9.3.3 – Estratégias para Escolha da Partição
Função para determinar em qual partição livre um programa será carregado para execução.
Função de evitar, ou diminuir, o problema da fragmentação antes que ele ocorra.
O tamanho do programa é o fator mais importante para a adoção da melhor estratégia.
Best-fit:
Escolhe a melhor partição, ou seja, aquela que o programa deixa o menor espaço sem utilização.
Lista de áreas livres alocada por tamanho, diminuindo o tempo de busca
Desvantagem de deixar pequenas áreas não contíguas, aumentando o problema da fragmentação.
Worst-fit:
Escolhe a pior partição, ou seja, aquela que o programa deixa o maior espaço sem utilização.
Diminui o problema de fragmentação, deixando espaços livres maiores que permitem a um maior número de programas utilizar a memória.
First-fit:
Escolhe a primeira partição livre de tamanho suficiente para carregar o programa
Lista de áreas livres ordenada por endereços crescentemente.
Grande chance de se obter uma grande partição livre nos endereços de memórias mais altos.
Mais rápida e consome menos recursos do sistema.
9.4 – Swapping
Tenta resolver o problema de insuficiência da memória para todos os usuários.
Aloca espaço para programas que esperam por memória livre para serem processados.
O sistema escolhe um programa residente, que é levado da memória para o disco (swap out), retornando posteriormente para a memória principal (swap in) como se nada tivesse ocorrido.
Problema da realocação dos programas. O loader realocável permite que um programa seja colocado em qualquer posição da memória, porém a realocação é realizada no momento do carregamento.
Mecanismo ineficiente em função do tempo gasto para carregamento.
Uma alternativa é esperar que a região de memória usada pelo programa na ocasião do seu primeiro carregamento esteja disponível.
Realocação Dinâmica:
É a melhor solução, uma implementação no hardware dos computadores, permitindo que a realocação seja realizada durante a execução do programa.
Realizada através de um registrador especial denomidado registrador de alocação, que recebe o endereço inicial da região da memória que o programa irá ocupar no momento do carregamento do programa na memória.
Toda vez que ocorrer uma referência a algum endereço, o endereço contido na instrução será somado ao conteúdo do registrador, gerando assim, o endereço físico.
Essencial para a implementação de um sistema multiprogramável.
Permitiu um maior throughput através de um maior compartilhamento da memória.
Mais eficiente para programas onde existiam poucos usuários competindo por memória e em ambientes que trabalhavam com aplicações pequenas.
Seu maior problema é o elevado custo das operações de entrada/saída (swapped in/out).
9.5 – Memória Virtual
Combina memória principal e secundária;
Impressão da memória ser muito maior do que é;
Desvinculação do endereçamento feito pelo programa dos endereços físicos da memória principal;
Procura minimizar o problema de fragmentação da memória.
9.4.1 – Espaço de Endereçamento Virtual
Conceito próximo a vetores em linguagens de alto nível;
Referência a um componente do vetor sem preocupação com a posição da memória onde o dado está;
Programa no ambiente de memória virtual não faz referência a endereços físicos de memória (endereços reais), mas apenas a endereços virtuais;
Mapeamento – é a tradução do endereço virtual para o físico;
Espaço de endereçamento virtual – é o conjunto de endereços virtuais que os processos podem endereçar.
Espaço de endereçamento real – é o conjunto de endereços reais.
Apenas parte do programa pode estar residente na memória em um determinado instante;
O Sistema Operacional utiliza a memória secundária como uma extensão da memória principal.
9.5.2 – Mapeamento
Mecanismo que transforma os endereços virtuais em endereços reais;
Todo programa precisa estar no espaços de endereçamento real para poder ser referenciado ou executado;
Atualmente, o mapeamento é realizado via hardware junto com o Sistema Operacional, de forma a não comprometer seu desempenho e torná-lo transparente aos usuários e suas aplicações;
A maioria das aplicações tende a fazer referência a um reduzido número de páginas, logo, somente uma pequena fração da tabela de páginas é necessária.
Memória associativa ou Translation Lookside Buffer – Hardware especial para mapear endereços virtuais para endereços físicos sem a necessidade de acesso à tabelas de páginas;
Quando um programa está em execução, existe uma tabela de mapeamento do processo no qual o programa executa. Se outro programa for executado no contexto de outro processo, o sistema deve passar a referenciar a tabela do novo processo. Toda vez que há mudança de contexto, o registrador é atualizado com o endereço da nova tabela.
9.5.3 – Paginação
Técnica de gerência de memória onde o espaço de endereçamento virtual e o espaço de endereçamento real são divididos em blocos do mesmo tamanho (páginas);
Páginas virtuais no espaço virtual e páginas reais ou frames (molduras) no espaço real;
Todo mapeamento é realizado a nível de página, através de tabelas de páginas, em que cada página virtual do processo possui uma entrada na tabela ETP;
Paginação por demanda é quando as páginas dos processos são transferidas da memória secundária para a principal apenas quando são referenciadas.
Paginação Antecipada é o carregamento de páginas na memória antecipadamente, sendo que o sistema tenta prever as páginas que serão necessárias à execução do programa.
ALGORÍTMO DA PAGINAÇÃO.
9.5.3.1 – Working Set
Problemas:
Paginação exigem operações de E/S (que deve ser evitado) quando um processo faz referência a uma página que não se encontra na memória;
O Sistema Operacional deve se preocupar em ter um certo número de páginas na memória que reduza ao máximo a taxa de paginação dos processos e não prejudique os demais processos que desejam acesso a memória.
Observações:
Quando um programa começa a ser executado, percebe-se uma elevada taxa de page faults (páginas que não se encontram na memória), que se estabiliza com o decorrer de sua execução.
Localidade é a tendência que existe em um programa de fazer referências a posições de memória de forma quase uniforme, ou seja, instruções próximas.
A partir da observação da localidade Denning formulou o modelo de working set.
Working Set de um processo é o conjunto de páginas referenciadas por ele durante determinado intervalo de tempo, ou, segundo Denning, é o conjunto de páginas constantemente referenciadas pelo processo, devendo permanecer na memória principal para que execute de forma eficiente, evitando a elevada taxa de paginação (thrashing).
Sempre que um processo é criado, todas as suas páginas estão na memória secundária.
O Working Set deve Ter um limite máximo de páginas permitidas.
9.5.3.2 – Realocação de Páginas
Problema em decidir quais páginas remover da memória principal.
O Sistema Operacional deve considerar se uma página foi ou não modificada antes de liberá-la para outro processo, caso contrário, possíveis dados armazenados na página serão perdidos.
Sempre que uma página é alterada, um bit de modificação é alterado de 0 para 1, informando que a página foi alterada.
Melhor estratégia de realocação é escolher uma página que não será referenciada num futuro próximo. Tarefa difícil para o Sistema Operacional.
Principais estratégias usadas pelos sistemas operacionais para realocação de páginas:
Aleatória (random):
First-In-First-Out (FIFO):
A página que primeiro foi utilizada será a primeira a ser escolhida.
Implementação bastante simples.
Necessário apenas uma fila.
Least-Recently-Used (LRU):
Seleciona a página utilizada menos recentemente, ou seja, a que está há mais tempo sem ser referenciada.
Estratégia boa, mas pouco implementada;
Grande overhead causado pela atualização, em cada página referenciada, do momento do último acesso, além do algoritmo de busca dessas páginas.
Not-Recently-Used (NRU):
Escolha da página que não foi recentemente utilizada (semelhante ao LRU).
Flag de referência – indica quando a página foi referenciada ou não.
Inicialmente, todas as páginas estão com o flag = 0, à medida que as páginas são referenciadas, o flag é modificado para 1.
Last-Frequently-Used (LFU):
Escolhe a página menos referenciada.
Existe um controle do número de referências feitas às páginas.
É escolhida a página que o contador tem o menor número de referências.
Problema – As páginas que entrarem mais recentemente no working set serão as que estarão com o menor número no contador.
9.5.3.3 – Tamanho da Página
Paginação leva a uma menor fragmentação, pois apenas poderá haver fragmentação na última página.
A fragmentação é conseqüência do tamanho da página.
Páginas pequenas, tabelas de mapeamento maiores, maior taxa de paginação e aumento do número de acesso à memória secundária, porém, menor fragmentação.
Tamanho da página associado ao hardware e varia de sistema para sistema, norlamente entre 512 bytes e 64 kb.
9.5.4 – Segmentação
Técnica de gerência de memória, onde os programas são divididos logicamente e em sub-rotinas e estruturas de dados e colocados em blocos de informações na memória
Segmentos – blocos de tamanhos diferentes com seu próprio espaço de endereçamento.
Segmentação X Paginação – Paginação com partes de tamanho fixo e segmentos com blocos de tamanhos variados e permite uma relação entre a lógica do programa e sua divisão na memória.
Cada entrada na tabela de segmentos possuí o endereço do segmento na memória física, informações sobre o tamanho do segmento, sua proteção e se ele está na memória ou não.
O Sistema Operacional mantém uma tabela com as áreas livres e ocupadas da memória.
A escolha da área livre a ser ocupada por um processo a ser carregado na memória pode ser a mesma utilizada no item Alocação Particionada Dinâmica (best-fit, worst-fit ou first-fit).
Apenas os segmentos referenciados são transferidos para a memória real.
Os programas devem ser bem modularizados para uma maior eficiência.
Existe também o problema da fragmentação e o problema da complexibilidade.
9.5.5 – Segmentação com Paginação
Permite a divisão lógica dos programas e segmentos e, cada segmento é dividido fisicamente em páginas.
Um endereço é formado pelo número do segmento, pelo número de página, contida nesse segmento, e pelo deslocamento dentro dessa página.
O endereço físico é obtido somando-se a posição inicial do frame e o deslocamento.
9.5.6 – Proteção
Necessária para impedir que um processo, ao acessar uma página/segmento do sistema, a modifique ou mesmo tenha acesso a ela.
No esquema de memória virtual, cada processo tem sua própria tabela de mapeamento e a tradução dos endereços é realizada pelo sistema, impedindo assim, que um processo tenha acesso a áreas de memória de outros processos, a não ser que tenham compartilhamento explícito.
A proteção deve ser realizada em nível de cada página/segmento na memória, utilizando-se as entradas da tabela de mapeamento, com alguns bits especificando permissões a cada uma das páginas/segmentos.
9.5.7 – Compartilhamento de Memória
Bastante útil para programas de código reentrante.
Bastante simples implementação do compartilhamento de código e dados entre vários processos, bastando que as entradas das tabelas de páginas/segmentos apontem para as mesmas páginas/segmentos na memória principal.
Reduz o número de programas na memória principal e aumenta o número de usuários compartilhando o mesmo recurso.
Segmentação X Paginação em relação ao compartilhamento:
O compartilhamento de segmentos é mais simples que o de páginas, pois as tabelas de segmentos mapeiam estruturas lógicas, como sub-rotinas e estruturas de dados.
Enquanto o mapeamento de um vetor necessita de várias entradas na tabela de páginas, na tabela de segmentos é necessária apenas uma única entrada.
O segmento pode variar seu tamanho durante a execução com o crescimento de um vetor, por exemplo, na paginação, isso implica na alocação de novas páginas.
9.5.8 – Swapping em Memória Virtual
Quando existem novos processos que desejam ser processados e não existe memória real suficiente, o sistema seleciona um ou mais processos que deverão sair da memória para ceder espaço aos novos processos.
Os critérios mais utilizados para a escolha são a prioridade, escolhendo processos de melhor prioridade, e o estado do processo, selecionando os processos que estão no estado de espera.
9.5.9 – Thrashing
É a excessiva transferência de páginas/segmentos entre a memória principal e a memória secundária. Problema existente tanto em paginação quanto a segmentação.
Na paginação:
A nível de processo:
o working set de um processo pode ser pequeno demais para acomodar as páginas constantemente acomodadas referenciadas por ele, a solução é aumentar o tamanho do working set.
O thrashing também pode ocorrer pela não obediência do conceito da localidade, ou seja, o programa faz referência a comandos/dados localizados em páginas fora do working set do processo e a solução para isso é reescrever a aplicação.
A nível de sistema:
o trashing ocorre quando existem mais processos competindo por memória que espaço disponível.
O primeiro passo é a redução do tamanho dos working set dos processos, mas isso pode levar o thrashing a nível de processo.
Na segmentação:
Em nível de processo, quando a trasferência de segmentos é excessiva devido a modularização extrema do programa não seguindo o conceito da modularidade.
Em nível de sistema é semelhante ao caso da paginação.
Em qualquer caso, se existem mais processos para serem executados que a memória real disponível, a única solução é expandir a memória principal.
Este problema ocorre em todos os sistemas que possuem um mecanismo de gerência de memória.
