Stream: git-wasmtime

Topic: wasmtime / PR #3245 Add `paged_memory_initialization` to ...

Wasmtime GitHub notifications bot (Aug 26 2021 at 03:08):

peterhuene opened PR #3245 from add-paged-init-setting to main:

This commit adds a paged_memory_initialization setting to Config.

The setting controls whether or not an attempt is made to organize data
segments into Wasm pages during compilation.

When used in conjunction with the uffd feature on Linux, Wasmtime can
completely skip initializing linear memories and instead initialize any pages
that are accessed for the first time during Wasm execution.

Wasmtime GitHub notifications bot (Aug 26 2021 at 14:18):

alexcrichton submitted PR review.

Wasmtime GitHub notifications bot (Aug 26 2021 at 14:18):

alexcrichton submitted PR review.

Wasmtime GitHub notifications bot (Aug 26 2021 at 14:18):

alexcrichton created PR review comment:

The default here might be good to be based on uffd as a feature?

Wasmtime GitHub notifications bot (Aug 26 2021 at 17:25):

peterhuene submitted PR review.

Wasmtime GitHub notifications bot (Aug 26 2021 at 17:25):

peterhuene created PR review comment:

Definitely. I'll fix.

Wasmtime GitHub notifications bot (Aug 26 2021 at 23:56):

peterhuene updated PR #3245 from add-paged-init-setting to main.

Wasmtime GitHub notifications bot (Aug 26 2021 at 23:56):

peterhuene has marked PR #3245 as ready for review.

Wasmtime GitHub notifications bot (Aug 27 2021 at 01:54):

peterhuene merged PR #3245.

Last updated: Dec 23 2024 at 12:05 UTC