newCStringで割り当てられたメモリを解放する

Question

ライブラリドキュメントではで作成したCStringをfree関数で解放する必要があります。私はCStringが作成されるといくらかのメモリが必要になると予想しており、freeのメモリ使用量がリリースされると、メモリ使用量は減少しますが、それはありませんでした！ここでのコード例である：プログラム（1）は、htopプログラムは、メモリ使用量が410Mの周りのどこかであることを示した時に停止

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) 

- これはOKです。私はenterを押して、プログラムは行（2）で停止しますが、csがfree dでしたが、メモリ使用量はまだ410Mです！

これはどのように可能ですか？ Cで書かれた同様のプログラムは、必要なように動作します。私はここで何が欠けていますか？

Answer 1

問題は、freeは、ガベージコレクタに文字列を収集できることを示しているということです。実際にガベージコレクタを強制的に実行させるわけではありません.CStringが現在ゴミになっていることを示しています。ヒープ圧力ヒューリスティックに基づいて、いつ実行するかを決定するのはGCまでです。

あなたはまっすぐすぐ5Mにメモリを減らすか、そうfreeに呼び出し、後performGCを呼び出すことによって力メジャーコレクションすることができます。

など。このプログラム：以下のメモリプロファイルと、予想通り

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への呼び出しです。その後、プログラムは終了するまで約5Mの速度で移動します。