Hey folks! Pyre recently switched our backend build to Ocaml 5.0.0 . It was a smooth switch for the most part. I know a lot of work went into this and we appreciate it! We did notice one surprising regression - we had to remove a call to Gc.stat that we had for telemetry tracking. The problem was…

@stroxler it’s good to hear that the update went smoothly! And thanks for mentioning Gc.quick_stat – I’ve just landed a fix to infer in anticipation of a soon-ish update to OCaml 5.0.

Do you have some performance measurements to report? I.e. if the program is parallel, how does it fares using domains instead of processes and considering the number of cores your are using?

Ocaml 5.0.0 in Pyre - mostly smooth sailing, Gc.stat regression

Ecosystem

nojb January 18, 2023, 8:01am 2

I recommend reporting this upstream (Issues · ocaml/ocaml · GitHub): a 50x slowdown seems worthy of attention.

Cheers,
Nicolas

Topic		Replies	Views
OCaml 5 performance Ecosystem multicore , performance , profiling , eio	30	3629	September 11, 2024
Garbage collection pause statistics? Ecosystem runtime	6	512	August 21, 2023
Annouce : statistical memory profiling for OCaml Community announce	0	1125	November 13, 2017
⚠️ OCaml 5.x memory usage Ecosystem ocaml , memory	26	2117	September 3, 2025
Multicore OCaml: January 2022 and post-merge activity Community multicore , multicore-monthly	7	3871	February 14, 2022

Ocaml 5.0.0 in Pyre - mostly smooth sailing, Gc.stat regression

Related topics