Recolección de basura: El espacio de memoria se va llenando con diferentes "objetos" (representados con colores), también pueden destruirse algunos de ellos, dejando "huecos" en el espacio de memoria. Cuando ya no queda espacio disponible, o cuando lo decide la rutina de recolección de basura, la memoria es "compactada", colocando todos los "objetos" que se están usando al principio, y consolidando todos los "huecos" de memoria al final, quedando así un gran área de memoria disponible para la futura creación de objetos.

Un recolector de basura (en inglés, garbage collector) es un mecanismo implícito de gestión de memoria implementado en algunos lenguajes de programación de tipo interpretado o semi-interpretado.

Breve reseña histórica

El concepto de recolección de basura fue inventado por John McCarthy en 1959 para evitar la gestión manual de memoria en el lenguaje Lisp.

Contexto

Cualquier programa informático hace uso de una cierta cantidad de memoria de trabajo puesta a su disposición por el sistema operativo. Esta memoria tiene que ser gestionada por el propio programa para:

• Reservar espacios de memoria para su uso.
• Liberar espacios de memoria previamente reservados.
• Compactar espacios de memoria libres y consecutivos entre sí.
• Llevar cuenta de qué espacios están libres y cuáles no.

Generalmente, el programador dispone de una biblioteca de código que se encarga de estas tareas. No obstante, el propio programador es responsable de utilizar adecuadamente esta biblioteca.

Esto tiene la ventaja de que se hace un uso eficiente de la memoria, es decir, los espacios de memoria quedan libres cuando ya no son necesarios. No obstante, este mecanismo explícito de gestión de memoria es propenso a errores. Por ejemplo, un programador puede olvidar liberar la memoria de manera que, tarde o temprano, no quede memoria disponible, abortando la ejecución del programa.

Como alternativa es necesaria una gestión implícita de memoria, donde el programador no es consciente de la reserva y liberación de memoria. Esto es obligado en algunos lenguajes de programación donde no se maneja el concepto de memoria. Por ejemplo en lenguajes declarativos como Lisp o Prolog.

Cómo funciona

Cuando un lenguaje dispone de recolección de basura, el programador no tiene que invocar a una subrutina para liberar memoria. La reserva de memoria también es más o menos automática sin la intervención del programador. Por ejemplo:

• En los lenguajes orientados a objetos: se reserva memoria cada vez que el programador crea un objeto, pero éste no tiene que saber cuanta memoria se reserva ni cómo se hace esto.
• En los lenguajes declarativos: cada vez que se construye una expresión se reserva memoria (de una manera inteligente), pero el programador no es consciente de ello.

Cuando se compila el programa, automáticamente se incluye en éste una subrutina correspondiente al recolector de basura. Esta subrutina también es invocada periódicamente sin la intervención del programador.

El recolector de basura es informado de todas las reservas de memoria que se producen en el programa. Además, el compilador colabora para que sea posible llevar una cuenta de todas las referencias que existen a un determinado espacio de memoria reservado.

Cuando se invoca el recolector de basura, recorre la lista de espacios reservados observando el contador de referencias de cada espacio. Si un contador ha llegado a cero significa que ese espacio de memoria ya no se usa y, por tanto, puede ser liberado.

Naturalmente, este proceso consume un cierto tiempo en el que no se hace nada verdaderamente útil para el propósito del programa. Por tanto, no puede ser invocado con demasiada frecuencia.

En consecuencia, el único inconveniente a este mecanismo es determinar cuándo se tiene que ejecutar el recolector de basura. Existen varios algoritmos para hacerlo, pero el más eficiente es el primero de ellos:

• Esperar a que no quede memoria libre, y entonces, ejecutar el recolector de basura.
• Fijar un umbral de ocupación de la memoria libre y ejecutar el recolector de basura cuando se supere dicho umbral.
• Ejecutar el recolector de basura a intervalos regulares (no siempre es posible).
• Ejecutar el recolector de basura justo antes de cada reserva de memoria.
• Permitir al programador que invoque explícitamente al recolector de basura cuando quiera.

Ventajas y desventajas

Las ventajas y desventajas de este mecanismo de gestión de memoria son las opuestas al mecanismo explícito:

• El programador no puede cometer errores y queda liberado de la tediosa tarea de gestionar la memoria.
• La memoria permanece retenida durante más tiempo del estrictamente necesario.
• El recolector de basura tarda cierto tiempo en hacer su tarea y produce pausas que pueden hacer la técnica incompatible con sistemas de tiempo real.

Cómo se implementa

Existe la posibilidad de implementar la recolección de basura como una biblioteca de código más, pero por norma general no es así. El propio diseño de ciertos lenguajes de programación hace necesaria la existencia del recolector de basura. Para poder implementar estos lenguajes se requieren dos actuaciones:

• Que el compilador proporcione la información necesaria para el recolector de basura (el contador de referencias).
• Que el entorno de ejecución o máquina virtual implemente la subrutina del recolector de basura.

Ejemplos de lenguajes con recolector de basura

• ALGOL 68
• BASIC
• C#
• Caml
• Clean
• D
• Eiffel
• Haskell
• Java
• JavaScript
• Lisp
• Lua
• Mercury
• ML
• Modula-3
• Oberon
• Oz
• Objective C 2.0
• Perl
• PHP
• Prolog
• Python
• Ruby
• Smalltalk
• SNOBOL
• SuperCollider

Enlaces externos

• The Memory Management Reference (inglés)
• Todo sobre Garbage Collection (español)
• Recolector de basura para C y C++ (inglés)
• Citations from CiteSeer (inglés)