analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

Upgrade to OCaml 5.0 as default

Open sim642 opened this issue 2 years ago • 10 comments

Closes #1003.

We can finally do this because mlgmpidl and apron have been released on opam for OCaml 5.0.

TODO

  • [ ] Merge https://github.com/goblint/gobview/pull/26.

sim642 avatar Aug 16 '23 08:08 sim642

I did an sv-benchmarks run comparing OCaml 4.14 with OCaml 5.0 and the results are concerning. We might have to postpone making OCaml 5.0 the default and simply cherry-pick the changes from here to at least make Goblint OCaml 5.0 compatible, even if we don't use it by default.

Memory usage is significantly higher, almost 10× in some cases: image

CPU time is also affected but that could be simply due to working with more memory: image

(Full results)

sim642 avatar Sep 12 '23 08:09 sim642

Should we investigate what the performance is like with OCaml 5.1?

michael-schwarz avatar Apr 05 '24 12:04 michael-schwarz

I tried 5.1 at some point and it wasn't much better, still a regression from 4.14. OCaml 5.2 is around the corner, so that's another thing to try.

sim642 avatar Apr 05 '24 14:04 sim642

Sounds like 5.2 (released today) also won't fix our problems: https://discuss.ocaml.org/t/ocaml-5-2-0-released/14638

OCaml 5.2.0 is still a somewhat experimental release compared to the OCaml 4.14 branch. In particular

  • [...]
  • Ephemeron performances need to be investigated.

michael-schwarz avatar May 13 '24 17:05 michael-schwarz