Skip to content

Kernel overlap verification stage, initial version - #124

Open
lasch wants to merge 7 commits into
mainfrom
overlap_verify
Open

Kernel overlap verification stage, initial version#124
lasch wants to merge 7 commits into
mainfrom
overlap_verify

Conversation

@lasch

@lasch lasch commented Aug 12, 2026

Copy link
Copy Markdown
Member

introducing initial version of verification stage for kernel overlap detection.

Main functionality for overlap verification: src/aiu_trace_analyzer/verification/overlap_verify.py

On top of the derived context, a few tweaks were needed to support the requirements:

  • strict mode: needed to flag regular function call (fully nested overlaps) as actual overlaps
  • more flexible hash-keys: hard-coded pid+tid needs to be more configurable to cover actual 'streams'
  • issue_warning required an override-capable extension to allow derived classes to issue 'warning instances' for the verification report

Also included the following cleanup:

  • verification functions/context imports moved to their own __init__.py
  • removed the template/example verify stage from the verification pipeline
  • verification pipeline needed global sorting stage

@nicksunka @ppnaik1890 I did not yet scrutinize the event filter - right now, any event that comes with indication of 'ran on accelerator' is being checked for overlap within its stream.

lasch added 6 commits August 12, 2026 15:50
…s for verification

Signed-off-by: Lars Schneidenbach <schneidenbach@us.ibm.com>
Signed-off-by: Lars Schneidenbach <schneidenbach@us.ibm.com>
Signed-off-by: Lars Schneidenbach <schneidenbach@us.ibm.com>
Signed-off-by: Lars Schneidenbach <schneidenbach@us.ibm.com>
Signed-off-by: Lars Schneidenbach <schneidenbach@us.ibm.com>
Signed-off-by: Lars Schneidenbach <schneidenbach@us.ibm.com>
Signed-off-by: Lars Schneidenbach <schneidenbach@us.ibm.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.

1 participant