alexcrichton opened PR #4918 from reduce-pooling-size-when-fuzzing
to main
:
This commit limits the maximum number of linear memories when the pooling allocator is used to ensure that the virtual memory mapping for the pooling allocator itself can succeed. Currently there are a number of crashes in the differential fuzzer where the pooling allocator can't allocate its mapping because the maximum specified number of linear memories times the number of instances exceeds the address space presumably.
<!--
Please ensure that the following steps are all taken care of before submitting
the PR.
[ ] This has been discussed in issue #..., or if not, please tell us why
here.[ ] A short description of what this does, why it is needed; if the
description becomes long, the matter should probably be discussed in an issue
first.[ ] This PR contains test cases, if meaningful.
- [ ] A reviewer from the core maintainer team has been assigned for this PR.
If you don't know who could review this, please indicate so. The list of
suggested reviewers on the right can help you.Please ensure all communication adheres to the code of conduct.
-->
alexcrichton has marked PR #4918 as ready for review.
abrown submitted PR review.
abrown submitted PR review.
abrown created PR review comment:
Shouldn't
min
be 0 or 1?
alexcrichton submitted PR review.
alexcrichton created PR review comment:
The maximum/minimum being bigger than 1 indicates the multi-memory proposal is active, if that's your question? I wanted to leave that part of fuzzing active ideally.
abrown created PR review comment:
Yeah, but I would have thought we would have also wanted to generate modules that may between 0 and 10 memories when we use the pooling allocator just to check that things don't break if, e.g., no memories are defined?
abrown submitted PR review.
jameysharp created PR review comment:
This style of using
min()
always confuses me, and I think it's confusing you too. It's settingmin_memories
to whichever is smaller of 10 or the randomly-chosen value, which means that it's at _most_ 10.
jameysharp submitted PR review.
abrown created PR review comment:
Ah! Ok, sorry, didn't see it right. There's a previously generated random value in
min_memories
that we are trying to constrain. Please ignore me!
abrown submitted PR review.
abrown submitted PR review.
alexcrichton merged PR #4918.
Last updated: Dec 23 2024 at 12:05 UTC