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
Odpowiedz
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).
- 1. Jakie są niektóre techniki i narzędzia do profilowania nadmiernego rozmiaru kodu w aplikacjach C/C++?
- 2. Narzędzia do profilowania wydajności aplikacji .NET Compact Framework
- 3. ładna drukarka ocaml (program do formatowania kodu)
- 4. Narzędzia do wykonywania kodu sakwowego
- 5. Dekompilowanie plików kodu bajtowego OCaml
- 6. Lista Ocaml: funkcje dołączania i mapowania narzędzia
- 7. Dobre narzędzie do profilowania wydajnościowego
- 8. Narzędzia do formatowania/refaktoryzacji kodu języka świadomy?
- 9. Narzędzia do pokrycia kodu dla VS 2008
- 10. UML do narzędzia generowania kodu Java
- 11. Narzędzia do rysunkowego wywołania funkcji wykresu kodu
- 12. Narzędzia do obsługi kodu dla PHP
- 13. zgodność kodu między OCaml i F #
- 14. Narzędzia analizy statycznej kodu Clojure
- 15. Narzędzia do listowania dostępu do bazy danych z kodu .NET
- 16. Kompatybilne narzędzia do profilowania pamięci w wersji Ruby 1.9.3 z Railsami
- 17. Wprowadzenie do Ocaml
- 18. Jakie przykładowe narzędzie do profilowania w FreeBSD?
- 19. Nie można uruchomić projektów do profilowania
- 20. Interpretacja wyjściowa profilowania MediaWiki
- 21. Narzędzia do obsługi kodu dla Symbian C++ i Maemo
- 22. Jak dodać projekt do narzędzia oceny kodu gerrit?
- 23. Czy są narzędzia do zaciemniania kodu w Scali?
- 24. Automatyczne narzędzia do przeglądu kodu dla Groovy Server Pages
- 25. Najlepsze narzędzie (narzędzia) do dekompilacji kodu bajtowego Lua?
- 26. Narzędzia do analizy złożoności kodu poza złożonością cykliczną
- 27. Narzędzia do obsługi kodu Java obsługujące wykluczenia linii źródłowej
- 28. Jakie narzędzia istnieją do testowania wielowątkowego kodu .net?
- 29. Szablon profilowania Haskell
- 30. Czy są tam jakieś narzędzia kodu DRYer?
* [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ę. –