Implement the Wasm gc proposal

[Robbepop]

This is about adding support for the gc (garbage collection) Wasm proposal.

The gc Wasm proposal has been recently moved to Phase 4 and thus stabilization can be expected to happen soon.

Having gc support in wasmi will be an enabler for use cases and languages that rely on the garbage collection such as Python, Java, Ruby, Javascript etc.

[frankkienl]

Any progress on GC?
It's needed for running Kotlin.
(and probaly some other languages as well)
Thanks!

[Robbepop]

Hi @frankkienl , there are some blockers before we can start implementing the Wasm GC proposal. However, it is planned to be implemented sometime in the future eventually. Though, it is a rather large proposal, so will still take some time until we are there.

May I ask what you need to use it for exactly with Wasmi?

[orsinium]

Frank is one of our early adopters of Firefly Zero. We're looking into supporting some scripting languages. Some, like Python and JS, have self-contained interpreters written in C that we can run. But quite a few, like JVM languages or C#, rely on WasmGC.

[Robbepop]

Thanks for the info, that's good to know. I wasn't aware that there is such a big interest in Wasm GC for Wasm interpreters such as Wasmi. The Wasm gc proposal will eventually be supported by Wasmi.

[Robbepop]

What needs to be done before we can start implementing the Wasm gc proposal for Wasmi:

• Merge Replace wasmparser-nostd fork with upstream wasmparser #1141
• Implement Wasm function-references proposal since Wasm gc proposal builds upon it.

@orsinium For Firefly-Zero, I think the new Wasm custom-page-sizes proposal might be of interest to you: #1197

[orsinium]

I think the new Wasm custom-page-sizes proposal might be of interest to you

It might! We're keeping an eye on it at tinygo team. I had to hack around page sizes for mechanoid and gamgee. Luckily, Firefly Zero is not that constrained, we can fit 64 Kb pages without much problems.