Implement the WebAssembly GC Proposal

[Srinivasa314]

Tracking issue for implementation of the WebAssembly GC proposal

Note: Wasmtime has an initial, feature-complete Wasm GC implementation that you can turn on with Config::wasm_gc in the library or by passing -W gc on the command line. This issue is tracking robustness, performance, and everything necessary to turn it on by default at this point.

[sdeleuze]

FYI we are now able to run a Kotlin/Wasm HTTP server via KoWasm on Node.js and I would be happy to leverage Wasmtime to run it as soon as it will get GC support.

This would be a really good fit since we would like to leverage WASI Preview2+ and Wasm Component Model asap.

See also my blog post The huge potential of Kotlin/Wasm for more context.

[fitzgen]

Heads up: I am working on an RFC to work out the design of our Wasm GC support. I expect to start implementing Wasm GC once that RFC reaches consensus and merges and I've finished implementing Wasm tail calls.

[fitzgen]

RFC is up: bytecodealliance/rfcs#31

[tw-atroehrsm]

hey there! any updates on this front? Really looking forward to use Kotlin/WASM with this runtime.
For now only V8 is feasible, as it includes a GC and has implemented the proposal

[fitzgen]

There is work on parsing and validation, and refactors setting the stage for these things, happening in the wasm-tools repository, since we need to be able to parse and validate Wasm before we can compile and run it.

[smndtrl]

@fitzgen could you provide links to the issues over there? I want to keep track with the progress due to the impact on Kotlin

[fitzgen]

@smndtrl since bytecodealliance/wasm-tools#1346 merged, all GC spec tests are passing in wasm-tools.

You can look at https://github.com/bytecodealliance/rfcs/blob/main/accepted/wasm-gc.md#incremental-implementation-plan and https://docs.wasmtime.dev/contributing-implementing-wasm-proposals.html to get an idea of what is still to be done.

[tw-atroehrsm]

So it there any timeline, roadmap when this will be available at least with the null GC?

this was merged in may 2023 so can be marked as done?

#5288

what could one do to support this effort?

[fitzgen]

The function references proposal still needs to be exposed in the embedder API.

I am actively working on that and the rest of getting Wasm GC implemented. Right now it mostly involves some refactoring to the runtime's internals to pave the way for future changes. Unfortunately, there isn't much that can be split out and implemented in parallel right now.

[fitzgen]

FYI: #7943 finishes the function references proposal and takes the first baby steps towards Wasm GC inside Wasmtime, adding support for Wasm GC's nofunc and a Config::wasm_gc(enabled) knob.