Questão de Sistemas Operacionais — Gerência de Memória (Paginação, Virtual, etc.) — VUNESP 2023

Memória Virtual em Sistemas Operacionais

Gabarito: letra D. A memória virtual é a técnica que permite executar programas que estão apenas parcialmente na memória principal, usando o disco como extensão — é exatamente o que a alternativa D afirma. As demais alternativas descrevem outros mecanismos (como swapping e sobreposição) ou contêm erros conceituais sobre o funcionamento da paginação.

A memória virtual é uma das técnicas mais importantes de gerenciamento de memória em sistemas operacionais modernos. Seu objetivo central é desacoplar o espaço de endereçamento virtual do processo do espaço de endereçamento físico da memória RAM, permitindo que programas maiores que a memória física disponível possam ser executados. Isso é possível porque o sistema operacional, com apoio do hardware (a MMU — Memory Management Unit), traduz endereços virtuais em endereços físicos, carregando apenas as partes do programa que estão sendo efetivamente usadas.

A implementação mais comum da memória virtual é a paginação. Nela, o espaço de endereçamento virtual do processo é dividido em blocos de tamanho fixo chamados páginas, e a memória física é dividida em blocos do mesmo tamanho chamados quadros de página (page frames). Quando o programa referencia uma página que não está na memória física, ocorre um page fault (falha de página): o sistema operacional busca a página no disco, coloca-a em um quadro livre (ou substitui uma página menos usada) e atualiza a tabela de páginas. Esse mecanismo é conhecido como paginação por demanda (demand paging).

É fundamental distinguir a memória virtual de outras técnicas:

A pegadinha clássica da banca é confundir memória virtual com swapping. No swapping, o processo inteiro é copiado para o disco e depois trazido de volta; na memória virtual, apenas as páginas necessárias são carregadas. Outra confusão comum é com overlays, uma técnica antiga em que o próprio programador dividia o programa em partes e controlava manualmente a transferência — algo que a memória virtual automatiza.

Guarde a fronteira entre "executar parcialmente na memória" (memória virtual) e "trazer o processo inteiro para a memória" (swapping): é exatamente nela que as alternativas se dividem.

Alternativa A — ❌ Incorreta

Afirma que todas as páginas devem estar na memória física ao mesmo tempo. Isso contraria o princípio fundamental da memória virtual: apenas as páginas em uso precisam estar na memória física; as demais permanecem no disco até serem referenciadas. A alternativa descreve o comportamento de sistemas sem memória virtual, onde o programa inteiro precisa ser carregado.

Alternativa B — ❌ Incorreta

Diz que o hardware realiza o mapeamento rapidamente quando o programa referencia uma parte que não está na memória física. O erro está em atribuir ao hardware uma tarefa que é do sistema operacional. Quando ocorre uma falha de página, o hardware (MMU) apenas detecta que a página não está presente e gera uma interrupção; quem realiza o mapeamento (buscar a página no disco, alocar um quadro e atualizar a tabela) é o sistema operacional, um processo relativamente lento comparado ao acesso à memória.

Alternativa C — ❌ Incorreta

Descreve o swapping, não a memória virtual. No swapping, o processo inteiro é trazido para a memória, executado por um tempo e depois colocado de volta no disco. A memória virtual, por outro lado, permite que o processo execute com apenas parte de suas páginas na memória, sem precisar carregá-lo por completo.

Alternativa D — ✅ Correta ⟵ GABARITO

Esta é a definição precisa de memória virtual: permitir que programas sejam executados mesmo quando estão apenas parcialmente na memória principal. Isso é possível graças à paginação por demanda, onde as páginas são carregadas do disco conforme são referenciadas, e o espaço de endereçamento virtual pode ser maior que a memória física disponível.

Alternativa E — ❌ Incorreta

Descreve a técnica de overlays (sobreposições), uma abordagem anterior à memória virtual. Nela, o programador dividia o programa em partes (overlays) e o gerenciador de sobreposições transferia essas partes entre disco e memória manualmente. A memória virtual automatiza esse processo, dividindo o programa em páginas de tamanho fixo e gerenciando a transferência de forma transparente para o programador.

A regra de ouro para a prova: memória virtual = execução parcial do programa na memória principal, com o restante no disco, gerenciado pelo sistema operacional. Sempre que uma alternativa falar em "trazer o processo inteiro" ou "partes definidas pelo programador", ela está descrevendo swapping ou overlays, não memória virtual.

Gabarito: letra D