Skip to content

solfuzz belt sanding #5970

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Aug 12, 2025
Merged

solfuzz belt sanding #5970

merged 4 commits into from
Aug 12, 2025

Conversation

ripatel-fd
Copy link
Contributor

  • solfuzz: remove compute budget program fuzzer
  • solfuzz: belt sanding

@ripatel-fd ripatel-fd force-pushed the ripatel/solfuzz-belt-sand branch 2 times, most recently from 21e335e to ad0856d Compare August 7, 2025 19:21
@ripatel-fd ripatel-fd marked this pull request as ready for review August 8, 2025 01:55
mjain-jump
mjain-jump previously approved these changes Aug 8, 2025
Copy link
Contributor

@mjain-jump mjain-jump left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

harness changes look good to me.

@ripatel-fd ripatel-fd force-pushed the ripatel/solfuzz-belt-sand branch 3 times, most recently from 2e6e253 to 87d7f27 Compare August 11, 2025 22:27
@ripatel-fd ripatel-fd force-pushed the ripatel/solfuzz-belt-sand branch from 87d7f27 to e2bd228 Compare August 12, 2025 14:11
- Flatten directory structure
- Add venv to gitignore
- Define and document separation of layers
- Centralize memory management of 'solfuzz executor'
- Use demand-paged THP workspace memory for solfuzz
  (Greatly reduces startup time with minimal prod perf impact)
- Allow reusing a preallocated workspace for run-test-vectors
@ripatel-fd ripatel-fd force-pushed the ripatel/solfuzz-belt-sand branch from e2bd228 to a147928 Compare August 12, 2025 14:29
@jumpsiegel jumpsiegel requested a review from mjain-jump August 12, 2025 18:33
@jumpsiegel
Copy link
Contributor

nice..

#define DCACHE_DATA_SZ FD_DCACHE_REQ_DATA_SZ( PATH_MAX, MCACHE_DEPTH, 1UL, 1 )
#define DCACHE_FOOTPRINT FD_DCACHE_FOOTPRINT( DCACHE_DATA_SZ, 0UL )

static int fail_fast;
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

was this supposed to get set somewhere?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good catch. Not used at the moment but we could add a CLI argument in the future for it.
I just wanted to make sure to design the tile architecture and single-threaded mode to support it out of the box, since it would be hard to add later. Plumbing it through in a future commit should be an easy exercise.

@ripatel-fd ripatel-fd added this pull request to the merge queue Aug 12, 2025
Merged via the queue into main with commit 2f94aad Aug 12, 2025
11 checks passed
@ripatel-fd ripatel-fd deleted the ripatel/solfuzz-belt-sand branch August 12, 2025 19:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants