En un lenguaje puro como Haskell, todos los datos son inmutables y ninguna estructura de datos existente se puede cambiar de ninguna manera. Además, muchos algoritmos sobre datos inmutables y patrones de programación funcional generan grandes cantidades de basura por naturaleza (cadenas de mapcreación de listas intermedias, por ejemplo).
¿Qué estrategias y técnicas emplean los recolectores de basura frente a la pureza que de otro modo no harían? ¿Qué funciona muy bien en un GC de lenguaje impuro que no lo hace en un contexto puro? ¿Qué otros problemas nuevos crean los lenguajes puros para los GC?
Respuestas:
La implementación actual de ghc utiliza una estrategia que solo funciona porque el lenguaje es puramente funcional y los datos son inmutables: dado que ninguna variable puede ser alterada para referirse a algo más nuevo, los objetos solo contienen referencias a objetos más antiguos, por lo que ejecuta un recolector de basura generacional ; dado que un objeto al que hace referencia una generación superior no se puede eliminar hasta que esa generación sea GCd, promueve los objetos entre generaciones superiores con entusiasmo; y como nada alterará las referencias mientras el GC las barre, puede ejecutarse en paralelo.
Aquí hay un artículo con más detalles .
fuente
En realidad, eso no es generalmente cierto. Los lenguajes puros utilizan una evaluación no estricta (perezosa), por lo que se aplaza la evaluación de potencialmente todas las subexpresiones. Las expresiones no evaluadas generalmente se asignan en montón como un "thunk". Cuando se requiere, se evalúa la expresión y se muta el thunk en el valor resultante.
Lo único en lo que puedo pensar es en los agujeros negros . No recuerdo haber visto nada más nuevo en el lado de GC en los documentos de investigación de Haskell.
La barrera de escritura GC. Los idiomas impuros tienden a escribir punteros en el montón mucho más, por lo que tienden a tener sus barreras de escritura más optimizadas.
Otros algoritmos de GC como mark-region son mucho más viables en el contexto de lenguajes impuros porque pueden tener tasas de asignación mucho más bajas que los lenguajes puros.
Los lenguajes puros son muy raros, por lo que hay muchos menos datos sobre cómo los programas puros usan la memoria y, por lo tanto, está empezando en una posición peor cuando intenta escribir un GC para un lenguaje puro.
fuente