stack-switching

stack-switching copied to clipboard

This patch adds a reference interpreter for the stack switching proposal. It implements all of the proposed instructions (currently it contains the old version of `barrier`, which we can adapt...

dhil

Implementation characteristics of cont.bind (cf. func.bind)

10

When we previously discussed `func.bind`, my memory is that we ended up with a soft idea that this could be accomplished with a future separate "closure" type that has space...

conrad-watt

Barrier instruction

14

The stack switching proposal notably does not feature the `barrier` instruction from the WasmFX/typed continuations proposal? The question is, do we want to include such an instruction? Do we have...

dhil

Consider optimizations for heavily-nested scenarios

3

Once this proposal gets to Phase 3 and we can study the performance of realistic workloads, I think it's important for this group to measure a workload that, e.g., uses...

lukewagner

Spec testsuite

3

We should develop the spec testsuite for the stack switching proposal. We have something implemented already in ([cont.wast](https://github.com/WebAssembly/stack-switching/blob/wasmfx/test/core/stack-switching/cont.wast), [validation.wast](https://github.com/WebAssembly/stack-switching/blob/wasmfx/test/core/stack-switching/validation.wast), [validation_gc.wast](https://github.com/WebAssembly/stack-switching/blob/wasmfx/test/core/stack-switching/validation_gc.wast)), however it does not thoroughly test `switch` and it could...

dhil

It would be good to update the explainer with a sketch of how we expect the embedding API given in the appendix to be extended. Taking inspiration from how the...

tlively

We also need resume_throwref

13

Wasmfx has a way of sending an exception to a suspended coroutine: resume_throw. However, the current EH proposal has two ways of throwing exceptions: throw and throw_ref. We need to...

fgmccabe

Require continuation types to come after the referenced signature type?

4

I think that without loss of generality we can require (in the binary format) that the definition of continuation types come after the definition of the signature type they reference....

titzer

Encoding of opcodes

3

The explainer introduces six instructions: cont.new, cont.bind, resume, resume_throw, suspend, switch. While this is not a large number, it is more than 1. Furthermore, it is entirely possible that we...

fgmccabe

This patch populates the "Execution" section of the Explainer document with the reduction rules for stack switching. Resolves #91.

dhil