¿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
Respuesta
poorman's profiler es perfectamente aplicable para programas OCaml. La misma idea funciona para profiling allocations también.
@Complicated see bio: Gracias por las instrucciones. Yo probaría este perfilador. –
¡gracias! ¡Voy a probarlo! –
@ maths-help-seeker Esta es la respuesta de ygrek. Solo arreglé la capitalización de "OCaml". –
Nunca lo usó pero ocamlviz es otra opción.
Sí, lo vi después de publicar esta pregunta. ¡Gracias hombre! –
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.
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).
- 1. ¿Qué herramientas recomiendas para perfilar las aplicaciones de Rails?
- 2. Herramientas para intercambiar ecuaciones en el código
- 3. Herramientas para el código C refactorización
- 4. Cómo sangrar el código OCaml existente
- 5. Mejorando el código lambda OCaml genera para las aserciones
- 6. Herramientas para perfilar el rendimiento de las aplicaciones .NET Compact Framework
- 7. Cómo calcular/perfilar el porcentaje de Código C# paralelizado
- 8. ¿Cómo puedo perfilar el código Ruby en 1.9.2?
- 9. ¿Cuáles son algunas técnicas o herramientas para perfilar un tamaño de código excesivo en aplicaciones C/C++?
- 10. ¿Qué es perfilar?
- 11. herramientas de análisis de código para Android
- 12. ¿Es posible obtener el AST para un programa OCaml?
- 13. Herramientas de cobertura de código para Scala
- 14. Donaciones para herramientas de código abierto
- 15. ¿Qué herramientas existen para perfilar procedimientos almacenados en el servidor SQL que no sean el perfilador de MS?
- 16. C++: herramientas para analizar estáticamente el código (y/o preprocesarlo)
- 17. ¿Herramientas para encontrar y medir el código más modificado?
- 18. ¿Qué herramientas usas para el análisis de código estático?
- 19. ¿Qué herramientas y técnicas usas para encontrar el código muerto?
- 20. ¿Qué herramientas existen para probar el código .net multiproceso?
- 21. ocaml impresora bonita (formateador de código)
- 22. Cómo compilar ocaml al código nativo
- 23. ¿Existen herramientas de combinación para el control de código fuente que entienden el código?
- 24. compatibilidad de código entre OCaml y F #
- 25. instrumentos para perfilar la aplicación GWT
- 26. Consejos para perfilar portando mal Emacs Lisp?
- 27. ¿Hay herramientas para la ofuscación de código para Scala?
- 28. Cómo perfilar el programa en la plataforma Linux sin reconstruir?
- 29. módulos OCaml y el rendimiento
- 30. Cómo perfilar MySQL
* [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 –