Skip to content

feat(fuzz): prioritize favored corpus entries#15818

Open
decofe wants to merge 3 commits into
centaur/observed-call-dictionary-1784381979from
centaur/favored-power-schedule-1784381979
Open

feat(fuzz): prioritize favored corpus entries#15818
decofe wants to merge 3 commits into
centaur/observed-call-dictionary-1784381979from
centaur/favored-power-schedule-1784381979

Conversation

@decofe

@decofe decofe commented Jul 18, 2026

Copy link
Copy Markdown
Contributor

Stacked on #15817.

Makes the coverage minset affect donor selection, not just eviction. The scheduler gives energy to favored entries, rare edges, and recent coverage yield, while retaining bounded uniform and disk exploration.

Adds a focused scheduling regression test.

Prompted by: @0xalpharush

@mablr mablr left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

We should probably build the mutation schedule once per new_inputs call and reuse it for both donor picks, rather than rebuilding edge frequencies and weights twice.

The edge-frequency map also uses trusted integer keys, so switching it to FxHashMap (or avoiding hashing entirely) appears worthwhile.

In the same fixed-seed Nerite local run, snapshot reuse improved throughput from 604 to 988 tx/s, and snapshot reuse plus FxHashMap reached 2,867 tx/s.

@mablr

mablr commented Jul 23, 2026

Copy link
Copy Markdown
Member

derek bench fuzz compare-ref=master timeout=600

@github-actions

github-actions Bot commented Jul 23, 2026

Copy link
Copy Markdown
Contributor

cc @mablr

bench (fuzz) event published. Results will be reported separately. View publisher run

Config: subcommand: fuzz, PR SHA: 326d0efc80b7, compare-ref: master, timeout: 600s, benchmarks: forge_fuzz_test

@foundry-rs foundry-rs deleted a comment from github-actions Bot Jul 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

2 participants