perf: Only process changed obligations in ObligationForest - #69218

Closed

Marwes wants to merge 25 commits into

rust-lang:masterfrom

Marwes:fulfill_next

Commits on Oct 26, 2020

perf: Avoid allocating a new Vec on each stall
Markus Westerlind
committed
85bbd7d
perf: Only process changed obligations in ObligationForest
Markus Westerlind
committed
4cf514a
perf: Avoid logging unifications that ObligationForest do not watch
Markus Westerlind
committed
64b2bbd
refactor: Prefer copy_from_slice instead of explicit loop
Markus Westerlind
committed
bb70251
Optimize ModifiedSet for faster snapshot/rollback
Markus Westerlind
committed
65014d8
refactor: Make UnifyLog have lower overhead snapshots
Markus Westerlind
committed
6eeea05
perf: No need to track modified variables in a bitset
Markus Westerlind
committed
aa4595a
Start reading where ModifiedSet currently is
Markus Westerlind
committed
31fb673
Rebase on top of undo_log unification
Markus Westerlind
committed
cd86ce1
Clear the modified set once no snapshots exist
Markus Westerlind
committed
0f08a69
Document the additions
Markus Westerlind
committed
f5dbb04
refactor: Simplify obligation_forest
Markus Westerlind
committed
22abfb6
perf: No need to resolve variables in fulfillment
Markus Westerlind
committed
f771696
Document obligation forest changes
Markus Westerlind
committed
34f3303
Restore clearing of stalled_on before process_obligation
Markus Westerlind
committed
795c810
fix: Avoid dropping and re-registering offsets in the obligation forest

Marwes
authored and
Markus Westerlind
committed
4dcb973
Ensure that predicates that change are marked as done

Marwes
authored and
Markus Westerlind
committed
c49182b
Restore alternative predicates for obligation forest

Marwes
authored and
Markus Westerlind
committed
8e6ca04
Fix rebase
Markus Westerlind
committed
dee0521
test
Markus Westerlind
committed
a5c4370
a
Markus Westerlind
committed
cca4b12
a
Markus Westerlind
committed
929b4a9
a
Markus Westerlind
committed
22c5b94
Always use the simple obligation forest
Markus Westerlind
committed
d3d3fc4

Commits on Oct 27, 2020

Hack out unify log for perf
Markus Westerlind
committed
b27911a

Navigation Menu

Uh oh!

perf: Only process changed obligations in ObligationForest - #69218

perf: Only process changed obligations in ObligationForest#69218
Marwes wants to merge 25 commits into
rust-lang:masterfrom
Marwes:fulfill_next

Commits on Oct 26, 2020

perf: Avoid allocating a new Vec on each stall

perf: Only process changed obligations in ObligationForest

perf: Avoid logging unifications that ObligationForest do not watch

refactor: Prefer copy_from_slice instead of explicit loop

Optimize ModifiedSet for faster snapshot/rollback

refactor: Make UnifyLog have lower overhead snapshots

perf: No need to track modified variables in a bitset

Start reading where ModifiedSet currently is

Rebase on top of undo_log unification

Clear the modified set once no snapshots exist

Document the additions

refactor: Simplify obligation_forest

perf: No need to resolve variables in fulfillment

Document obligation forest changes

Restore clearing of stalled_on before process_obligation

fix: Avoid dropping and re-registering offsets in the obligation forest

Ensure that predicates that change are marked as done

Restore alternative predicates for obligation forest

Fix rebase

test

a

a

a

Always use the simple obligation forest

Commits on Oct 27, 2020

Hack out unify log for perf