Skip to content

Latest commit

 

History

History
14 lines (13 loc) · 881 Bytes

profiling.md

File metadata and controls

14 lines (13 loc) · 881 Bytes

Profiling

  • SpaceTime is integrated into the compiler and allows profiling of memory allocation. (Removed since 4.12.0)
  • landmarks: a profiling library for OCaml, taking into account both memory allocation and CPU time.
  • Standard tools such as gprof can also be used to debug OCaml programs.
  • ocaml-tracy: Bindings to the amazing tracy profiler.
  • gdbprofiler: Profile OCaml programs by connecting to gdb. Very impressive output. (Repository archived since May 17th 2024)