Stream: git-wasmtime

Topic: wasmtime / PR #3231 Move wasm data sections out of wasmti...

Wasmtime GitHub notifications bot (Aug 23 2021 at 22:38):

alexcrichton opened PR #3231 from no-data-in-module to main:

This is the first step down the road of #3230. The long-term goal is
that Module is always bincode-decoded, but wasm data segments are a
possibly very-large portion of this residing in modules which we don't
want to shove through bincode. This refactors the internals of wasmtime
to be ok with this data living separately from the Module itself,
providing access at necessary locations.

Wasm data segments are now extracted from a wasm module and
concatenated directly. Data sections then describe ranges within this
concatenated list of data, and passive data works the same way. This
implementation does not lend itself to eventually optimizing the case
where passive data is dropped and no longer needed. That's left for a
future PR.

Wasmtime GitHub notifications bot (Aug 23 2021 at 22:38):

alexcrichton requested peterhuene for a review on PR #3231.

Wasmtime GitHub notifications bot (Aug 23 2021 at 23:43):

alexcrichton updated PR #3231 from no-data-in-module to main.

Wasmtime GitHub notifications bot (Aug 24 2021 at 01:04):

alexcrichton updated PR #3231 from no-data-in-module to main.

Wasmtime GitHub notifications bot (Aug 24 2021 at 18:46):

peterhuene submitted PR review.

Wasmtime GitHub notifications bot (Aug 24 2021 at 19:04):

alexcrichton merged PR #3231.

Last updated: Dec 23 2024 at 12:05 UTC