-
Notifications
You must be signed in to change notification settings - Fork 214
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
chore(swingset): add tools to classify mainnet runs #8680
Conversation
@toliaqat hey, what should we do about this one? I'm inclined to land it, so at least the classification logic is available for folks to look at, even if it's in python instead of js. |
@warner I think we should merge this in the misc-tools even if it is in Python. I like the idea given in the last meeting that we can have this Python code run in a job on the slog files from blob storage. I want to create this pipeline so that we can start injecting such tools to export the metrics on datadog at regular intervals. decoupling the developer who wrote the tool from potential users of the outcome. |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
6 similar comments
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
13 similar comments
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
19 similar comments
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
@warner - This PR appears to be stuck. It's had a merge label for > 24 hours |
25fd5e8
to
d04f3c0
Compare
Deploying agoric-sdk with Cloudflare Pages
|
Feed a slogfile into stdin of `classify-runs.py`, and it will write one line per run to two output files (runs-separate.csv and runs-continued.jsonlines), describing why the run was performed (price-feed, psm-sell, etc, known as the "type" of the run), along with the b${blockNum}-r${runNum} identifier, the number of computrons consumed, and the number of wallclock seconds consumed. See the header of classify-runs.py for details. Feed the .csv to the stdin of `classify-types.py`, and it will emit a table of statistics about those types, like the median wallclock time consumed.
d04f3c0
to
dba9cce
Compare
Feed a slogfile into stdin of
classify-runs.py
, and it will emit one line per run, describing why the run was performed (price-feed, psm-sell, etc, known as the "type" of the run), along with the b${blockNum}-r${runNum} identifier, the number of computrons consumed, and the number of wallclock seconds consumed.Feed all those output lines into the stdin of
classify-types.py
, and it will emit a table of statistics about those types, like the median wallclock time consumed.