Liberar memoria asignada con newCString

Question

Como los documentos de la biblioteca dicen CString creados con newCString deben liberarse con la función free. He estado esperando que cuando se crea CString se necesitaría algo de memoria y cuando se lance con free el uso de la memoria disminuirá, ¡pero no fue así! Aquí es código de ejemplo:

module Main where 

import Foreign 
import Foreign.C.String 
import System.IO 

wait = do 
    putStr "Press enter" >> hFlush stdout 
    _ <- getLine 
    return() 

main = do 
    let s = concat $ replicate 1000000 ['0'..'9'] 
    cs <- newCString s 
    cs `seq` wait -- (1) 

    free cs 
    wait -- (2) 

Cuando el programa se detuvo en (1), programa de htop mostró que el uso de memoria es de alrededor de 410M - esto está bien. Presiono enter y el programa se detiene en la línea (2), pero el uso de memoria sigue siendo 410M a pesar de que cs ha sido free d!

¿Cómo es esto posible? El programa similar escrito en C se comporta como debería. ¿Que me estoy perdiendo aqui?

Answer 1

El problema es que free simplemente indica al recolector de basura que ahora puede recoger la cadena. Sin embargo, eso no obliga realmente al recolector de basura a ejecutarse, solo indica que el CString ahora es basura. Todavía le corresponde al GC decidir cuándo se ejecutará, en función de la heurística de presión del montón.

Puede fuerza una importante colección llamando performGC inmediatamente después de la llamada a free, lo que reduce inmediatamente a la memoria 5M o menos.

E.g. este programa:

import Foreign 
import Foreign.C.String 
import System.IO 
import System.Mem 

wait = do 
    putStr "Press enter" >> hFlush stdout 
    _ <- getLine 
    return() 

main = do 
    let s = concat $ replicate 1000000 ['0'..'9'] 
    cs <- newCString s 
    cs `seq` wait -- (1) 

    free cs 
    performGC 
    wait -- (2) 

comporta como se esperaba, con el siguiente perfil de memoria - el primer punto rojo es el llamado a performGC, cancelar la asignación de inmediato la cadena. El programa luego se desplaza alrededor de 5M hasta que se termina.