spec icon indicating copy to clipboard operation
spec copied to clipboard

[wasm-js-api-2] js-api Memory.grow requirement cannot be fulfilled via the core specification

Open alimpfard opened this issue 2 years ago • 0 comments

A requirement appearing after Memory.grow(delta) asks the host to execute code after an instruction completes:

Immediately after a WebAssembly memory.grow instruction executes, perform the following steps: [...]

There are no notes about this in the core spec, and a correct implementation of the core spec lacks APIs for this sort of hook. While a hook can be placed in the memory store's grow implementation, this requirement cannot be fulfilled as-is.

For reference, memory.grow does not provide any such hooks.

alimpfard avatar Mar 28 '23 21:03 alimpfard