git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

author	Markus Westerlind <markus.westerlind@distilnetworks.com>
	Mon, 24 Feb 2020 09:40:36 +0000 (10:40 +0100)
committer	Markus Westerlind <markus.westerlind@distilnetworks.com>
	Tue, 5 May 2020 08:03:13 +0000 (10:03 +0200)
commit	1506b1fc6a42dda3e56789f43587448cc5bf4a36
tree	b469970b042b8c02f779c0010790bdde9db253e5	tree \| snapshot
parent	61621e2667869a9c6cc153d10f84b8850fd64494	commit \| diff

perf: Reduce snapshot/rollback overhead

By merging the undo_log of all structures part of the snapshot the cost
of creating a snapshot becomes much cheaper. Since snapshots with no or
few changes are so frequent this ends up mattering more than the slight
overhead of dispatching on the variants that map to each field.

15 files changed:

Cargo.lock		diff \| blob \| history
Cargo.toml		diff \| blob \| history
src/librustc_data_structures/lib.rs		diff \| blob \| history
src/librustc_infer/infer/combine.rs		diff \| blob \| history
src/librustc_infer/infer/equate.rs		diff \| blob \| history
src/librustc_infer/infer/error_reporting/need_type_info.rs		diff \| blob \| history
src/librustc_infer/infer/freshen.rs		diff \| blob \| history
src/librustc_infer/infer/fudge.rs		diff \| blob \| history
src/librustc_infer/infer/lattice.rs		diff \| blob \| history
src/librustc_infer/infer/mod.rs		diff \| blob \| history
src/librustc_infer/infer/nll_relate/mod.rs		diff \| blob \| history
src/librustc_infer/infer/resolve.rs		diff \| blob \| history
src/librustc_infer/infer/sub.rs		diff \| blob \| history
src/librustc_infer/infer/type_variable.rs		diff \| blob \| history
src/librustc_middle/infer/unify_key.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom