Stream: git-wasmtime

Topic: wasmtime / issue #7119 Tracking issue for MPK

Wasmtime GitHub notifications bot (Sep 29 2023 at 23:18):

abrown opened issue #7119:

This issue tracks anything incomplete with the effort to add shared memories started in #7072:

• [ ] fix tests when MPK is enabled (e.g., some tests of instance limits change due to striping)
• [ ] add WebAssembly-level tests checking that MPK-protected slots cannot access OOB regions
• [ ] handle protection key changes across asynchronous block_on changes (see store.rs:1947)
• [ ] figure out a way to run with MPK enabled in CI (QEMU?)
• [ ] enable MPK in fuzz targets
• [ ] fix up the MPK and memory_pool documentation; e.g., remove duplication
• [ ] benchmark call performance with PKRU switch

Wasmtime GitHub notifications bot (Sep 29 2023 at 23:19):

abrown edited issue #7119:

This issue tracks items remaining from adding MPK support in #7072:

• [ ] fix tests when MPK is enabled (e.g., some tests of instance limits change due to striping)
• [ ] add WebAssembly-level tests checking that MPK-protected slots cannot access OOB regions
• [ ] handle protection key changes across asynchronous block_on changes (see store.rs:1947)
• [ ] figure out a way to run with MPK enabled in CI (QEMU?)
• [ ] enable MPK in fuzz targets
• [ ] fix up the MPK and memory_pool documentation; e.g., remove duplication
• [ ] benchmark call performance with PKRU switch

There may be others but these are the ones I could think of that would be needed before configuring the feature on by default.

Wasmtime GitHub notifications bot (Sep 29 2023 at 23:19):

abrown edited issue #7119:

This issue tracks items remaining from adding MPK support in #7072:

• [ ] fix tests when MPK is enabled (e.g., some tests of instance limits change due to striping)
• [ ] add WebAssembly-level tests checking that MPK-protected slots cannot access OOB regions
• [ ] handle protection key changes across asynchronous block_on changes (see store.rs:1947)
• [ ] figure out a way to run with MPK enabled in CI (QEMU?)
• [ ] enable MPK in fuzz targets
• [ ] fix up the MPK and memory_pool documentation; e.g., remove duplication
• [ ] benchmark call performance with PKRU switch

There may be others but these are the ones I could think of that would be needed before configuring the feature on by default.
```[tasklist]

Tasks

~~~

Wasmtime GitHub notifications bot (Sep 29 2023 at 23:19):

abrown edited issue #7119:

This issue tracks items remaining from adding MPK support in #7072:

• [ ] fix tests when MPK is enabled (e.g., some tests of instance limits change due to striping)
• [ ] add WebAssembly-level tests checking that MPK-protected slots cannot access OOB regions
• [ ] handle protection key changes across asynchronous block_on changes (see store.rs:1947)
• [ ] figure out a way to run with MPK enabled in CI (QEMU?)
• [ ] enable MPK in fuzz targets
• [ ] fix up the MPK and memory_pool documentation; e.g., remove duplication
• [ ] benchmark call performance with PKRU switch

There may be others but these are the ones I could think of that would be needed before configuring the feature on by default.

Wasmtime GitHub notifications bot (Sep 29 2023 at 23:31):

abrown edited issue #7119:

This issue tracks items remaining from adding MPK support in #7072:

• [ ] fix tests when MPK is enabled (e.g., some tests of instance limits change due to striping)
• [ ] add WebAssembly-level tests checking that MPK-protected slots cannot access OOB regions
• [ ] handle protection key changes across asynchronous block_on changes (see store.rs:1947)
• [ ] figure out a way to run with MPK enabled in CI (QEMU?)
• [ ] enable MPK in fuzz targets
• [ ] fix up the MPK and memory_pool documentation; e.g., remove duplication
• [ ] benchmark call performance with PKRU switch
• [ ] add example showing how many memories can be pool-allocated with the feature on versus off.

There may be others but these are the ones I could think of that would be needed before configuring the feature on by default.

Wasmtime GitHub notifications bot (Oct 26 2023 at 17:59):

abrown edited issue #7119:

This issue tracks items remaining from adding MPK support in #7072:

• [x] fix tests when MPK is enabled (e.g., some tests of instance limits change due to striping)
• [ ] add WebAssembly-level tests checking that MPK-protected slots cannot access OOB regions
• [ ] handle protection key changes across asynchronous block_on changes (see store.rs:1947)
• [ ] figure out a way to run with MPK enabled in CI (QEMU?)
• [ ] enable MPK in fuzz targets
• [ ] fix up the MPK and memory_pool documentation; e.g., remove duplication
• [ ] benchmark call performance with PKRU switch
• [ ] add example showing how many memories can be pool-allocated with the feature on versus off.

There may be others but these are the ones I could think of that would be needed before configuring the feature on by default.

Wasmtime GitHub notifications bot (Oct 26 2023 at 17:59):

abrown edited issue #7119:

This issue tracks items remaining from adding MPK support in #7072:

• [x] fix tests when MPK is enabled (e.g., some tests of instance limits change due to striping)
• [x] add WebAssembly-level tests checking that MPK-protected slots cannot access OOB regions
• [ ] handle protection key changes across asynchronous block_on changes (see store.rs:1947)
• [ ] figure out a way to run with MPK enabled in CI (QEMU?)
• [ ] enable MPK in fuzz targets
• [ ] fix up the MPK and memory_pool documentation; e.g., remove duplication
• [ ] benchmark call performance with PKRU switch
• [ ] add example showing how many memories can be pool-allocated with the feature on versus off.

There may be others but these are the ones I could think of that would be needed before configuring the feature on by default.

Wasmtime GitHub notifications bot (Oct 30 2023 at 22:48):

abrown edited issue #7119:

This issue tracks items remaining from adding MPK support in #7072:

• [x] fix tests when MPK is enabled (e.g., some tests of instance limits change due to striping)
• [x] add WebAssembly-level tests checking that MPK-protected slots cannot access OOB regions
• [ ] enable MPK in fuzz targets
• [ ] handle protection key changes across asynchronous block_on changes (see store.rs:1947)
• [ ] figure out a way to run with MPK enabled in CI (QEMU?)
• [ ] fix up the MPK and memory_pool documentation; e.g., remove duplication
• [ ] benchmark call performance with PKRU switch
• [ ] add example showing how many memories can be pool-allocated with the feature on versus off.

There may be others but these are the ones I could think of that would be needed before configuring the feature on by default.

Wasmtime GitHub notifications bot (Oct 30 2023 at 22:48):

abrown edited issue #7119:

This issue tracks items remaining from adding MPK support in #7072:

• [x] fix tests when MPK is enabled (e.g., some tests of instance limits change due to striping)
• [x] add WebAssembly-level tests checking that MPK-protected slots cannot access OOB regions
• [x] enable MPK in fuzz targets
• [ ] handle protection key changes across asynchronous block_on changes (see store.rs:1947)
• [ ] figure out a way to run with MPK enabled in CI (QEMU?)
• [ ] fix up the MPK and memory_pool documentation; e.g., remove duplication
• [ ] benchmark call performance with PKRU switch
• [ ] add example showing how many memories can be pool-allocated with the feature on versus off.

There may be others but these are the ones I could think of that would be needed before configuring the feature on by default.

Wasmtime GitHub notifications bot (Dec 01 2023 at 18:41):

abrown edited issue #7119:

This issue tracks items remaining from adding MPK support in #7072:

• [x] fix tests when MPK is enabled (e.g., some tests of instance limits change due to striping)
• [x] add WebAssembly-level tests checking that MPK-protected slots cannot access OOB regions
• [x] enable MPK in fuzz targets
• [x] add example showing how many memories can be pool-allocated with the feature on versus off.
• [ ] handle protection key changes across asynchronous block_on changes (see store.rs:1947)
• [ ] figure out a way to run with MPK enabled in CI (QEMU?)
• [ ] fix up the MPK and memory_pool documentation; e.g., remove duplication
• [ ] benchmark call performance with PKRU switch

There may be others but these are the ones I could think of that would be needed before configuring the feature on by default.

Wasmtime GitHub notifications bot (Dec 01 2023 at 18:41):

abrown edited issue #7119:

This issue tracks items remaining from adding MPK support in #7072:

• [x] fix tests when MPK is enabled (e.g., some tests of instance limits change due to striping)
• [x] add WebAssembly-level tests checking that MPK-protected slots cannot access OOB regions
• [x] enable MPK in fuzz targets
• [x] add example showing how many memories can be pool-allocated with the feature on versus off.
• [ ] handle protection key changes across asynchronous block_on changes (see store.rs:1947)
• [ ] figure out a way to run with MPK enabled in CI (QEMU?)
• [ ] fix up the MPK and memory_pool documentation; e.g., remove duplication
• [ ] benchmark call performance with PKRU switch

There may be others but these are the ones I could think of that would be needed before configuring the feature on by default.

Wasmtime GitHub notifications bot (Dec 01 2023 at 18:41):

abrown edited issue #7119:

This issue tracks items remaining from adding MPK support in #7072:

• [x] fix tests when MPK is enabled (e.g., some tests of instance limits change due to striping)
• [x] add WebAssembly-level tests checking that MPK-protected slots cannot access OOB regions
• [x] enable MPK in fuzz targets
• [x] add example showing how many memories can be pool-allocated with the feature on versus off
• [ ] handle protection key changes across asynchronous block_on changes (see store.rs:1947)
• [ ] figure out a way to run with MPK enabled in CI (QEMU?)
• [ ] fix up the MPK and memory_pool documentation; e.g., remove duplication
• [ ] benchmark call performance with PKRU switch

There may be others but these are the ones I could think of that would be needed before configuring the feature on by default.

Wasmtime GitHub notifications bot (Dec 05 2023 at 19:59):

abrown edited issue #7119:

This issue tracks items remaining from adding MPK support in #7072:

• [x] fix tests when MPK is enabled (e.g., some tests of instance limits change due to striping)
• [x] add WebAssembly-level tests checking that MPK-protected slots cannot access OOB regions
• [x] enable MPK in fuzz targets
• [x] add example showing how many memories can be pool-allocated with the feature on versus off
• [ ] fix up the MPK and memory_pool documentation; e.g., remove duplication
• [ ] handle protection key changes across asynchronous block_on changes (see store.rs:1947)
• [ ] figure out a way to run with MPK enabled in CI (QEMU?)
• [ ] benchmark call performance with PKRU switch

There may be others but these are the ones I could think of that would be needed before configuring the feature on by default.

Wasmtime GitHub notifications bot (Dec 06 2023 at 00:48):

abrown edited issue #7119:

This issue tracks items remaining from adding MPK support in #7072:

• [x] fix tests when MPK is enabled (e.g., some tests of instance limits change due to striping)
• [x] add WebAssembly-level tests checking that MPK-protected slots cannot access OOB regions
• [x] enable MPK in fuzz targets
• [x] add example showing how many memories can be pool-allocated with the feature on versus off
• [x] fix up the MPK and memory_pool documentation; e.g., remove duplication
• [ ] handle protection key changes across asynchronous block_on changes (see store.rs:1947)
• [ ] figure out a way to run with MPK enabled in CI (QEMU?)
• [ ] benchmark call performance with PKRU switch

There may be others but these are the ones I could think of that would be needed before configuring the feature on by default.

Last updated: Dec 23 2024 at 12:05 UTC