[GR-44605] Implement Garbage Collection Proposal for WebAssembly

[fniephaus]

TL;DR

We plan to implement the WebAssembly Garbage Collection proposal in GraalWasm.

Details

This proposal lets programs compiled to WebAssembly make use of the embedder's garbage collector. It achieves this by introducing types for structs and arrays and exposing new instructions that let WebAssembly modules allocate such objects.
These new objects will be managed by the runtime, outside of the module's linear memory. This means that when you compile a high-level language with GC to WebAssembly, you will no longer need to include a GC in the compiled module.
This, in turn, will lead to both smaller modules and faster execution, since you can rely on the mature GC used in GraalVM.

More details at https://github.com/WebAssembly/gc/blob/main/proposals/gc/Overview.md