O que é Memory Management?

1. Anatomia da memória: A distinção entre Stack (Pilha) e Heap (Monte)

Quando um programa é executado, o sistema operacional aloca um espaço de memória virtual (Virtual Address Space) específico para esse processo. Os dois componentes mais críticos desse espaço são a Stack e a Heap:

+------------------------------------+ Yüksek Bellek Adresleri (0xFFFFFFFF)
|           İşletim Sistemi / Kernel |
+------------------------------------+
|  STACK (Aşağıya doğru büyür ↓)     | <-- Yerel değişkenler, fonksiyon çerçeveleri
|                 ↓                  |
|                                    |
|                 ↑                  |
|  HEAP (Yukarıya doğru büyür ↑)     | <-- Dinamik nesneler (malloc, new)
+------------------------------------+
|  BSS (İlklendirilmemiş Global)     |
+------------------------------------+
|  DATA (İlklendirilmiş Statik Veri) |
+------------------------------------+
|  TEXT (Makine Kodu / Talimatlar)   |
+------------------------------------+ Düşük Bellek Adresleri (0x00000000)

• Stack (Pilha): Gerenciada automaticamente pela arquitetura da CPU (LIFO). É extremamente rápida (apenas o registrador stack pointer é deslocado). No entanto, seu tamanho é fixo (1MB - 8MB) e causa um Stack Overflow em caso de recursão infinita.
• Heap (Monte): Gerenciado pelo desenvolvedor ou pelo ambiente de execução (runtime) da linguagem. É alocado para objetos dinâmicos; pode crescer até o limite da memória RAM física e do swap. Se não for limpo, causa vazamento de memória (memory leak) e fragmentação.

2. Três paradigmas fundamentais de gerenciamento de memória

• Gerenciamento Manual de Memória (C, C++): O desenvolvedor gerencia a memória pessoalmente com malloc() e free(). Oferece velocidade máxima e latência zero; no entanto, traz os riscos de vazamentos, ponteiros pendentes (dangling pointers) e Use-After-Free, que causam mais de 70% das vulnerabilidades de segurança no mundo do software.
• Coleta Automática de Lixo (Java, Go, Python, JS): O programador não exclui; O mecanismo de GC em execução em segundo plano limpa objetos órfãos que não podem ser alcançados a partir de referências raiz com algoritmos de marcação e varredura ou contagem de referências. No entanto, verificações periódicas podem levar a micropausas (Stop-The-World).
• Modelo de propriedade e empréstimo (Rust): O compilador Rust verifica em tempo de compilação se cada bloco de memória tem um único proprietário. Fornece 100% de segurança de memória em velocidade C sem executar um coletor de lixo.

3. Memória em nível de sistema operacional: Memória virtual e OOM Killer

Os sistemas operacionais modernos usam memória virtual e arquitetura de paginação para evitar que programas leiam a memória uns dos outros. A Unidade de Gerenciamento de Memória (MMU) na CPU converte endereços virtuais em endereços físicos em hardware com a ajuda do cache TLB. Quando a RAM física e a troca estão completamente esgotadas, o mecanismo OOM Killer (Out of Memory Killer) do kernel Linux encerra o processo mais agressivo com SIGKILL para salvar o sistema.

Perguntas e respostas

Termos relacionados