fix: multithreaded nested fixpoint iteration
#882Comparing
MichaReiser:deeply-nested-error
(0c60657
) withmaster
(5750c84
)-1%
- Improvements
- 0
- Regressions
- 0
- Untouched
- 12
- New
- 0
- Dropped
- 0
- Ignored
- 0
Benchmarks
Passed
new[InternedInput]
benches/compare.rs::benches::inputs::Mutating Inputs::new[InternedInput]+3%
5.4 µs
5.2 µs
converge_diverge
benches/dataflow.rs::benches::dataflow::converge_diverge+1%
134.3 µs
133 µs
many_tracked_structs
benches/incremental.rs::benches::many_tracked_structs::many_tracked_structs0%
40.6 µs
40.5 µs
amortized[SupertypeInput]
benches/compare.rs::benches::inputs::Mutating Inputs::amortized[SupertypeInput]0%
3.7 µs
3.7 µs
amortized[InternedInput]
benches/compare.rs::benches::inputs::Mutating Inputs::amortized[InternedInput]0%
3.1 µs
3.1 µs
new[SupertypeInput]
benches/compare.rs::benches::inputs::Mutating Inputs::new[SupertypeInput]-1%
16.6 µs
16.7 µs
mutating[10]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs::mutating[10]-2%
13.7 µs
13.9 µs
mutating[30]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs::mutating[30]-2%
14 µs
14.3 µs
mutating[20]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs::mutating[20]-2%
13.9 µs
14.1 µs
accumulator
benches/accumulator.rs::benches::accumulator::accumulator-2%
4 ms
4 ms
new[Input]
benches/compare.rs::benches::inputs::Mutating Inputs::new[Input]-3%
9.8 µs
10.1 µs
amortized[Input]
benches/compare.rs::benches::inputs::Mutating Inputs::amortized[Input]-3%
3.1 µs
3.2 µs
Commits
Click on a commit to change the comparison rangeBase
master
5750c84
-5%
Add a test for a cycle with changing cycle heads
ebb9c52
1 day ago
by MichaReiser+4%
Short circuit more often
e888eb5
1 day ago
by MichaReiser-1%
Only yield if all heads result in a cycle. Retry if even just one inner cycle made progress (in which case there's a probably a new memo)
0c60657
20 hours ago
by MichaReiser