Giải phóng bộ nhớ được phân bổ với newCString

Question

Vì tài liệu thư viện nói CString được tạo với newCString phải được giải phóng với chức năng free. Tôi đã mong đợi rằng khi CString được tạo ra nó sẽ mất một số bộ nhớ và khi nó được phát hành với sử dụng bộ nhớ free sẽ đi xuống, nhưng nó đã không! Dưới đây là mã ví dụ:

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) 

Khi chương trình dừng lại ở (1), htop chương trình cho thấy rằng việc sử dụng bộ nhớ là ở đâu đó xung quanh 410M - đây là OK. Tôi nhấn enter và chương trình dừng lại ở dòng (2), nhưng mức sử dụng bộ nhớ vẫn là 410M mặc dù cs là free d!

Làm cách nào có thể? Chương trình tương tự được viết bằng C hoạt động như mong muốn. Tôi đang thiếu gì ở đây?

Answer 1

Vấn đề là free chỉ báo cho bộ thu gom rác mà hiện tại, nó có thể thu thập chuỗi. Điều đó không thực sự buộc các nhà sưu tập rác để chạy mặc dù - nó chỉ chỉ ra rằng CString bây giờ là rác. Nó vẫn còn lên đến GC để quyết định khi nào chạy, dựa trên heuristics áp suất heap.

Bạn có thể buộc bộ sưu tập chính bằng cách gọi performGC ngay sau khi gọi tới free, làm giảm bộ nhớ ngay lập tức xuống 5 triệu.

Ví dụ: chương trình này:

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) 

cư xử như mong đợi, với cấu hình bộ nhớ sau - dấu chấm màu đỏ đầu tiên là cuộc gọi đến performGC, ngay lập tức deallocating chuỗi. Chương trình sau đó di chuyển khoảng 5M cho đến khi chấm dứt.