newCString

Question

के साथ आवंटित स्मृति को मुक्त करने के रूप में लाइब्रेरी दस्तावेज़ 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 कार्यक्रम से पता चला कि स्मृति के उपयोग 410M के आसपास कहीं है बंद कर दिया - यह ठीक है। मैं एंटर दबाता हूं और प्रोग्राम लाइन (2) पर रुक जाता है, लेकिन cs के बावजूद मेमोरी उपयोग अभी भी 410 एम है free डी!

यह कैसे संभव है? सी में लिखे गए इसी तरह के कार्यक्रम के रूप में व्यवहार करना चाहिए। मुझे यहां क्या समझ नहीं आ रहा है?

Answer 1

समस्या यह है कि free सिर्फ कचरा कलेक्टर को इंगित करता है कि अब यह स्ट्रिंग एकत्र कर सकता है। यह वास्तव में कचरा कलेक्टर को चलाने के लिए मजबूर नहीं करता है - यह सिर्फ इंगित करता है कि सीएसटींग अब कचरा है। ढेर दबाव हेरिस्टिक्स के आधार पर यह तय करने के लिए अभी भी जीसी तक है।

आप कर सकते हैं बल सीधे free करने के लिए कॉल, जो तुरंत 5M या तो करने के लिए स्मृति कम कर देता है के बाद 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 करने के लिए कॉल, तुरंत स्ट्रिंग deallocating है। कार्यक्रम तब तक 5 एमएम तक समाप्त हो जाता है जब तक कि समाप्त नहीं हो जाता है।