wg-async sprint planning meeting

Template

## Template

Agenda

Announcements and other updates
Update sprint doc
Sprint retrospective
Identify sprint goals
Plan meetings for the next month

Sprint goals

General

Async fundamentals

Polish

Goals:

Issues: (project board)

Portability across runtimes

Tooling

Keyword Generics

Onboarding

January 2024 (2024-01-03 - 2024-01-31)

Agenda

Announcements and other updates
Update sprint doc
Sprint retrospective
Identify sprint goals
Plan meetings for the next month

Sprint goals

General

(tmandry) Publish my (personal) roadmap thoughts
(compiler-errors) MVP implementation of correctly-functioning async closures (i.e. able to borrow from the closure)
(yosh) Publish design post for async Drop
(yosh) Land a draft RFC for maybe-async trait definitions in the effects initiative repo (stretch goal)

Async fundamentals

(eholk) Publish blog post(s) on potential mechanisms for implementing async cancellation
- Published https://theincredibleholk.org/blog/2023/11/14/a-mechanism-for-async-cancellation/ and https://theincredibleholk.org/blog/2023/11/08/cancellation-async-state-machines/
(vincenzopalazzo): deeep drive Context reactor hook https://rust-lang.zulipchat.com/#narrow/stream/187312-wg-async/topic/Context.20reactor.20hook/near/39918898

Polish

Goals:

Issues: (project board)

Portability across runtimes

Tooling

Keyword Generics

Onboarding

Async fundamentals

[December 2023] (12/08 - 2024-01-03)

Skipped for the holidays.

November 2023 (11/02 - 12/07)

Agenda

Announcements and other updates
Update sprint doc
Sprint retrospective
Identify sprint goals
Plan meetings for the next month

Sprint goals

General

Async fundamentals

(eholk) Publish blog post(s) on potential mechanisms for implementing async cancellation
- Published https://theincredibleholk.org/blog/2023/11/14/a-mechanism-for-async-cancellation/ and https://theincredibleholk.org/blog/2023/11/08/cancellation-async-state-machines/
(vincenzopalazzo): deeep drive Context reactor hook https://rust-lang.zulipchat.com/#narrow/stream/187312-wg-async/topic/Context.20reactor.20hook/near/39918898

Polish

Goals:

Issues: (project board)

Portability across runtimes

Tooling

Keyword Generics

Onboarding

October 2023 (10/5 - 11/2)

Agenda

Announcements and other updates
Update sprint doc
Sprint retrospective
Identify sprint goals
Plan meetings for the next month

Sprint goals

General

(vincenzopalazzo): Working on the board https://github.com/orgs/rust-lang/projects/34/views/1

Async fundamentals

(eholk) Publish blog post(s) on potential mechanisms for implementing async cancellation
- Status: made progress but still not published. Should be done this sprint… 🤞
(TC) Restart conversation around TAIT/ATPIT

Polish

Goals:

Issues: (project board)

Portability across runtimes

(vincenzopalazzo): compare tokio and async std on how they expand async main

Tooling

Keyword Generics

Onboarding

September 2023 (8/31 - 10/5)

Agenda

Update sprint doc
Sprint retrospective
Identify sprint goals
Plan meetings for the next month

Sprint goals

General

(vincenzopalazzo): compare tokio and async std on how they expand async main

Async fundamentals

(TC) RFC for 2024 lifetime capture rules
(tmandry) Restart conversation around RTN
(TC) Restart conversation around TAIT/ATPIT
(tmandry) Make sure there's a plan for stabilization PRs
(vincenzopalazzo): deeep drive Context reactor hook https://rust-lang.zulipchat.com/#narrow/stream/187312-wg-async/topic/Context.20reactor.20hook/near/399188988

Polish

Goals:

(vincenzopalazzo): Deep drive on the issue https://github.com/rust-lang/rust/issues/74497
(vincenzopalazzo): Working on the board https://github.com/orgs/rust-lang/projects/34/views/1
(vincenzopalazzo): Looking at the issue https://github.com/rust-lang/rust/issues/114912

Issues: (project board)

(vincenzopalazzo): compare tokio and async std on how they expand async main
(vincenzopalazzo):(Implementing) deeep drive Context reactor hook https://rust-lang.zulipchat.com/#narrow/stream/187312-wg-async/topic/Context.20reactor.20hook

Portability across runtimes

Tooling

Keyword Generics

Onboarding

August 2023 (8/3 - 9/7)

Agenda

Update sprint doc
Sprint retrospective
Identify sprint goals
Plan meetings for the next month

Sprint goals

General

Async fundamentals

(TC) RFC for RPIT capture rules
(tmandry) Restart conversation around RTN
- Status: not done :(
(tmandry) Make sure there's a plan for stabilization PRs
- Status: blocked

Polish

Goals:

(vincenzopalazzo): Deep drive on the issue https://github.com/rust-lang/rust/issues/74497
(vincenzopalazzo): Working on the board https://github.com/orgs/rust-lang/projects/34/views/1

Issues: (project board)

(vincenzopalazzo): compare tokio and async std on how they expand async main
(vincenzopalazzo):(Implementing) deeep drive Context reactor hook https://rust-lang.zulipchat.com/#narrow/stream/187312-wg-async/topic/Context.20reactor.20hook

Portability across runtimes

Tooling

Keyword Generics

Onboarding

July 2023 (7/6 - 8/3)

Agenda

Update sprint doc
Sprint retrospective
Identify sprint goals
Plan meetings for the next month

Sprint goals

General

Async fundamentals

(yosh) Write blog post on async drop
(nikomatsakis) Post RFC for Associated Return Types / Return Type Notation
(tmandry) Help prep a lang team discussion for #112194
- Status: Discussion happened last week that gives us a clear path forward, 🎉

Polish

Issues: (project board)

Goals:

(vincenzopalazzo): Deep drive on the issue https://github.com/rust-lang/rust/issues/74497

Portability across runtimes

(vincenzopalazzo): compare tokio and async std on how they expand async main
(vincenzopalazzo): deeep drive Context reactor hook https://rust-lang.zulipchat.com/#narrow/stream/187312-wg-async/topic/Context.20reactor.20hook
- Status: reading and understand how the pattern was applied, and now planning to implement inside rio

Tooling

Keyword Generics

Onboarding

June 2023 (6/1 - 7/6)

Agenda

Update sprint doc
Sprint retrospective
Identify sprint goals
Plan meetings for the next month

Sprint goals

General

Async fundamentals

(nikomatsakis) Post RFC for Associated Return Types / Return Type Notation
(tmandry) Respond to RPITIT RFC comments
- Status: I think I got to most of these
(tmandry) Write a high-level plan for async iterators

Polish

Goals:

(vincenzopalazzo): Working on the issue https://github.com/rust-lang/rust/issues/74497 and discuss in the triage meeting

Issues: (project board)

Portability across runtimes

(vincenzopalazzo): compare tokio and async std on how they expand async main

Tooling

Keyword Generics

Onboarding

May 2023 (5/4 - 6/1)

Agenda

Update sprint doc
Sprint retrospective
Identify sprint goals and polish issues
Plan meetings for the next month

Sprint goals

General

(tmandry/nikomatsakis) Draft/outline decision doc on 2024 goals

Async fundamentals

(tmandry,nikomatsakis) Write a high-level plan for:
- async closures
- async iterators
(eholk, tmandry, nikomatsakis) Post RFC for Associated Return Types
- Status: not yet but did have a meeting with the lang team.
(nikomatsakis,tmandry) Discuss capture rules and #[refine] for RPITIT, identify any blockers

Polish

Goals:

(vincenzopalazzo): Nominate and discuss for the next triage meeting https://github.com/rust-lang/rust/issues/74497

Issues: (project board)

Portability across runtimes

(vincenzopalazzo): compare tokio and async std on how they expand async main

Tooling

Keyword Generics

Onboarding

April 2023 (4/6 - 5/4)

Agenda

Update sprint doc
Sprint retrospective
Identify sprint goals and polish issues
Plan meetings for the next month

Sprint goals

General

(tmandry) Blog post about 2023 goals
(tmandry/nikomatsakis) Make a decision on 2024 goals

Async fundamentals

(luciofranco) Tower AFIT case study
(eholk) Finish off RTN RFC draft, get it ready to post
- Status: Still working on it
(nikomatsakis) Write trait transformers RFC
- Status: Not planned
(tmandry,nikomatsakis) Make a decision on Send bound approach
(tmandry,nikomatsakis) Write a high-level plan for:
- async closures
- async iterators
- Status: Had some thoughts on closures but haven't had time to write them down yet
(tmandry, maybe compiler-errors) Resurrect and revise RPITIT RFC

Polish

Goals:

(vincenzopalazzo): working on resurrect the following board issue https://github.com/rust-lang/rust/issues/74497

Issues: (project board)

Portability across runtimes

(vincenzopalazzo): compare tokio and async std on how they expand async main

Tooling

(vincenzopalazzo) Improve the query code for the triage bot

Keyword Generics

Onboarding

(vincenzopalazzo) Mentoring on this issue https://github.com/rust-lang/rust/issues/107899

March 2023 (3/2 - 4/6)

Agenda

Update sprint doc
Sprint retrospective
Identify sprint goals and polish issues
Plan meetings for the next month

Sprint goals

General

(tmandry,nikomatsakis) Revise vision and get doc ready for next deep dive
(tmandry) Experiement with Github projects for tracking the vision
(tmandry/nikomatsakis; stretch) Publish vision blog post (will do next month if not this month)

Async fundamentals

(eholk) Post RFC for async Send bounds
- Status: Draft available herest.
(eholk) Prototype async Send bounds implementation
- Status: Didn't happen / deprioritized
(tmandry,nikomatsakis) Get all AFIT case studies scheduled
(tmandry,nikomatsakis) Discuss and write a high-level plan for: async closures, async iterators, dyn dispatch
- Status: Discussed closures and iterators, but haven't produced a plan yet
(tmandry) Resurrect and revise RPITIT RFC to be ready to post (and maybe post it)

Polish

Goals:

(eholk, possibly triage meeting) Revisit issues, close the ones that seem fixed well enough
- Status: didn't happen
(vincenzopalazzo): working on resurrect the following board issue https://github.com/rust-lang/rust/issues/74497

Issues: (project board)

Portability across runtimes

(vincenzopalazzo): compare tokio and async std on how they expand async main

Tooling

(vincenzopalazzo) Improve the query code for the triage bot

Keyword Generics

Onboarding

(vincenzopalazzo) Mentoring on this issue https://github.com/rust-lang/rust/issues/107899

2023-02-02 - 2023-03-02

Agenda

Update sprint doc
Sprint retrospective
Identify sprint goals and polish issues
Plan meetings for the next month

Sprint goals

General

(tmandry, nikomatsakis) Finish initial outline for 2024 Vision Doc revamp, share with the wg for feedback
- Status: Had a deep dive, more revision left to do

Async fundamentals

(eholk) Get "lucky AFIDT" working, where it works if the returned future just happens to be PointerSized.
- Status: didn't make much progress here because I was focused on async Send bounds instead

(nikomatsakis) Another blog post on return type notation / Send bounds
(tmandry) Write down questions around AFIT that we have for maintainers of popular crates
- Status: Had some conversations, but not a formal list written down
(tmandry, stretch) Start drafting RFC for return type notation
- Ping compiler-errors to collaborate
- Status: Not started

Polish

Goals:

(eholk, possibly triage meeting) Revisit issues, close the ones that seem fixed well enough
- Status: didn't do it :(
(eholk) get a solid reduced test case for a "higher ranked lifetime error."
- Started working on this and realized we already had a pretty reasonable test case on some other issues
(vincenzopalazzo): finish the patch for https://github.com/rust-lang/rust/issues/80658
- proposed patch https://github.com/rust-lang/rust/pull/107902

Issues: (project board)

Portability across runtimes

(vincenzopalazzo): finsih the runtime abstraction (related PR https://github.com/vincenzopalazzo/rio/pull/15)
- Started to deep drive insied the async runtime implementation such as tokio to see how the async main is implemented.

Tooling

(vincenzopalazzo): improve penguing https://github.com/vincenzopalazzo/penguin/issues/3
- Some improvments https://github.com/vincenzopalazzo/penguin/pull/8

Keyword Generics

Onboarding

2023-01-12 - 2023-02-02

Agenda

Update sprint doc
Sprint retrospective
Identify sprint goals and polish issues
Plan meetings for the next month

Sprint goals

General

Async fundamentals

Polish

Goals:

(eholk): Make a doc of polish issues that would be good for pairing on next month
- Status: didn't get through all the issues, but I did make a few notes here: https://hackmd.io/wrN1Kti-RDuIxKNFTYdYqw

Issues: (project board)

(eholk): https://github.com/rust-lang/rust/issues/102383 - merge fix and do another crater run
- Status: crater run found more ICEs that I haven't had time to investigate yet.
(vincenzopalazzo): finish the patch for https://github.com/rust-lang/rust/issues/80658

Portability across runtimes

(Yosh): publish blog post with feedback on Nick's async IO trait designs

Tooling

Keyword Generics

(Yosh): publish six-month project update on the internals blog (tldr for here: things are going really well!)

Onboarding

(vincenzopalazzo): improve penguing https://github.com/vincenzopalazzo/penguin/issues/3

2022-12-01 - 2023-01-05

Agenda

Update sprint doc
Sprint retrospective
Identify sprint goals and polish issues
Plan meetings for the next month

Sprint goals

General

Async fundamentals

(eholk) AFIDT
- Get started implementing a version of dyn* conversion traits
  - Probably not so urgent to get AFIDT working
- Document where we are and where we need to get to in order to light up AFIDT
  - https://blog.theincredibleholk.org/blog/2022/12/19/async-fn-in-trait-object-update/
(tmandry+nikomatsakis) Return type notation
- Decide next step (blog post, design meeting, etc)
- Produce first draft of materials for this step

Polish

Goals:

Firm up a process for revisiting old issues (I-async-nominated)

Issues: (project board)

Portability across runtimes

Tooling

Keyword Generics

Onboarding

2022-11-10 - 2022-12-01

Agenda

Update sprint doc
Sprint retrospective
Identify sprint goals and polish issues
Plan meetings for the next month

Sprint goals

General

Async fundamentals

(tmandry) Finish revising and post AFIT blog post
- Status: Posted
(tmandry or nikomatsakis) Draft blog post about "return type notation"
- Status: We drafted something, more reference-level/design review material, but aren't sure what to do with it just yet
(eholk) Do another pass on dyn* conversion traits
- Status: I don't think much significant happened here
(vincenzopalazzo) discuss with team how move on the initiative Async Main and Test initiative
(bryangarza) Create up-to-date list of AFIT tests (what we have vs what is missing) Consolidate https://hackmd.io/SwRcXCiWQV-WRJ4BYs53fA + https://hackmd.io/oz-pwQhNRPa3gFykJkGdpA

(yosh) continue work on futures-concurrency, bringing it up to production quality in preparation for the RFC

Polish

Goals:

(eholk) Spend some more time defining and refining goals. Take a pass over the project board and make sure it's up to date.
- Status: we had a backlog review session and are working on plans to revisit old issues periodically

Issues: (project board)

(vincenzopalazzo) Move the discussion of #102201 t-type team
(vincenzopalazzo) Investicate the example #102211 (Bogus higher-ranked lifetime error in an async block)
(bryangarza) Fix #102383 (Drop tracking ICE involving await in left hand side of assignment)

(pnkfelix) prototype fix for #62958

Portability across runtimes

Tooling

(tmandry) Open a PR to rust-dbg-ext with support library demo
- Status: I have a branch up. It needs cleanup, no PR yet.

Keyword Generics

Onboarding

(vincenzopalazzo): make smarted the triage bot to be able to resurrect old issues

2022-10-06 - 2022-11-03

Agenda

Update sprint doc
Sprint retrospective
Identify sprint goals and polish issues
Plan meetings for the next month

Sprint goals

General

(nrc) status update blog post
(yosh) halt points blog post
(yosh) first draft of async iteration RFC

Async fundamentals

(tmandry/nikomatsakis) Write stakeholder meeting summary
- Status: Not started
(tmandry) Put stakeholder meeting notes on initiative site
- Status: Done
(tmandry) Write blog post about giving AFIT impl a spin
- Status: Written but needs to be revised some, then posted
(tmandry or nikomatsakis) Write blog post about "return type notation"
- Status: Not started
(tmandry or nikomatsakis) RPITIT test listing
- Status: Not started
(tmandry/nikomatsakis/eholk) Prep for deep dive
- Status: Cancelled/postponed
(eholk) First pass at dyn* conversion traits
- Share design with group
  - Status: Wrote up a doc, had a design meeting. Discovered some of the fundamental tradeoffs and got some new proposals. Still need to finalize and implement though.
- Do initial implementation of traits, using them for conversion into and from dyn*.

Polish

Goals:

(eholk) Fix remaining drop tracking issues
- Status: on hold while we see how https://github.com/rust-lang/rust/pull/101692 shakes out.
(pnkfelix) investigate #62958: discussed with @compiler-errors, working on prototype fix

Issues: (project board)

(eholk) Fix #102383 (needed to enable drop-tracking)
(vincenzopalazzo) Clarify and Fix #102201 (need to improve suggestion)
(vincenzopalazzo) Reproduce and Investigate #102211 (Bogus higher-ranked lifetime error in an async block)

Portability across runtimes

(nrc) incorporate feedback on IO traits proposal
(nrc) continue research on executor abstraction
(nrc) comment on runtime trait proposal (https://github.com/nrc/portable-interoperable/issues/13) (by comment, I mean participate in the discussion there, which requires some research, above point)

Tooling

(pnkfelix) got response from mw regarding #95521 ; also @jswrenn is prototyping async backtrace support in various ways.

Keyword Generics

Onboarding

(vincenzopalazzo): Implementing agenda generator for triage with rio
- Bug Fixing on Rio Runtime

2022-09-08 - 2022-10-06

Agenda

Update sprint doc
Sprint retrospective
Identify sprint goals and polish issues
Plan meetings for the next month

Sprint goals

General

(nrc) status update blog post

Async fundamentals

(tmandry) Hold a stakeholders meeting
- Status: Notes
Land RPITIT PR
- (tmandry) Complete review with computerdruid
Lay out next steps for AFIT impl
- Status: We have a list of tests to be written
- https://hackmd.io/@nikomatsakis/rJsU9S3Go <– covers the landscape
(eholk) dyn* implementation
- Merge #101212
- Flesh out design for conversion traits (IntoDynStar and friends, or whatever we call them)
  - Status: Started writing a doc and planning a design meeting. Please give availability if you're interested in attending: https://lettucemeet.com/l/ppGGx
- Write a blog post on inline storage for dyn async traits (i.e. the use case covered by StackFuture)
  - Status: Didn't happen
nikomatsakis: authored several blog posts about dynamic dispatch, laying out the various options, and had discussion on internals

Polish

Goals:

(eholk / Joshua Nelson) Turn on generator drop tracking (#97331)
- Provide any documentation needed and get T-Lang signoff
- Status: Crater run found more issues. Still need to investigate, but did get to reduce one test case: #102383

Issues: (project board)

Portability across runtimes

(nrc) elaborate and write up async IO traits proposal
- and did a deep dive with the WG
(nrc) continue research on executor abstraction
(nrc) comment on runtime trait proposal (https://github.com/nrc/portable-interoperable/issues/13) (by comment, I mean participate in the discussion there, which requires some research, above point)

Tooling

(pnkfelix) still need to ping mw about #95521. (Going to do that now in zulip)

Keyword Generics

Onboarding

(vincenzopalazzo) Put in practice what learned in the async book reading by implementing (try to) a small async runtime (Hello world rio).
- (eholk) Be available for mentoring
(bryangarza) Begin onboarding onto static AFIT work and contribute to its tests (#102642)

2022-08-11 - 2022-09-08

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

(nrc) status update blog post

Async fundamentals

(tmandry) Async fn in trait
- ~~Establish regular sync cadence for impl group~~
- ~~Put impl tasks in a tracker (project board, tracking issue etc.)~~
- Decide/remember what to ask stakeholders
- Send out scheduling email if we want to meet with stakeholders
- Status: Decided not to do the first two, but the impl group has been making progress. Did the second two.
(eholk) dyn* implementation
- Status: PR is up that includes basic functionality, like method calls! https://github.com/rust-lang/rust/pull/101212
- Get an end-to-end test case of casting into a dyn* Trait working (basically just covers the cast and running the destructor)
- Start working on method calls on dyn* Trait objects
  - Thanks to compiler-errors for getting this working!
- Give regular progress updates on #wg-async/async-fn-in-trait-impl
  - Update thread

(yosh) publish post on halt safety
- get folks from the WG to review it ahead of time

Polish

Goals:

(eholk / Joshua Nelson) Turn on generator drop tracking (#97331)
- Fix #97333
- Re-run crater
  - Crater is running now: https://crater.rust-lang.org/ex/pr-97334-1
- Flip the switch to turn drop tracking on by default!
  - This should probably have an FCP…

Issues: (project board)

Portability across runtimes

(nrc) revamp the async IO traits proposal following feedback from last month
(nrc) continue research on executor abstraction
(nrc) comment on runtime trait proposal (https://github.com/nrc/portable-interoperable/issues/13) (by comment, I mean participate in the discussion there, which requires some research, above point)

Tooling

Keyword Generics

(yosh) restructure project structure to be more RFC-like
(yosh) start working through generic keyword generics (do notation)

2022-07-14

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

(yosh) meet with the Bytecode alliance folks working on the design of async APIs in WASM
(nrc) Rustconf talk (prepare, practice, present it)

Async fundamentals

(tmandry/nikomatsakis) Async fn in trait
- Establish regular sync cadence for impl group
- Put impl tasks in a tracker (project board, tracking issue etc.)
- Schedule stakeholder meeting in August
- Status: Impl progress is being made with the help of several people, though without a formal meeting or tracker set up. Did not set up a stakeholder meeting.

(yosh) start working through structured concurrency literature to create an overview of concurrency problems
(yosh) publish post on halt safety

(eholk) dyn* implementation
- Get an end-to-end test case of casting into a dyn* Trait working (basically just covers the cast and running the destructor)
  - Status: worked on codegen for calling dyn* drop glue, currently it's generating invalid LLVM code that I'm debugging.
- Enable method calls on dyn* Trait objects
  - Status: didn't start

Polish

Goals:

Issues: (project board)

(eholk / Joshua Nelson) Turn on generator drop tracking (#97331)
- Check if #97333 is still broken. If so, fix it.
  - Status: still broken, didn't get the chance to fix it
- Re-run crater
  - Status: didn't happen
- Flip the switch to turn drop tracking on by default!
  - Status: didn't happen

Portability across runtimes

(nrc) revamp the async IO traits proposal following feedback from last month
(nrc) continue research on executor abstraction
(nrc) comment on runtime trait proposal (https://github.com/nrc/portable-interoperable/issues/13) (by comment, I mean participate in the discussion there, which requires some research, above point)

Tooling

Keyword Generics

(yosh) publish project announcement on the inside rust blog
(yosh) restructure project structure to be more RFC-like
- status: didn't get around to it
(yosh) start working through generic keyword generics (do notation)
- status: didn't get around to it

2022-06-09

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

(nrc) slides for Rustconf talk
- made progress but nowhere near complete
(guswynn) continue investigating cancel-unsafety and select! problems
- consider writing a blog post about select!, and "implicit shared mutability"
(nikomatsakis) blog posts / updates on moro (collaborating with guswynn)
(yosh): author and publish "async cancellation III" blog post on time-based operations and signals. (Blog Post)

Async fundamentals

(yosh): shepherd the stabilization of IntoFuture (#67644) - Stabilized in Rust 1.64!
(yosh): plan and prioritize work on keyword generics
dyn async fn in trait
- (tmandry/nikomatsakis): Meet again with Josh Triplett and plot a path forward

Polish

Goals:

(eholk) Turn on generator drop tracking (#97331)
- Wait for crater run to finish
- Fix must_not_suspend test case (#97333)
  - Status: PR is out (#97962), but it's probably not the right fix. Joshua Nelson's fix to another issue (#98754) might fix this too, need to check
- Fix error message regression (#97332)

Issues: (project board)

(tmandry) #76547
- Check in
- Be available for questions
- Look for new volunteer if necessary
(pnkfelix) #83783: Deref coercion does not work for some await returned values
- evaluate crater run of PR 83850 to hopefully determine whether the change has mert

Portability across runtimes

(nrc) discuss async IO traits with WG
- (nrc) incorporate feedback, plan next steps.
- I also discussed with Josh Triplett, and have a fairly serious revamp to the proposal to do
(nrc) initial investigation of executor abstraction
- I started this but didn't get super far

Tooling

(pnkfelix) identify awaitee in debuginfo #95521
- talk to mw, try to identify right path forward for handling combinators.

2022-05-12

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

(guswynn) scoped tasks
- investigate moro closely and write explanation docs
- slot moro into problematic concurrency examples
- Investigate moro + AsyncDrop
(tmandry) Explore how to schedule WG meetings
- Status: Going to follow up during sprint planning :)
(nikomatsakis) revised moro, starting investigating use of select! in tokio's mini-redis crate and elsewhere

Async fundamentals

Polish

Goals:

Issues: (project board)

(eholk) Make yielding-in-match-guard.rs work with drop tracking
(eholk) Identify and (hopefully) fix any remaining drop tracking issues
- Status: Crater run is going on now, so hopefully it doesn't find anymore issues.
  Image Not Showing Possible Reasons
  - The image file may be corrupted
  - The server hosting the image is unavailable
  - The image path is incorrect
  - The image format is not supported
  Learn More →
(tmandry) Be available for questions on #76547
- Status: No questions. Maybe I should follow up
(pnkfelix) #83783: Deref coercion does not work for some await returned values
- made a try build of proposed PR 83850 that may fix this (but is maybe questionable in its approach), then goofed on syntax for crater run
- doing crater run now

Portability across runtimes

(nrc) make progress on ReadBuf API discussions (yak shave towards async IO traits) https://github.com/rust-lang/rust/pull/97015
(nrc) elaborate on async::{Read, Write} alternatives https://github.com/nrc/portable-interoperable/tree/master/io-traits#alternatives (still some work to do)
(nrc) define async Seek trait https://github.com/nrc/portable-interoperable/tree/master/io-traits#seek

Tooling

(pnkfelix) identify awaitee in debuginfo #95521
- still no headway here. I'm stuck in how to make progress on the combinators, as in what best to do next on them, given that they tend to be defined in 3rd party libraries…

2022-04-28

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

Async fundamentals

(eholk) dyn*
- Understand and hopefully resolve design questions around dyn*
  - Status: There are still interesting questions, but no need to block an experimental dyn* implementation in the meantime.
- Add preliminary versions of traits needed for dyn* coercions
  - Status: no progress
(nikomatsakis) TAIT stabilization milestones
(nikomatsakis) GAT stabilization milestones
(tmandry) Respond to concern for refinement RFC, reply to some comments
- Status: Updated RFC, about to post some replies
(tmandry) Revise RPITIT RFC draft
- Status: Not done
(tmandry) Schedule stakeholder meeting
- Status: Made a poll, need to send it out

Polish

Goals:

Issues: (project board)

(pnkfelix) Deref coercion does not work for some await returned values #83783
- Investigate underlying issue #57749
(eholk) Figure out how to make #94309 and drop tracking work together. Post PR for it.
- Status: Filed #96923 that fixes one drop tracking bug, still looking into why yielding-in-match-guard.rs is broken with drop tracking.
(tmandry) E0623 highlights wrong parameter in async fn #74256
- Figure out an implementation plan
- Try to find someone to work on it (maybe me)
- Status: zirconium.n maybe working on this

Portability across runtimes

Tooling

(pnkfelix) identify awaitee in debuginfo #95521
- decide on strategy (special name for local vs attaching metadata to generator variant)
- figure out how to write unit test for this change
- prototype solution

2022-04-14

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

Async fundamentals

(nikomatsakis) Lang team proposal for dyn*
- Status: https://github.com/rust-lang/lang-team/issues/158
(eholk) Begin experimenting with dyn* implementation
- Status: Technically started, but haven't really made significant progress. Spent more time reading various discussions and alternate proposals around dyn*.
(nikomatsakis) TAIT stabilization milestones
(nikomatsakis) GAT stabilization milestones
(tmandry) Refinement RFC to FCP
- Status: In FCP but some concerns need revisions or comment responses
(tmandry) Revise RPITIT RFC draft
- Status: Read through it but haven't done the revision yet
(tmandry) Schedule stakeholder meeting
- Status: Planned topics but haven't scheduled

Polish

Goals:

Issues: (project board)

(pnkfelix) Deref coercion does not work for some await returned values #83783
- Investigate underlying issue #57749
- status: not started
(eholk) Dropped variables still included in generator type #57478
- Wait for FCP to complete and merge #93313
- Once #93313 merges, do crater run
- If crater is okay, change default for -Zdrop-tracking
- Status: Drop tracking doesn't play nicely with fix for #57017 (PR: #94309), so working to figure out how to make them work well together.
(tmandry) E0623 highlights wrong parameter in async fn #74256
- Figure out an implementation plan
- Try to find someone to work on it (maybe me)
- Status: No progress last sprint

Portability across runtimes

Tooling

(pnkfelix) identify awaitee in debuginfo #95521
- decide on strategy (special name for local vs attaching metadata to generator variant)
- figure out how to write unit test for this change
- prototype solution
- status: not started

2022-03-31

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

Async fundamentals

(nikomatsakis/tmandry) Write up evaluation/explainer on auto-boxing RPITIDT
(tmandry) Respond to comments on refinement impls RFC
- Status: Comments replied to, some RFC updates pending discussion
(tmandry) Get RPITIT RFC draft nearly ready for posting
- Status: Read through RFC but didn't update the draft
(tmandry) (stretch) Schedule a stakeholder meeting?

Polish

Goals:

(eholk/nikomatsakis) Intersection regions and/or change async desugaring so they aren't needed (https://github.com/rust-lang/rust/issues/63033)
- Status: Looked into this a little but didn't make much progress.

Issues: (project board)

(eholk) Dropped variables still included in generator type #57478
- Merge fixes for drop tracking ICEs
  - https://github.com/rust-lang/rust/pull/93313
    - Status: In FCP
- Once fixes merge, do crater run
- If crater is okay, change default for -Zdrop-tracking
(tmandry) E0623 highlights wrong parameter in async fn #74256
- Investigate why wrong paramater is highlighted for -> impl Future or other traits and write a Github comment
(pnkfelix) Deref coercion does not work for some await returned values #83783
- Investigate underlying issue #57749

Portability across runtimes

Tooling

(pnkfelix) identify awaitee in debuginfo #95521
- decide on strategy (special name for local vs attaching metadata to generator variant)
- figure out how to write unit test for this change
- prototype solution

2022-03-17

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

Async fundamentals

(yosh) Propose stabilization of IntoFuture
(nikomatsakis/tmandry) doc for lang team meeting on RPITIDT
(nikomatsakis) impl plan for RPITIDT
- Partially done
(tmandry) Post RFC for refinement impls
(tmandry) (stretch) Get RPITIT RFC draft nearly ready for posting

Polish

Goals:

(eholk/nikomatsakis) Intersection regions and/or change async desugaring so they aren't needed (https://github.com/rust-lang/rust/issues/63033)
- Status: no progress

Issues: (project board)

(eholk) Dropped variables still included in generator type #57478
- Merge fixes for drop tracking ICEs
  - https://github.com/rust-lang/rust/pull/93313
    - Status: undergoing FCP
- Once fixes merge, do crater run
- If crater is okay, change default for -Zdrop-tracking
(tmandry) Review #93313
(tmandry) E0623 highlights wrong parameter in async fn #74256
- ~~Write a note explaining why the suggest_adding_lifetime_params suggestion is not firing on the async cases in the bug~~
  - Already fixed by #94464

Portability across runtimes

(nrc) make progress on ReadBuf API discussions (yak shave towards async IO traits)
(nrc) elaborate on async::{Read, Write} alternatives
(nrc) define async Seek trait

Tooling

(pnkfelix) help address "Awaitee field in async fns needs special name" debuginfo blocker for crashdump debugging
- filed #95521 to start explicitly tracking work here
- have not yet decided on strategy. need to read more.

2022-03-03

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

Async fundamentals

(spastorino) Make RPIT use a type alias to a type defined in body's function
(tmandry) Post constrained impls RFC on the initiative repo
- Status: Posted
(tmandry) Post constrained impls RFC on the rfcs repo
(nikomatsakis/tmandry) Post "returning impl Trait in dyn" explainer
- Status: Posted

Async iteration

Polish

Goals:

(eholk) Finish writing up results from better-backtrace formatting
- Status: Updated wg-async website with updates on progress. Significantly improved better-backtrace README.

Issues: (project board)

Portability across runtimes

(nrc) make progress on ReadBuf API discussions (yak shave towards async IO traits)
- some progress, but not much
(nrc) blog post on completion based io and BufRead
(nrc) elaborate on async::{Read, Write} alternatives
- made some progress here, still work to do

Tooling

(pnkfelix) help address "Awaitee field in async fns needs special name" debuginfo blocker for crashdump debugging
- no progress

2022-02-17

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

Async fundamentals

(spastorino) Make RPIT use a type alias to a type defined in body's function
- refactoring underway
(tmandry) Post constrained impls RFC on the initiative repo
- Status: Draft is mostly ready
(tmandry) Post constrained impls RFC on the rfcs repo
(nikomatsakis/tmandry) Post first draft of "returning impl Trait in dyn" explainer
- Status: First draft has been written and gone through some revision

Async iteration

Polish

Goals:

(eholk) Write up results from better-backtrace formatting
- Status: made some progress but not as much as I'd hoped.

Issues: (project board)

Interoperability and Portability across runtimes

(nrc) implement vectored Read::read_buf
- in progress discussion on ReadBuf API as first step
(nrc) blog post on completion based io and BufRead
- WIP
(nrc) elaborate on async::{Read, Write} alternatives
- didn't start :-(

Tooling

(pnkfelix) help address "Awaitee field in async fns needs special name" debuginfo blocker for crashdump debugging
- (nothing done here
  Image Not Showing Possible Reasons
  - The image file may be corrupted
  - The server hosting the image is unavailable
  - The image path is incorrect
  - The image format is not supported
  Learn More →
  )

2022-02-03

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

(yosh) Publish blog post on select! {}'s concurrency semantics ("async concurrency III") (link)

Async fundamentals

(tmandry) Open RFC PR for overconstrained impls
- Status: Draft is about 95% ready

(nikomatsakis) Write another blog post for dyn proposal
- Status: tmandry/nikomatsakis worked on an explainer instead, but made good progress
(nikomatsakis/tmandry) Update RPITIT RFC to be re-opened
- Status: Not done

(yosh) Survey methods of context passing in other languages (e.g. implicits, etc.)

Async iteration

Goals:

(estebank) Publish blogpost for chances to proc macro
- don't need sigils for disambiguation (for some cases)
- alternatives for operation of ?
(estebank) Publish call for contribution with mentorship offer

Polish

Goals:

(eholk) Async stack traces
- Improve better-backtrace handling and formatting of stack traces
  - Status: Make some improvements, but these would be more valuable if I wrote them up somewhere.
- Write a proposal for modifying libstd backtraces based on results.
  - Status: didn't happen

Issues:

Portability across runtimes

Summary:

(nrc) implement vectored Read::read_buf
(nrc) initial AsyncRead/AsyncWrite proposal
- https://www.ncameron.org/blog/async-read-and-write-traits/

Tooling

(pnkfelix) crashdump-debugging: identify + assist with task unrelated to async fn decoding Proof-of-Concept, Maybe one of the "fundamental debuginfo blockers".
- pnkfelix had great meeting with mw. identified several DWARF-related tasks to help with.

2022-01-20

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

Summary: Published the Async Rust in 2022 blog post on Inside Rust. wg-async-foundations is now wg-async.

(nikomatsakis/tmandry) Publish year-end blog post

Async fundamentals

Summary: Began drafting an RFC on "overconstrained impls" as a precursor for the RPITIT RFC. Continued to hammer out the design for improvements to dyn. Continued progress on the implementation of RPITIT.

(nikomatsakis/tmandry) Draft a new RFC incorporating RPITIT and naming function output types
(spastorino) Make RPIT use a type alias to a type defined in body's function
(nikomatsakis/tmandry) Write another blog post for dyn proposal
(tmandry) Set agenda and time for next stakeholders meeting

Async iteration

Summary: Made progress on the following goals, but time constraints didn't allow me to complete any of them. I will constrain my next sprint to fewer goals to ensure delivery.

Goals:

Publish blogpost for chances to proc macro
- don't need sigils for disambiguation (for some cases)
- alternatives for operation of ?
Add rustc_generator attribute to annotate fns as a placeholder to uplift logic from proc-macro
Add ItemKind::Generator or a new field on functions in type system, with no new syntax

Polish

Summary: Progress on bugs and refining goals for polish.

Goals:

(eholk) Evaluate state of generator capture bugs (there are two PRs in flight that should fix most of them, so we want to make sure which ones are fixed and which still need to be addressed)
- Status: Generator capture PR still hasn't been re-enabled. Did a crater run and found more ICEs that need to be fixed first.
(eholk) Sync and async behave the same initiative
- Find example sync and async programs that behave differently when we'd expect them to behave the same. (e.g. runtime behavior, error messages, syntactic overhead…)
- Status: Posted PR to clarify definitions: https://github.com/rust-lang/wg-async/pull/268. Didn't find examples of programs that behave differently yet. Realized there's a library/ecosystem component to consistent async/sync behavior.

Issues: (project board)

(eholk) error[E0391]: cycle detected when computing type of async fn #78649
- Investigate to find root cause
- Status: Looked into this some. The cycle comes from need to borrow check to find the concrete type for an impl Trait, which requires type checking, which we were trying to do in the first place. Probably not an easy fix, so shelving for now.
(tmandry) E0623 highlights wrong parameter in async fn #74256
- Draft a PR to get the suggest_adding_lifetime_params suggestion firing on the async cases in the bug
(pnkfelix) Strange async use …; compiler suggestion #87613
- extend Rust parser with use injection point(s) to drive suggestions
  - finish extending AST representation
  - add code to identify the injection points
  - update suggestion machinery (in progress – debugging / puzzling it out)

Portability across runtimes

Summary:

(nrc) implement vectored Read::read_buf
(nrc) initial AsyncRead/AsyncWrite proposal

Tooling

Summary: Tokio-console is seeing healthy user adoption, based on activity on their Discord. Crashdump debugging needs are largely coupled to compiler (not executor) and hopes to get proof-of-concept for "Decode stack of suspended async fns" by end of February.

(pnkfelix) contribute to async-crashdump.
- status: reached out to mw. Got great overview of plans/status: see https://hackmd.io/h55Mk_o5TPmD0_6bjxd-8g. Asynchronously establishing where pnkfelix can help.

2022-01-06

Agenda

Assign polish issues
Identify sprint goals

Sprint goals

General

(nikomatsakis/tmandry) year end blog post summarizing async wg state

Async fundamentals

Post outline for dyn strategy: "A tale of two dyns"
Make RPIT use a type alias to a type defined in body's function
Draft a new RFC incorporating RPITIT and naming function output types

Async iteration

Polish

Goals:

Experiment with trimmed backtraces
- Crate that supports more flexible backtrace filtering (include/exclude function/module names)
  - Status: See https://github.com/eholk/better-backtrace
- Publish examples of trimmed backtraces
  - Status: Technically there, but the example could be improved
- Stretch: Proc macro to annotate functions/modules as not being included in backtraces by default
  - Status: did not happen
Update must not suspend lint page to reflect current status (carry over from last sprint)

Issues: (project board)

Portability across runtimes

Tooling

(pnkfelix) Reach out to mw and see what needs doing for async-crashdump.
- reached out today; awaiting response (mw did post an update post meeting last week)

2021-12-09

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

(nikomatsakis/tmandry) year end blog post summarizing async wg state

Async fundamentals

Post proposal/outline for dyn strategy: "A tale of two dyns"
Make RPIT use a type alias to a type defined in body's function
Post a new RFC incorporating RPITIT and naming function output types

Async iteration

Goals:

Publish blogpost for chances to proc macro
- don't need sigils for disambiguation (for some cases)
- alternatives for operation of ?
Blogpost exploring size_hint
Add rustc_generator attribute to annotate fns as a placeholder to uplift logic from proc-macro
Add ItemKind::Generator or a new field on functions in type system, with no new syntax
Stretch goal: start experimenting with for await pat in expr in proc-macro

Polish

Goals:

Create a list of confusing error message issues for the error messages goal (carry over from last sprint)
- Status: No progress
Update must not suspend lint page to reflect current status (carry over from last sprint)
- Status: No progress
(eholk) Spent some more time investigating async stack traces. Started working on a crate to prototype different approaches, although nothing is ready to share yet.

Issues: (project board)

Portability across runtimes

(nrc) consider async fns vs poll_read/write for AsyncRead/AsyncWrite traits
(nrc) discuss two trait alternative to RFC 2930 with someone?
(nrc, stretch goal) (possibly to replace the above) create some kind of WG to discuss reading into uninit memory issues with so that we can get things moving a little quicker in the non-async space

Tooling

(pnkfelix) update roadmap to point to https://github.com/rust-lang/async-crashdump-debugging-initiative
- (2022-01-06): I did the obvious trivial thing, but might have broke CI in the process.
(pnkfelix) post tokio-console 0.x crates to crates.io
- status: tokio-console 0.1.0 launched
(pnkfelix) revisit original non-responsiveness issue to see if it was resolved
- the reporter says it has now stopped

2021-11-11

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

Add more docs and clean up https://rust-lang.github.io/wg-async-foundations/vision/roadmap/scopes.html and the sub-pages below it.

Async fundamentals

Stakeholder meeting
- Schedule stakeholder meeting
- Prepare notes / slides for stakeholder meeting
- Have stakeholder meeting
Get MVP RFC merged
Make RPIT use a type alias to a type defined in body's function
- Made progress towards RPIT implementation but wound up
~~Post RFC for function types with nameable output type~~
Write-up a plan for "dyn type adaptation procedural macro" along the lines of this post and try to recruit someone to implement
- Did prototyping
- Found a way to support "inline async trait" impl that can be used in an embedded context without an allocator
- Did not write many blog posts, still need to "pull design together"

Async iteration

Goals:

Clean up proc macro to not need sigils for disambiguation
Experiment with the alternative modes of operation for ?
Experiment with different ways of setting size_hint that require less code than the current approach
(estebank: ongoing) Add rustc_generator attribute to annotate fns as a placeholder to uplift logic from proc-macro
(estebank: ongoing) Stretch goal: Add ItemKind::Generator or a new field on functions in type system, with no new syntax
Stretch goal: start experimenting with for await pat in expr in proc-macro

Polish

Goals:

Create a list of confusing error message issues for the error messages goal
- Status: no progress
Update must not suspend lint page to reflect current status
- Status: no progress

Issues:

Portability across runtimes

(nrc) create process boilerplate (issues, repo, etc)
(nrc) continue research on the current state of the ecosystem
(nrc) blog post on background
(nrc; stretch) blog post on the project - goals, call to action, etc.

Tooling

(pnkfelix) revisit original non-responsiveness issue to see if it was resolved
- status: not done
(pnkfelix) talk to eliza about making tracking issue for issues that are blocking a non-preview release
- discussion started. We should be posting to crates.io this month, though it wont be 1.0.
(pnkfelix) update roadmap to point to https://github.com/rust-lang/async-crashdump-debugging-initiative
- status: not done. sorry!

Current sprint: 2021-10-28

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

Async fundamentals

Desugaring for MVP RFC
- Make a trivial trait with one async fn be lowered to HIR (no type params, no bounds, no lifetimes, no nothing :))
- Make a trivial impl for that trait work
Schedule stakeholder meeting to discuss the MVP RFC and overall plan
- Scheduling in progress!
Get MVP RFC to FCP
Post RFC for function types with nameable output type
- Did not happen, but we had some fruitful discussion and I think are in place to achieve this next time. –nikomatsakis
Post RFC for RPIT-in-trait
Write-up a plan for "dyn type adaptation procedural macro" along the lines of this post and try to recruit someone to implement
- Did not happen, d'oh!
Write up agenda, doc, slides, or blog post for stakeholder discussion

Async iteration

Publish syn-based proc-macro syntax prototype
- https://github.com/estebank/iterator_item
Advertise above prototype and ask people to contribute alternatives

Polish

Goals:

Write "How to Help" page for wg-async-foundations generally, with links to area-specific pages where appropriate.
- PR: https://github.com/rust-lang/wg-async-foundations/pull/257
Async stack trace planning doc posted in wg-async-foundations repo [draft doc] [PR]
- Identify examples of current bad async stack traces
- Propose manually trimmed versions of bad stack traces
- Learn about how any existing stack trace trimming works

Issues:

Async fundamentals

Schedule stakeholder meeting to discuss the MVP RFC and overall plan
Open RFC for named fn types
Open RFC for RPIT in traits ("RPITIT")
Write-up a plan for "dyn type adaptation procedural macro" along the lines of this post and try to recruit someone to implement

Portability across runtimes

Tooling

(pnkfelix) resolve non-responsiveness (deadlock?) in tokio-console
- Status: Filed related blocking issue and got that resolved.
- Still need to revisit original issue 133
(pnkfelix) establish set of issues that are blocking a non-preview release, and make tracking issue for it.
- Status: not done, need to allocate time to talk to Eliza about this.
(pnkfelix) update roadmap to point to https://github.com/rust-lang/async-crashdump-debugging-initiative
- Status: not done, forgot, sorry.

2021-10-14

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

Async fundamentals

Post the RFC draft
Write up the alternatives for naming async-fn-in-trait return types and come up with a recommendation (carried over)
Desugaring for MVP RFC
- Made a list of tests in a hackmd
- Prototype
- Put up PR with tests
Schedule stakeholder meeting to discuss the MVP RFC and overall plan

Async iteration

Publish WIP prototype basic sync iterator item for feedback

Scoped Spawning Apis

(guswynn) continue collecting a-priori knowledge

Polish

Goals:

(eholk) Write "how to get involved" instructions for Polish area.

Issues:

Better output when .awaiting on sync fn #66731 (estebank)
Suggest removal of .await or turning fn into async fn (if the types are correct and the transform would be valid). Looking at the ticket history, we could get away with adding Spans to DesugaringKind pointing at the suggestion places (to avoid changing the crate dep tree).
Note: didn't get to it.
[#89734 waiting on review] Unhelpful compiler message when a reference is used inside of an await block #723120 (estebank)
Objective: land
Note: still waiting on review.
#78543: improve output for Send coming from non-crate local Future (estebank)
Note: Marking as completed as we landed improved output, but leaving the ticket open to tackle the harder issue of keeping other crates' typeck info available.

(guswynn) warn on must_use in async fn's https://github.com/rust-lang/rust/pull/89610
- May also need a change to async-trait
  Objective: land
(guswynn) Clean up must_not_suspend until we fix the capture code, both:
- https://github.com/rust-lang/rust/pull/89787
- https://github.com/rust-lang/rust/pull/89826
  Objective: land

(nikomatsakis) Async function leads to a "more general type" error #71723
(pnkfelix) Indexing via index method and [idx] sugar works differently in async blocks/functions #72956
- Status: found small-ish change to region code that resolves this issue, though perhaps not the broad overall others want/expect based on notes.
(eholk) Dropped variables still included in generator type #57478 (part of #69663)
- Status: New algorithm works well, but still need to implement branching/merging control flow. Not expecting too many surprises here. Work in progress branch.
(tmandry) E0623 highlights wrong parameter in async fn #74256

Portability across runtimes

Tooling

(pnkfelix) post console preview to crates.io
- Status: not done, resolving blocking usability issue first.
- Initiated conversation in discord about what are blocking issues for a non-preview release.

2021-09-30

Agenda

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

Extend and land #230, generally "tighten up" the async foundations landing page – nikomatsakis
Extend roadmap vision to include async fn main and to mention the "task-local auto trait" problem – nikomatsakis

Async fundamentals

Reach out to stakeholders and identify 1-5
Draft RFC for MVP (draft)
Write up the alternatives for naming async-fn-in-trait return types and come up with a recommendation
- Didn't do this, but did outline the plan in the impl trait explainer –nikomatsakis
Bonus work: outlined a cool idea about scoped parameters codenamed with clauses, though that page needs an update with the latest thinking

Async iteration

Prototype basic sync iterator item (independent of current generator machinery, but reusing it)
Gather feedback from blogpost

Polish

[ongoing] (estebank) Unhelpful compiler message when a reference is used inside of an await block #723120
(tmandry) Improve compiler error when returning Pin::new(async {}) (PR: #89870)
(eholk) Continue working on "E0623 highlights wrong parameter in async fn" #74256
- No progress. Will unassign myself to focus on generator captures –eholk
(nikomatsakis) Async function leads to a "more general type" error #71723
- No progress :(

Other polish goals:

(eholk) Set up initiative for testing that sync and async programs have the same behavior

(eholk) Follow up with lang-team about liveness-based generator captures
- eholk and I met and discussed the overall strategy. The plan is to pursue more limited changes to begin, focusing on "moved values". –nikomatsakis
(eholk) Continue generator liveness implementation
- Continued implementation, but we're pursuing a different approach now.
(eholk) Fill out landing pages for polish initiatives
(eholk) Assign async polish label to issues

Portability across runtimes

Tooling

Add entry for (tokio-)console to Tooling roadmap in async vision doc - pnkfelix
- PR with initial doc sketch posted
Post console-subscriber into crates.io (preview version, at least) - pnkfelix
- waiting on related bug fix to land in tokio

2021-09-16

Sprint retrospective
Assign polish issues
Identify sprint goals

Sprint goals

General

Extend and land #230, generally "tighten up" the async foundations landing page – nikomatsakis
Extend roadmap vision to include async fn main and to mention the "task-local auto trait" problem – nikomatsakis

Async fundamentals

Prepare a lang-team proposal for "async fn in traits" – tmandry (lang-team#116)
Write up a charter for "async fn fundamentals" – tmandry [+ nikomatsakis] (Charter)
Identify MVP language feature for "async fn in traits" along with all major unknowns that must be resolved before it can move forward (MVP)

Async iteration

T-lang proposal for async iteration item - estebank
Update wg-async-foundations repo to link to async-iteration repo - estebank
blogpost outlining the effort - estebank

Polish

Initiatives:

(eholk) Set up initiative for testing that sync and async programs have the same behavior
- status: no progress

(eholk) Discuss liveness-based generator captures with lang-team
- status: lang-team seems to have looked at it briefly. New PR is out to document current behavior first.
(eholk) Generator liveness analysis: correctly handle temporary values
- status: temporaries are mostly working now and there's a clear path to handling the ones that remain.
(eholk) Fill out landing pages for polish initiatives
- status: no progress

Polish issues:

#[must_not_suspend]: basic cases implemented, awaiting final review: https://github.com/rust-lang/rust/pull/88865
(tmandry) confusing diagnostic for incorrect type parameter on BoxFuture #72117 (PR: #89390)
- Status: PR is up
(eholk) E0623 highlights wrong parameter in async fn #74256
- status: Started looking into this and having discussions about the best way to fix it.
(estebank) Unhelpful compiler message when a reference is used inside of an await block #723120
(pnkfelix) Indexing via index method and [idx] sugar works differently in async blocks/functions #72956
(nikomatsakis) Async fn does not compile if lifetime does not appear in bounds (sometimes) #63033
- status: have a pending PR, but after discussion with oli-obk decided to try and pursue intersection regions

Tooling

make goal/initiative issues - pnkfelix
Add entry for (tokio-)console to Tooling roadmap in async vision doc - pnkfelix
Post console-subscriber into crates.io (preview version, at least) - pnkfelix
create repo for crashdump debugging initiative - mw

Portability across runtimes

2021-09-02

How-to vision (stakeholders)

Check in on organizational setup
Discuss meeting structure
Shared responsibilities
- Is taking on one bug per sprint realistic?
Identify first (uncalibrated) sprint goals
What's still missing from our process / organization?

Meeting structure

Check in from each area lead (preparing these ahead of time is encouraged), including:
- Previous sprint progress
- Next sprint goals
- Blockers and/or ideas for making progress easier
Post list of items open for review
Other topics added to the agenda

Sprint goals

General

Extend and land #230, generally "tighten up" the async foundations landing page – nikomatsakis
Extend roadmap vision to include async fn main and to mention the "task-local auto trait" problem – nikomatsakis
(Partway done) Apply the diffs I've been saving up in a hackmd somewhere to the roadmap – tmandry
Make checklist for owners – tmandry/nikomatsakis

Async fn everywhere

Update the wg-async-foundations site to link to the repository – tmandry
(Partway done) Outline design space for async fn in trait + dyn async fn in trait in the initiative repo – tmandry + nikomatsakis
- Status: We've been expanding the async-fundamentals-initiative repository. It contains a summary of our discussions to the evaluation page. (Would like feedback on this structure, as it may serve as a useful template.) We've mainly focused on the bounding futures challenge. The two ideas we've discussed thus far for solving it don't quite seem right, but we'd like for people to look and give feedback.
Prepare a lang-team proposal for "async fn in traits" – tmandry
Write up a charter for "async fn fundamentals" – tmandry [+ nikomatsakis]

Async iteration

T-lang proposal for async iteration item - estebank
Update wg-async-foundations repo to link to async-iteration repo - estebank
Start conversation on "async iteration expression"
- This feature has been added to the initiative due to grouping, but no work has been done on it yet.

Polish

Discuss liveness-based generator captures with lang-team - eholk
- status: Nominated a pull request to T-lang, waiting to hear from them
Significant progress towards production-ready generator liveness captures - eholk
- status: Less progress than I'd hoped. Experimented with liveness-based captures and am currently duplicating the liveness pass so it can better match the needs for generators.
Reschedule weekly triage meeting to be Europe-friendly - eholk
Re-organize and continue to maintain project board for polish issues - eholk
- status: Made some small organization changes, started going over bug backlog in On Deck column
Fix a polish bug (which one TBD) - eholk
- status: Did not happen
Progress towards must_not_suspend lint - Gus Wynn
- status: Gus Wynn has a pull request out: https://github.com/rust-lang/rust/pull/88865
  - testing on nightly on MutexGuard: https://github.com/rust-lang/rust/pull/89303

Portability across runtimes

TODO

Tooling

TODO

Gus Wynn

2022/11/10 17:17:11

Status: on hold while we see how https://github.com/rust-lang/rust/pull/101692 shakes out.

@eholk is the conclusion here moving towards "this pr cant be merged" or am i misreading it (Edited)

Eric Holk

2022/11/10 17:18:58

I think there's still not much of a conclusion. Regardless, it might be better to keep pushing drop tracking along so we can enable it quickly once there is a decision.

2022/11/10 17:22:36

what is left for drop tracking?

2022/11/10 17:33:24

There's a tracking bug here: https://github.com/rust-lang/rust/issues/97331 There's at least one ICE, and probably some more failures from the last crater one that need reduced