Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Refs #50
This implements our first fuzzer. It replicates the process that the
bulik_compare_swap
created, but in such a way that the fuzzer provides the batches. After a couple of hours across 8 cores, the fuzzer found a new bug. After fixing that bug (will be pushed in next commit to main), the fuzzer then ran for another 6 hours with no additional crashes. I'll be continuing to run it for the next day or two.I'm not closing #50 because another fuzzer should be written that executes a wide variety of operations in a sequential manner. This test focuses on batching because that's where I discovered a bug this weekend. It would be nice to have some fuzzing validation against the remaining operations -- and it can be less restrictive due to not needing to be batched.
This commit also temporarily changes a few debug_asserts into asserts. This will be addressed in a follow up commit.