Stream: git-wasmtime

Topic: wasmtime / PR #5247 Use deterministic randomness fuzzing ...


view this post on Zulip Wasmtime GitHub notifications bot (Nov 10 2022 at 20:00):

alexcrichton opened PR #5247 from deterministic-fuzzing to main:

This commit updates the index allocation performed in the pooling allocator with a few refactorings:

This refactoring is additionally intended to encapsulate more implementation details of IndexAllocator to more easily allow for alternate implementations in the future such as lock-free approaches (possibly).

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Nov 10 2022 at 20:22):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 10 2022 at 20:23):

alexcrichton has enabled auto merge for PR #5247.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 10 2022 at 20:53):

alexcrichton merged PR #5247.


Last updated: Dec 23 2024 at 12:05 UTC