Questão de Sistemas Operacionais — Gerência de Memória — FGV 2024

Gerenciamento de memória de processos – otimização

Gabarito: letra C. A melhor estratégia para otimizar o gerenciamento de memória é implementar uma política que ajuste dinamicamente o tamanho da Heap e da Stack conforme o comportamento em tempo real dos processos. Essa abordagem é adotada por sistemas operacionais modernos, permitindo que cada processo utilize apenas a memória necessária, sem desperdícios nem limitações artificiais.

Contexto

Um processo típico possui quatro áreas principais de memória:

• Segmento de código (text): contém as instruções do programa – seu tamanho é fixo após a compilação.

• Segmento de dados inicializados: variáveis globais e estáticas com valor inicial.

• Segmento BSS (dados não inicializados): variáveis globais e estáticas sem valor inicial, zeradas na carga.

• Stack (pilha): armazena variáveis locais, parâmetros de funções e endereços de retorno – cresce e diminui dinamicamente com chamadas de função.

• Heap (monte): usada para alocação dinâmica de memória (ex.: malloc, new) – cresce conforme a demanda.

O gerenciamento eficiente deve equilibrar essas áreas, evitando tanto o desperdício (alocar demais) quanto a escassez (alocar de menos). A alocação dinâmica permite que Stack e Heap cresçam sob demanda, compartilhando o espaço livre entre si (muitas vezes crescem uma em direção à outra).

Análise das alternativas

Alternativa A — ❌ Incorreta

Limitar o tamanho da Stack a um valor fixo e pequeno para todos os processos ignora que diferentes programas têm necessidades distintas de profundidade de chamadas e recursão. Isso pode causar estouro de pilha (stack overflow) em programas legítimos, comprometendo a confiabilidade. A otimização não se obtém forçando limitações artificiais, mas sim com ajuste dinâmico.

Alternativa B — ❌ Incorreta

Alocar um grande segmento de código para todos os processos presume que mais espaço para código resulta em melhor performance, o que é falso. O tamanho do código é determinado pelo programa compilado; alocar além do necessário desperdiça memória sem ganho de desempenho (a performance depende da execução, não do espaço ocioso).

Alternativa C — ✅ Correta ⟵ GABARITO

Uma política de alocação que ajusta dinamicamente Heap e Stack com base no comportamento real é exatamente o que sistemas operacionais modernos fazem (ex.: crescimento automático da pilha via page fault, gerenciamento de heap com sbrk/mmap). Isso maximiza o uso da memória, evita fragmentação e atende às necessidades variáveis dos processos sem intervenção manual.

Alternativa D — ❌ Incorreta

Manter a área BSS em tamanho mínimo constante ignora que o programa pode precisar de mais variáveis globais não inicializadas. O BSS é parte integrante do programa e seu tamanho é definido em tempo de compilação; forçar um tamanho constante pode corromper dados ou impedir a execução correta.

Alternativa E — ❌ Incorreta

Aumentar o segmento de dados inicializados não otimiza o acesso a variáveis globais e constantes. O acesso depende da localidade (cache, paginação) e não do tamanho do segmento; alocar mais espaço do que o necessário apenas consome memória inutilmente.

Gabarito: letra C.