1use std::fmt::Debug;
2use std::hash::Hash;
3use std::num::NonZero;
4use std::sync::Arc;
56use parking_lot::{Condvar, Mutex};
7use rustc_span::Span;
89use crate::query::Cycle;
10use crate::ty::TyCtxt;
1112/// A value uniquely identifying an active query job.
13#[derive(#[automatically_derived]
impl ::core::marker::Copy for QueryJobId { }Copy, #[automatically_derived]
impl ::core::clone::Clone for QueryJobId {
#[inline]
fn clone(&self) -> QueryJobId {
let _: ::core::clone::AssertParamIsClone<NonZero<u64>>;
*self
}
}Clone, #[automatically_derived]
impl ::core::cmp::Eq for QueryJobId {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<NonZero<u64>>;
}
}Eq, #[automatically_derived]
impl ::core::cmp::PartialEq for QueryJobId {
#[inline]
fn eq(&self, other: &QueryJobId) -> bool { self.0 == other.0 }
}PartialEq, #[automatically_derived]
impl ::core::hash::Hash for QueryJobId {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&self.0, state)
}
}Hash, #[automatically_derived]
impl ::core::fmt::Debug for QueryJobId {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_tuple_field1_finish(f, "QueryJobId",
&&self.0)
}
}Debug)]
14pub struct QueryJobId(pub NonZero<u64>);
1516/// Represents an active query job.
17#[derive(#[automatically_derived]
impl<'tcx> ::core::clone::Clone for QueryJob<'tcx> {
#[inline]
fn clone(&self) -> QueryJob<'tcx> {
QueryJob {
id: ::core::clone::Clone::clone(&self.id),
span: ::core::clone::Clone::clone(&self.span),
parent: ::core::clone::Clone::clone(&self.parent),
latch: ::core::clone::Clone::clone(&self.latch),
}
}
}Clone, #[automatically_derived]
impl<'tcx> ::core::fmt::Debug for QueryJob<'tcx> {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field4_finish(f, "QueryJob",
"id", &self.id, "span", &self.span, "parent", &self.parent,
"latch", &&self.latch)
}
}Debug)]
18pub struct QueryJob<'tcx> {
19pub id: QueryJobId,
2021/// The span corresponding to the reason for which this query was required.
22pub span: Span,
2324/// The parent query job which created this job and is implicitly waiting on it.
25pub parent: Option<QueryJobId>,
2627/// The latch that is used to wait on this job.
28pub latch: Option<QueryLatch<'tcx>>,
29}
3031impl<'tcx> QueryJob<'tcx> {
32/// Creates a new query job.
33#[inline]
34pub fn new(id: QueryJobId, span: Span, parent: Option<QueryJobId>) -> Self {
35QueryJob { id, span, parent, latch: None }
36 }
3738pub fn latch(&mut self) -> QueryLatch<'tcx> {
39if self.latch.is_none() {
40self.latch = Some(QueryLatch::new());
41 }
42self.latch.as_ref().unwrap().clone()
43 }
4445/// Signals to waiters that the query is complete.
46 ///
47 /// This does nothing for single threaded rustc,
48 /// as there are no concurrent jobs which could be waiting on us
49#[inline]
50pub fn signal_complete(self) {
51if let Some(latch) = self.latch {
52latch.set();
53 }
54 }
55}
5657#[derive(#[automatically_derived]
impl<'tcx> ::core::fmt::Debug for QueryWaiter<'tcx> {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field4_finish(f, "QueryWaiter",
"parent", &self.parent, "condvar", &self.condvar, "span",
&self.span, "cycle", &&self.cycle)
}
}Debug)]
58pub struct QueryWaiter<'tcx> {
59pub parent: Option<QueryJobId>,
60pub condvar: Condvar,
61pub span: Span,
62pub cycle: Mutex<Option<Cycle<'tcx>>>,
63}
6465#[derive(#[automatically_derived]
impl<'tcx> ::core::clone::Clone for QueryLatch<'tcx> {
#[inline]
fn clone(&self) -> QueryLatch<'tcx> {
QueryLatch { waiters: ::core::clone::Clone::clone(&self.waiters) }
}
}Clone, #[automatically_derived]
impl<'tcx> ::core::fmt::Debug for QueryLatch<'tcx> {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field1_finish(f, "QueryLatch",
"waiters", &&self.waiters)
}
}Debug)]
66pub struct QueryLatch<'tcx> {
67/// The `Option` is `Some(..)` when the job is active, and `None` once completed.
68pub waiters: Arc<Mutex<Option<Vec<Arc<QueryWaiter<'tcx>>>>>>,
69}
7071impl<'tcx> QueryLatch<'tcx> {
72fn new() -> Self {
73QueryLatch { waiters: Arc::new(Mutex::new(Some(Vec::new()))) }
74 }
7576/// Awaits for the query job to complete.
77pub fn wait_on(
78&self,
79 tcx: TyCtxt<'tcx>,
80 query: Option<QueryJobId>,
81 span: Span,
82 ) -> Result<(), Cycle<'tcx>> {
83let mut waiters_guard = self.waiters.lock();
84let Some(waiters) = &mut *waiters_guardelse {
85return Ok(()); // already complete
86};
8788let waiter = Arc::new(QueryWaiter {
89 parent: query,
90span,
91 cycle: Mutex::new(None),
92 condvar: Condvar::new(),
93 });
9495// We push the waiter on to the `waiters` list. It can be accessed inside
96 // the `wait` call below, by 1) the `set` method or 2) by deadlock detection.
97 // Both of these will remove it from the `waiters` list before resuming
98 // this thread.
99waiters.push(Arc::clone(&waiter));
100101// Awaits the caller on this latch by blocking the current thread.
102 // If this detects a deadlock and the deadlock handler wants to resume this thread
103 // we have to be in the `wait` call. This is ensured by the deadlock handler
104 // getting the self.info lock.
105rustc_thread_pool::mark_blocked();
106tcx.jobserver_proxy.release_thread();
107waiter.condvar.wait(&mut waiters_guard);
108// Release the lock before we potentially block in `acquire_thread`
109drop(waiters_guard);
110tcx.jobserver_proxy.acquire_thread();
111112// FIXME: Get rid of this lock. We have ownership of the QueryWaiter
113 // although another thread may still have a Arc reference so we cannot
114 // use Arc::get_mut
115let mut cycle = waiter.cycle.lock();
116match cycle.take() {
117None => Ok(()),
118Some(cycle) => Err(cycle),
119 }
120 }
121122/// Sets the latch and resumes all waiters on it
123fn set(&self) {
124let mut waiters_guard = self.waiters.lock();
125let waiters = waiters_guard.take().unwrap(); // mark the latch as complete
126let registry = rustc_thread_pool::Registry::current();
127for waiter in waiters {
128 rustc_thread_pool::mark_unblocked(®istry);
129 waiter.condvar.notify_one();
130 }
131 }
132133/// Removes a single waiter from the list of waiters.
134 /// This is used to break query cycles.
135pub fn extract_waiter(&self, waiter: usize) -> Arc<QueryWaiter<'tcx>> {
136let mut waiters_guard = self.waiters.lock();
137let waiters = waiters_guard.as_mut().expect("non-empty waiters vec");
138// Remove the waiter from the list of waiters
139waiters.remove(waiter)
140 }
141}