newCString ile ayrılmış bellek boşaltma

Question

Kitaplık belgeleri olarak newCString ile oluşturulan CString işlevi free işleviyle serbest bırakılmalıdır. Ben CString oluşturulduğunda biraz bellek alır ve free bellek kullanımı ile serbest bırakıldığında aşağı gideceğini bekliyordum, ama yoktu! İşte örnek kod: Program (1), htop programı bellek kullanımı 410m etrafında bir yerde olduğunu gösterdi durdu

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) 

- bu sorun yok. Enter'a basıyorum ve program hat (2) 'de durur, ancak csfree d olmasına rağmen bellek kullanımı hala 410M'dir d!

Bu nasıl olabilir? C olarak yazılan benzer program gerektiği gibi davranır. Burada neyi özlüyorum?

Answer 1

konu free sadece şimdi dize toplayabilir çöpçüyle gösterir olmasıdır. Bu aslında çöp toplayıcısını çalıştırmaya zorlamıyor - sadece CString'in artık çöp olduğunu gösteriyor. Yığın basıncı buluşlarına dayanarak, ne zaman çalışmayacağına karar vermek GC'ye kalmış durumda.

yapabilirsiniz kuvvet düz derhal öylesine 5M veya hafızayı azaltan free çağrısının, sonra performGC arayarak önemli bir koleksiyon.

E.g. Bu programı:

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) 

davranır aşağıdaki bellek profiliyle, beklendiği gibi - ilk kırmızı nokta hemen dize ayırmayı kaldırma performGC çağrısı vardır. Program sonlandırılana kadar 5M civarında gezer.