Avatar for the egraphs-good user
egraphs-good
egglog
BlogDocsChangelog

Refactor parallelism in testing

#826Merged
Comparing
oflatt-refactor-parallel
(
484531a
) with
main
(
21bd8c6
)
CodSpeed Performance Gauge
-6%
Regression
1
Untouched
37
Skipped
190

Benchmarks

228 total
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-6%
38.8 ms41.2 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+4%
464.2 µs*444.3 µs
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+4%
303.7 ms*292.5 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+2%
713.5 µs*698.6 µs
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+2%
626 ms*614.1 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
7 s6.9 s
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
11.2 ms11.1 ms
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
276 ms*273.4 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
23.4 ms*23.3 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+1%
21.1 ms*21 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.7 s1.7 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
9.2 s*9.1 s
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
5.3 s5.3 s
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
288.2 ms287.6 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.3 ms8.3 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
21.5 ms21.5 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
37.3 ms37.2 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
306 ms305.7 ms
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
253.7 ms253.5 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
78.8 ms78.7 ms
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
240.2 ms240.1 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
32.4 ms32.4 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.6 s8.6 s
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
531.4 ms531.4 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
872.7 ms872.8 ms

Commits

Click on a commit to change the comparison range
Base
main
21bd8c6
-6.57%
update how pools work
7a5b553
2 months ago
by oflatt
+0.34%
make ac_test also parallel
ddc8855
2 months ago
by oflatt
-21.91%
parallelism in bridge
ce462ba
2 months ago
by oflatt
+0.69%
small fix to var names
a8b42c0
2 months ago
by oflatt
-13.39%
fix wasm build
a51b469
2 months ago
by oflatt
-0.61%
try to regain performance with fewer pool initializations
b94829f
2 months ago
by oflatt
+34.68%
maybe always pool install?
0c4116d
1 month ago
by oflatt
+6.82%
go back to global thread pool
71db615
25 days ago
by oflatt
+2.08%
nit
802c094
25 days ago
by oflatt
-1.9%
fix up common.rs
28aae0f
25 days ago
by oflatt
-0.12%
fix usage
a49b215
20 days ago
by oflatt
-6.02%
warning
484531a
20 days ago
by oflatt
© 2026 CodSpeed Technology
Home Terms Privacy Docs