veecle_os_runtime/datastore/
reader.rs

1use core::cell::Ref;
2use core::fmt::Debug;
3use core::marker::PhantomData;
4use core::pin::Pin;
5
6use pin_project::pin_project;
7
8use crate::datastore::Storable;
9use crate::datastore::initialized_reader::InitializedReader;
10use crate::datastore::slot::{self, Slot};
11
12/// Reader for a [`Storable`] type.
13///
14/// Allows [`Actor`]s to read a value of a type written by another actor.
15/// The generic type `T` from the reader specifies the type of the value that is being read.
16///
17/// The reader allows reading the current value.
18/// If no value for type `T` has been written to yet, [`Reader::read`] will return `None`.
19/// See [`Self::wait_init`] for creating a reader that ensures available values for `T`.
20///
21/// # Usage
22///
23/// [`Reader::wait_for_update`] allows waiting until the type is written to.
24/// It will return immediately if an unseen value is available.
25/// Unseen does not imply the value actually changed, just that an [`Actor`] has written a value.
26/// A write of the same value still triggers [`Reader::wait_for_update`] to resolve.
27///
28/// To illustrate:
29/// ```text
30/// - Writer writes 5
31/// - Reader is woken and reads 5.
32///   Reader waits for updates.
33/// ...
34/// - Writer writes 5 once again.
35/// - Reader is woken and reads 5.
36/// ...
37/// ```
38///
39/// The reader is woken, even if the new value equals the old one. The [`Reader`] is only aware of the act of writing.
40///
41/// # Example
42///
43/// ```rust
44/// # use std::fmt::Debug;
45/// #
46/// # use veecle_os_runtime::{Storable, Reader};
47/// #
48/// # #[derive(Debug, Default, Storable)]
49/// # pub struct Foo;
50/// #
51/// #[veecle_os_runtime::actor]
52/// async fn foo_reader(mut reader: Reader<'_, Foo>) -> veecle_os_runtime::Never {
53///     loop {
54///         let processed_value = reader.wait_for_update().await.read(|value: Option<&Foo>| {
55///             // do something with the value.
56///         });
57///     }
58/// }
59/// ```
60///
61/// [`Actor`]: crate::actor::Actor
62#[derive(Debug)]
63#[pin_project]
64pub struct Reader<'a, T>
65where
66    T: Storable + 'static,
67{
68    #[pin]
69    waiter: slot::Waiter<'a, T>,
70
71    marker: PhantomData<fn(T)>,
72}
73
74impl<T> Reader<'_, T>
75where
76    T: Storable + 'static,
77{
78    /// Reads the current value of a type.
79    ///
80    /// Can be combined with [`Self::wait_for_update`] to wait for the value to be updated before reading it.
81    ///
82    /// This method takes a closure to ensure the reference is not held across await points.
83    #[veecle_telemetry::instrument]
84    pub fn read<U>(&self, f: impl FnOnce(Option<&T::DataType>) -> U) -> U {
85        self.waiter.read(|value| {
86            let value = value.as_ref();
87
88            veecle_telemetry::trace!("Slot read", value = format_args!("{value:?}"));
89            f(value)
90        })
91    }
92
93    /// Reads and clones the current value.
94    ///
95    /// This is a wrapper around [`Self::read`] that additionally clones the value.
96    /// You can use it instead of `reader.read(|c| c.clone())`.
97    pub fn read_cloned(&self) -> Option<T::DataType>
98    where
99        T::DataType: Clone,
100    {
101        self.read(|t| t.cloned())
102    }
103
104    /// Waits for any write to occur.
105    ///
106    /// This future resolving does not imply that `previous_value != new_value`, just that a
107    /// [`Writer`][super::Writer] has written a value of `T` since the last time this future resolved.
108    ///
109    /// This returns `&mut Self` to allow chaining a call to methods accessing the value, for example
110    /// [`read`][Self::read`].
111    #[veecle_telemetry::instrument]
112    pub async fn wait_for_update(&mut self) -> &mut Self {
113        self.waiter.wait().await;
114        self.waiter.update_generation();
115        self
116    }
117}
118
119impl<'a, T> Reader<'a, T>
120where
121    T: Storable + 'static,
122{
123    /// Creates a new `Reader` from a `slot`.
124    pub(crate) fn from_slot(slot: Pin<&'a Slot<T>>) -> Self {
125        Reader {
126            waiter: slot.waiter(),
127            marker: PhantomData,
128        }
129    }
130
131    /// Converts the `Reader` into an [`InitializedReader`].
132    ///
133    /// Pends until a value for `T` is available or resolves immediately if a value is already available.
134    /// This will not mark the value as seen, [`InitializedReader::wait_for_update`] is unaffected by this method.
135    pub async fn wait_init(self) -> InitializedReader<'a, T> {
136        if self.read(|t| t.is_none()) {
137            self.waiter.wait().await;
138        }
139        InitializedReader::new(self.waiter)
140    }
141}
142
143impl<T> super::combined_readers::Sealed for Reader<'_, T> where T: Storable {}
144
145impl<T> super::combined_readers::CombinableReader for Reader<'_, T>
146where
147    T: Storable,
148{
149    type ToBeRead = Option<T::DataType>;
150
151    fn borrow(&self) -> Ref<'_, Self::ToBeRead> {
152        self.waiter.borrow()
153    }
154
155    async fn wait_for_update(&mut self) {
156        self.wait_for_update().await;
157    }
158}
159
160#[cfg(test)]
161#[cfg_attr(coverage_nightly, coverage(off))]
162mod tests {
163    use core::pin::pin;
164    use futures::FutureExt;
165
166    use crate::datastore::{Reader, Slot, Storable, Writer, generational};
167
168    #[test]
169    fn wait_for_update() {
170        #[derive(Eq, PartialEq, Debug, Clone, Storable)]
171        #[storable(crate = crate)]
172        struct Sensor(u8);
173
174        let source = pin!(generational::Source::new());
175        let slot = pin!(Slot::<Sensor>::new());
176
177        let mut reader = Reader::from_slot(slot.as_ref());
178        let mut writer = Writer::new(source.as_ref().waiter(), slot.as_ref());
179
180        assert!(reader.wait_for_update().now_or_never().is_none());
181
182        source.as_ref().increment_generation();
183        writer.write(Sensor(1)).now_or_never().unwrap();
184
185        reader
186            .wait_for_update()
187            .now_or_never()
188            .unwrap()
189            .read(|x| assert_eq!(x, Some(&Sensor(1))));
190    }
191}