2012-02-08 2 views
15

प्रोफाइलिंग के लिए उपकरण क्या किसी को संकलन के दौरान -p विकल्प का उपयोग करने और फिर gprof का उपयोग करने के अलावा -p विकल्प का उपयोग करने के अलावा ओकैमल कोड को प्रोफाइल करने के लिए प्रोग्रामों से अवगत है? मैं यह प्रश्न पूछने के लिए कह रहा हूं कि 0.01 सेकेंड का नमूना समय आगे कम किया जा सकता है या नहीं?OCaml कोड

+1

* [यह तकनीक] (http://stackoverflow.com/questions/375913/what-can-i-use-to-profile-c-code-in-linux/378024#378024) * ओकंपल के साथ काम करता है अच्छा, मुझे विश्वास है। –

उत्तर

8

poorman's profiler ओकैम कार्यक्रमों के लिए पूरी तरह से लागू है। एक ही विचार profiling allocations के लिए भी काम करता है।

+0

@ कॉम्प्लेक्टेड बायो देखें: दिशानिर्देशों के लिए धन्यवाद। मैं इस प्रोफाइलर को आजमाउंगा। –

+0

धन्यवाद! मैं इसे आजमाने की कोशिश कर रहा हूँ! –

+0

@ गणित-सहायता-साधक यह ygrek का जवाब है। मैंने केवल "ओकैमल" के पूंजीकरण को तय किया है। –

6

इसका कभी भी उपयोग नहीं किया गया लेकिन ocamlviz एक और विकल्प है।

+0

हाँ मैंने यह प्रश्न पोस्ट करने के बाद इसे देखा। धन्यवाद दोस्त! –

6

तुम भी ocaml-memprof, एक संकलक पैच (3.12.0 और 3.12 1) फैब्रिस Le Fessant ने लिखा है, कि ocaml कार्यक्रमों के लिए स्मृति की रूपरेखा सुविधाओं को जोड़ता उपयोग कर सकते हैं।

संपादित

अब आप ocp-memprof, एक OCaml मेमोरी प्रोफाइलर है कि आप ऑनलाइन का उपयोग कर सकते है। यह http://memprof.typerex.org पर उपलब्ध है।

2

उपयोगी उत्तरों की सूची में जोड़ा जा रहा है: इस OCamlPro post लिनक्स पर प्रदर्शन की रूपरेखा (नहीं स्मृति प्रोफाइलिंग) मूल कोड की perf का उपयोग कर (Debian की तरह वितरण में पैकेज linux-tools के माध्यम से स्थापित) का उल्लेख है।

असल में, तुम सिर्फ चलाने की आवश्यकता:

perf record -g ./native_program arguments 

रूपरेखा डेटा वाली एक perf.data फ़ाइल का उत्पादन करने के लिए, और फिर चलाने

perf report -g 

परिणाम देखने के लिए।

फ्रेम पॉइंटर्स सक्षम के साथ ओकैमल रिलीज का उपयोग करते समय यह बेहतर काम करता है (उदाहरण के लिए OP12 पर 4.02.1 के बजाय 4.02.1+fp)।