कचरा संग्रहण के कारण हास्केल कार्यक्रम में कितने समय के विराम हो सकते हैं?

Question

मेरे दूसरे प्रश्न Haskell collections with guaranteed worst-case bounds for every single operation? से संबंधित, मैं उत्सुक हूँ: कब तक रुक जाता है कचरा संग्रहण की वजह से हो सकता है?

क्या हास्केल किसी प्रकार के वृद्धिशील कचरा संग्रह का उपयोग करता है ताकि एक कार्यक्रम केवल एक ही समय में छोटी अवधि के लिए रुक गया हो, या यह चरम मामले में कई सेकंड तक रुक सकता है?

मुझे इस विषय पर दो एसपीजे के कागजात मिले: https://research.microsoft.com/en-us/um/people/simonpj/papers/non-stop/index.htm। लेकिन मुझे इन संदर्भों को वास्तव में जीएचसी (या अन्य हास्केल कार्यान्वयन) द्वारा अपनाया गया था, लेकिन मुझे कोई संदर्भ नहीं मिला।

Answer 1

GHC कम्प्यूटेशनल प्रवाह क्षमता, नहीं विलंबता के लिए बनाया गया है। नतीजतन, जीएचसी generational, multi-threaded कचरा कलेक्टर with thread-local heaps का उपयोग करता है। धागे-स्थानीय वस्तुओं का कचरा संग्रह अन्य धागे को रोकता नहीं है। वैश्विक ढेर का कभी-कभी प्रमुख जीसी सभी धागे को रोक देगा।

आमतौर पर रुक जाता है मिलीसेकेंड की छोटी संख्या में हैं, hwoever विलंबता की कोई गारंटी नहीं है।

आप several runtime flags (उदा। जीसी -I अंतराल) के माध्यम से जीसी की आवृत्ति को नियंत्रित कर सकते हैं।