Skip to content
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

profile infrastructure #828

Merged
merged 20 commits into from
Nov 9, 2021
Merged

profile infrastructure #828

merged 20 commits into from
Nov 9, 2021

Conversation

williballenthin
Copy link
Collaborator

adds counters and timing statements (at debug level) to enable performance tuning. also adds a profile harness script to help capture performance numbers.

Checklist

  • No CHANGELOG update needed
  • No new tests needed
  • No documentation update needed

Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

Please add bug fixes, new features, breaking changes and anything else you think is worthwhile mentioning to the master (unreleased) section of CHANGELOG.md. If no CHANGELOG update is needed add the following to the PR description: [x] No CHANGELOG update needed

@github-actions github-actions bot dismissed their stale review November 8, 2021 22:16

CHANGELOG updated or no update needed, thanks! 😄

@williballenthin williballenthin added the enhancement New feature or request label Nov 8, 2021
Comment on lines +83 to +84
capa.perf.counters["evaluate.feature"] += 1
capa.perf.counters["evaluate.feature.and"] += 1
Copy link
Collaborator Author

Choose a reason for hiding this comment

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

this will have a marginal performance impact itself. we can potentially remove these once our performance work is complete.

@williballenthin williballenthin mentioned this pull request Nov 8, 2021
3 tasks
Copy link
Collaborator

@mr-tz mr-tz left a comment

Choose a reason for hiding this comment

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

awesome, thanks!!

scripts/profile-time.py Show resolved Hide resolved
scripts/profile-time.py Show resolved Hide resolved
@williballenthin williballenthin merged commit 025d156 into master Nov 9, 2021
@williballenthin williballenthin deleted the profiling branch November 9, 2021 23:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants