Инструменты для профилирования кода OCaml

Кто-нибудь знает программы для профилирования кода OCaml, кроме использования опции -p во время компиляции, а затем с помощью gprof? Я задаю этот вопрос, чтобы проверить, можно ли еще уменьшить время выборки в 0,01 секунды?

Ответы

Ответ 2

Никогда не использовал его, но ocamlviz - еще один вариант.

Ответ 3

Вы также можете использовать ocaml-memprof, патч компилятора (3.12.0 и 3.12 1), написанный Фабрисом Ле Фессаном, который добавляет функции профилирования памяти в программы ocaml.

ИЗМЕНИТЬ

Теперь у вас есть ocp-memprof, профилировщик памяти OCaml, который вы можете использовать в Интернете. Он доступен на http://memprof.typerex.org.

Ответ 4

Добавление в список полезных ответов: Сообщение OCamlPro упоминает профилирование производительности (а не профилирование памяти) собственного кода в Linux с помощью perf (установлен через пакет linux-tools в дистрибутивах типа Debian).

В принципе, вам просто нужно запустить:

perf record -g ./native_program arguments

Чтобы создать файл perf.data, содержащий данные профилирования, а затем запустите

perf report -g

Чтобы увидеть результаты.

Он работает лучше при использовании выпуска OCaml с включенными указателями рамки (например, 4.02.1+fp вместо 4.02.1 на OPAM).