Stream: git-wasmtime

Topic: wasmtime / PR #10027 Wasmtime: generalize `async_stack_ze...


view this post on Zulip Wasmtime GitHub notifications bot (Jan 15 2025 at 21:42):

fitzgen requested alexcrichton for a review on PR #10027.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 15 2025 at 21:42):

fitzgen requested wasmtime-core-reviewers for a review on PR #10027.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 15 2025 at 21:42):

fitzgen opened PR #10027 from fitzgen:optional-stack-zeroing to bytecodealliance:main:

This commit moves the knob from the PoolingInstanceAllocatorConfig to the regular Config and now controls both whether stacks are zeroed before reuse and whether they are zeroed before the initial use. The latter doesn't matter usually, since anonymous mmaps are already zeroed so we don't have to do anything there, but for no-std environments it is the difference between manually zeroing the stack or simply using unininitialized memory.

<!--
Please make sure you include the following information:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Jan 15 2025 at 21:59):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 15 2025 at 22:12):

fitzgen updated PR #10027.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 15 2025 at 22:12):

fitzgen has enabled auto merge for PR #10027.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 15 2025 at 22:14):

fitzgen updated PR #10027.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 15 2025 at 22:30):

Scutua submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 15 2025 at 23:45):

github-actions[bot] commented on PR #10027:

Label Messager: wasmtime:config

It looks like you are changing Wasmtime's configuration options. Make sure to
complete this check list:

[fuzzing-config]: https://github.com/bytecodealliance/wasmtime/blob/ca0e8d0a1d8cefc0496dba2f77a670571d8fdcab/crates/fuzzing/src/generators.rs#L182-L194
[fuzzing-docs]: https://docs.wasmtime.dev/contributing-fuzzing.html


<details>

To modify this label's message, edit the <code>.github/label-messager/wasmtime-config.md</code> file.

To add new label messages or remove existing label messages, edit the
<code>.github/label-messager.json</code> configuration file.

Learn more.

</details>

view this post on Zulip Wasmtime GitHub notifications bot (Jan 16 2025 at 00:08):

fitzgen requested wasmtime-fuzz-reviewers for a review on PR #10027.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 16 2025 at 00:08):

fitzgen updated PR #10027.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 16 2025 at 00:08):

fitzgen edited a comment on PR #10027:

Label Messager: wasmtime:config

It looks like you are changing Wasmtime's configuration options. Make sure to
complete this check list:

[fuzzing-config]: https://github.com/bytecodealliance/wasmtime/blob/ca0e8d0a1d8cefc0496dba2f77a670571d8fdcab/crates/fuzzing/src/generators.rs#L182-L194
[fuzzing-docs]: https://docs.wasmtime.dev/contributing-fuzzing.html


<details>

To modify this label's message, edit the <code>.github/label-messager/wasmtime-config.md</code> file.

To add new label messages or remove existing label messages, edit the
<code>.github/label-messager.json</code> configuration file.

Learn more.

</details>

view this post on Zulip Wasmtime GitHub notifications bot (Jan 16 2025 at 00:08):

fitzgen edited a comment on PR #10027:

Label Messager: wasmtime:config

It looks like you are changing Wasmtime's configuration options. Make sure to
complete this check list:

[fuzzing-config]: https://github.com/bytecodealliance/wasmtime/blob/ca0e8d0a1d8cefc0496dba2f77a670571d8fdcab/crates/fuzzing/src/generators.rs#L182-L194
[fuzzing-docs]: https://docs.wasmtime.dev/contributing-fuzzing.html


<details>

To modify this label's message, edit the <code>.github/label-messager/wasmtime-config.md</code> file.

To add new label messages or remove existing label messages, edit the
<code>.github/label-messager.json</code> configuration file.

Learn more.

</details>

view this post on Zulip Wasmtime GitHub notifications bot (Jan 16 2025 at 00:08):

fitzgen edited a comment on PR #10027:

Label Messager: wasmtime:config

It looks like you are changing Wasmtime's configuration options. Make sure to
complete this check list:

[fuzzing-config]: https://github.com/bytecodealliance/wasmtime/blob/ca0e8d0a1d8cefc0496dba2f77a670571d8fdcab/crates/fuzzing/src/generators.rs#L182-L194
[fuzzing-docs]: https://docs.wasmtime.dev/contributing-fuzzing.html


<details>

To modify this label's message, edit the <code>.github/label-messager/wasmtime-config.md</code> file.

To add new label messages or remove existing label messages, edit the
<code>.github/label-messager.json</code> configuration file.

Learn more.

</details>

view this post on Zulip Wasmtime GitHub notifications bot (Jan 16 2025 at 00:43):

fitzgen merged PR #10027.


Last updated: Jan 24 2025 at 00:11 UTC