Skip to content

Commit 21fc4ec

Browse files
committed
docs(ci): tighten daily-sanitized-fuzz headroom percentages (#134 review)
Bot review on #134 caught two over-rounded percentage claims in the inline rationale comments: - Header: "Cut rounds 40 %" — ASan is exactly 40 % (5000→3000), but TSan is ~43 % (3500→2000). Spell out both for accuracy. - TSan run-step comment: "~20 % headroom" — actual is (65 − 55) / 65 ≈ 15-18 %, the triage paragraph below already correctly says "~10m head". Match the comment to reality at "~15 %". Pure documentation accuracy fix; no behavior change. Header rationale remains intentionally a regression-record narrative for future readers.
1 parent 570b431 commit 21fc4ec

1 file changed

Lines changed: 4 additions & 3 deletions

File tree

.github/workflows/daily-sanitized-fuzz.yml

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,9 @@ name: Daily Sanitized Differential Fuzz
1717
# (#132 / #133) tripped exit=124 on both passes — actual throughput in
1818
# long runs is closer to ~1.5 s/round (ASan) / ~1.6 s/round (TSan), and
1919
# sanitizer shadow memory pressure compounds over thousands of rounds.
20-
# Cut rounds 40 % to ~3000 ASan + ~2000 TSan, which budgets to ~75m + ~55m
21-
# and leaves ~20 % buffer inside the inner per-pass timeouts. Nightly
20+
# Cut rounds (ASan 5000→3000 / 40 %, TSan 3500→2000 / ~43 %) to
21+
# ~3000 ASan + ~2000 TSan, which budgets to ~75m + ~55m and leaves
22+
# ~15-20 % buffer inside the inner per-pass timeouts. Nightly
2223
# diff-fuzz keeps driving 10k Release rounds for raw throughput /
2324
# different seed coverage; this workflow is the deep-diagnostic
2425
# complement, NOT a replacement.
@@ -154,7 +155,7 @@ jobs:
154155
- name: Run TSan differential fuzz
155156
# Race-only pass. TSan production runs (#132 / #133) measured
156157
# ~1.6 s/round; 2000 rounds projects to ~55 minutes; budget 70m
157-
# step, 65m fuzz inner — leaves ~20 % headroom. Distinct save
158+
# step, 65m fuzz inner — leaves ~15 % headroom. Distinct save
158159
# dir so the two passes don't share case numbering (and so
159160
# packaging can pick them apart).
160161
timeout-minutes: 70

0 commit comments

Comments
 (0)