async foundations

[nikomatsakis]

Summary

To pursue foundational work related to Async I/O. Much of this work involves extending the language with new foundational concepts.

The group also pursues work that is unrelated to the lang team, such as compiler team polish.

Info

• Lead: @nikomatsakis, @tmandry
• Lang-team liaison: @nikomatsakis
• Charter
• Repository rust-lang/wg-async-foundations
• Zulip stream #wg-async-foundations

What is this issue?

This issue represents an active project group. It is meant to be used for
the group to post updates to the lang team (and others) in a lightweight
fashion. Please do not use the comments here for discussion, that should be kept
in the Zulip stream (discussion comments here will be marked as off-topic).

[nikomatsakis]

Update 2020-07-27:

• Still working towards the Stream RFC, should schedule the meeting about it.
• boats proposed AsyncDrop, withdrawn but may come up later.

[nikomatsakis]

Update 2020-08-03:

• Ongoing work on the Stream trait, meeting likely next week

[nikomatsakis]

• Stream trait meeting planned for this Wednesday.

[nikomatsakis]

Update 2020-08-31:

• Had the meeting, no major blockers identified.
• Planning to open the RFC soon, but will add a plan for migration.

[nikomatsakis]

Update 2020-09-14:

• Discussed how the Stream RFC is really more of a "libs with lang consultation" RFC than anything else.
• Looking towards a lint similar to must_use but about values held live across yields.

[nikomatsakis]

Update 2020-09-21:

• Still waiting on Stream RFC.

[joshtriplett]

Stream RFC: rust-lang/rfcs#2996

[joshtriplett]

This shouldn't need further lang review until after that RFC has been merged and implemented.

[nikomatsakis]

Update 2020-10-07:

There is a Draft RFC available for a must_not_await lint.

[nikomatsakis]

Update 2021-04-06:

• Working on the async vision doc. Will be coordinating with lang team as we get a clearer idea of the roadmap and "shiny future" proposals.
• Another point of upcoming contact will be about the "async guiding principles", which -- at least at present -- look like they may be an interesting "specialization" of more general Rust language guiding principles. Good topic for a design meeting, perhaps.

[nikomatsakis]

Update 2021-07-07:

• The async vision doc has reached the end of its brainstorming period.
• We've been iterating towards what we believe to be the "shiny future", and there's a lot to discuss.
• You can find an overview of the current status in this diagram, which has links to more detailed design notes.

Most likely the best thing would be to have a design meeting to talk it over.

[nikomatsakis]

Closing in favor of rust-lang/async-fundamentals-initiative#5