El Garbage Collector (GC) es un componente fundamental en muchos entornos de ejecución de lenguajes de programación, encargado de la gestión automática de la memoria. Su función principal es detectar objetos en la memoria heap que ya no son referenciados por ninguna parte activa del programa (es decir, 'garbage' o basura) y liberar esos recursos para que puedan ser reutilizados. Esto contrarresta las fugas de memoria y elimina la necesidad de que los desarrolladores gestionen explícitamente la asignación y liberación de memoria, reduciendo la complejidad y el riesgo de errores como 'dangling pointers' o 'double frees'. Existen diversos algoritmos de GC, incluyendo 'mark-and-sweep', 'copying', 'generational' y 'concurrent', cada uno con diferentes trade-offs en cuanto a latencia, rendimiento y uso de memoria.
En el mundo real, el GC es una característica intrínseca de muchos lenguajes y plataformas de programación ampliamente adoptados. Java Virtual Machine (JVM) es un ejemplo prominente, con implementaciones como G1 GC, Parallel GC y ZGC, que ofrecen diferentes perfiles de rendimiento para aplicaciones de baja latencia o alto rendimiento. .NET Common Language Runtime (CLR) también incorpora un GC generacional. Otros lenguajes como Go, Python, Ruby y JavaScript (a través de sus motores como V8 para Node.js y navegadores) dependen del GC para su gestión de memoria. Incluso sistemas distribuidos y bases de datos pueden emplear principios de GC para la limpieza de recursos o la gestión de versiones de datos, aunque no sea un GC de memoria tradicional.
Para un arquitecto de sistemas, la elección y configuración del GC es una decisión crítica con implicaciones directas en el rendimiento, la latencia y la estabilidad de las aplicaciones. Un GC ineficiente o mal configurado puede introducir pausas significativas ('stop-the-world pauses') que impactan la experiencia del usuario o violan los Service Level Objectives (SLOs) de latencia. Comprender los trade-offs entre diferentes algoritmos (ej., 'throughput' vs. 'low-latency' GC) es esencial para diseñar sistemas que cumplan con los requisitos no funcionales. Además, el GC influye en el consumo de memoria, ya que algunos algoritmos requieren más espacio para operar eficientemente. Los arquitectos deben considerar cómo el GC interactúa con patrones de concurrencia, el tamaño del heap y los perfiles de carga para optimizar el rendimiento general del sistema y evitar cuellos de botella inesperados.