memory-control

memory-control copied to clipboard

What should happen on memory.unmap? Should a subsequent memory access trap?

5

We've previously considered zero filling on discard, and unmap, but there are several reasons this doesn't seem like the right option. 1. Memory accesses to discarded pages will recommit the...

dtig

Refactor overview to add scope, first sketch for memory.map

1

This PR is a first step at refactoring the overview document. - Clearly define the current scope of the proposal - Factor the overview better, and add a first sketch...

dtig

https://github.com/WebAssembly/wasi-webgpu

lygstate

Memory mapping: Using a single linear memory + requirements discussion

1

The initial discussions of this proposal, we had considered using a secondary memory for a mappable memory, but after some initial investigations into potential users of this proposal, I'd like...

dtig

Suggestion: mappable memories

7

Here's the idea: instead of doing everything dynamically or just everything statically, it could be done somewhere in the middle via a special type of memory called a mappable memory....

dead-claudia

`memory.discard` in a separate proposal?

7

Hi! I think it would be better to put the `memory.discard` instruction into a separate proposal. Grouping this instruction with other features is not strictly necessary and slows down the...

llenotre

Sub-proposal: `memory.discard`

7

This issue tracks discussion of the **`memory.discard`** sub-proposal. This proposal is one possible component of the eventual Memory Control MVP. Please make sure to read the [full sub-proposal document](https://github.com/WebAssembly/memory-control/blob/main/proposals/memory-control/discard.md). This...

bvisness

`mlock`

3

For security purposes it would also be interesting to add `mlock`. I am not versed in the WASM spec and I am not sure if this should be added here...

daxpedda

I would love multiple memories & memory mapping. But I'm unsure if this proposal could cover my use cases. For example, in some of my programs, like in this library,...

Daniel-Abrecht

Story for refs?

2

Refs have a similar issue to linear memory: there's a non-freeable linear memory and there's a WIP GC proposal that entirely offloads the memory management to the runtime. Where this...

dead-claudia