Invalidate fixpoint memos after cancellation
#1100Comparing
MichaReiser:micha/fixpoint-cancellation-counter
(5c4439b
) withmaster
(e4ae47b
)+1%
- Untouched
- 26
Benchmarks
26 total
amortized[InternedInput]
benches/compare.rs::benches::inputs::Mutating Inputs+3%
2.1 µs2.1 µs
new[Input]
benches/compare.rs::benches::inputs::Mutating Inputs+3%
9.8 µs9.5 µs
mutating[20]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs+3%
14.5 µs14.2 µs
mutating[30]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs+3%
14.8 µs14.4 µs
mutating[10]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs+3%
14.7 µs14.3 µs
new[SupertypeInput]
benches/compare.rs::benches::inputs::Mutating Inputs+2%
16 µs15.6 µs
amortized[SupertypeInput]
benches/compare.rs::benches::inputs::Mutating Inputs+2%
2.7 µs2.7 µs
converge_diverge_nested
benches/dataflow.rs::benches::nested+1%
130.5 µs128.9 µs
many_tracked_structs
benches/incremental.rs::benches::many_tracked_structs+1%
8.3 µs8.3 µs
converge_diverge
benches/dataflow.rs::benches::dataflow+1%
167 µs165.6 µs
new[InternedInput]
benches/compare.rs::benches::inputs::Mutating Inputs+1%
4.7 µs4.7 µs
converge_diverge
benches/dataflow.rs::benches::dataflow0%
9.8 KB9.8 KB
mutating[20]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs0%
840 B840 B
new[SupertypeInput]
benches/compare.rs::benches::inputs::Mutating Inputs0%
165 B165 B
new[InternedInput]
benches/compare.rs::benches::inputs::Mutating Inputs0%
13 B13 B
mutating[30]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs0%
970 B970 B
mutating[10]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs0%
710 B710 B
new[Input]
benches/compare.rs::benches::inputs::Mutating Inputs0%
97 B97 B
converge_diverge_nested
benches/dataflow.rs::benches::nested0%
12.7 KB12.7 KB
accumulator
benches/accumulator.rs::benches::accumulator0%
658.4 KB658.4 KB
amortized[Input]
benches/compare.rs::benches::inputs::Mutating Inputs0%
2.1 µs2.1 µs
accumulator
benches/accumulator.rs::benches::accumulator0%
3.2 ms3.2 ms
amortized[Input]
benches/compare.rs::benches::inputs::Mutating InputsN/A
0 B0 B
amortized[InternedInput]
benches/compare.rs::benches::inputs::Mutating InputsN/A
0 B0 B
amortized[SupertypeInput]
benches/compare.rs::benches::inputs::Mutating InputsN/A
0 B0 B
Commits
Click on a commit to change the comparison rangeBase
master
e4ae47b
+5.14%
Preserve cancellation stamp for initial iterations
ce0ea9b
1 day ago
by MichaReiser-5.38%
Remove iteration state from active queries
94b1e6a
1 day ago
by MichaReiser+1.21%
More simplifications
3e9062b
1 day ago
by MichaReiser0%
Remove redundant test
5c4439b
1 day ago
by MichaReiser