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

Benchmark scripts with pyinstrument #1010

Closed
wants to merge 11 commits into from

Conversation

willGraham01
Copy link
Collaborator

@willGraham01 willGraham01 commented Jun 28, 2023

Relates to #686 |

Short Description

Adds the src/scripts/profiling/profile.py script, which can be run locally and outputs profiling data for the scale_run.py model.

Intended to be a basis for future work towards #686; now that we have a script that runs the profiling and produces an output, we can look to automate it's execution.

Changes

  • README file in the profiling/ directory with short notes on how to run the profiler.
  • scale_run.py has it's "main" refactored so it can be imported into the profile.py script.
  • requirements/dev.in (and .txt) includes pyinstrument
  • .gitignore updates to avoid tracking outputs and artifacts

@willGraham01 willGraham01 force-pushed the wgraham/pyinstrument-benchmark-on-request branch from 310e0ba to eda0f43 Compare June 28, 2023 12:45
@willGraham01 willGraham01 force-pushed the wgraham/pyinstrument-benchmark-on-request branch from eda0f43 to 5f2d5a5 Compare June 28, 2023 12:50
@willGraham01
Copy link
Collaborator Author

Closing as superseded by #1012

@willGraham01 willGraham01 deleted the wgraham/pyinstrument-benchmark-on-request branch June 30, 2023 08:46
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