Stream: t-compiler/wg-incr-comp

Topic: wg-incr-comp meeting 2020.08.05


view this post on Zulip pnkfelix (Aug 06 2020 at 00:02):

notes here: https://hackmd.io/RB4lqTaNSQ2Stt4XMOkF3w

view this post on Zulip Félix Fischer (Aug 06 2020 at 00:02):

Oh, excellent, you made a topic for this :D

view this post on Zulip pnkfelix (Aug 06 2020 at 00:43):

https://rustc-dev-guide.rust-lang.org/queries/incremental-compilation-in-detail.html

view this post on Zulip Santiago Pastorino (Aug 06 2020 at 00:44):

I think you can start here https://rustc-dev-guide.rust-lang.org/query.html, in the main chapter because there are also some details there and in the previous section of the one you pointed at

view this post on Zulip pnkfelix (Aug 06 2020 at 00:45):

https://github.com/rust-lang/rust/issues?q=is%3Aissue+is%3Aopen+label%3AA-incr-comp

view this post on Zulip pnkfelix (Aug 06 2020 at 00:45):

https://github.com/rust-lang/rust/issues?q=is%3Aissue+is%3Aopen+label%3AA-incr-comp+-label%3AI-ICE

view this post on Zulip pnkfelix (Aug 06 2020 at 00:46):

incr.comp.: Improve caching efficiency by handling spans in a more robust way #47389

view this post on Zulip pnkfelix (Aug 06 2020 at 00:47):

Remove Spans from HIR #72015

view this post on Zulip pnkfelix (Aug 06 2020 at 00:47):

PR by @cjgillot

view this post on Zulip pnkfelix (Aug 06 2020 at 00:48):

https://github.com/rust-lang/rust/issues?q=is%3Aissue+is%3Aopen+label%3AA-incr-comp+label%3AC-enhancement

view this post on Zulip Wesley Wiser (Aug 06 2020 at 00:49):

Tracking Issue for Incremental Compilation: https://github.com/rust-lang/rust/issues/47660

view this post on Zulip Wesley Wiser (Aug 06 2020 at 00:50):

Tracking Issue for making incremental compilation the default for Release Builds: https://github.com/rust-lang/rust/issues/57968

view this post on Zulip Félix Fischer (Aug 06 2020 at 00:50):

Is that issue (47660) up-to-date? It looks super cool

view this post on Zulip Félix Fischer (Aug 06 2020 at 00:50):

A lot of information and analysis on the problem

view this post on Zulip Wesley Wiser (Aug 06 2020 at 00:50):

I think some of the things that are unchecked in that issue have been completed but I'm not sure

view this post on Zulip Wesley Wiser (Aug 06 2020 at 00:51):

It would be good to bring it up to date

view this post on Zulip Félix Fischer (Aug 06 2020 at 01:01):

That was a nice meeting, thank you all

view this post on Zulip Félix Fischer (Aug 06 2020 at 01:01):

:)

view this post on Zulip pnkfelix (Aug 06 2020 at 01:04):

so glad you all could come. Sorry its taken so long to get this effort underway!

view this post on Zulip Félix Fischer (Aug 06 2020 at 01:06):

No probs, take it easy. We're all under the weight of the pandemic in one way or the other. :smile:

view this post on Zulip Félix Fischer (Aug 06 2020 at 01:12):

I did some light formatting on the minute

view this post on Zulip Félix Fischer (Aug 06 2020 at 01:13):

For if anyone wants to check/modify what I did ^^

view this post on Zulip cjgillot (Aug 06 2020 at 06:31):

I have a few commits there and there on the query system. My goal here is to allow decentralised query declarations into salsa-like query databases. There are a few design questions hidden in there:

I will try and make a PR and a more elaborated document when I get the time.

view this post on Zulip davidtwco (Aug 06 2020 at 13:49):

Is the recording of the meeting available?

view this post on Zulip pnkfelix (Aug 06 2020 at 15:38):

@davidtwco we made a recording. I haven't uploaded it anywhere yet

view this post on Zulip pnkfelix (Aug 06 2020 at 15:39):

I hope to look into doing so either today or tomorrow

view this post on Zulip pnkfelix (Aug 06 2020 at 15:39):

@cjgillot are you interested in being part of wg-incr-comp, by the way?

view this post on Zulip cjgillot (Aug 06 2020 at 15:54):

Yes, please. I may not be very active (finishing my PhD and starting a new job next month), but I will find some time.

view this post on Zulip davidtwco (Aug 10 2020 at 17:01):

Is the recording available now @pnkfelix?

view this post on Zulip pnkfelix (Aug 10 2020 at 17:01):

I actually am just finishing uploading it now

view this post on Zulip pnkfelix (Aug 10 2020 at 17:01):

I had to get permissions to manage the Rust youtube channel

view this post on Zulip davidtwco (Aug 10 2020 at 17:02):

Fantastic, thanks

view this post on Zulip davidtwco (Aug 10 2020 at 17:57):

Regarding the discussion in the meeting about project groups:

I’m mostly interested in partitioning improvements (like Wesley Wiser, but from a wg-polymorphization perspective. However, I’m happy to help out wherever a warm body is needed - I don’t particularly mind.

view this post on Zulip pnkfelix (Aug 10 2020 at 18:03):

Recording is now public: https://www.youtube.com/watch?v=dSMQ1Iy3S1o

view this post on Zulip pnkfelix (Aug 10 2020 at 18:04):

In hndsight, I guess I could have taken the time to correct the .vtt file with the subtitles before posting it. But for now, its got some "interesting" typos.

view this post on Zulip Félix Fischer (Aug 10 2020 at 18:04):

XDDD

view this post on Zulip Félix Fischer (Aug 10 2020 at 18:04):

Thank you @pnkfelix :)

view this post on Zulip Félix Fischer (Aug 10 2020 at 18:06):

Having worked with video before, I appreciate the work. Videos can be a pain sometimes :laughing:


Last updated: Oct 21 2021 at 20:03 UTC