Hello there.
Judging from how great Wasmtime's execution performance is, I assume it uses the same approach as V8 and Spidermonkey for sandboxing linear memory accesses, namely guard pages. Is this correct? If yes, is it possible to use Wasmtime without that feature and enable actual bounds checks before each linear memory access? (V8 for example has --no-wasm-trap-handler
and Spidermonkey has --disable-wasm-huge-memory
)
You can use config.static_memory_maximum_size(0)
to switch from a static heap (guard pages) to a dynamic heap (bound checks)
Ah that seems what I was looking for. I'll check it out. Thank you!
Last updated: Nov 22 2024 at 16:03 UTC