urcu/collections/stack/
mod.rs

1pub(crate) mod container;
2pub(crate) mod iterator;
3pub(crate) mod raw;
4pub(crate) mod reference;
5
6#[cfg(test)]
7mod test;
8
9pub use crate::collections::stack::iterator::*;
10pub use crate::collections::stack::reference::*;
11
12mod asserts {
13    use super::*;
14
15    use static_assertions::{assert_impl_all, assert_not_impl_all};
16
17    use crate::collections::stack::container::RcuStack;
18    use crate::rcu::default::RcuDefaultFlavor;
19    use crate::rcu::guard::RcuGuardMemb;
20    use crate::utility::asserts::*;
21
22    mod rcu_list {
23        use super::*;
24
25        // T: !Send + !Sync
26        assert_not_impl_all!(RcuStack<NotSendNotSync, RcuDefaultFlavor>: Send);
27        assert_not_impl_all!(RcuStack<NotSendNotSync, RcuDefaultFlavor>: Sync);
28
29        // T: Send + !Sync
30        assert_impl_all!(RcuStack<SendButNotSync, RcuDefaultFlavor>: Send);
31        assert_not_impl_all!(RcuStack<SendButNotSync, RcuDefaultFlavor>: Sync);
32
33        // T: !Send + Sync
34        assert_not_impl_all!(RcuStack<NotSendButSync, RcuDefaultFlavor>: Send);
35        assert_impl_all!(RcuStack<NotSendButSync, RcuDefaultFlavor>: Sync);
36
37        // T: Send + Sync
38        assert_impl_all!(RcuStack<SendAndSync, RcuDefaultFlavor>: Send);
39        assert_impl_all!(RcuStack<SendAndSync, RcuDefaultFlavor>: Sync);
40    }
41
42    mod rcu_list_ref_owned {
43        use super::*;
44
45        // T: !Send + !Sync
46        assert_not_impl_all!(RefOwned<NotSendNotSync>: Send);
47        assert_not_impl_all!(RefOwned<NotSendNotSync>: Sync);
48
49        // T: Send + !Sync
50        assert_impl_all!(RefOwned<SendButNotSync>: Send);
51        assert_not_impl_all!(RefOwned<SendButNotSync>: Sync);
52
53        // T: !Send + Sync
54        assert_not_impl_all!(RefOwned<NotSendButSync>: Send);
55        assert_impl_all!(RefOwned<NotSendButSync>: Sync);
56
57        // T: Send + Sync
58        assert_impl_all!(RefOwned<SendAndSync>: Send);
59        assert_impl_all!(RefOwned<SendAndSync>: Sync);
60    }
61
62    mod rcu_list_iter {
63        use super::*;
64
65        // T: !Send + !Sync
66        assert_not_impl_all!(Iter<'_, NotSendNotSync, RcuGuardMemb>: Send);
67        assert_not_impl_all!(Iter<'_, NotSendNotSync, RcuGuardMemb>: Sync);
68
69        // T: Send + !Sync
70        assert_not_impl_all!(Iter<'_, SendButNotSync, RcuGuardMemb>: Send);
71        assert_not_impl_all!(Iter<'_, SendButNotSync, RcuGuardMemb>: Sync);
72
73        // T: !Send + Sync
74        assert_not_impl_all!(Iter<'_, NotSendButSync, RcuGuardMemb>: Send);
75        assert_not_impl_all!(Iter<'_, NotSendButSync, RcuGuardMemb>: Sync);
76
77        // T: Send + Sync
78        assert_not_impl_all!(Iter<'_, SendAndSync, RcuGuardMemb>: Send);
79        assert_not_impl_all!(Iter<'_, SendAndSync, RcuGuardMemb>: Sync);
80    }
81
82    mod rcu_list_iter_ref {
83        use super::*;
84
85        // T: !Send + !Sync
86        assert_not_impl_all!(IterRef<NotSendNotSync, RcuDefaultFlavor>: Send);
87        assert_not_impl_all!(IterRef<NotSendNotSync, RcuDefaultFlavor>: Sync);
88
89        // T: Send + !Sync
90        assert_not_impl_all!(IterRef<SendButNotSync, RcuDefaultFlavor>: Send);
91        assert_not_impl_all!(IterRef<SendButNotSync, RcuDefaultFlavor>: Sync);
92
93        // T: !Send + Sync
94        assert_not_impl_all!(IterRef<NotSendButSync, RcuDefaultFlavor>: Send);
95        assert_not_impl_all!(IterRef<NotSendButSync, RcuDefaultFlavor>: Sync);
96
97        // T: Send + Sync
98        assert_not_impl_all!(IterRef<SendAndSync, RcuDefaultFlavor>: Send);
99        assert_not_impl_all!(IterRef<SendAndSync, RcuDefaultFlavor>: Sync);
100    }
101}
urcu/collections/stack/mod.rs

urcu/collections/stack/
mod.rs
