8000 bpo-46072: Output stats as markdown with collapsible sections. by markshannon · Pull Request #31228 · python/cpython · GitHub
[go: up one dir, main page]
Skip to content

bpo-46072: Output stats as markdown with collapsible sections. #31228

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.

Sign up for GitHub

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

Merged
merged 4 commits into from
Feb 9, 2022
Merged

bpo-46072: Output stats as markdown with collapsible sections. #31228

Changes from 1 commit
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
731d0ea
Incorporate opcode name in SPEC_FAIL macros to enable parsing by script.
markshannon Feb 8, 2022
c0a309d
Refactor summarize_stats.py into a series of 'emit' functions.
markshannon Feb 9, 2022
86273ab
Output stats as markdown with collapsible sections.
markshannon Feb 9, 2022
3771c7b
Collapse per-family stats.
markshannon Feb 9, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Collapse per-family stats.
  • Loading branch information
@markshannon
markshannon committed Feb 9, 2022
commit 3771c7bc8c6e1c28016344813ef28ee00066f7d8
80 changes: 40 additions & 40 deletions Tools/scripts/summarize_stats.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -31,47 +31,47 @@ def print_specialization_stats(name, family_stats, defines):
total = sum(family_stats.get(kind, 0) for kind in TOTAL)
if total == 0:
return
print_title(name, 3)
rows = []
for key in sorted(family_stats):
if key.startswith("specialization.failure_kinds"):
continue
if key.startswith("specialization."):
with Section(name, 3, f"specialization stats for {name} family"):
rows = []
for key in sorted(family_stats):
if key.startswith("specialization.failure_kinds"):
continue
if key.startswith("specialization."):
label = key[len("specialization."):]
elif key == "execution_count":
label = "unquickened"
else:
label = key
if key not in ("specialization.success", "specialization.failure", "specializable"):
rows.append((f"{label:>12}", f"{family_stats[key]:>12}", f"{100*family_stats[key]/total:0.1f}%"))
emit_table(("Kind", "Count", "Ratio"), rows)
print_title("Specialization attempts", 4)
total_attempts = 0
for key in ("specialization.success", "specialization.failure"):
total_attempts += family_stats.get(key, 0)
rows = []
for key in ("specialization.success", "specialization.failure"):
label = key[len("specialization."):]
elif key == "execution_count":
label = "unquickened"
else:
label = key
if key not in ("specialization.success", "specialization.failure", "specializable"):
rows.append((f"{label:>12}", f"{family_stats[key]:>12}", f"{100*family_stats[key]/total:0.1f}%"))
emit_table(("Kind", "Count", "Ratio"), rows)
print_title("Specialization attempts", 4)
total_attempts = 0
for key in ("specialization.success", "specialization.failure"):
total_attempts += family_stats.get(key, 0)
rows = []
for key in ("specialization.success", "specialization.failure"):
label = key[len("specialization."):]
label = label[0].upper() + label[1:]
val = family_stats.get(key, 0)
rows.append((label, val, f"{100*val/total_attempts:0.1f}%"))
emit_table(("", "Count", "Ratio"), rows)
total_failures = family_stats.get("specialization.failure", 0)
failure_kinds = [ 0 ] * 30
for key in family_stats:
if not key.startswith("specialization.failure_kind"):
continue
_, index = key[:-1].split("[")
index = int(index)
failure_kinds[index] = family_stats[key]
failures = [(value, index) for (index, value) in enumerate(failure_kinds)]
failures.sort(reverse=True)
rows = []
for value, index in failures:
if not value:
continue
rows.append((kind_to_text(index, defines, name), value, f"{100*value/total_failures:0.1f}%"))
emit_table(("Failure kind", "Count", "Ratio"), rows)
label = label[0].upper() + label[1:]
val = family_stats.get(key, 0)
rows.append((label, val, f"{100*val/total_attempts:0.1f}%"))
emit_table(("", "Count", "Ratio"), rows)
total_failures = family_stats.get("specialization.failure", 0)
failure_kinds = [ 0 ] * 30
for key in family_stats:
if not key.startswith("specialization.failure_kind"):
continue
_, index = key[:-1].split("[")
index = int(index)
failure_kinds[index] = family_stats[key]
failures = [(value, index) for (index, value) in enumerate(failure_kinds)]
failures.sort(reverse=True)
rows = []
for value, index in failures:
if not value:
continue
rows.append((kind_to_text(index, defines, name), value, f"{100*value/total_failures:0.1f}%"))
emit_table(("Failure kind", "Count", "Ratio"), rows)

def gather_stats():
stats = collections.Counter()
Expand Down
0