Repository navigation
Conversation
The development-kernel verifier rejects flow_stopping and flow_tick because the run-history scan's pointer range reaches past the task storage value after loop states are merged. Unroll the eight-entry scan so each history read has a constant offset. Signed-off-by: Andrea Righi <arighi@nvidia.com>
The development-kernel verifier rejects pandemonium_select_cpu and pandemonium_enqueue after exploring more than 8192 branches through the spill scan. Unroll the fixed 32-entry scan to avoid bounded-loop path explosion. Keep find_spill_seat() out-of-line so its callers share one copy of the expanded scan. Signed-off-by: Andrea Righi <arighi@nvidia.com>
Contributor
Author
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
BPF verifier on sched_ext/for-next rejects scx_flow run-history scan for an out-of-bounds access and scx_pandemonium spill scan for excessive branch complexity.
Unroll both scans and keep pandemonium's expanded spill helper out-of-line so callers share one copy. Both scans retain their existing behavior.