Skip to main content

left_right/
read.rs

1use crate::sync::{fence, Arc, AtomicPtr, AtomicUsize, Ordering};
2use crossbeam_utils::CachePadded;
3use std::cell::Cell;
4use std::fmt;
5use std::marker::PhantomData;
6use std::ptr::NonNull;
7
8// To make [`WriteHandle`] and friends work.
9#[cfg(doc)]
10use crate::WriteHandle;
11
12mod guard;
13pub use guard::ReadGuard;
14
15mod factory;
16pub use factory::ReadHandleFactory;
17
18/// A read handle to a left-right guarded data structure.
19///
20/// To use a handle, first call [`enter`](Self::enter) to acquire a [`ReadGuard`]. This is similar
21/// to acquiring a `Mutex`, except that no exclusive lock is taken. All reads of the underlying
22/// data structure can then happen through the [`ReadGuard`] (which implements `Deref<Target =
23/// T>`).
24///
25/// Reads through a `ReadHandle` only see the changes up until the last time
26/// [`WriteHandle::publish`] was called. That is, even if a writer performs a number of
27/// modifications to the underlying data, those changes are not visible to reads until the writer
28/// calls [`publish`](crate::WriteHandle::publish).
29///
30/// `ReadHandle` is not `Sync`, which means that you cannot share a `ReadHandle` across many
31/// threads. This is because the coordination necessary to do so would significantly hamper the
32/// scalability of reads. If you had many reads go through one `ReadHandle`, they would need to
33/// coordinate among themselves for every read, which would lead to core contention and poor
34/// multi-core performance. By having `ReadHandle` not be `Sync`, you are forced to keep a
35/// `ReadHandle` per reader, which guarantees that you do not accidentally ruin your performance.
36///
37/// You can create a new, independent `ReadHandle` either by cloning an existing handle or by using
38/// a [`ReadHandleFactory`]. Note, however, that creating a new handle through either of these
39/// mechanisms _does_ take a lock, and may therefore become a bottleneck if you do it frequently.
40pub struct ReadHandle<T> {
41    pub(crate) inner: Arc<AtomicPtr<T>>,
42    pub(crate) epochs: crate::Epochs,
43    epoch: Arc<CachePadded<AtomicUsize>>,
44    epoch_i: usize,
45    enters: Cell<usize>,
46
47    // `ReadHandle` is _only_ Send if T is Sync. If T is !Sync, then it's not okay for us to expose
48    // references to it to other threads! Since negative impls are not available on stable, we pull
49    // this little hack to make the type not auto-impl Send, and then explicitly add the impl when
50    // appropriate.
51    _unimpl_send: PhantomData<*const T>,
52}
53unsafe impl<T> Send for ReadHandle<T> where T: Sync {}
54
55impl<T> Drop for ReadHandle<T> {
56    fn drop(&mut self) {
57        // epoch must already be even for us to have &mut self,
58        // so okay to lock since we're not holding up the epoch anyway.
59        let e = self.epochs.lock().unwrap().remove(self.epoch_i);
60        assert!(Arc::ptr_eq(&e, &self.epoch));
61        assert_eq!(self.enters.get(), 0);
62    }
63}
64
65impl<T> fmt::Debug for ReadHandle<T> {
66    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
67        f.debug_struct("ReadHandle")
68            .field("epochs", &self.epochs)
69            .field("epoch", &self.epoch)
70            .finish()
71    }
72}
73
74impl<T> Clone for ReadHandle<T> {
75    fn clone(&self) -> Self {
76        ReadHandle::new_with_arc(Arc::clone(&self.inner), Arc::clone(&self.epochs))
77    }
78}
79
80impl<T> ReadHandle<T> {
81    pub(crate) fn new(inner: T, epochs: crate::Epochs) -> Self {
82        let store = Box::into_raw(Box::new(inner));
83        let inner = Arc::new(AtomicPtr::new(store));
84        Self::new_with_arc(inner, epochs)
85    }
86
87    fn new_with_arc(inner: Arc<AtomicPtr<T>>, epochs: crate::Epochs) -> Self {
88        // tell writer about our epoch tracker
89        let epoch = Arc::new(CachePadded::new(AtomicUsize::new(0)));
90        // okay to lock, since we're not holding up the epoch
91        let epoch_i = epochs.lock().unwrap().insert(Arc::clone(&epoch));
92
93        Self {
94            epochs,
95            epoch,
96            epoch_i,
97            enters: Cell::new(0),
98            inner,
99            _unimpl_send: PhantomData,
100        }
101    }
102
103    /// Create a [`ReadHandleFactory`] which is `Send` & `Sync` and can be shared across threads to create
104    /// additional [`ReadHandle`] instances.
105    pub fn factory(&self) -> ReadHandleFactory<T> {
106        ReadHandleFactory {
107            inner: Arc::clone(&self.inner),
108            epochs: Arc::clone(&self.epochs),
109        }
110    }
111}
112
113impl<T> ReadHandle<T> {
114    /// Take out a guarded live reference to the read copy of the `T`.
115    ///
116    /// While the guard lives, the [`WriteHandle`] cannot proceed with a call to
117    /// [`WriteHandle::publish`], so no queued operations will become visible to _any_ reader.
118    ///
119    /// If the `WriteHandle` has been dropped, this function returns `None`.
120    pub fn enter(&self) -> Option<ReadGuard<'_, T>> {
121        let enters = self.enters.get();
122        if enters != 0 {
123            // we have already locked the epoch; just give out another guard.
124            let r_handle = self.inner.load(Ordering::Acquire);
125            // since we previously bumped our epoch, this pointer will remain valid until we bump
126            // it again, which only happens when the last ReadGuard is dropped.
127            let r_handle = unsafe { r_handle.as_ref() };
128
129            return if let Some(r_handle) = r_handle {
130                self.enters.set(enters + 1);
131                Some(ReadGuard {
132                    handle: guard::ReadHandleState::from(self),
133                    t: r_handle,
134                })
135            } else {
136                // WriteHandle must have been dropped, so even though the first `enter` may have
137                // returned `Some`, all we can do now is return `None` since the pointee has
138                // vanished (even if it's still active _somewhere_ since our first enter must be
139                // preventing it from being reclaimed yet).
140                None
141            };
142        }
143
144        // once we update our epoch, the writer can no longer do a swap until we set the MSB to
145        // indicate that we've finished our read. however, we still need to deal with the case of a
146        // race between when the writer reads our epoch and when they decide to make the swap.
147        //
148        // assume that there is a concurrent writer. it just swapped the atomic pointer from A to
149        // B. the writer wants to modify A, and needs to know if that is safe. we can be in any of
150        // the following cases when we atomically swap out our epoch:
151        //
152        //  1. the writer has read our previous epoch twice
153        //  2. the writer has already read our previous epoch once
154        //  3. the writer has not yet read our previous epoch
155        //
156        // let's discuss each of these in turn.
157        //
158        //  1. since writers assume they are free to proceed if they read an epoch with MSB set
159        //     twice in a row, this is equivalent to case (2) below.
160        //  2. the writer will see our epoch change, and so will assume that we have read B. it
161        //     will therefore feel free to modify A. note that *another* pointer swap can happen,
162        //     back to A, but then the writer would be block on our epoch, and so cannot modify
163        //     A *or* B. consequently, using a pointer we read *after* the epoch swap is definitely
164        //     safe here.
165        //  3. the writer will read our epoch, notice that MSB is not set, and will keep reading,
166        //     continuing to observe that it is still not set until we finish our read. thus,
167        //     neither A nor B are being modified, and we can safely use either.
168        //
169        // in all cases, using a pointer we read *after* updating our epoch is safe.
170
171        // so, update our epoch tracker.
172        self.epoch.fetch_add(1, Ordering::AcqRel);
173
174        // ensure that the pointer read happens strictly after updating the epoch
175        fence(Ordering::SeqCst);
176
177        // then, atomically read pointer, and use the copy being pointed to
178        let r_handle = self.inner.load(Ordering::Acquire);
179
180        // since we bumped our epoch, this pointer will remain valid until we bump it again
181        let r_handle = unsafe { r_handle.as_ref() };
182
183        if let Some(r_handle) = r_handle {
184            // add a guard to ensure we restore read parity even if we panic
185            let enters = self.enters.get() + 1;
186            self.enters.set(enters);
187            Some(ReadGuard {
188                handle: guard::ReadHandleState::from(self),
189                t: r_handle,
190            })
191        } else {
192            // the writehandle has been dropped, and so has both copies,
193            // so restore parity and return None
194            self.epoch.fetch_add(1, Ordering::AcqRel);
195            None
196        }
197    }
198
199    /// Returns true if the [`WriteHandle`] has been dropped.
200    pub fn was_dropped(&self) -> bool {
201        self.inner.load(Ordering::Acquire).is_null()
202    }
203
204    /// Returns a raw pointer to the read copy of the data.
205    ///
206    /// Note that it is only safe to read through this pointer if you _know_ that the writer will
207    /// not start writing into it. This is most likely only the case if you are calling this method
208    /// from inside a method that holds `&mut WriteHandle`.
209    ///
210    /// Casting this pointer to `&mut` is never safe.
211    pub fn raw_handle(&self) -> Option<NonNull<T>> {
212        NonNull::new(self.inner.load(Ordering::Acquire))
213    }
214}
215
216/// `ReadHandle` cannot be shared across threads:
217///
218/// ```compile_fail
219/// use left_right::ReadHandle;
220///
221/// fn is_sync<T: Sync>() {
222///   // dummy function just used for its parameterized type bound
223/// }
224///
225/// // the line below will not compile as ReadHandle does not implement Sync
226///
227/// is_sync::<ReadHandle<u64>>()
228/// ```
229///
230/// But, it can be sent across threads:
231///
232/// ```
233/// use left_right::ReadHandle;
234///
235/// fn is_send<T: Send>() {
236///   // dummy function just used for its parameterized type bound
237/// }
238///
239/// is_send::<ReadHandle<u64>>()
240/// ```
241///
242/// As long as the wrapped type is `Sync` that is.
243///
244/// ```compile_fail
245/// use left_right::ReadHandle;
246///
247/// fn is_send<T: Send>() {}
248///
249/// is_send::<ReadHandle<std::cell::Cell<u64>>>()
250/// ```
251#[allow(dead_code)]
252struct CheckReadHandleSendNotSync;