graph.rs 51.2 KB
Newer Older
1
use parking_lot::Mutex;
2
use rustc_data_structures::fingerprint::Fingerprint;
3
use rustc_data_structures::fx::{FxHashMap, FxHashSet};
R
Ryan Levick 已提交
4
use rustc_data_structures::profiling::{EventId, QueryInvocationId, SelfProfilerRef};
M
Mark Rousskov 已提交
5 6
use rustc_data_structures::sharded::{self, Sharded};
use rustc_data_structures::stable_hasher::{HashStable, StableHasher};
C
Camille GILLOT 已提交
7 8 9 10
use rustc_data_structures::steal::Steal;
use rustc_data_structures::sync::{AtomicU32, AtomicU64, Lock, Lrc, Ordering};
use rustc_index::vec::IndexVec;
use rustc_serialize::opaque::{FileEncodeResult, FileEncoder};
11
use smallvec::{smallvec, SmallVec};
12
use std::assert_matches::assert_matches;
M
Mark Rousskov 已提交
13
use std::collections::hash_map::Entry;
C
Camille GILLOT 已提交
14
use std::fmt::Debug;
15
use std::hash::Hash;
C
Camille GILLOT 已提交
16
use std::marker::PhantomData;
M
Michael Woerister 已提交
17
use std::sync::atomic::Ordering::Relaxed;
18 19

use super::query::DepGraphQuery;
C
Camille GILLOT 已提交
20
use super::serialized::{GraphEncoder, SerializedDepGraph, SerializedDepNodeIndex};
21
use super::{DepContext, DepKind, DepNode, HasDepContext, WorkProductId};
22
use crate::ich::StableHashingContext;
23
use crate::query::{QueryContext, QuerySideEffects};
24

C
Camille GILLOT 已提交
25 26 27
#[cfg(debug_assertions)]
use {super::debug::EdgeFilter, std::env};

28
#[derive(Clone)]
29 30
pub struct DepGraph<K: DepKind> {
    data: Option<Lrc<DepGraphData<K>>>,
31 32 33

    /// This field is used for assigning DepNodeIndices when running in
    /// non-incremental mode. Even in non-incremental mode we make sure that
34
    /// each task has a `DepNodeIndex` that uniquely identifies it. This unique
35 36
    /// ID is used for self-profiling.
    virtual_dep_node_index: Lrc<AtomicU32>,
37 38
}

39
rustc_index::newtype_index! {
40 41
    pub struct DepNodeIndex { .. }
}
42 43

impl DepNodeIndex {
44
    pub const INVALID: DepNodeIndex = DepNodeIndex::MAX;
45
    pub const SINGLETON_DEPENDENCYLESS_ANON_NODE: DepNodeIndex = DepNodeIndex::from_u32(0);
46
    pub const FOREVER_RED_NODE: DepNodeIndex = DepNodeIndex::from_u32(1);
47 48
}

49 50 51
impl std::convert::From<DepNodeIndex> for QueryInvocationId {
    #[inline]
    fn from(dep_node_index: DepNodeIndex) -> Self {
M
Michael Woerister 已提交
52
        QueryInvocationId(dep_node_index.as_u32())
53 54 55
    }
}

56
#[derive(PartialEq)]
57 58
pub enum DepNodeColor {
    Red,
M
Mark Rousskov 已提交
59
    Green(DepNodeIndex),
60 61
}

62 63 64 65 66 67 68 69 70
impl DepNodeColor {
    pub fn is_green(self) -> bool {
        match self {
            DepNodeColor::Red => false,
            DepNodeColor::Green(_) => true,
        }
    }
}

71
struct DepGraphData<K: DepKind> {
72 73 74
    /// The new encoding of the dependency graph, optimized for red/green
    /// tracking. The `current` field is the dependency graph of only the
    /// current compilation session: We don't merge the previous dep-graph into
75
    /// current one anymore, but we do reference shared data to save space.
76
    current: CurrentDepGraph<K>,
77

78 79
    /// The dep-graph from the previous compilation session. It contains all
    /// nodes and edges as well as all fingerprints of nodes that have them.
C
Camille GILLOT 已提交
80
    previous: SerializedDepGraph<K>,
81

82
    colors: DepNodeColorMap,
83

84
    processed_side_effects: Mutex<FxHashSet<DepNodeIndex>>,
85

A
Alexander Regueiro 已提交
86
    /// When we load, there may be `.o` files, cached MIR, or other such
87 88 89
    /// things available to us. If we find that they are not dirty, we
    /// load the path to the file storing those work-products here into
    /// this map. We can later look for and extract that data.
90
    previous_work_products: FxHashMap<WorkProductId, WorkProduct>,
91

92
    dep_node_debug: Lock<FxHashMap<DepNode<K>, String>>,
93 94 95 96 97

    /// Used by incremental compilation tests to assert that
    /// a particular query result was decoded from disk
    /// (not just marked green)
    debug_loaded_from_disk: Lock<FxHashSet<DepNode<K>>>,
98 99
}

C
Camille GILLOT 已提交
100
pub fn hash_result<R>(hcx: &mut StableHashingContext<'_>, result: &R) -> Fingerprint
101
where
102
    R: for<'a> HashStable<StableHashingContext<'a>>,
103 104 105
{
    let mut stable_hasher = StableHasher::new();
    result.hash_stable(hcx, &mut stable_hasher);
C
Camille GILLOT 已提交
106
    stable_hasher.finish()
107 108
}

109
impl<K: DepKind> DepGraph<K> {
M
Mark Rousskov 已提交
110
    pub fn new(
111
        profiler: &SelfProfilerRef,
C
Camille GILLOT 已提交
112
        prev_graph: SerializedDepGraph<K>,
M
Mark Rousskov 已提交
113
        prev_work_products: FxHashMap<WorkProductId, WorkProduct>,
C
Camille GILLOT 已提交
114 115 116
        encoder: FileEncoder,
        record_graph: bool,
        record_stats: bool,
117
    ) -> DepGraph<K> {
118 119
        let prev_graph_node_count = prev_graph.node_count();

120 121 122 123 124 125 126
        let current = CurrentDepGraph::new(
            profiler,
            prev_graph_node_count,
            encoder,
            record_graph,
            record_stats,
        );
127

128 129
        let colors = DepNodeColorMap::new(prev_graph_node_count);

130
        // Instantiate a dependy-less node only once for anonymous queries.
131 132 133 134 135 136
        let _green_node_index = current.intern_new_node(
            profiler,
            DepNode { kind: DepKind::NULL, hash: current.anon_id_seed.into() },
            smallvec![],
            Fingerprint::ZERO,
        );
137
        debug_assert_eq!(_green_node_index, DepNodeIndex::SINGLETON_DEPENDENCYLESS_ANON_NODE);
138

139 140 141 142 143 144 145 146 147 148 149 150
        // Instantiate a dependy-less red node only once for anonymous queries.
        let (_red_node_index, _prev_and_index) = current.intern_node(
            profiler,
            &prev_graph,
            DepNode { kind: DepKind::NULL, hash: Fingerprint::ZERO.into() },
            smallvec![],
            None,
            false,
        );
        debug_assert_eq!(_red_node_index, DepNodeIndex::FOREVER_RED_NODE);
        debug_assert!(matches!(_prev_and_index, None | Some((_, DepNodeColor::Red))));

151
        DepGraph {
152
            data: Some(Lrc::new(DepGraphData {
153
                previous_work_products: prev_work_products,
154
                dep_node_debug: Default::default(),
155
                current,
156
                processed_side_effects: Default::default(),
157
                previous: prev_graph,
158
                colors,
159
                debug_loaded_from_disk: Default::default(),
160
            })),
161
            virtual_dep_node_index: Lrc::new(AtomicU32::new(0)),
162 163 164
        }
    }

165
    pub fn new_disabled() -> DepGraph<K> {
166
        DepGraph { data: None, virtual_dep_node_index: Lrc::new(AtomicU32::new(0)) }
167 168
    }

A
Alexander Regueiro 已提交
169
    /// Returns `true` if we are actually building the full dep-graph, and `false` otherwise.
170 171
    #[inline]
    pub fn is_fully_enabled(&self) -> bool {
172
        self.data.is_some()
173 174
    }

C
Camille GILLOT 已提交
175 176 177
    pub fn with_query(&self, f: impl Fn(&DepGraphQuery<K>)) {
        if let Some(data) = &self.data {
            data.current.encoder.borrow().with_query(f)
178
        }
179 180
    }

M
Mark Rousskov 已提交
181
    pub fn assert_ignored(&self) {
J
John Kåre Alsaker 已提交
182
        if let Some(..) = self.data {
183
            K::read_deps(|task_deps| {
184 185 186 187 188
                assert_matches!(
                    task_deps,
                    TaskDepsRef::Ignore,
                    "expected no task dependency tracking"
                );
189
            })
190
        }
191 192
    }

M
Mark Rousskov 已提交
193 194 195
    pub fn with_ignore<OP, R>(&self, op: OP) -> R
    where
        OP: FnOnce() -> R,
196
    {
197
        K::with_deps(TaskDepsRef::Ignore, op)
198 199
    }

A
Aaron Hill 已提交
200 201 202 203 204 205 206 207 208 209 210 211 212 213
    /// Used to wrap the deserialization of a query result from disk,
    /// This method enforces that no new `DepNodes` are created during
    /// query result deserialization.
    ///
    /// Enforcing this makes the query dep graph simpler - all nodes
    /// must be created during the query execution, and should be
    /// created from inside the 'body' of a query (the implementation
    /// provided by a particular compiler crate).
    ///
    /// Consider the case of three queries `A`, `B`, and `C`, where
    /// `A` invokes `B` and `B` invokes `C`:
    ///
    /// `A -> B -> C`
    ///
A
Aaron Hill 已提交
214 215 216
    /// Suppose that decoding the result of query `B` required re-computing
    /// the query `C`. If we did not create a fresh `TaskDeps` when
    /// decoding `B`, we would still be using the `TaskDeps` for query `A`
A
Aaron Hill 已提交
217
    /// (if we needed to re-execute `A`). This would cause us to create
A
Aaron Hill 已提交
218
    /// a new edge `A -> C`. If this edge did not previously
A
Aaron Hill 已提交
219 220 221 222
    /// exist in the `DepGraph`, then we could end up with a different
    /// `DepGraph` at the end of compilation, even if there were no
    /// meaningful changes to the overall program (e.g. a newline was added).
    /// In addition, this edge might cause a subsequent compilation run
A
Aaron Hill 已提交
223 224
    /// to try to force `C` before marking other necessary nodes green. If
    /// `C` did not exist in the new compilation session, then we could
A
Aaron Hill 已提交
225 226
    /// get an ICE. Normally, we would have tried (and failed) to mark
    /// some other query green (e.g. `item_children`) which was used
A
Aaron Hill 已提交
227
    /// to obtain `C`, which would prevent us from ever trying to force
A
Aaron Hill 已提交
228 229 230 231 232 233 234 235 236
    /// a non-existent `D`.
    ///
    /// It might be possible to enforce that all `DepNode`s read during
    /// deserialization already exist in the previous `DepGraph`. In
    /// the above example, we would invoke `D` during the deserialization
    /// of `B`. Since we correctly create a new `TaskDeps` from the decoding
    /// of `B`, this would result in an edge `B -> D`. If that edge already
    /// existed (with the same `DepPathHash`es), then it should be correct
    /// to allow the invocation of the query to proceed during deserialization
A
Aaron Hill 已提交
237 238 239 240 241 242
    /// of a query result. We would merely assert that the dep-graph fragment
    /// that would have been added by invoking `C` while decoding `B`
    /// is equivalent to the dep-graph fragment that we already instantiated for B
    /// (at the point where we successfully marked B as green).
    ///
    /// However, this would require additional complexity
A
Aaron Hill 已提交
243 244 245 246 247 248 249
    /// in the query infrastructure, and is not currently needed by the
    /// decoding of any query results. Should the need arise in the future,
    /// we should consider extending the query system with this functionality.
    pub fn with_query_deserialization<OP, R>(&self, op: OP) -> R
    where
        OP: FnOnce() -> R,
    {
250
        K::with_deps(TaskDepsRef::Forbid, op)
A
Aaron Hill 已提交
251 252
    }

253 254 255 256 257 258
    /// Starts a new dep-graph task. Dep-graph tasks are specified
    /// using a free function (`task`) and **not** a closure -- this
    /// is intentional because we want to exercise tight control over
    /// what state they have access to. In particular, we want to
    /// prevent implicit 'leaks' of tracked state into the task (which
    /// could then be read without generating correct edges in the
259
    /// dep-graph -- see the [rustc dev guide] for more details on
M
Malo Jaffré 已提交
260
    /// the dep-graph). To this end, the task function gets exactly two
261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278
    /// pieces of state: the context `cx` and an argument `arg`. Both
    /// of these bits of state must be of some type that implements
    /// `DepGraphSafe` and hence does not leak.
    ///
    /// The choice of two arguments is not fundamental. One argument
    /// would work just as well, since multiple values can be
    /// collected using tuples. However, using two arguments works out
    /// to be quite convenient, since it is common to need a context
    /// (`cx`) and some argument (e.g., a `DefId` identifying what
    /// item to process).
    ///
    /// For cases where you need some other number of arguments:
    ///
    /// - If you only need one argument, just use `()` for the `arg`
    ///   parameter.
    /// - If you need 3+ arguments, use a tuple for the
    ///   `arg` parameter.
    ///
279
    /// [rustc dev guide]: https://rustc-dev-guide.rust-lang.org/incremental-compilation.html
C
Camille GILLOT 已提交
280
    pub fn with_task<Ctxt: HasDepContext<DepKind = K>, A: Debug, R>(
281
        &self,
282
        key: DepNode<K>,
283
        cx: Ctxt,
284
        arg: A,
285
        task: fn(Ctxt, A) -> R,
C
Camille GILLOT 已提交
286
        hash_result: Option<fn(&mut StableHashingContext<'_>, &R) -> Fingerprint>,
287
    ) -> (R, DepNodeIndex) {
C
Camille GILLOT 已提交
288 289 290 291 292 293 294 295 296
        if self.is_fully_enabled() {
            self.with_task_impl(key, cx, arg, task, hash_result)
        } else {
            // Incremental compilation is turned off. We just execute the task
            // without tracking. We still provide a dep-node index that uniquely
            // identifies the task so that we have a cheap way of referring to
            // the query for self-profiling.
            (task(cx, arg), self.next_virtual_depnode_index())
        }
J
John Kåre Alsaker 已提交
297 298
    }

C
Camille GILLOT 已提交
299
    fn with_task_impl<Ctxt: HasDepContext<DepKind = K>, A: Debug, R>(
J
John Kåre Alsaker 已提交
300
        &self,
301
        key: DepNode<K>,
302
        cx: Ctxt,
J
John Kåre Alsaker 已提交
303
        arg: A,
304
        task: fn(Ctxt, A) -> R,
C
Camille GILLOT 已提交
305
        hash_result: Option<fn(&mut StableHashingContext<'_>, &R) -> Fingerprint>,
306
    ) -> (R, DepNodeIndex) {
C
Camille GILLOT 已提交
307 308 309 310 311 312 313 314 315 316 317
        // This function is only called when the graph is enabled.
        let data = self.data.as_ref().unwrap();

        // If the following assertion triggers, it can have two reasons:
        // 1. Something is wrong with DepNode creation, either here or
        //    in `DepGraph::try_mark_green()`.
        // 2. Two distinct query keys get mapped to the same `DepNode`
        //    (see for example #48923).
        assert!(
            !self.dep_node_exists(&key),
            "forcing query with already existing `DepNode`\n\
C
Camille GILLOT 已提交
318 319
                 - query-key: {:?}\n\
                 - dep-node: {:?}",
C
Camille GILLOT 已提交
320 321 322
            arg,
            key
        );
C
Camille GILLOT 已提交
323

C
Camille GILLOT 已提交
324
        let task_deps = if cx.dep_context().is_eval_always(key.kind) {
C
Camille GILLOT 已提交
325 326 327 328 329 330 331 332 333 334
            None
        } else {
            Some(Lock::new(TaskDeps {
                #[cfg(debug_assertions)]
                node: Some(key),
                reads: SmallVec::new(),
                read_set: Default::default(),
                phantom_data: PhantomData,
            }))
        };
335 336 337 338 339 340 341

        let task_deps_ref = match &task_deps {
            Some(deps) => TaskDepsRef::Allow(deps),
            None => TaskDepsRef::Ignore,
        };

        let result = K::with_deps(task_deps_ref, || task(cx, arg));
C
Camille GILLOT 已提交
342 343 344 345
        let edges = task_deps.map_or_else(|| smallvec![], |lock| lock.into_inner().reads);

        let dcx = cx.dep_context();
        let hashing_timer = dcx.profiler().incr_result_hashing();
346 347
        let current_fingerprint =
            hash_result.map(|f| dcx.with_stable_hashing_context(|mut hcx| f(&mut hcx, &result)));
C
Camille GILLOT 已提交
348 349 350 351 352 353 354 355 356 357 358 359

        let print_status = cfg!(debug_assertions) && dcx.sess().opts.debugging_opts.dep_tasks;

        // Intern the new `DepNode`.
        let (dep_node_index, prev_and_color) = data.current.intern_node(
            dcx.profiler(),
            &data.previous,
            key,
            edges,
            current_fingerprint,
            print_status,
        );
R
Ryan Levick 已提交
360

C
Camille GILLOT 已提交
361
        hashing_timer.finish_with_query_invocation_id(dep_node_index.into());
362

C
Camille GILLOT 已提交
363 364 365 366
        if let Some((prev_index, color)) = prev_and_color {
            debug_assert!(
                data.colors.get(prev_index).is_none(),
                "DepGraph::with_task() - Duplicate DepNodeColor \
M
Mark Rousskov 已提交
367
                            insertion for {:?}",
C
Camille GILLOT 已提交
368 369
                key
            );
370

C
Camille GILLOT 已提交
371
            data.colors.insert(prev_index, color);
372
        }
C
Camille GILLOT 已提交
373 374

        (result, dep_node_index)
375 376
    }

A
Alexander Regueiro 已提交
377 378
    /// Executes something within an "anonymous" task, that is, a task the
    /// `DepNode` of which is determined by the list of inputs it read from.
C
Camille GILLOT 已提交
379 380 381 382 383 384
    pub fn with_anon_task<Ctxt: DepContext<DepKind = K>, OP, R>(
        &self,
        cx: Ctxt,
        dep_kind: K,
        op: OP,
    ) -> (R, DepNodeIndex)
M
Mark Rousskov 已提交
385 386
    where
        OP: FnOnce() -> R,
387
    {
C
Camille GILLOT 已提交
388
        debug_assert!(!cx.is_eval_always(dep_kind));
389

390
        if let Some(ref data) = self.data {
391
            let task_deps = Lock::new(TaskDeps::default());
392
            let result = K::with_deps(TaskDepsRef::Allow(&task_deps), op);
393
            let task_deps = task_deps.into_inner();
394 395 396 397
            let task_deps = task_deps.reads;

            let dep_node_index = match task_deps.len() {
                0 => {
398 399 400 401 402 403
                    // Because the dep-node id of anon nodes is computed from the sets of its
                    // dependencies we already know what the ID of this dependency-less node is
                    // going to be (i.e. equal to the precomputed
                    // `SINGLETON_DEPENDENCYLESS_ANON_NODE`). As a consequence we can skip creating
                    // a `StableHasher` and sending the node through interning.
                    DepNodeIndex::SINGLETON_DEPENDENCYLESS_ANON_NODE
404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432
                }
                1 => {
                    // When there is only one dependency, don't bother creating a node.
                    task_deps[0]
                }
                _ => {
                    // The dep node indices are hashed here instead of hashing the dep nodes of the
                    // dependencies. These indices may refer to different nodes per session, but this isn't
                    // a problem here because we that ensure the final dep node hash is per session only by
                    // combining it with the per session random number `anon_id_seed`. This hash only need
                    // to map the dependencies to a single value on a per session basis.
                    let mut hasher = StableHasher::new();
                    task_deps.hash(&mut hasher);

                    let target_dep_node = DepNode {
                        kind: dep_kind,
                        // Fingerprint::combine() is faster than sending Fingerprint
                        // through the StableHasher (at least as long as StableHasher
                        // is so slow).
                        hash: data.current.anon_id_seed.combine(hasher.finish()).into(),
                    };

                    data.current.intern_new_node(
                        cx.profiler(),
                        target_dep_node,
                        task_deps,
                        Fingerprint::ZERO,
                    )
                }
433 434
            };

435
            (result, dep_node_index)
436
        } else {
437
            (op(), self.next_virtual_depnode_index())
438 439 440
        }
    }

441
    #[inline]
442
    pub fn read_index(&self, dep_node_index: DepNodeIndex) {
443
        if let Some(ref data) = self.data {
444
            K::read_deps(|task_deps| {
445 446 447 448 449
                let mut task_deps = match task_deps {
                    TaskDepsRef::Allow(deps) => deps.lock(),
                    TaskDepsRef::Ignore => return,
                    TaskDepsRef::Forbid => {
                        panic!("Illegal read of: {:?}", dep_node_index)
450
                    }
451 452
                };
                let task_deps = &mut *task_deps;
453

454 455 456
                if cfg!(debug_assertions) {
                    data.current.total_read_count.fetch_add(1, Relaxed);
                }
457

458 459 460 461 462 463 464 465 466 467 468 469 470 471
                // As long as we only have a low number of reads we can avoid doing a hash
                // insert and potentially allocating/reallocating the hashmap
                let new_read = if task_deps.reads.len() < TASK_DEPS_READS_CAP {
                    task_deps.reads.iter().all(|other| *other != dep_node_index)
                } else {
                    task_deps.read_set.insert(dep_node_index)
                };
                if new_read {
                    task_deps.reads.push(dep_node_index);
                    if task_deps.reads.len() == TASK_DEPS_READS_CAP {
                        // Fill `read_set` with what we have so far so we can use the hashset
                        // next time
                        task_deps.read_set.extend(task_deps.reads.iter().copied());
                    }
472

473 474 475 476 477 478 479
                    #[cfg(debug_assertions)]
                    {
                        if let Some(target) = task_deps.node {
                            if let Some(ref forbidden_edge) = data.current.forbidden_edge {
                                let src = forbidden_edge.index_to_node.lock()[&dep_node_index];
                                if forbidden_edge.test(&src, &target) {
                                    panic!("forbidden edge {:?} -> {:?} created", src, target)
480 481 482 483
                                }
                            }
                        }
                    }
484 485
                } else if cfg!(debug_assertions) {
                    data.current.total_duplicate_read_count.fetch_add(1, Relaxed);
486 487
                }
            })
488
        }
489 490
    }

491
    #[inline]
492 493
    pub fn dep_node_index_of(&self, dep_node: &DepNode<K>) -> DepNodeIndex {
        self.dep_node_index_of_opt(dep_node).unwrap()
494 495
    }

496
    #[inline]
497 498 499 500 501 502 503 504 505
    pub fn dep_node_index_of_opt(&self, dep_node: &DepNode<K>) -> Option<DepNodeIndex> {
        let data = self.data.as_ref().unwrap();
        let current = &data.current;

        if let Some(prev_index) = data.previous.node_to_index_opt(dep_node) {
            current.prev_index_to_index.lock()[prev_index]
        } else {
            current.new_node_to_index.get_shard_by_value(dep_node).lock().get(dep_node).copied()
        }
506 507
    }

508
    #[inline]
509
    pub fn dep_node_exists(&self, dep_node: &DepNode<K>) -> bool {
510 511 512
        self.data.is_some() && self.dep_node_index_of_opt(dep_node).is_some()
    }

513
    pub fn prev_fingerprint_of(&self, dep_node: &DepNode<K>) -> Option<Fingerprint> {
514
        self.data.as_ref().unwrap().previous.fingerprint_of(dep_node)
515 516
    }

A
Alexander Regueiro 已提交
517
    /// Checks whether a previous work product exists for `v` and, if
518
    /// so, return the path that leads to it. Used to skip doing work.
519
    pub fn previous_work_product(&self, v: &WorkProductId) -> Option<WorkProduct> {
M
Mark Rousskov 已提交
520
        self.data.as_ref().and_then(|data| data.previous_work_products.get(v).cloned())
521 522
    }

523 524
    /// Access the map of work-products created during the cached run. Only
    /// used during saving of the dep-graph.
525 526
    pub fn previous_work_products(&self) -> &FxHashMap<WorkProductId, WorkProduct> {
        &self.data.as_ref().unwrap().previous_work_products
527
    }
528

529 530 531 532 533 534 535 536
    pub fn mark_debug_loaded_from_disk(&self, dep_node: DepNode<K>) {
        self.data.as_ref().unwrap().debug_loaded_from_disk.lock().insert(dep_node);
    }

    pub fn debug_was_loaded_from_disk(&self, dep_node: DepNode<K>) -> bool {
        self.data.as_ref().unwrap().debug_loaded_from_disk.lock().contains(&dep_node)
    }

537
    #[inline(always)]
538
    pub fn register_dep_node_debug_str<F>(&self, dep_node: DepNode<K>, debug_str_gen: F)
M
Mark Rousskov 已提交
539 540
    where
        F: FnOnce() -> String,
541
    {
542
        let dep_node_debug = &self.data.as_ref().unwrap().dep_node_debug;
543

544
        if dep_node_debug.borrow().contains_key(&dep_node) {
M
Mark Rousskov 已提交
545
            return;
546 547 548
        }
        let debug_str = debug_str_gen();
        dep_node_debug.borrow_mut().insert(dep_node, debug_str);
549 550
    }

551
    pub fn dep_node_debug_str(&self, dep_node: DepNode<K>) -> Option<String> {
M
Mark Rousskov 已提交
552
        self.data.as_ref()?.dep_node_debug.borrow().get(&dep_node).cloned()
553
    }
554

C
Camille GILLOT 已提交
555
    fn node_color(&self, dep_node: &DepNode<K>) -> Option<DepNodeColor> {
556 557
        if let Some(ref data) = self.data {
            if let Some(prev_index) = data.previous.node_to_index_opt(dep_node) {
M
Mark Rousskov 已提交
558
                return data.colors.get(prev_index);
559
            } else {
C
Camille GILLOT 已提交
560 561
                // This is a node that did not exist in the previous compilation session.
                return None;
562 563 564 565
            }
        }

        None
566 567
    }

C
Camille GILLOT 已提交
568 569
    /// Try to mark a node index for the node dep_node.
    ///
570 571 572
    /// A node will have an index, when it's already been marked green, or when we can mark it
    /// green. This function will mark the current task as a reader of the specified node, when
    /// a node index can be found for that node.
573
    pub fn try_mark_green<Ctxt: QueryContext<DepKind = K>>(
574
        &self,
575 576
        tcx: Ctxt,
        dep_node: &DepNode<K>,
577
    ) -> Option<(SerializedDepNodeIndex, DepNodeIndex)> {
C
Camille GILLOT 已提交
578
        debug_assert!(!tcx.dep_context().is_eval_always(dep_node.kind));
579

580 581 582 583 584 585 586 587 588
        // Return None if the dep graph is disabled
        let data = self.data.as_ref()?;

        // Return None if the dep node didn't exist in the previous session
        let prev_index = data.previous.node_to_index_opt(dep_node)?;

        match data.colors.get(prev_index) {
            Some(DepNodeColor::Green(dep_node_index)) => Some((prev_index, dep_node_index)),
            Some(DepNodeColor::Red) => None,
589
            None => {
J
John Kåre Alsaker 已提交
590 591 592 593
                // This DepNode and the corresponding query invocation existed
                // in the previous compilation session too, so we can try to
                // mark it as green by recursively marking all of its
                // dependencies green.
M
Mark Rousskov 已提交
594 595
                self.try_mark_previous_green(tcx, data, prev_index, &dep_node)
                    .map(|dep_node_index| (prev_index, dep_node_index))
596
            }
597 598
        }
    }
599

600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637
    fn try_mark_parent_green<Ctxt: QueryContext<DepKind = K>>(
        &self,
        tcx: Ctxt,
        data: &DepGraphData<K>,
        parent_dep_node_index: SerializedDepNodeIndex,
        dep_node: &DepNode<K>,
    ) -> Option<()> {
        let dep_dep_node_color = data.colors.get(parent_dep_node_index);
        let dep_dep_node = &data.previous.index_to_node(parent_dep_node_index);

        match dep_dep_node_color {
            Some(DepNodeColor::Green(_)) => {
                // This dependency has been marked as green before, we are
                // still fine and can continue with checking the other
                // dependencies.
                debug!(
                    "try_mark_previous_green({:?}) --- found dependency {:?} to \
                            be immediately green",
                    dep_node, dep_dep_node,
                );
                return Some(());
            }
            Some(DepNodeColor::Red) => {
                // We found a dependency the value of which has changed
                // compared to the previous compilation session. We cannot
                // mark the DepNode as green and also don't need to bother
                // with checking any of the other dependencies.
                debug!(
                    "try_mark_previous_green({:?}) - END - dependency {:?} was immediately red",
                    dep_node, dep_dep_node,
                );
                return None;
            }
            None => {}
        }

        // We don't know the state of this dependency. If it isn't
        // an eval_always node, let's try to mark it green recursively.
C
Camille GILLOT 已提交
638
        if !tcx.dep_context().is_eval_always(dep_dep_node.kind) {
639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660
            debug!(
                "try_mark_previous_green({:?}) --- state of dependency {:?} ({}) \
                                 is unknown, trying to mark it green",
                dep_node, dep_dep_node, dep_dep_node.hash,
            );

            let node_index =
                self.try_mark_previous_green(tcx, data, parent_dep_node_index, dep_dep_node);
            if node_index.is_some() {
                debug!(
                    "try_mark_previous_green({:?}) --- managed to MARK dependency {:?} as green",
                    dep_node, dep_dep_node
                );
                return Some(());
            }
        }

        // We failed to mark it green, so we try to force the query.
        debug!(
            "try_mark_previous_green({:?}) --- trying to force dependency {:?}",
            dep_node, dep_dep_node
        );
C
Camille GILLOT 已提交
661
        if !tcx.dep_context().try_force_from_dep_node(*dep_dep_node) {
662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710
            // The DepNode could not be forced.
            debug!(
                "try_mark_previous_green({:?}) - END - dependency {:?} could not be forced",
                dep_node, dep_dep_node
            );
            return None;
        }

        let dep_dep_node_color = data.colors.get(parent_dep_node_index);

        match dep_dep_node_color {
            Some(DepNodeColor::Green(_)) => {
                debug!(
                    "try_mark_previous_green({:?}) --- managed to FORCE dependency {:?} to green",
                    dep_node, dep_dep_node
                );
                return Some(());
            }
            Some(DepNodeColor::Red) => {
                debug!(
                    "try_mark_previous_green({:?}) - END - dependency {:?} was red after forcing",
                    dep_node, dep_dep_node
                );
                return None;
            }
            None => {}
        }

        if !tcx.dep_context().sess().has_errors_or_delayed_span_bugs() {
            panic!("try_mark_previous_green() - Forcing the DepNode should have set its color")
        }

        // If the query we just forced has resulted in
        // some kind of compilation error, we cannot rely on
        // the dep-node color having been properly updated.
        // This means that the query system has reached an
        // invalid state. We let the compiler continue (by
        // returning `None`) so it can emit error messages
        // and wind down, but rely on the fact that this
        // invalid state will not be persisted to the
        // incremental compilation cache because of
        // compilation errors being present.
        debug!(
            "try_mark_previous_green({:?}) - END - dependency {:?} resulted in compilation error",
            dep_node, dep_dep_node
        );
        return None;
    }

A
Alexander Regueiro 已提交
711
    /// Try to mark a dep-node which existed in the previous compilation session as green.
712
    fn try_mark_previous_green<Ctxt: QueryContext<DepKind = K>>(
713
        &self,
714 715
        tcx: Ctxt,
        data: &DepGraphData<K>,
716
        prev_dep_node_index: SerializedDepNodeIndex,
717
        dep_node: &DepNode<K>,
718 719 720
    ) -> Option<DepNodeIndex> {
        debug!("try_mark_previous_green({:?}) - BEGIN", dep_node);

721
        #[cfg(not(parallel_compiler))]
722
        {
723
            debug_assert!(!self.dep_node_exists(dep_node));
724 725 726
            debug_assert!(data.colors.get(prev_dep_node_index).is_none());
        }

727
        // We never try to mark eval_always nodes as green
C
Camille GILLOT 已提交
728
        debug_assert!(!tcx.dep_context().is_eval_always(dep_node.kind));
729

730
        debug_assert_eq!(data.previous.index_to_node(prev_dep_node_index), *dep_node);
731 732

        let prev_deps = data.previous.edge_targets_from(prev_dep_node_index);
733

734
        for &dep_dep_node_index in prev_deps {
735
            self.try_mark_parent_green(tcx, data, dep_dep_node_index, dep_node)?
736 737 738 739
        }

        // If we got here without hitting a `return` that means that all
        // dependencies of this DepNode could be marked as green. Therefore we
J
John Kåre Alsaker 已提交
740
        // can also mark this DepNode as green.
741

J
John Kåre Alsaker 已提交
742 743
        // There may be multiple threads trying to mark the same dep node green concurrently

C
Camille GILLOT 已提交
744 745
        // We allocating an entry for the node in the current dependency graph and
        // adding all the appropriate edges imported from the previous graph
C
Camille GILLOT 已提交
746 747 748 749 750
        let dep_node_index = data.current.promote_node_and_deps_to_current(
            tcx.dep_context().profiler(),
            &data.previous,
            prev_dep_node_index,
        );
751

752
        // ... emitting any stored diagnostic ...
J
John Kåre Alsaker 已提交
753

754 755
        // FIXME: Store the fact that a node has diagnostics in a bit in the dep graph somewhere
        // Maybe store a list on disk and encode this fact in the DepNodeState
756
        let side_effects = tcx.load_side_effects(prev_dep_node_index);
757 758

        #[cfg(not(parallel_compiler))]
M
Mark Rousskov 已提交
759 760 761 762 763 764
        debug_assert!(
            data.colors.get(prev_dep_node_index).is_none(),
            "DepGraph::try_mark_previous_green() - Duplicate DepNodeColor \
                      insertion for {:?}",
            dep_node
        );
765

766
        if !side_effects.is_empty() {
767
            self.emit_side_effects(tcx, data, dep_node_index, side_effects);
768 769
        }

770
        // ... and finally storing a "Green" entry in the color map.
J
John Kåre Alsaker 已提交
771
        // Multiple threads can all write the same color here
772
        data.colors.insert(prev_dep_node_index, DepNodeColor::Green(dep_node_index));
773

774
        debug!("try_mark_previous_green({:?}) - END - successfully marked as green", dep_node);
775
        Some(dep_node_index)
776 777
    }

778 779
    /// Atomically emits some loaded diagnostics.
    /// This may be called concurrently on multiple threads for the same dep node.
780 781
    #[cold]
    #[inline(never)]
782
    fn emit_side_effects<Ctxt: QueryContext<DepKind = K>>(
783
        &self,
784 785
        tcx: Ctxt,
        data: &DepGraphData<K>,
786
        dep_node_index: DepNodeIndex,
787
        side_effects: QuerySideEffects,
788
    ) {
789
        let mut processed = data.processed_side_effects.lock();
790

791
        if processed.insert(dep_node_index) {
792
            // We were the first to insert the node in the set so this thread
793
            // must process side effects
794 795

            // Promote the previous diagnostics to the current session.
796
            tcx.store_side_effects(dep_node_index, side_effects.clone());
797

798
            let handle = tcx.dep_context().sess().diagnostic();
799

800 801
            for mut diagnostic in side_effects.diagnostics {
                handle.emit_diagnostic(&mut diagnostic);
802 803 804 805
            }
        }
    }

C
Camille GILLOT 已提交
806
    // Returns true if the given node has been marked as red during the
C
Camille GILLOT 已提交
807 808 809 810 811
    // current compilation session. Used in various assertions
    pub fn is_red(&self, dep_node: &DepNode<K>) -> bool {
        self.node_color(dep_node) == Some(DepNodeColor::Red)
    }

812 813
    // Returns true if the given node has been marked as green during the
    // current compilation session. Used in various assertions
814
    pub fn is_green(&self, dep_node: &DepNode<K>) -> bool {
815
        self.node_color(dep_node).map_or(false, |c| c.is_green())
816
    }
817

818 819 820 821 822 823 824 825
    // This method loads all on-disk cacheable query results into memory, so
    // they can be written out to the new cache file again. Most query results
    // will already be in memory but in the case where we marked something as
    // green but then did not need the value, that value will never have been
    // loaded from disk.
    //
    // This method will only load queries that will end up in the disk cache.
    // Other queries will not be executed.
826
    pub fn exec_cache_promotions<Ctxt: DepContext<DepKind = K>>(&self, tcx: Ctxt) {
827
        let _prof_timer = tcx.profiler().generic_activity("incr_comp_query_cache_promotion");
828

J
John Kåre Alsaker 已提交
829 830 831 832
        let data = self.data.as_ref().unwrap();
        for prev_index in data.colors.values.indices() {
            match data.colors.get(prev_index) {
                Some(DepNodeColor::Green(_)) => {
833
                    let dep_node = data.previous.index_to_node(prev_index);
C
Camille GILLOT 已提交
834
                    tcx.try_load_from_on_disk_cache(dep_node);
835
                }
M
Mark Rousskov 已提交
836
                None | Some(DepNodeColor::Red) => {
J
John Kåre Alsaker 已提交
837 838 839 840 841
                    // We can skip red nodes because a node can only be marked
                    // as red if the query result was recomputed and thus is
                    // already in memory.
                }
            }
842 843
        }
    }
844

845
    pub fn print_incremental_info(&self) {
C
Camille GILLOT 已提交
846 847 848 849 850
        if let Some(data) = &self.data {
            data.current.encoder.borrow().print_incremental_info(
                data.current.total_read_count.load(Relaxed),
                data.current.total_duplicate_read_count.load(Relaxed),
            )
851
        }
C
Camille GILLOT 已提交
852
    }
853

854 855 856 857
    pub fn encode(&self, profiler: &SelfProfilerRef) -> FileEncodeResult {
        if let Some(data) = &self.data {
            data.current.encoder.steal().finish(profiler)
        } else {
858
            Ok(0)
859
        }
860 861
    }

C
Camille GILLOT 已提交
862
    pub(crate) fn next_virtual_depnode_index(&self) -> DepNodeIndex {
863 864 865
        let index = self.virtual_dep_node_index.fetch_add(1, Relaxed);
        DepNodeIndex::from_u32(index)
    }
866 867 868 869 870 871 872 873 874 875
}

/// A "work product" is an intermediate result that we save into the
/// incremental directory for later re-use. The primary example are
/// the object files that we save for each partition at code
/// generation time.
///
/// Each work product is associated with a dep-node, representing the
/// process that produced the work-product. If that dep-node is found
/// to be dirty when we load up, then we will delete the work-product
N
Niko Matsakis 已提交
876
/// at load time. If the work-product is found to be clean, then we
877 878 879 880 881 882 883 884 885 886 887
/// will keep a record in the `previous_work_products` list.
///
/// In addition, work products have an associated hash. This hash is
/// an extra hash that can be used to decide if the work-product from
/// a previous compilation can be re-used (in addition to the dirty
/// edges check).
///
/// As the primary example, consider the object files we generate for
/// each partition. In the first run, we create partitions based on
/// the symbols that need to be compiled. For each partition P, we
/// hash the symbols in P and create a `WorkProduct` record associated
I
Irina Popa 已提交
888
/// with `DepNode::CodegenUnit(P)`; the hash is the set of symbols
889 890
/// in P.
///
I
Irina Popa 已提交
891
/// The next time we compile, if the `DepNode::CodegenUnit(P)` is
892 893 894 895 896 897 898
/// judged to be clean (which means none of the things we read to
/// generate the partition were found to be dirty), it will be loaded
/// into previous work products. We will then regenerate the set of
/// symbols in the partition P and hash them (note that new symbols
/// may be added -- for example, new monomorphizations -- even if
/// nothing in P changed!). We will compare that hash against the
/// previous hash. If it matches up, we can reuse the object file.
M
Matthew Jasper 已提交
899
#[derive(Clone, Debug, Encodable, Decodable)]
900
pub struct WorkProduct {
901
    pub cgu_name: String,
902
    /// Saved file associated with this CGU.
903
    pub saved_file: String,
904
}
905

906 907 908 909 910
// Index type for `DepNodeData`'s edges.
rustc_index::newtype_index! {
    struct EdgeIndex { .. }
}

911 912 913
/// `CurrentDepGraph` stores the dependency graph for the current session. It
/// will be populated as we run queries or tasks. We never remove nodes from the
/// graph: they are only added.
914
///
C
Camille GILLOT 已提交
915 916 917
/// The nodes in it are identified by a `DepNodeIndex`. We avoid keeping the nodes
/// in memory.  This is important, because these graph structures are some of the
/// largest in the compiler.
918
///
C
Camille GILLOT 已提交
919
/// For this reason, we avoid storing `DepNode`s more than once as map
920 921
/// keys. The `new_node_to_index` map only contains nodes not in the previous
/// graph, and we map nodes in the previous graph to indices via a two-step
C
Camille GILLOT 已提交
922
/// mapping. `SerializedDepGraph` maps from `DepNode` to `SerializedDepNodeIndex`,
923 924
/// and the `prev_index_to_index` vector (which is more compact and faster than
/// using a map) maps from `SerializedDepNodeIndex` to `DepNodeIndex`.
925
///
926 927 928
/// This struct uses three locks internally. The `data`, `new_node_to_index`,
/// and `prev_index_to_index` fields are locked separately. Operations that take
/// a `DepNodeIndex` typically just access the `data` field.
929
///
930
/// We only need to manipulate at most two locks simultaneously:
931 932 933
/// `new_node_to_index` and `data`, or `prev_index_to_index` and `data`. When
/// manipulating both, we acquire `new_node_to_index` or `prev_index_to_index`
/// first, and `data` second.
C
Camille GILLOT 已提交
934 935
pub(super) struct CurrentDepGraph<K: DepKind> {
    encoder: Steal<GraphEncoder<K>>,
936 937
    new_node_to_index: Sharded<FxHashMap<DepNode<K>, DepNodeIndex>>,
    prev_index_to_index: Lock<IndexVec<SerializedDepNodeIndex, Option<DepNodeIndex>>>,
938 939 940

    /// Used to trap when a specific edge is added to the graph.
    /// This is used for debug purposes and is only active with `debug_assertions`.
C
Camille GILLOT 已提交
941 942
    #[cfg(debug_assertions)]
    forbidden_edge: Option<EdgeFilter<K>>,
943

A
Alexander Regueiro 已提交
944 945 946 947 948 949 950 951 952 953 954
    /// Anonymous `DepNode`s are nodes whose IDs we compute from the list of
    /// their edges. This has the beneficial side-effect that multiple anonymous
    /// nodes can be coalesced into one without changing the semantics of the
    /// dependency graph. However, the merging of nodes can lead to a subtle
    /// problem during red-green marking: The color of an anonymous node from
    /// the current session might "shadow" the color of the node with the same
    /// ID from the previous session. In order to side-step this problem, we make
    /// sure that anonymous `NodeId`s allocated in different sessions don't overlap.
    /// This is implemented by mixing a session-key into the ID fingerprint of
    /// each anon node. The session-key is just a random number generated when
    /// the `DepGraph` is created.
955
    anon_id_seed: Fingerprint,
956

957 958
    /// These are simple counters that are for profiling and
    /// debugging and only active with `debug_assertions`.
959 960
    total_read_count: AtomicU64,
    total_duplicate_read_count: AtomicU64,
961 962 963 964 965 966

    /// The cached event id for profiling node interning. This saves us
    /// from having to look up the event id every time we intern a node
    /// which may incur too much overhead.
    /// This will be None if self-profiling is disabled.
    node_intern_event_id: Option<EventId>,
967 968
}

969
impl<K: DepKind> CurrentDepGraph<K> {
C
Camille GILLOT 已提交
970
    fn new(
971
        profiler: &SelfProfilerRef,
C
Camille GILLOT 已提交
972 973 974 975 976
        prev_graph_node_count: usize,
        encoder: FileEncoder,
        record_graph: bool,
        record_stats: bool,
    ) -> CurrentDepGraph<K> {
977 978 979
        use std::time::{SystemTime, UNIX_EPOCH};

        let duration = SystemTime::now().duration_since(UNIX_EPOCH).unwrap();
M
Mark Rousskov 已提交
980
        let nanos = duration.as_secs() * 1_000_000_000 + duration.subsec_nanos() as u64;
981 982
        let mut stable_hasher = StableHasher::new();
        nanos.hash(&mut stable_hasher);
983 984 985
        let anon_id_seed = stable_hasher.finish();
        // We rely on the fact that `anon_id_seed` is not zero when creating static nodes.
        debug_assert_ne!(anon_id_seed, Fingerprint::ZERO);
986

C
Camille GILLOT 已提交
987 988 989 990 991 992 993
        #[cfg(debug_assertions)]
        let forbidden_edge = match env::var("RUST_FORBID_DEP_GRAPH_EDGE") {
            Ok(s) => match EdgeFilter::new(&s) {
                Ok(f) => Some(f),
                Err(err) => panic!("RUST_FORBID_DEP_GRAPH_EDGE invalid: {}", err),
            },
            Err(_) => None,
994 995
        };

996 997 998 999
        // We store a large collection of these in `prev_index_to_index` during
        // non-full incremental builds, and want to ensure that the element size
        // doesn't inadvertently increase.
        static_assert_size!(Option<DepNodeIndex>, 4);
1000

C
Camille GILLOT 已提交
1001 1002
        let new_node_count_estimate = 102 * prev_graph_node_count / 100 + 200;

1003 1004 1005 1006
        let node_intern_event_id = profiler
            .get_or_alloc_cached_string("incr_comp_intern_dep_graph_node")
            .map(EventId::from_label);

1007
        CurrentDepGraph {
C
Camille GILLOT 已提交
1008 1009 1010 1011 1012 1013
            encoder: Steal::new(GraphEncoder::new(
                encoder,
                prev_graph_node_count,
                record_graph,
                record_stats,
            )),
1014
            new_node_to_index: Sharded::new(|| {
M
Mark Rousskov 已提交
1015 1016 1017 1018 1019
                FxHashMap::with_capacity_and_hasher(
                    new_node_count_estimate / sharded::SHARDS,
                    Default::default(),
                )
            }),
1020
            prev_index_to_index: Lock::new(IndexVec::from_elem_n(None, prev_graph_node_count)),
1021
            anon_id_seed,
C
Camille GILLOT 已提交
1022
            #[cfg(debug_assertions)]
1023
            forbidden_edge,
1024 1025
            total_read_count: AtomicU64::new(0),
            total_duplicate_read_count: AtomicU64::new(0),
1026
            node_intern_event_id,
1027 1028 1029
        }
    }

C
Camille GILLOT 已提交
1030 1031 1032 1033 1034 1035 1036 1037 1038
    #[cfg(debug_assertions)]
    fn record_edge(&self, dep_node_index: DepNodeIndex, key: DepNode<K>) {
        if let Some(forbidden_edge) = &self.forbidden_edge {
            forbidden_edge.index_to_node.lock().insert(dep_node_index, key);
        }
    }

    /// Writes the node to the current dep-graph and allocates a `DepNodeIndex` for it.
    /// Assumes that this is a node that has no equivalent in the previous dep-graph.
1039
    fn intern_new_node(
1040
        &self,
C
Camille GILLOT 已提交
1041
        profiler: &SelfProfilerRef,
C
Camille GILLOT 已提交
1042
        key: DepNode<K>,
1043
        edges: EdgesVec,
C
Camille GILLOT 已提交
1044
        current_fingerprint: Fingerprint,
1045
    ) -> DepNodeIndex {
C
Camille GILLOT 已提交
1046
        match self.new_node_to_index.get_shard_by_value(&key).lock().entry(key) {
1047 1048
            Entry::Occupied(entry) => *entry.get(),
            Entry::Vacant(entry) => {
C
Camille GILLOT 已提交
1049 1050
                let dep_node_index =
                    self.encoder.borrow().send(profiler, key, current_fingerprint, edges);
1051
                entry.insert(dep_node_index);
C
Camille GILLOT 已提交
1052
                #[cfg(debug_assertions)]
C
Camille GILLOT 已提交
1053
                self.record_edge(dep_node_index, key);
1054 1055 1056
                dep_node_index
            }
        }
1057 1058
    }

C
Camille GILLOT 已提交
1059
    fn intern_node(
1060
        &self,
C
Camille GILLOT 已提交
1061
        profiler: &SelfProfilerRef,
C
Camille GILLOT 已提交
1062
        prev_graph: &SerializedDepGraph<K>,
C
Camille GILLOT 已提交
1063
        key: DepNode<K>,
1064
        edges: EdgesVec,
C
Camille GILLOT 已提交
1065
        fingerprint: Option<Fingerprint>,
C
Camille GILLOT 已提交
1066 1067 1068 1069
        print_status: bool,
    ) -> (DepNodeIndex, Option<(SerializedDepNodeIndex, DepNodeColor)>) {
        let print_status = cfg!(debug_assertions) && print_status;

1070 1071 1072 1073
        // Get timer for profiling `DepNode` interning
        let _node_intern_timer =
            self.node_intern_event_id.map(|eid| profiler.generic_activity_with_event_id(eid));

C
Camille GILLOT 已提交
1074 1075
        if let Some(prev_index) = prev_graph.node_to_index_opt(&key) {
            // Determine the color and index of the new `DepNode`.
C
Camille GILLOT 已提交
1076 1077
            if let Some(fingerprint) = fingerprint {
                if fingerprint == prev_graph.fingerprint_by_index(prev_index) {
C
Camille GILLOT 已提交
1078 1079 1080
                    if print_status {
                        eprintln!("[task::green] {:?}", key);
                    }
1081

C
Camille GILLOT 已提交
1082
                    // This is a green node: it existed in the previous compilation,
C
Camille GILLOT 已提交
1083 1084 1085 1086 1087 1088 1089
                    // its query was re-executed, and it has the same result as before.
                    let mut prev_index_to_index = self.prev_index_to_index.lock();

                    let dep_node_index = match prev_index_to_index[prev_index] {
                        Some(dep_node_index) => dep_node_index,
                        None => {
                            let dep_node_index =
C
Camille GILLOT 已提交
1090
                                self.encoder.borrow().send(profiler, key, fingerprint, edges);
C
Camille GILLOT 已提交
1091 1092 1093 1094
                            prev_index_to_index[prev_index] = Some(dep_node_index);
                            dep_node_index
                        }
                    };
1095

C
Camille GILLOT 已提交
1096
                    #[cfg(debug_assertions)]
C
Camille GILLOT 已提交
1097
                    self.record_edge(dep_node_index, key);
C
Camille GILLOT 已提交
1098 1099 1100 1101 1102
                    (dep_node_index, Some((prev_index, DepNodeColor::Green(dep_node_index))))
                } else {
                    if print_status {
                        eprintln!("[task::red] {:?}", key);
                    }
1103

C
Camille GILLOT 已提交
1104 1105 1106 1107 1108 1109 1110 1111
                    // This is a red node: it existed in the previous compilation, its query
                    // was re-executed, but it has a different result from before.
                    let mut prev_index_to_index = self.prev_index_to_index.lock();

                    let dep_node_index = match prev_index_to_index[prev_index] {
                        Some(dep_node_index) => dep_node_index,
                        None => {
                            let dep_node_index =
C
Camille GILLOT 已提交
1112
                                self.encoder.borrow().send(profiler, key, fingerprint, edges);
C
Camille GILLOT 已提交
1113 1114 1115 1116
                            prev_index_to_index[prev_index] = Some(dep_node_index);
                            dep_node_index
                        }
                    };
1117

C
Camille GILLOT 已提交
1118
                    #[cfg(debug_assertions)]
C
Camille GILLOT 已提交
1119
                    self.record_edge(dep_node_index, key);
C
Camille GILLOT 已提交
1120 1121 1122 1123 1124 1125
                    (dep_node_index, Some((prev_index, DepNodeColor::Red)))
                }
            } else {
                if print_status {
                    eprintln!("[task::unknown] {:?}", key);
                }
1126

C
Camille GILLOT 已提交
1127 1128 1129 1130 1131 1132 1133 1134 1135 1136
                // This is a red node, effectively: it existed in the previous compilation
                // session, its query was re-executed, but it doesn't compute a result hash
                // (i.e. it represents a `no_hash` query), so we have no way of determining
                // whether or not the result was the same as before.
                let mut prev_index_to_index = self.prev_index_to_index.lock();

                let dep_node_index = match prev_index_to_index[prev_index] {
                    Some(dep_node_index) => dep_node_index,
                    None => {
                        let dep_node_index =
C
Camille GILLOT 已提交
1137
                            self.encoder.borrow().send(profiler, key, Fingerprint::ZERO, edges);
C
Camille GILLOT 已提交
1138 1139 1140 1141 1142 1143
                        prev_index_to_index[prev_index] = Some(dep_node_index);
                        dep_node_index
                    }
                };

                #[cfg(debug_assertions)]
C
Camille GILLOT 已提交
1144
                self.record_edge(dep_node_index, key);
C
Camille GILLOT 已提交
1145
                (dep_node_index, Some((prev_index, DepNodeColor::Red)))
1146
            }
C
Camille GILLOT 已提交
1147 1148 1149 1150 1151
        } else {
            if print_status {
                eprintln!("[task::new] {:?}", key);
            }

C
Camille GILLOT 已提交
1152
            let fingerprint = fingerprint.unwrap_or(Fingerprint::ZERO);
C
Camille GILLOT 已提交
1153 1154

            // This is a new node: it didn't exist in the previous compilation session.
C
Camille GILLOT 已提交
1155
            let dep_node_index = self.intern_new_node(profiler, key, edges, fingerprint);
C
Camille GILLOT 已提交
1156 1157

            (dep_node_index, None)
1158 1159 1160
        }
    }

C
Camille GILLOT 已提交
1161
    fn promote_node_and_deps_to_current(
1162
        &self,
C
Camille GILLOT 已提交
1163
        profiler: &SelfProfilerRef,
C
Camille GILLOT 已提交
1164
        prev_graph: &SerializedDepGraph<K>,
1165 1166 1167 1168 1169 1170 1171 1172 1173
        prev_index: SerializedDepNodeIndex,
    ) -> DepNodeIndex {
        self.debug_assert_not_in_new_nodes(prev_graph, prev_index);

        let mut prev_index_to_index = self.prev_index_to_index.lock();

        match prev_index_to_index[prev_index] {
            Some(dep_node_index) => dep_node_index,
            None => {
C
Camille GILLOT 已提交
1174 1175
                let key = prev_graph.index_to_node(prev_index);
                let dep_node_index = self.encoder.borrow().send(
C
Camille GILLOT 已提交
1176
                    profiler,
C
Camille GILLOT 已提交
1177 1178 1179 1180 1181 1182 1183 1184
                    key,
                    prev_graph.fingerprint_by_index(prev_index),
                    prev_graph
                        .edge_targets_from(prev_index)
                        .iter()
                        .map(|i| prev_index_to_index[*i].unwrap())
                        .collect(),
                );
1185
                prev_index_to_index[prev_index] = Some(dep_node_index);
C
Camille GILLOT 已提交
1186
                #[cfg(debug_assertions)]
C
Camille GILLOT 已提交
1187
                self.record_edge(dep_node_index, key);
1188
                dep_node_index
1189
            }
1190 1191 1192 1193 1194 1195
        }
    }

    #[inline]
    fn debug_assert_not_in_new_nodes(
        &self,
C
Camille GILLOT 已提交
1196
        prev_graph: &SerializedDepGraph<K>,
1197 1198 1199 1200 1201 1202 1203
        prev_index: SerializedDepNodeIndex,
    ) {
        let node = &prev_graph.index_to_node(prev_index);
        debug_assert!(
            !self.new_node_to_index.get_shard_by_value(node).lock().contains_key(node),
            "node from previous graph present in new node collection"
        );
1204
    }
J
John Kåre Alsaker 已提交
1205 1206
}

1207
/// The capacity of the `reads` field `SmallVec`
1208
const TASK_DEPS_READS_CAP: usize = 8;
1209
type EdgesVec = SmallVec<[DepNodeIndex; TASK_DEPS_READS_CAP]>;
1210

1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230
#[derive(Debug, Clone, Copy)]
pub enum TaskDepsRef<'a, K: DepKind> {
    /// New dependencies can be added to the
    /// `TaskDeps`. This is used when executing a 'normal' query
    /// (no `eval_always` modifier)
    Allow(&'a Lock<TaskDeps<K>>),
    /// New dependencies are ignored. This is used when
    /// executing an `eval_always` query, since there's no
    /// need to track dependencies for a query that's always
    /// re-executed. This is also used for `dep_graph.with_ignore`
    Ignore,
    /// Any attempt to add new dependencies will cause a panic.
    /// This is used when decoding a query result from disk,
    /// to ensure that the decoding process doesn't itself
    /// require the execution of any queries.
    Forbid,
}

#[derive(Debug)]
pub struct TaskDeps<K: DepKind> {
1231
    #[cfg(debug_assertions)]
1232
    node: Option<DepNode<K>>,
1233
    reads: EdgesVec,
J
John Kåre Alsaker 已提交
1234
    read_set: FxHashSet<DepNodeIndex>,
C
Camille GILLOT 已提交
1235
    phantom_data: PhantomData<DepNode<K>>,
1236 1237
}

1238
impl<K: DepKind> Default for TaskDeps<K> {
1239 1240 1241 1242 1243 1244
    fn default() -> Self {
        Self {
            #[cfg(debug_assertions)]
            node: None,
            reads: EdgesVec::new(),
            read_set: FxHashSet::default(),
C
Camille GILLOT 已提交
1245
            phantom_data: PhantomData,
1246 1247
        }
    }
J
John Kåre Alsaker 已提交
1248 1249
}

1250 1251 1252
// A data structure that stores Option<DepNodeColor> values as a contiguous
// array, using one u32 per entry.
struct DepNodeColorMap {
1253
    values: IndexVec<SerializedDepNodeIndex, AtomicU32>,
1254 1255 1256 1257 1258 1259 1260 1261
}

const COMPRESSED_NONE: u32 = 0;
const COMPRESSED_RED: u32 = 1;
const COMPRESSED_FIRST_GREEN: u32 = 2;

impl DepNodeColorMap {
    fn new(size: usize) -> DepNodeColorMap {
M
Mark Rousskov 已提交
1262
        DepNodeColorMap { values: (0..size).map(|_| AtomicU32::new(COMPRESSED_NONE)).collect() }
1263 1264
    }

1265
    #[inline]
1266
    fn get(&self, index: SerializedDepNodeIndex) -> Option<DepNodeColor> {
1267
        match self.values[index].load(Ordering::Acquire) {
1268 1269
            COMPRESSED_NONE => None,
            COMPRESSED_RED => Some(DepNodeColor::Red),
M
Mark Rousskov 已提交
1270 1271 1272
            value => {
                Some(DepNodeColor::Green(DepNodeIndex::from_u32(value - COMPRESSED_FIRST_GREEN)))
            }
1273 1274 1275
        }
    }

1276
    fn insert(&self, index: SerializedDepNodeIndex, color: DepNodeColor) {
M
Mark Rousskov 已提交
1277 1278 1279 1280 1281 1282 1283
        self.values[index].store(
            match color {
                DepNodeColor::Red => COMPRESSED_RED,
                DepNodeColor::Green(index) => index.as_u32() + COMPRESSED_FIRST_GREEN,
            },
            Ordering::Release,
        )
1284 1285
    }
}