Closed Bug 1444925 Opened 3 years ago Closed 2 years ago

[meta] Implement "Wasm anyref + GC types" proposal: Milestone 1

Categories

(Core :: Javascript: WebAssembly, enhancement, P1)

enhancement

Tracking

()

RESOLVED FIXED

People

(Reporter: lth, Unassigned)

References

Details

(Keywords: meta)

"Wasm anyref + GC types" is a set of evolving MVP proposals for interacting with a GC'd host language and providing some of that host language's GC and object management services to wasm, so that source languages with relatively simple needs can be compiled to wasm and can use the host language's GC'd types for its own GC'd storage (without using flat memory, or without using it much).

There are many ideas in this space and most are not baked yet.

Milestone 1 is the first part of a prototype that will serve as a test bed for validating some of these ideas.  It will likely encompass:

- anyref and associated machinery, at any rate enough to allow compiled wasm to
  talk about gc'd types
- some kind of type system for describing objects
- some kind of reflection in the host language (JS) of those objects, probably
  related to TypedObjects
- some kind of support in binaryen to allow host languages to target the new
  types and instructions.

(Vagueness intentional.)
Depends on: 1445277
Depends on: 1455610
Depends on: 1455603
Depends on: 1455608
Depends on: 1459900
Component: JavaScript Engine: JIT → Javascript: Web Assembly
Depends on: 1478616
Depends on: 1478982
Depends on: 1479465
Depends on: 1479718
Depends on: 1479794
Depends on: 1480725
Depends on: 1481171
No longer depends on: 1481171
No longer depends on: 1480725
Depends on: 1487327
Depends on: 1487329
No longer depends on: 1450263
No longer depends on: 1450264
No longer depends on: 1464157
Depends on: 1488205
Depends on: 1494602
Depends on: 1494625
Depends on: 1495662
No longer depends on: 1488205
Status: NEW → RESOLVED
Closed: 2 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.