¿Qué es Memory Management?

1. Anatomía de la memoria: distinción entre Stack (Pila) y Heap (Montículo)

Cuando se ejecuta un programa, el sistema operativo asigna un espacio de memoria virtual específico para ese proceso. Los dos componentes más críticos de este espacio son el Stack y el 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 (Pila): Es gestionada automáticamente por la arquitectura de la CPU (LIFO). Es extremadamente rápida (solo se desplaza el registro del puntero de pila). Sin embargo, su tamaño es fijo (1MB - 8MB) y provoca un Stack Overflow en caso de recursión infinita.
• Heap (Montículo): Gestionado por el desarrollador o el entorno de ejecución (Runtime) del lenguaje. Se reserva para objetos dinámicos; puede crecer hasta el límite de la memoria RAM física y el espacio de intercambio (swap). Si no se limpia, provoca fugas de memoria (Memory Leak) y fragmentación.

2. Tres paradigmas fundamentales de gestión de memoria

• Gestión manual de memoria (C, C++): El desarrollador gestiona la memoria personalmente mediante malloc() y free(). Ofrece la máxima velocidad y latencia cero; sin embargo, conlleva los riesgos de fugas, punteros colgantes (dangling pointers) y Use-After-Free, que son la causa de más del 70% de las vulnerabilidades de seguridad en el mundo del software.
• Recolección de basura (Garbage Collection - Java, Go, Python, JS): El programador no realiza la eliminación; el motor de GC que se ejecuta en segundo plano limpia los objetos huérfanos inalcanzables desde las referencias raíz mediante algoritmos de Mark-and-Sweep o Reference Counting. Sin embargo, los escaneos periódicos pueden provocar micro pausas (Stop-The-World).
• Modelo de Propiedad y Préstamo (Ownership & Borrowing - Rust): El compilador de Rust verifica en tiempo de compilación que cada bloque de memoria tenga un único propietario. Sin ejecutar un recolector de basura, garantiza un 100% de seguridad de memoria (Memory Safety) a la velocidad de C.

3. Memoria a nivel de sistema operativo: Memoria virtual y OOM Killer

Los sistemas operativos modernos utilizan una arquitectura de memoria virtual y paginación para evitar que los programas lean la memoria de los demás. La Unidad de Gestión de Memoria (MMU) de la CPU traduce las direcciones virtuales a direcciones físicas en el hardware con la ayuda de la caché TLB. Cuando la memoria RAM física y el espacio de intercambio (swap) se agotan por completo, el mecanismo OOM Killer (Out of Memory Killer) del kernel de Linux termina el proceso más agresivo con una señal SIGKILL para salvar el sistema.

Preguntas y respuestas

Términos relacionados