Czy ktoś wie o programach do profilowania kodu OCaml oprócz opcji -p podczas kompilacji i korzystania z gprof? Zadaję to pytanie, aby sprawdzić, czy czas próbkowania o 0,01 sekundy można jeszcze bardziej obniżyć?Narzędzia do profilowania kodu OCaml
poorman's profiler doskonale nadaje się do programów OCaml. Ten sam pomysł działa również dla profiling allocations.
@Komplikowany zobacz bio: Dziękujemy za wskazówki. Wypróbowałbym tego profilera. –
dziękuję! Zamierzam to wypróbować! –
@ maths-help-seeker Oto odpowiedź ygreka. Naprawiłem tylko wielką literę "OCaml". –
Nigdy go nie używano, ale ocamlviz to inna opcja.
Tak, zobaczyłem to po tym, jak napisałem to pytanie. Dzięki! –
Można również użyć ocaml-memprof, łatki kompilatora (3.12.0 i 3.12 1) napisanej przez Fabrice Le Fessant, która dodaje funkcje profilowania pamięci do programów ocaml.
EDIT
Teraz masz ocp-memprof An SML Memory Profiler, które można wykorzystać w Internecie. Jest dostępny pod numerem http://memprof.typerex.org.
Dodanie do listy przydatnych odpowiedzi: to OCamlPro post wspomina profilowania wydajności (nie) pamięci profilowania natywnego kodu w systemie Linux przy użyciu perf (zainstalowane przez pakiet linux-tools w Debianie takich dystrybucjach).
Zasadniczo wystarczy uruchomić:
perf record -g ./native_program arguments
Aby wyprodukować plik perf.data zawierający profilowania danych, a następnie uruchomić
perf report -g
Aby zobaczyć wyniki.
Działa lepiej, gdy jest używane wydanie OCaml z włączonymi wskaźnikami ramki (np. 4.02.1+fp zamiast 4.02.1 na OPAM).
* [Ta technika] (http://stackoverflow.com/questions/375913/what-can-i-use-to-profile-c-code-in-linux/378024#378024) * działa z ocaml jako cóż, wierzę. –