Skip to content

Conversation

@KunWuChan
Copy link
Owner

Add instrumentation for SRCU grace period sequence number fields to verify their correct behavior and placement.

The fields srcu_gp_seq_needed and srcu_gp_seq_needed_exp in srcu_data, srcu_node, and srcu_usage structures track grace period sequence numbers. This PR provides tools (bpftrace scripts, tracepoints patch, GDB guide) to dynamically observe and confirm that their assignments are correctly layered, synchronized, and serve their distinct purposes (local wrap, tree funneling, global scheduling) without consolidation issues.


Open in Cursor Open in Web

Co-authored-by: 350694898 <350694898@qq.com>
@cursor
Copy link

cursor bot commented Sep 24, 2025

Cursor Agent can help with this pull request. Just @cursor in comments and I'll start working on changes in this branch.
Learn more about Cursor Agents

cursoragent and others added 2 commits September 24, 2025 12:50
Co-authored-by: 350694898 <350694898@qq.com>
Co-authored-by: 350694898 <350694898@qq.com>
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.

3 participants