Freigeben von Speicher, der mit newCString belegt ist

Question

Als Bibliotheksdokumente sagen CString erstellt mit newCString muss mit free Funktion freigegeben werden. Ich habe erwartet, dass, wenn CString erstellt wird, würde es einige Speicher benötigen und wenn es mit free freigegeben wird Speicherverbrauch würde sinken, aber es hat nicht! Es folgt ein Beispielcode:

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) 

Wenn das Programm hielt an (1), htop Programm zeigte, dass die Speichernutzung irgendwo um 410M ist - das ist OK. Ich drücke Enter und das Programm stoppt bei Zeile (2), aber Speicherverbrauch ist immer noch 410M trotz cs wurde free d!

Wie ist das möglich? Ein ähnliches in C geschriebenes Programm verhält sich wie es sollte. Was fehlt mir hier?

Answer 1

Das Problem ist, dass free nur dem Garbage Collector anzeigt, dass es jetzt die Zeichenfolge sammeln kann. Das zwingt den Garbage Collector nicht tatsächlich dazu, auszuführen - es zeigt nur an, dass der CString jetzt unbrauchbar ist. Es ist immer noch Sache des GC, basierend auf heuristischen Druckheuristiken zu entscheiden, wann er ausgeführt werden soll.

Sie können Kraft eine große Sammlung von performGC direkt nach dem Aufruf free Aufruf, die sofort auf den Speicher 5M reduziert oder so.

z. dieses Programm:

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) 

verhält sich wie mit dem folgenden Speicher Profil erwartet - die erste rote Punkt ist der Aufruf performGC, sofort freigibt, die Zeichenfolge. Das Programm schwebt dann um 5M, bis es beendet wird.