Stream: git-wasmtime

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

view this post on Zulip 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.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 26 2021 at 14:18):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 26 2021 at 14:18):

alexcrichton submitted PR review.

view this post on Zulip 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?

view this post on Zulip Wasmtime GitHub notifications bot (Aug 26 2021 at 17:25):

peterhuene submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 26 2021 at 17:25):

peterhuene created PR review comment:

Definitely. I'll fix.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 26 2021 at 23:56):

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

view this post on Zulip Wasmtime GitHub notifications bot (Aug 26 2021 at 23:56):

peterhuene has marked PR #3245 as ready for review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 27 2021 at 01:54):

peterhuene merged PR #3245.

Last updated: Nov 22 2024 at 17:03 UTC