Capítulo 3 Gerenciamento de memória

Transcrição

1 Sistemas operacionais modernos Terceira edição ANDREW S. TANENBAUM Capítulo 3 Gerenciamento de memória

2 Introdução Programas tendem a se expandir a fim de ocupar toda a memória disponível Programador deseja memória infinitamente grande, rápida e não volátil Por questões de preço, opta-se por utilizar uma hierarquia de memória Gerenciador de memória deve gerenciá-la de modo eficiente

3 Sem abstração de memória Cada programa simplesmente considera a memória física. 3 modelos de organização: ( a ) Antigos computadores de grande porte ( b ) Sistemas embarcados ( c ) primeiros computadores pessoais com MS-DOS

4 Múltiplos programas sem abstração de memória É possível através de swapping (1 por vez) Hardware especial pode permitir mais de um Problemas de referências absolutas incorretas Solução realocação estática = carregamento lento A história se repete em sistemas embarcados e cartões inteligentes

5 Abstração de memória: espaço de endereçamento Desvantagens da exposição da memória física: Danos intencionais ou acidentais Difícil executar múltiplos programas simultaneamente Solução Espaço de endereçamento, ou seja, conjunto de endereços que um processo pode usar para endereçar a memória

6 Registrador-base e limite Utilizados em versões simples da realocação dinâmica Limitam o endereçamento de um processo Desvantagem Necessidade de executar uma adição e uma comparação e, cada referência a memória.

7 Troca de memória Quantidade de RAM p/ todos os processos > memória pode comportar Solução: Swapping Memória virtual Alocação e desalocação de processos criam buracos na memória Podem ser combinados com a compactação de memória Não usada em virtude do tempo de processamento gasto Tamanho do espaço de locação Se processo possui tamanho fixo = alocação exata Se processo possui tamanho variável = alocação extra é uma boa idéia.

8 Troca de memória

9 Troca de memória

10 Gerenciando a Memória Livre Mapa de bits Tamanho da unidade de locação é inversamente proporcional ao tamanho do mapa de bits Unidade grande = muita memória desperdiçada Simples Problema para encontrar sequência de bits livres (busca muito lenta)

11 Gerenciando a Memória Livre Lista encadeada Lista com posições de memória livre Algoritmos de busca usados: First fit (primeiro encaixe) Next fit (próximo encaixe) Best fit (melhor encaixe) Mais lento Desperdiça mais memória Worst fit (pior encaixe) Pesquisas mostram não ser uma boa idéia Todos os 4 poderiam ser + rápidos se houvessem listas separadas Quick fit (encaixe mais rápido) Mantém listas separadas p/ alguns tamanhos de memória mais solicitados.

12 Gerenciamento de memória com mapa de bits

13 Gerenciamento de memória com listas encadeadas

14 Exercícios 1. Quais são as principais dificuldades encontradas para gerenciar uma memória sem abstração? 2. Defina espaço de endereçamento 3. Diferencie os algoritmos first fit e next fit. 4. Quais as dificuldades de se trabalhar com listas de unidades de memória livres e ocupadas separadas?

15 Memória virtual - paginação Tamanho dos softwares aumenta mais rápido que o tamanho das memórias 1960 Divisão manual e sujeita a erros, de programas em módulos chamados sobreposições Espaço de endereçamento dividido em blocos (páginas) MMU Mapeia endereços virtuais em endereços físicos Transferências de páginas completas

16 Memória virtual - paginação

17 Memória virtual - paginação Bit presente/ausente X na figura Falta de página

18 Memória Virtual Tabela de páginas

19 Estrutura de uma entrada de uma tabela de páginas

20 Acelerando a paginação Problemas na implementação da paginação: O mapeamento do endereço virtual para o endereço físico deve ser rápido. Se o espaço virtual for grande, a tabela de páginas será grande.

21 Buffers para Tradução de Endereços - TLB Mapeia endereços físicos sem passar pela tabela de páginas Apenas endereços mais usados Page miss (ausência de página) Page hit (presença de página)

22 Gerenciamento da TLB por software TLB feita pelo SO e não por hardware TLB grande = eficiência da TLB por software aceitável, com MMU simples com > área no CPU p/ outros recursos Estratégias p/ melhorar o desempenho SO usa intuição para descobrir páginas usadas e antecipar carregamento. Ausência na TLB Soft miss (ausência leve) Hard miss (ausência completa)

23 Tabelas de páginas multinível Pode possuir 3, 4 ou mais níveis Mais níveis = maior flexibilidade Duvidoso se complexidade de hardware > que 3 níveis seja vantajosa.

24 Tabelas de páginas invertidas

25 Exercícios 1. O que é falta de página? 2. Qual a função da TLB? 3. Diferencie soft miss e hard miss. 4. Como funciona a tabela de páginas multinível?

26 slide Pearson Prentice Hall. Todos os direitos reservados. Algoritmos de Substituição de Páginas A falta de página força uma escolha qual página deve ser removida? alocação de espaço para a página a ser trazida para a memória A página modificada deve primeiro ser salva se não tiver sido modificada é apenas sobreposta Melhor não escolher uma página que está sendo muito usada provavelmente precisará ser trazida de volta logo

27 Algoritmo de substituição de páginas Algoritmo ótimo de substituição de página. Algoritmo de substituição de página não usado recentemente. Algoritmo de substituição de página primeiro a entrar, primeiro a sair. Algoritmo de substituição de página segunda chance. Algoritmo de substituição de página de relógio. Algoritmo de substituição de página usado menos recentemente. Algoritmo de substituição de página de conjunto de trabalho. Algoritmo de substituição de página WSClock.

28 slide Pearson Prentice Hall. Todos os direitos reservados. Algoritmo de Substituição de Páginas Ótimo Se uma página será usada após instruções, e outra após 5000, a primeira deve ser substituída numa falta de página; Problema: não há como o SO saber quando uma página será novamente acessada; E se a próxima instrução for para acessar a primeira página citada acima? Algoritmo impossível de ser implementado;

29 slide 29 O Algoritmo de Substituição de Página Não Usada Recentemente (NUR) 2009 Pearson Prentice Hall. Todos os direitos reservados. Cada página tem os bits Referenciada (R) e Modificada (M) Bits são colocados em 1 quando a página é referenciada e modificada As páginas são classificadas, pelo SO Classe 0: não referenciada, não modificada Classe 1: não referenciada, modificada Classe 2: referenciada, não modificada Classe 3: referenciada, modificada NUR remove página aleatoriamente da classe de ordem mais baixa que não esteja vazia

30 slide Pearson Prentice Hall. Todos os direitos reservados. O Algoritmo de Substituição de Página Não Usada Recentemente (NUR) É melhor remover uma página modificada, mas que não foi referenciada; Algoritmo fácil de entender e implementar; Desempenho não é ótimo, mas adequado;

31 slide Pearson Prentice Hall. Todos os direitos reservados. Algoritmo de Substituição de Página Primeira a Entrar, Primeira a Sair Mantém uma lista encadeada de todas as páginas página mais antiga na cabeça da lista página que chegou por último na memória no final da lista Na ocorrência de falta de página página na cabeça da lista é removida nova página adicionada no final da lista Desvantagem página há mais tempo na memória pode ser usada com muita freqüência Raramente usado em sua configuração pura

32 slide Pearson Prentice Hall. Todos os direitos reservados. Algoritmo de Substituição de Página Segunda Chance (SC) Modificação de FIFO; Desta vez, se o bit R for 1, a página será poupada, o bit R é colocado em 0 e a página vai para o final da fila; Se não, a página será removida; Dá-se chance às páginas que estão sendo utilizadas, mesmo sendo antigas; Se todas as páginas forem referenciadas, o algoritmo degenera-se para FIFO;

33 slide Pearson Prentice Hall. Todos os direitos reservados. Algoritmo de Substituição de Página Segunda Chance (SC) Operação do algoritmo segunda chance a) lista de páginas em ordem FIFO b) estado da lista em situação de falta de página no instante 20, com o bit R da página A em 1 (números representam instantes de carregamento das páginas na memória)

34 slide Pearson Prentice Hall. Todos os direitos reservados. Algoritmo de Substituição de Página Relógio Difere-se do Segunda Chance apenas na implementação; O SC é desnecessariamente ineficaz, já que coloca constantemente no final da fila de páginas; O Relógio cria simplesmente uma lista circular; Um ponteiro aponta para a cabeça da lista;

35 slide Pearson Prentice Hall. Todos os direitos reservados. Algoritmo de Substituição de Página Relógio

36 slide Pearson Prentice Hall. Todos os direitos reservados. Menos Recentemente Usada (MRU) Aproximação do desempenho teórico do algoritmo ótimo; Assume que páginas usadas recentemente logo serão usadas novamente retira da memória página que há mais tempo não é usada Implementação por SW muito onerosa, pois tem-se que atualizar uma lista encadeada;

37 slide Pearson Prentice Hall. Todos os direitos reservados. Menos Recentemente Usada (MRU) Uma lista encadeada de páginas deve ser mantida página mais recentemente usada no início da lista, menos usada no final da lista atualização da lista à cada referência à memória Implementação por HW: Uso do algoritmo NFU (Não usada frequentemente) Contador de 64 bits, que é incrementado a cada instrução Mantem-se contador em cada entrada da tabela de página escolhe página com contador de menor valor

38 slide Pearson Prentice Hall. Todos os direitos reservados. Menos Recentemente Usada (MRU) Outra maneira em HW: Para uma máquina com n molduras, gera-se matriz de n x n, inicialmente com todos os valores 0; Sempre que a moldura k for referenciada, o HW marcará os bits da linha k com 1, e todos os bits da coluna k com 0; Retira-se a página com menor valor binário

39 slide Pearson Prentice Hall. Todos os direitos reservados. Menos Recentemente Usada (MRU) MRU usando uma matriz páginas referenciadas na ordem 0,1,2,3,2,1,0,3,2,3

40 slide Pearson Prentice Hall. Todos os direitos reservados. Simulação do MRU em Software Embora implementações anteriores sejam realizáveis, não há máquinas com o HW descrito; Usa-se o algoritmo do envelhecimento: Coloca-se o bit R no bit mais à esquerda do contador, a cada tic; Desloca-se à direita todos os bits

41 slide Pearson Prentice Hall. Todos os direitos reservados. Simulação do MRU em Software

42 Algoritmo de substituição de página do conjunto de trabalho Precisa determinar a cada instante quais páginas pertencem ao conjunto de trabalho A idéia principal é encontrar uma página que não esteja presente no conjunto de trabalho e removê-la da memória.

43 Algoritmo de substituição de página do conjunto de trabalho

44 Algoritmo de substituição de página Amplamente utilizado WSClock Mistura do algoritmo do relógio com o do conjunto de trabalho (Continua)

45 Algoritmo de substituição de página (Continuação) WSClock

46 Resumo dos algoritmos de substituição de página

47 slide Pearson Prentice Hall. Todos os direitos reservados. Exercícios 1. Porque o algoritmo ótimo de substituição de página não pode ser implementado na prática? 2. Diferencie o algoritmo de substituição de página não usado recentemente e o algoritmo de substituição de página menos usado recentemente. 3. Qual o principal problema encontrado no algoritmo de substituição de página primeiro a entrar, primeiro a sair? 4. Como funciona o algoritmo de substituição de página segunda chance? 5. Explique o funcionamento do algoritmo de substituição de página de conjunto de trabalho.

48 Política de alocação local versus global Os algoritmos de substituição de página devem remover somente páginas do processo ou qualquer uma disponível? Local (somente do processo) Ultrapaginação; ou Desperdício de memória Global (toda a memória) Deve decidir continuamente quantas molduras alocar para cada processo Mesmo tanto para todos Injusto com processo de tamanhos diferentes Proporcional ao tamanho Boa idéia Deve estabelecer tamanho mínimo Utilizar algoritmo PFF (Frequência de faltas de páginas) para controlar o tamanho do conjunto de locação.

49 Política de alocação local versus global

50 Política de alocação local versus global PFF tentará manter a frequência de paginação para cada processo em limites aceitáveis. Os algoritmos de substituição algumas vezes independe da política de alocação. FIFO, MRU, LRU Outros porém são puramente baseados na alocação local WSClock, Conjunto de trabalho slide Pearson Prentice Hall. Todos os direitos reservados.

51 slide Pearson Prentice Hall. Todos os direitos reservados. Controle de Carga Mesmo com um bom projeto, o sistema ainda pode sofrer ultrapaginação (thrashing) Quando o algoritmo PFF indica alguns processos precisam de mais memória mas nenhum processo precisa de menos Solução: Reduzir o número de processos que competem pela memória levar alguns deles para disco e liberar a memória a eles alocada reconsiderar grau de multiprogramação

52 slide Pearson Prentice Hall. Todos os direitos reservados. Tamanho de Página Tamanho de página pequeno: Vantagens menos fragmentação interna menos programa não usado na memória Desvantagens programas precisam de mais páginas tabelas de página maiores Tempo para transferência de muitas páginas pequenas é maior do que tempo para transferência de poucas páginas grandes Maior parte do tempo é gasto no posicionamento para leitura/escrita

53 slide Pearson Prentice Hall. Todos os direitos reservados. Tamanho de Página Um valor típico de tamanho de página era 1 KB, mas atualmente 4 KB ou 8 KB A medida que as memórias se tornam maiores, o tamanho da página também cresce Não linearmente Quadruplicar o tamanho da memória raramente duplica o tamanho da página

54 Espaços Separados de Instruções e Dados Em um computador com esse projeto, ambos os espaços de endereçamento podem ser paginados independente um do outro

55 Páginas Compartilhadas Compartilhar páginas é eficiente Nem todas as páginas são compartilháveis Dois processos que compartilham o mesmo código de programa e, por conseqüência, a mesma tabela de páginas para instruções 55 slide Pearson Prentice Hall. Todos os direitos reservados.

56 Bibliotecas compartilhadas Reduz arquivos executáveis Economiza espaço na memória Atualização de uma biblioteca não torna necessário recompilar os programas que a chamam

57 slide Pearson Prentice Hall. Todos os direitos reservados. Política de Limpeza Precisa de um processo que executa em background, um daemon de paginação Inspeciona periodicamente o estado da memória Quando apenas algumas molduras de página estão disponíveis Seleciona páginas a serem removidas usando um algoritmo de substituição Pode ser implementada através de lista circular (relógio) com dois ponteiros Ponteiro da frente controlado pelo daemon de paginação Ponteiro de trás usado para substituição de página (como no do relógio)

58 slide Pearson Prentice Hall. Todos os direitos reservados. Exercícios 1. Cite as vantagens e desvantagens da alocação global versus alocação local. 2. A política de alocação influencia na escolha do algoritmo de escalonamento. Justifique. 3. O que é melhor: páginas grandes ou pequenas? Justifique. 4. Cite as vantagens e desvantagens do compartilhamento de páginas.

59 Tratamento da falta de página O hardware cria uma cilada para o núcleo, salvando o contador do programa na pilha. Uma rotina em código é iniciada para salvar o conteúdo dos registradores de uso geral e outras informações voláteis. O sistema operacional descobre a ocorrência de uma falta de página e tenta descobrir qual página virtual é necessária. Uma vez conhecido o endereço virtual que causou a falta da página, o sistema verifica se esse endereço é válido e se a proteção é consistente com o acesso.

60 Tratamento da falta de página Se a moldura da página selecionada estiver suja, a página é escalonada para ser transferida para o disco e será realizado um chaveamento de contexto. Quando a moldura da página estiver limpa, o sistema operacional buscará o endereço em disco onde está a página virtual solicitada e escalonará uma operação para trazê-la. Quando a interrupção de disco indicar que a página chegou na memória, as tabelas de páginas serão atualizadas para refletir sua posição, e será indicado que a moldura de página está normal.

61 Tratamento da falta de página A instrução que estava faltando é recuperada para o estado em que se encontrava quando começou, e o contador de programa é reiniciado a fim de apontar para aquela instrução. O processo em falta é escalonado, o sistema operacional retorna para a rotina, em linguagem de máquina, que o chamou. Esta rotina recarrega os registradores e outras informações de estado e retorna ao espaço de usuário para continuar a execução como se nada tivesse ocorrido.

62 Backup de instrução Mais fácil de entender do que de explicar Se a interrupção acontecer no meio de uma instrução o SO ficará perdido Necessidade de registradores especiais, ou o SO terá que se virar

63 Fixação de Páginas na Memória Memória virtual e E/S interagem ocasionalmente Processo emite chamada ao sistema para ler do disco para o buffer enquanto espera pela E/S, outro processo inicia ocorre uma falta de página buffer do primeiro processo pode ser escolhido para ser levado para disco Solução possível Fixação de páginas envolvidas com E/S na memória (processo conhecido como retenção de página)

64 Memória secundária Onde alocar as páginas retiradas da memória. Junto ao sistema de arquivos (windows) Em um disco separado (Linux) Mapeamentos Estático (espaço de swap reservado antecipadamente do mesmo tamanho que as páginas) Dinâmico (alocação e liberação de espaço quando necessário)

65 Separação da política e mecanismo Torna mais fácil gerenciar a complexidade de qualquer sistema Sistema de gerenciamento de memória é dividido em três partes: Um manipulador de MMU de baixo nível Um manipulador de falta de página que faz parte do núcleo Um paginador externo executado no espaço do usuário Vantagens: Código mais modular e flexível Desvantagens Sobrecarga em chaveamentos núcleo/usuário Sobrecarga nas trocas de mensagens

66 Separação da política e mecanismo

67 Segmentação Em alguns casos ter 2 ou mais espaços de endereçamento separados é melhor do que ter apenas 1 Exemplo: Um compilador tem muitas tabelas que são construídas conforme a compilação ocorre, possivelmente incluindo: O código-fonte sendo salvo para impressão (em sistema em lotes). A tabela de símbolos os nomes e atributos das variáveis. A tabela com todas as constantes usadas, inteiras e em ponto flutuante. A árvore sintática, a análise sintática do programa. A pilha usada pelas chamadas de rotina dentro do compilador.

68 Segmentação Em um endereçamento único, podemos chegar em uma situação onde haverá entradas livres para determinada tabela e espaço esgotado para outros.

69 Segmentação Outra possibilidade é trabalhar com segmentos independentes onde o conteúdo do segmento poderá crescer sem encontrar nada em seu espaço de endereçamento capaz de impedir seu crescimento.

70 Segmentação

71 Implementação de Segmentação Pura (a)-(d) Desenvolvimento de fragmentação externa (e) Remoção da fragmentação via compactação 71 slide Pearson Prentice Hall. Todos os direitos reservados.

72 Exercícios 1. Explique com suas palavras o tratamento de falta de página 2. O que é retenção de página? 3. Diferencie os tipos de mapeamentos na memória secundária. 4. Qual a vantagem de existir a segmentação? 5. Na sua opinião, quem é melhor: segmentação ou paginação