]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f24d035) | patch
deduplicate RangeMap elements in iter_mut
authorRalf Jung <post@ralfj.de>
Sat, 5 Jan 2019 14:26:16 +0000 (15:26 +0100)
committerRalf Jung <post@ralfj.de>
Mon, 7 Jan 2019 14:10:22 +0000 (15:10 +0100)
commit4f9c14c256b08458c873290a5e34eb493156532e
treeb9ec1ccd1469ecbe61f20691a79becaf20fef76atree | snapshot
parentf24d0354f95615731d49a993adf2ea2983b661c1commit | diff
deduplicate RangeMap elements in iter_mut

This cuts down execution time of the benchmark in the OP of https://github.com/solson/miri/issues/593 by another 25%, and it cuts max-RSS by 90% (!)
src/lib.rs diff | blob | history
src/range_map.rs diff | blob | history
src/stacked_borrows.rs diff | blob | history
Empowering everyone to build reliable and efficient software.