Conrad Watt

atomic.fence validation and binary encoding

10

After the last CG, we agreed to add atomic.fence. Validation-wise, the instruction has type ([] -> []). Unlike other atomic.* instructions, it is **_not_** a validation error for the instruction...

Revisiting the edge-case semantics of wake

16

**Currently** The current semantics of wake is as follows: Wake consumes two operands, an `i32` `address`, and an `i32` `wake count`. The `wake count` operand is interpreted as a signed...

Data initialization synchronization

6

The current proposal has this to say about instantiation. > Data segments are initialized in their definition order > > - From low to high bytes > - At byte...

Bounds/permission checks during instantiation

7

https://webassembly.github.io/spec/core/exec/modules.html#instantiation The current specification for instantiation is all or nothing - if _fail_ occurs during the process, the store and memories are not altered. For example, in step 10, there...

Moving profiles and relaxed SIMD forward

2

After the recent CG meeting (TODO: link notes once uploaded), we need to pin down how we're advancing the intertwined [Relaxed SIMD](https://github.com/WebAssembly/relaxed-simd) and [Profiles](https://github.com/WebAssembly/profiles) proposals - we previously determined that...

Path to Phase 4

9

The current main branch has become miserably out of date. We now have a rebased version of (most of) the threads specification living in a [new branch](https://github.com/WebAssembly/threads/tree/upstream-rebuild) (and I'm very...

Suspension across JavaScript frames

48

I've been reading the new [Bag of Stacks](https://github.com/WebAssembly/stack-switching/blob/main/proposals/bag-o-stacks/Explainer.md) explainer. Is it intended that intermediate JavaScript frames will also be captured by a suspended coroutine? For example if I execute `switch.call`...

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...

Incorporation of SpecTec into the phase advancement process

2

If (or after?) we publish the 3.0 specification using SpecTec (https://github.com/WebAssembly/meetings/pull/1844#issuecomment-3009156081), we should explicitly codify what expectations we have about completeness of SpecTec support for features in the phase advancement...