Skip to content

perf(miri): reduce runtime analysis duration - #767

Draft
martin-kolinek wants to merge 9 commits into
mainfrom
faster-runtime-analysis
Draft

martin-kolinek wants to merge 9 commits into
mainfrom
faster-runtime-analysis

Conversation

@martin-kolinek

@martin-kolinek martin-kolinek commented Sep 17, 2026

Copy link
Copy Markdown
Collaborator

🤖 This narrows Miri to checks that provide memory-safety value and scales native stress/property breadth under cfg(miri) while preserving normal test workloads.

Summary

  • excludes safe build/integration crates and low-value test modules from their own Miri runs
  • scales deep-path, sampling, allocation, synchronization, and pseudo-fuzz workloads only under Miri
  • retains direct unsafe allocator, arena, recorder, callback, resolver, and concurrency coverage
  • updates the generated cargo-anvil catalog to 0.11.0, including affected-package-scoped LCOV exports
  • documents the runtime-analysis validation boundary and exclusion criteria

Runtime impact

  • original full runtime-analysis baseline: 5,637s (1h 33m 57s)
  • best comparable optimized run: 1,772s (29m 32s), a 68.6% reduction
  • latest cold run: 2,012s (33m 32s), showing expected compile/scheduling variance
  • targeted package reductions include Internity 251s → 111s, HTTP Extensions 232s → 189s, Performables 217s → 41s, and WinHTTP Impl 194s → 161s

Validation

  • just anvil-pr-fast with the cargo-anvil 0.11.0 generated catalog
  • ANVIL_IMPACT=off just anvil-pr-runtime-analysis
  • package-scoped just anvil-miri --package ... checks for every changed runtime-sensitive crate
  • targeted native test suites
  • just anvil-fmt
  • just anvil-clippy
  • just anvil-cargo-sort
  • just anvil-readme-check
  • just anvil-spellcheck

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@codecov

codecov Bot commented Sep 17, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 100.0%. Comparing base (36b9e57) to head (2eeddc5).

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #767   +/-   ##
=======================================
  Coverage   100.0%   100.0%           
=======================================
  Files         640      638    -2     
  Lines       85528    85525    -3     
=======================================
- Hits        85528    85525    -3     
Flag Coverage Δ
linux 100.0% <100.0%> (ø)
linux-arm 100.0% <100.0%> (ø)
scheduled ?
windows 100.0% <100.0%> (+<0.1%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

martin-kolinek and others added 4 commits September 18, 2026 15:00
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
martin-kolinek and others added 4 commits September 18, 2026 20:18
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
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