2012-09-12 15 views
7

मैंने 512 एम रैम के साथ एक पुराने फ्रीब्स बॉक्स पर जीएचसी-7.4 स्थापित किया। सब महान काम करता है! लेकिन एक बार शुरू होने पर जीएचसीआई बहुत अधिक रैम पर कब्जा कर लेता है।क्या मैं ghci के स्मृति उपयोग को कम कर सकता हूं?

किसी भी सुझाव की सराहना की जाती है!

उत्तर

9

आप ghci +RTS -M100M -c30 का उपयोग कर सकते हैं, यदि आप ढेर आकार को 100 एमबी तक सीमित करना चाहते हैं और ढेर का उपयोग 30% तक बढ़ने पर कंपैक्शन का उपयोग करना चाहते हैं।

रनटाइम झंडे के बारे में अधिक जानकारी के लिए RTS विकल्प देखें।

2

वैकल्पिक रूप से, दुभाषिया के बजाय कंपाइलर का उपयोग करें।