diff options
| author | Victor Stinner <vstinner@python.org> | 2024-06-17 16:08:05 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-17 16:08:05 (GMT) |
| commit | 6acf7776ef8e0f08e1d4b4b5511bea8d716f571f (patch) | |
| tree | aef1d1401319629eddaf82666ed8adbadc2d3466 /Tools/wasm/wasi.py | |
| parent | 0506f75c53ce0895408050ededcfb66bc07eb19b (diff) | |
| download | cpython-6acf7776ef8e0f08e1d4b4b5511bea8d716f571f.zip cpython-6acf7776ef8e0f08e1d4b4b5511bea8d716f571f.tar.gz cpython-6acf7776ef8e0f08e1d4b4b5511bea8d716f571f.tar.bz2 | |
gh-120507: Double WASI memory (#120648)
Use 16 MiB stack with 40 MiB memory limit, instead of 8 MiB stack
with 20 MiB memory limit.
Diffstat (limited to 'Tools/wasm/wasi.py')
| -rw-r--r-- | Tools/wasm/wasi.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Tools/wasm/wasi.py b/Tools/wasm/wasi.py index efb005e..f69299f 100644 --- a/Tools/wasm/wasi.py +++ b/Tools/wasm/wasi.py @@ -280,9 +280,8 @@ def main(): default_host_runner = (f"{shutil.which('wasmtime')} run " # Make sure the stack size will work for a pydebug # build. - # The 8388608 value comes from `ulimit -s` under Linux - # which equates to 8291 KiB. - "--wasm max-wasm-stack=8388608 " + # Use 16 MiB stack. + "--wasm max-wasm-stack=16777216 " # Use WASI 0.2 primitives. "--wasi preview2 " # Enable thread support; causes use of preview1. |