Stream: git-wasmtime

Topic: wasmtime / PR #3244 Allow for opting out of uffd even if ...

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

peterhuene opened PR #3244 from opt-out-of-uffd to main:

This PR adds a PoolingPageFaultStrategy enum to the Wasmtime API to
control whether the operating system or Wasmtime will handle page faults in
linear memory.

The latter requires the uffd feature and Linux as the target OS.

With this change, a pooling allocator can be created that uses the operating
system's page fault handling even on Linux with the uffd feature enabled.

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

peterhuene closed without merge PR #3244.

Last updated: Oct 23 2024 at 20:03 UTC