Speed up cargo-mutants runs #274
No reviewers
Labels
No labels
priority/P0
priority/P1
priority/P2
release/v0.1.0
status/blocked
status/planned
type/bug
type/design
type/test-gap
type/tracker
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
natsukium/felis!274
Loading…
Reference in a new issue
No description provided.
Delete branch "mutants-speed"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Speed up cargo-mutants runs: profile, jobs, mold, standard recipes.
Implements the effective parts of #273, each backed by same-scope
measurements on the 12-core / 62 GB dev machine (details in the
commit bodies):
[profile.mutants](inherits = "test",debug = 0), selected viaprofile = "mutants"in.cargo/mutants.toml. Cold scratch build~38s -> ~16s; single-crate incremental rebuild ~3.1s -> ~2.2s;
test outcomes identical.
just mutantsdefaults toCARGO_MUTANTS_JOBS=4(the mutants configschema rejects a
jobskey). 18-mutant mixed set: -j1 3m49s, -j22m32s, -j4 2m26s, -j8 3m18s (target-dir lock contention), so -j4 is
the knee.
~2.1s -> ~1.6s on top of the profile); builds outside the shell and
macOS shells are untouched.
just mutants-pr(branch diff) andjust mutants-shard n/8make thePR and full-run invocations repeatable; test-strategy skill points at
them.
Deliberately not done, with reasons: RAM disk (the reflinked scratch
copy is ~51 GB, larger than the 32 GB /dev/shm), sccache (sources
differ per mutant), timeout tuning (suite runs ~8s, auto timeout ~42s
is adequate), and
--copy-target/--gitignoretuning (reflink copy is~10s and the copied target dir warms the baseline build).