Lukasz Stafiniak

Debugging and Profiling OCaml – lessons (re)learned

Links

• OCaml.org tutorial on debugging
• ppx_minidebug, a debugging and logging framework.
• Debugging Native Code Binaries in Real World OCaml
• KC Sivaramakrishnan’s Getting Started with GDB on OCaml
  • Deterministically debugging concurrent GC bugs with rr
  • 15 minutes tutorial of GDB
• Javier Chávarri’s Profiling Dune Builds – a brief coverage of perf and memtrace
• vg-b’s workaround for some perf problems (the need for ocaml-option-fp)
• Tianyi Song’s Profiling OCaml programs the quick and dirty way about using Landmarks. Has precise timing (CPU cycles), both manual and automatic annotation (PPX based), callgraph visualization.