3 ms·
I wonder what kind of impact this will have on the performance of Mirage. It seems to me that whole-program optimization is potentially a great benefit for a un
by mwcampbell 11y ago
I wonder what kind of impact this will have on the performance of Mirage. It seems to me that whole-program optimization is potentially a great benefit for a unikernel written almost entirely in a high-level language like OCaml.
- wk_end 11y agoTo be clear, I don't believe flambda is providing anything on the scale of whole program optimization; it inlines more aggressively, but not the entire program.
- Drup 11y agoThat is not exactly correct, it also does cross module inlining. Now, suppose you tweak a bit your parameters to inline ... liberally. It's going to inline all the mirage functors directly into your main, which enables various things. Of course, that's going to take a bit of time to compile. Also, IIRC, all the ingredients are in place for link time optimizations, but they were not developed for ocaml 4.03.