Refactor parallelism to use local thread pool
#826Comparing
oflatt-refactor-parallel
(28aae0f
) withmain
(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.rs0%
21.1 ms*21 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs0%
274.7 ms*274.1 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs0%
8.3 ms8.3 ms
tests[taylor51]
benches/ci_benchmarking.rs0%
5.3 s5.3 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs0%
1.9 s1.9 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs0%
78.4 ms*78.3 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs0%
306 ms305.7 ms
tests[herbie]
benches/ci_benchmarking.rs0%
253.7 ms253.5 ms
tests[herbie]
benches/ci_benchmarking.rs0%
288.2 ms288 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs0%
21.5 ms21.5 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs0%
287.1 ms*287 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs0%
78.8 ms78.8 ms
tests[cykjson]
benches/ci_benchmarking.rs0%
531.4 ms531.3 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs0%
8.6 s8.6 s
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs0%
37.3 ms37.3 ms
tests[typeinfer]
benches/ci_benchmarking.rs0%
240.2 ms240.1 ms
Commits
Click on a commit to change the comparison rangeBase
main
21bd8c6
-6.57%
update how pools work
7a5b553
23 days ago
by oflatt+0.34%
make ac_test also parallel
ddc8855
23 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