Liberare memoria allocata con newCString

Question

Come i documenti della biblioteca dicono che CString creato con newCString deve essere liberato con la funzione free. Mi aspettavo che quando è stato creato CString ci sarebbe voluto un po 'di memoria e quando è stato rilasciato con free l'utilizzo della memoria sarebbe andato giù, ma non è così! Ecco codice di esempio:

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) 

Quando il programma si fermò a (1), htop programma ha dimostrato che l'utilizzo della memoria è da qualche parte intorno a 410M - questo è OK. Premo invio e il programma si ferma alla riga (2), ma l'utilizzo della memoria è ancora 410M nonostante sia stato free d!

Com'è possibile? Programma simile scritto in C si comporta come dovrebbe. Cosa mi manca qui?

Answer 1

Il problema è che free indica al garbage collector che ora può raccogliere la stringa. Questo in realtà non costringe il garbage collector a funzionare, ma indica che CString è ora inutile. È ancora compito del GC decidere quando eseguire, in base all'euristica della pressione heap.

Puoi forza un'importante collezione chiamando performGC subito dopo la chiamata a free, che riduce immediatamente la memoria di 5M o giù di lì.

E.g. questo programma:

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) 

si comporta come previsto, con il seguente profilo di memoria - il primo punto rosso è la chiamata alla performGC, immediatamente deallocando la stringa. Il programma quindi si aggira intorno a 5 M fino alla sua cessazione.