Stream: git-wasmtime

Topic: wasmtime / issue #3925 Delete historical interruptable su...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 14 2022 at 15:55):

github-actions[bot] commented on issue #3925:

Subscribe to Label Action

cc @fitzgen, @peterhuene

<details>
This issue or pull request has been labeled: "fuzzing", "wasmtime:api", "wasmtime:c-api", "wasmtime:config", "wasmtime:docs"

Thus the following users have been cc'd because of the following labels:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Mar 14 2022 at 15:55):

github-actions[bot] commented on issue #3925:

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 (Mar 14 2022 at 15:58):

alexcrichton edited a comment on issue #3925:

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 (Mar 14 2022 at 15:58):

alexcrichton edited a comment on issue #3925:

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 (Mar 14 2022 at 15:58):

alexcrichton edited a comment on issue #3925:

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 (Apr 02 2022 at 09:08):

theduke commented on issue #3925:

I would appreciate some guidance on how to achieve interruption support with async yielding now ( epoch_deadline_async_yield_and_update).

The only idea I came up with is wrapping the call_async future with an abortable future like futures::future::Abortable, which would stop execution on the next epoch yield.

But maybe I'm missing a better solution?

view this post on Zulip Wasmtime GitHub notifications bot (Apr 02 2022 at 09:10):

theduke edited a comment on issue #3925:

I would appreciate some guidance on how to achieve interruption support with async yielding now ( epoch_deadline_async_yield_and_update).

The only idea I came up with is wrapping the call_async future with an abortable future like futures::future::Abortable, which can stop execution on the next epoch yield.

But maybe I'm missing a better solution?

view this post on Zulip Wasmtime GitHub notifications bot (Apr 02 2022 at 09:24):

theduke edited a comment on issue #3925:

I would appreciate some guidance on how to achieve interruption support with async yielding now ( epoch_deadline_async_yield_and_update).

The only idea I came up with is wrapping the call_async future with an abortable future like futures::future::Abortable, which would stop execution on the next epoch yield.

But maybe I'm missing a better solution?

view this post on Zulip Wasmtime GitHub notifications bot (Apr 02 2022 at 09:36):

theduke edited a comment on issue #3925:

I would appreciate some guidance on how to achieve interruption support with async yielding now.

Before 0.35 I could use epoch_deadline_async_yield_and_update and use the InterruptHandle to do a hard abort.

The only idea I came up with is wrapping the call_async future with futures::future::Abortable, which would stop execution on the next epoch yield.

But maybe I'm missing a better solution?

view this post on Zulip Wasmtime GitHub notifications bot (Apr 04 2022 at 14:07):

alexcrichton commented on issue #3925:

Yes if you're using the epoch support for async yielding then you'll want to use a timeout-like approach to drop the future at an await point (or abortable as you mentioned) to stop execution of wasm altogether.


Last updated: Nov 22 2024 at 16:03 UTC