oflatt-refactor-parallel - Branch - egraphs-good/egglog - CodSpeed

Blog Docs Changelog

Refactor parallelism to use local thread pool

Comparing

oflatt-refactor-parallel

(

0c4116d

) with

main

(

afd5c07

)

-7%

Regression: 1

Untouched: 27

Skipped: 190

Benchmarks

218 total

tests[herbie-tutorial]

benches/ci_benchmarking.rs

-7%

11 ms11.8 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

+2%

7 s6.8 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

+2%

9.2 s9 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

+2%

1.7 s1.7 s

tests[cykjson]

benches/ci_benchmarking.rs

+1%

370.1 ms365 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

0%

733.1 ms731.2 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

0%

5.6 s5.6 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

0%

1.9 s1.9 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

0%

8.6 s8.6 s

tests[taylor51]

benches/ci_benchmarking.rs

0%

5.3 s5.3 s

tests[herbie]

benches/ci_benchmarking.rs

0%

253.9 ms254.3 ms

tests[typeinfer]

benches/ci_benchmarking.rs

0%

239.8 ms240.1 ms

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

0%

253 ms253.5 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

0%

1.6 s1.6 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

0%

2 s2 s

tests[cykjson]

benches/ci_benchmarking.rs

0%

531.1 ms532.3 ms

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

0%

269.9 ms270.6 ms

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

-1%

37.8 ms38.1 ms

tests[taylor51]

benches/ci_benchmarking.rs

-1%

4.2 s4.3 s

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

-1%

36.5 ms36.9 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

-1%

78.3 ms79.1 ms

tests[proof_testing_unify]

benches/ci_benchmarking.rs

-1%

20.5 ms20.8 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

-2%

8.3 ms8.4 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

-2%

78.8 ms80.1 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

-2%

1 s1 s

Commits

Click on a commit to change the comparison range

Base

main

afd5c07

-6.57%

update how pools work

7a5b553

2 days ago

by oflatt

+0.34%

make ac_test also parallel

ddc8855

2 days ago

by oflatt

-21.91%

parallelism in bridge

ce462ba

1 day ago

by oflatt

+0.69%

small fix to var names

a8b42c0

1 day ago

by oflatt

-13.39%

fix wasm build

a51b469

1 day ago

by oflatt

-0.61%

try to regain performance with fewer pool initializations

b94829f

1 day ago

by oflatt

+34.68%

maybe always pool install?

0c4116d

10 hours ago

by oflatt

© 2026 CodSpeed Technology

Home Terms Privacy Docs