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 theuffd
feature enabled.
peterhuene closed without merge PR #3244.
Last updated: Dec 23 2024 at 13:07 UTC