Stream: git-wasmtime

Topic: wasmtime / PR #6254 fuzz: randomize block lowering order


view this post on Zulip Wasmtime GitHub notifications bot (Apr 20 2023 at 18:26):

remlse opened PR #6254 from remlse:fuzz-randomize-block-order to bytecodealliance:main:

<!--
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
-->

relates to #4134

The block lowering order should have no impact on correctness, so we may randomize it during fuzzing.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 20 2023 at 20:03):

remlse updated PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 21 2023 at 07:31):

remlse updated PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 22 2023 at 07:23):

remlse updated PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 27 2023 at 07:40):

remlse updated PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 27 2023 at 18:58):

remlse updated PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2023 at 08:41):

remlse updated PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2023 at 09:55):

remlse has marked PR #6254 as ready for review.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2023 at 09:55):

remlse requested jameysharp for a review on PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2023 at 09:55):

remlse requested wasmtime-compiler-reviewers for a review on PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2023 at 09:55):

remlse requested wasmtime-default-reviewers for a review on PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2023 at 16:38):

cfallin submitted PR review:

This looks great -- thanks!

Just one potential optimization below, then happy to merge.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2023 at 16:38):

cfallin submitted PR review:

This looks great -- thanks!

Just one potential optimization below, then happy to merge.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2023 at 16:38):

cfallin created PR review comment:

s/shoud/should/

Also let's reword this slightly to something like "If chaos-mode is enabled in the control plane, arbitrarily reorder ..." just to emphasize that shuffle is a no-op in the common (normal/release build) case.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2023 at 16:38):

cfallin created PR review comment:

Can we add an early-out conditional to shuffle along the lines of what this comment describes (if data is exhausted ...)? The effect is the same now but we construct an Unstructured, take a slice, and do some other work before we hit the break with the current code.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2023 at 17:47):

remlse updated PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 28 2023 at 18:01):

cfallin has enabled auto merge for PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 29 2023 at 02:01):

remlse updated PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (May 01 2023 at 16:56):

remlse updated PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (May 01 2023 at 17:08):

cfallin has enabled auto merge for PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (May 01 2023 at 20:32):

remlse updated PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (May 01 2023 at 22:28):

cfallin submitted PR review:

LGTM on latest with naming nit, thanks!

Out of curiosity, have you fuzzed with this (and verified that no issues arise)?

view this post on Zulip Wasmtime GitHub notifications bot (May 01 2023 at 22:28):

cfallin submitted PR review:

LGTM on latest with naming nit, thanks!

Out of curiosity, have you fuzzed with this (and verified that no issues arise)?

view this post on Zulip Wasmtime GitHub notifications bot (May 01 2023 at 22:28):

cfallin created PR review comment:

Let's call this shuffled(iter) or similar, perhaps? Otherwise we're using two different technical words ("shuffle" and "permutation") for method names, which seems unnecessary to me.

view this post on Zulip Wasmtime GitHub notifications bot (May 02 2023 at 07:29):

remlse updated PR #6254.

view this post on Zulip Wasmtime GitHub notifications bot (May 02 2023 at 16:58):

cfallin merged PR #6254.


Last updated: Dec 23 2024 at 12:05 UTC