Sistemas Operacionais - Gerência de Memória

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

• A eficiência da multiprogramação exige que vários programas estejam na memória ao mesmo tempo, vindo a necessidade de organização da memória.

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):
• Não utiliza nenhum critério de seleção.
• Consome menos recursos do sistema.
• Raramente é utilizada.
• 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.