Stream: wg-async-foundations

Topic: removing tls requirement #62918


nikomatsakis (Oct 30 2019 at 17:05, on Zulip):

So I was talking to @boats today about possible steps for async-await and one of the things they brought up was removing the dependency on TLS, or #62918. As far as we can tell, there is no hard blocker to this -- it requires us to add some form of argument to generators, but it doesn't require that this interface be "stable" (or close to stable). We also probably don't even need to have syntax for accessing a generator's argument, just a HIR node. Probably @Taylor Cramer has the best idea of what's involved, or maybe @Zoxc.

We had talked about the possibility of @boats doing the impl work here, though it might be better to find them some other "first bug", not sure how complex this will be.

Taylor Cramer (Oct 30 2019 at 18:31, on Zulip):

@Benjamin Brittain had started working on this at one point

Taylor Cramer (Oct 30 2019 at 18:31, on Zulip):

there was a thread in #t-compiler about it

davidtwco (Oct 30 2019 at 18:38, on Zulip):

(https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/non-tls.20Async.2FAwait/near/173233549)

nikomatsakis (Oct 30 2019 at 19:06, on Zulip):

ah yeah, I remember that

nikomatsakis (Oct 30 2019 at 19:06, on Zulip):

I wonder how far they got :)

Benjamin Brittain (Oct 30 2019 at 20:12, on Zulip):

not very far >_<

Mostly because I moved coasts in the middle of that though

Benjamin Brittain (Oct 30 2019 at 20:12, on Zulip):

I did the lowering part - started hacking on the MIR

Benjamin Brittain (Oct 30 2019 at 20:13, on Zulip):

There was some level of disagreement about what the generator argument looked like

Benjamin Brittain (Oct 30 2019 at 20:14, on Zulip):

I'd like to resume tackling this is the near future - that being said I'd rather it gets fixed than I personally doing it

boats (Oct 31 2019 at 14:57, on Zulip):

I think the solution is to make the MIR generator resume function take a second argument that is a *mut task::Context, and have the unstable generators just pass a null ptr

boats (Oct 31 2019 at 14:58, on Zulip):

Rather than trying to have any sort of solution for resume arguments in generators

nikomatsakis (Nov 01 2019 at 18:58, on Zulip):

I agree that something "quick and dirty" seems sufficient for now

Last update: Nov 18 2019 at 02:05UTC