Освобождение памяти, выделенной с помощью newCString

Question

Как сообщает библиотека docs CString, созданная с помощью newCString, должна быть освобождена с помощью функции free. Я ожидал, что при создании CString потребуется немного памяти, и когда он будет выпущен с free, использование памяти снизится, но это не так! Вот пример кода:

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) 

Когда программа остановилась на (1), htop программа показала, что использование памяти где-то около 410м - это нормально. Я нажимаю enter, и программа останавливается на линии (2), но использование памяти по-прежнему составляет 410M, несмотря на то, что cs был free d!

Как это возможно? Подобная программа, написанная на C, ведет себя так, как должна. Что мне здесь не хватает?

Answer 1

Проблема заключается в том, что free просто указывает сборщику мусора, что теперь он может собирать строку. На самом деле это не заставляет сборщик мусора работать - это просто указывает, что CString теперь мусор. По-прежнему до ГК решать, когда запускать, на основе эвристики давления кучи.

Вы можете сила главным коллекция по телефону performGC сразу после вызова free, что сразу снижает память к 5М или около того.

E.g. эта программа:

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) 

Ведет себя, как и ожидалось, со следующим профилем памяти - первая красная точка вызов performGC, немедленно deallocating строку. Затем программа опускается примерно на 5M до тех пор, пока она не прекратится.