Stream: Dune devs & users

Topic: Dune 3.0 performance


view this post on Zulip Ali Caglayan (Mar 31 2022 at 18:05):

I feel as though dune 3.0.3 is thinking a little to long when I am building Coq. For instance, after finishing dune build for the master Coq repo, and running dune build again, it takes a couple of seconds to realize that nothing needs to be done. @Rudi Grinberg are you are aware of similar issues? What is the best way to submit such a bug report?

view this post on Zulip Rudi Grinberg (Mar 31 2022 at 18:05):

Can you confirm that the situation is better in 2.9.x?

view this post on Zulip Ali Caglayan (Mar 31 2022 at 18:08):

Trying it now, it needs to rebuild the whole thing unfortunately due to the different OCaml version

view this post on Zulip Rudi Grinberg (Mar 31 2022 at 18:08):

Usually, these issues pop up from changes in the build rules rather than dune itself. We are quite sensitive to performance regressions since they are felt very acutely by the JST people.

view this post on Zulip Ali Caglayan (Mar 31 2022 at 18:14):

Hmm it actually looks like it is a little faster

view this post on Zulip Ali Caglayan (Mar 31 2022 at 18:15):

I think the main difference is that dune 3.0 is actually reporting what it is doing where dune 2.9 wouldn't say anything.

view this post on Zulip Ali Caglayan (Mar 31 2022 at 18:15):

So looks like my initial feeling is incorrect.

view this post on Zulip Ali Caglayan (Mar 31 2022 at 18:19):

I did observe some job number bottlenecks however when rebuilding a project. I had dune build in watch mode and sometimes it would get stuck with one job. When I restarted the watch process it went back to multiple jobs.

view this post on Zulip Ali Caglayan (Mar 31 2022 at 18:20):

This happens quite infrequently and I haven't yet been able to reliably reproduce it.

view this post on Zulip Ali Caglayan (Mar 31 2022 at 18:36):

dune_build_watch_slow.gif

view this post on Zulip Ali Caglayan (Mar 31 2022 at 18:37):

Here is an attempt at showing this behaviour

view this post on Zulip Ali Caglayan (Mar 31 2022 at 18:37):

It is just showing what dune build -w with cache disabled does, vs a fresh dune build.

view this post on Zulip Emilio Jesús Gallego Arias (Apr 01 2022 at 11:52):

Indeed zero builds and in general startup for dune is much improved for me in 3.0


Last updated: Oct 13 2024 at 01:02 UTC