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

Blog Docs Changelog

Refactor parallelism to use local thread pool

Comparing

oflatt-refactor-parallel

(

28aae0f

) with

main

(

21bd8c6

)

0%

Untouched: 38

Skipped: 190

Benchmarks

228 total

rust_rule_insert_loop[ops1000_funcs200]

benches/rust_api_benchmarking.rs

+3%

464.2 µs*451.1 µs

rust_rule_match_with_serialize[rule_run_1]

benches/rust_api_benchmarking.rs

+2%

303.7 ms*297.2 ms

rust_rule_insert_loop[ops1000_funcs200]

benches/rust_api_benchmarking.rs

+2%

713.5 µs*698.7 µs

tests[math-microbenchmark]

benches/ci_benchmarking.rs

+1%

9.2 s*9 s

tests[typeinfer]

benches/ci_benchmarking.rs

+1%

276 ms*272.5 ms

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

+1%

38.8 ms38.5 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

+1%

11.2 ms11.2 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

+1%

7 s6.9 s

tests[cykjson]

benches/ci_benchmarking.rs

+1%

368.6 ms*366.2 ms

rust_rule_match_overhead[rule_run_1]

benches/rust_api_benchmarking.rs

0%

21.1 ms*21 ms

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

0%

274.7 ms*274.1 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

0%

8.3 ms8.3 ms

tests[taylor51]

benches/ci_benchmarking.rs

0%

5.3 s5.3 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

0%

1.9 s1.9 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

0%

78.4 ms*78.3 ms

rust_rule_match_with_serialize[rule_run_1]

benches/rust_api_benchmarking.rs

0%

306 ms305.7 ms

tests[herbie]

benches/ci_benchmarking.rs

0%

253.7 ms253.5 ms

tests[herbie]

benches/ci_benchmarking.rs

0%

288.2 ms288 ms

tests[proof_testing_unify]

benches/ci_benchmarking.rs

0%

21.5 ms21.5 ms

rust_rule_fib[rule_run_1000]

benches/rust_api_benchmarking.rs

0%

287.1 ms*287 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

0%

78.8 ms78.8 ms

tests[cykjson]

benches/ci_benchmarking.rs

0%

531.4 ms531.3 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

0%

8.6 s8.6 s

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

0%

37.3 ms37.3 ms

tests[typeinfer]

benches/ci_benchmarking.rs

0%

240.2 ms240.1 ms

Commits

Click on a commit to change the comparison range

Base

main

21bd8c6

-6.57%

update how pools work

7a5b553

23 days ago

by oflatt

+0.34%

make ac_test also parallel

ddc8855

22 days ago

by oflatt

-21.91%

parallelism in bridge

ce462ba

22 days ago

by oflatt

+0.69%

small fix to var names

a8b42c0

22 days ago

by oflatt

-13.39%

fix wasm build

a51b469

22 days ago

by oflatt

-0.61%

try to regain performance with fewer pool initializations

b94829f

22 days ago

by oflatt

+34.68%

maybe always pool install?

0c4116d

21 days ago

by oflatt

+6.82%

go back to global thread pool

71db615

2 days ago

by oflatt

+2.08%

nit

802c094

2 days ago

by oflatt

-1.9%

fix up common.rs

28aae0f

2 days ago

by oflatt

© 2026 CodSpeed Technology

Home Terms Privacy Docs