urcu/collections/queue/
mod.rs

1pub(crate) mod container;
2pub(crate) mod raw;
3pub(crate) mod reference;
4
5#[cfg(test)]
6mod test;
7
8pub use crate::collections::queue::reference::*;
9
10mod asserts {
11    use super::*;
12
13    use static_assertions::{assert_impl_all, assert_not_impl_all};
14
15    use crate::collections::queue::container::RcuQueue;
16    use crate::rcu::default::RcuDefaultFlavor;
17    use crate::utility::asserts::*;
18
19    mod rcu_queue {
20        use super::*;
21
22        // T: !Send + !Sync
23        assert_not_impl_all!(RcuQueue<NotSendNotSync, RcuDefaultFlavor>: Send);
24        assert_not_impl_all!(RcuQueue<NotSendNotSync, RcuDefaultFlavor>: Sync);
25
26        // T: Send + !Sync
27        assert_impl_all!(RcuQueue<SendButNotSync, RcuDefaultFlavor>: Send);
28        assert_not_impl_all!(RcuQueue<SendButNotSync, RcuDefaultFlavor>: Sync);
29
30        // T: !Send + Sync
31        assert_not_impl_all!(RcuQueue<NotSendButSync, RcuDefaultFlavor>: Send);
32        assert_impl_all!(RcuQueue<NotSendButSync, RcuDefaultFlavor>: Sync);
33
34        // T: Send + Sync
35        assert_impl_all!(RcuQueue<SendAndSync, RcuDefaultFlavor>: Send);
36        assert_impl_all!(RcuQueue<SendAndSync, RcuDefaultFlavor>: Sync);
37    }
38
39    mod rcu_queue_ref {
40        use super::*;
41
42        // T: Send + !Sync
43        assert_impl_all!(Ref<SendButNotSync, RcuDefaultFlavor>: Send);
44        assert_not_impl_all!(Ref<SendButNotSync, RcuDefaultFlavor>: Sync);
45
46        // T: Send + Sync
47        assert_impl_all!(Ref<SendAndSync, RcuDefaultFlavor>: Send);
48        assert_not_impl_all!(Ref<SendAndSync, RcuDefaultFlavor>: Sync);
49    }
50
51    mod rcu_queue_ref_owned {
52        use super::*;
53
54        // T: !Send + !Sync
55        assert_not_impl_all!(RefOwned<NotSendNotSync>: Send);
56        assert_not_impl_all!(RefOwned<NotSendNotSync>: Sync);
57
58        // T: Send + !Sync
59        assert_impl_all!(RefOwned<SendButNotSync>: Send);
60        assert_not_impl_all!(RefOwned<SendButNotSync>: Sync);
61
62        // T: !Send + Sync
63        assert_not_impl_all!(RefOwned<NotSendButSync>: Send);
64        assert_impl_all!(RefOwned<NotSendButSync>: Sync);
65
66        // T: Send + Sync
67        assert_impl_all!(RefOwned<SendAndSync>: Send);
68        assert_impl_all!(RefOwned<SendAndSync>: Sync);
69    }
70}
urcu/collections/queue/mod.rs

urcu/collections/queue/
mod.rs
