Stream: wasi

Topic: design principles doc

Pat Hickey (Jan 16 2020 at 18:45):

dan - great work on https://github.com/WebAssembly/WASI/blob/7d6a36e4f52c3965b8e8732061e1b9642e2bb276/docs/DesignPrinciples.md

Pat Hickey (Jan 16 2020 at 18:46):

the biggest thing we've discussed that I think is missing is discussion of how WASI IO can become async (reactor model) in order to fit into the web context better

Pat Hickey (Jan 16 2020 at 18:46):

because thats a big motivator for native wasm coroutines

Pat Hickey (Jan 16 2020 at 18:47):

is that something that you think belongs in this doc? or is that a separate discussion, because we're a lot less sure of the details?

Dan Gohman (Jan 16 2020 at 18:48):

I think I'm not ready to say a lot about async here, as the shape of the solution (or solutions?) is not yet fully known

Pat Hickey (Jan 16 2020 at 18:48):

sgtm

Dan Gohman (Jan 16 2020 at 18:49):

Maybe one thing I can say is, that hopefully async will be done in a way that we can adapt any blocking API to use

Pat Hickey (Jan 16 2020 at 18:49):

i think it would be nice to discuss some of our ideas / uncertainty about async at the cg meeting, and whether wasm coroutines are a tractable idea or bound for a V8 Veto

Dan Gohman (Jan 16 2020 at 18:49):

So, right now the focus of WASI design is figuring out the functionality set and how portability and security work

Dan Gohman (Jan 16 2020 at 18:50):

And it'll all hopefully be orthogonal to async once we're ready to mix that in

Pat Hickey (Jan 16 2020 at 18:50):

ive tried to get alon interested in championing coroutines, but all he'll say is that he agrees they're important

Pat Hickey (Jan 16 2020 at 18:50):

fair enough.

Dan Gohman (Jan 16 2020 at 18:50):

Yeah. I think coroutines are currently something Andreas is championing

Pat Hickey (Jan 16 2020 at 18:50):

so shopping around for a google coroutines champion is a non-WASI thing, then.

Pat Hickey (Jan 16 2020 at 18:50):

ah ok. i havent talked to him about them yet.

Dan Gohman (Jan 16 2020 at 18:51):

Yeah, whatever form coroutines take, we'll need to start with a core wasm spec feature

Dan Gohman (Jan 16 2020 at 18:53):

There'

Dan Gohman (Jan 16 2020 at 18:54):

s also Reactor/callback-style async, which is something that Interface Types will help enable

Last updated: Dec 23 2024 at 12:05 UTC