2012-02-08 13 views
15

¿Alguien conoce los programas para perfilar el código OCaml aparte de usar la opción -p durante la compilación y luego usar gprof? Estoy haciendo esta pregunta para verificar si el tiempo de muestreo de 0.01 segundos puede reducirse aún más.Herramientas para perfilar el código OCaml

+1

* [Esta técnica] (http://stackoverflow.com/questions/375913/what-can-i-use-to-profile-c-code-in-linux/378024#378024) * funciona con ocaml as bueno, yo creo –

Respuesta

8

poorman's profiler es perfectamente aplicable para programas OCaml. La misma idea funciona para profiling allocations también.

+0

@Complicated see bio: Gracias por las instrucciones. Yo probaría este perfilador. –

+0

¡gracias! ¡Voy a probarlo! –

+0

@ maths-help-seeker Esta es la respuesta de ygrek. Solo arreglé la capitalización de "OCaml". –

6

Nunca lo usó pero ocamlviz es otra opción.

+0

Sí, lo vi después de publicar esta pregunta. ¡Gracias hombre! –

6

También puede usar ocaml-memprof, un parche del compilador (3.12.0 y 3.12 1) escrito por Fabrice Le Fessant, que agrega funciones de perfilado de memoria a los programas ocaml.

EDITAR

Ahora usted tienen ocp-memprof, una memoria de perfiles OCaml que se puede utilizar en línea. Está disponible en http://memprof.typerex.org.

2

Agregando a la lista de respuestas útil: El OCamlPro post menciones perfiles de rendimiento (no perfiles de memoria) de código nativo en Linux mediante perf (instalado a través de paquete linux-tools en las distribuciones Debian-like).

Básicamente, sólo tiene que ejecutar:

perf record -g ./native_program arguments 

para producir un archivo que contiene los datos del perfil perf.data y ejecute

perf report -g 

Para ver los resultados.

Funciona mejor cuando se utiliza una versión OCaml con punteros de marco habilitados (por ejemplo, 4.02.1+fp en lugar de 4.02.1 en OPAM).

Cuestiones relacionadas