bors[bot] 2cb85c14b6
Merge #11281
11281: ide: parallel prime caches r=jonas-schievink a=jhgg

cache priming goes brrrr... the successor to #10149

---

this PR implements a parallel cache priming strategy that uses a topological work queue to feed a pool of worker threads the crates to index in parallel.

## todo
- [x] should we keep the old prime caches?
- [x] we should use num_cpus to detect how many cpus to use to prime caches. should we also expose a config for # of worker CPU threads to use?
- [x] something is wonky with cancellation, need to figure it out before this can merge. 

Co-authored-by: Jake Heinz <jh@discordapp.com>
2022-01-25 16:03:35 +00:00
..
2022-01-21 19:51:21 +02:00
2022-01-25 16:03:35 +00:00
2022-01-14 22:13:45 +00:00
2022-01-19 13:37:25 -06:00
2022-01-24 17:27:39 +01:00
2022-01-18 18:27:29 +01:00
2022-01-25 16:03:35 +00:00