embassy/embassy-sync/src/signal.rs

127 lines
3.3 KiB
Rust
Raw Normal View History

//! A synchronization primitive for passing the latest value to a task.
2022-09-22 06:05:40 +00:00
use core::cell::Cell;
use core::future::{poll_fn, Future};
use core::task::{Context, Poll, Waker};
2022-09-24 09:08:46 +00:00
use crate::blocking_mutex::raw::RawMutex;
2022-09-22 06:05:40 +00:00
use crate::blocking_mutex::Mutex;
/// Single-slot signaling primitive.
///
2022-08-23 06:37:38 +00:00
/// This is similar to a [`Channel`](crate::channel::Channel) with a buffer size of 1, except
/// "sending" to it (calling [`Signal::signal`]) when full will overwrite the previous value instead
/// of waiting for the receiver to pop the previous value.
///
/// It is useful for sending data between tasks when the receiver only cares about
/// the latest data, and therefore it's fine to "lose" messages. This is often the case for "state"
/// updates.
///
2022-08-23 06:37:38 +00:00
/// For more advanced use cases, you might want to use [`Channel`](crate::channel::Channel) instead.
///
/// Signals are generally declared as `static`s and then borrowed as required.
///
/// ```
2022-08-22 20:00:06 +00:00
/// use embassy_sync::signal::Signal;
2022-09-24 09:08:46 +00:00
/// use embassy_sync::blocking_mutex::raw::CriticalSectionRawMutex;
///
/// enum SomeCommand {
/// On,
/// Off,
/// }
///
2022-09-24 09:08:46 +00:00
/// static SOME_SIGNAL: Signal<CriticalSectionRawMutex, SomeCommand> = Signal::new();
/// ```
2022-09-24 09:08:46 +00:00
pub struct Signal<M, T>
2022-09-22 06:05:40 +00:00
where
2022-09-24 09:08:46 +00:00
M: RawMutex,
2022-09-22 06:05:40 +00:00
{
2022-09-24 09:08:46 +00:00
state: Mutex<M, Cell<State<T>>>,
}
enum State<T> {
None,
Waiting(Waker),
Signaled(T),
}
2022-09-24 09:08:46 +00:00
impl<M, T> Signal<M, T>
2022-09-22 06:05:40 +00:00
where
2022-09-24 09:08:46 +00:00
M: RawMutex,
2022-09-22 06:05:40 +00:00
{
/// Create a new `Signal`.
pub const fn new() -> Self {
Self {
2022-09-22 06:05:40 +00:00
state: Mutex::new(Cell::new(State::None)),
}
}
}
impl<M, T> Default for Signal<M, T>
where
M: RawMutex,
{
fn default() -> Self {
Self::new()
}
}
2022-09-24 09:08:46 +00:00
impl<M, T: Send> Signal<M, T>
2022-09-22 06:05:40 +00:00
where
2022-09-24 09:08:46 +00:00
M: RawMutex,
2022-09-22 06:05:40 +00:00
{
/// Mark this Signal as signaled.
pub fn signal(&self, val: T) {
2022-09-22 06:05:40 +00:00
self.state.lock(|cell| {
let state = cell.replace(State::Signaled(val));
if let State::Waiting(waker) = state {
waker.wake();
}
})
}
/// Remove the queued value in this `Signal`, if any.
pub fn reset(&self) {
2022-09-22 06:05:40 +00:00
self.state.lock(|cell| cell.set(State::None));
}
2022-09-22 06:05:40 +00:00
fn poll_wait(&self, cx: &mut Context<'_>) -> Poll<T> {
self.state.lock(|cell| {
let state = cell.replace(State::None);
match state {
State::None => {
2022-09-22 06:05:40 +00:00
cell.set(State::Waiting(cx.waker().clone()));
Poll::Pending
}
State::Waiting(w) if w.will_wake(cx.waker()) => {
cell.set(State::Waiting(w));
Poll::Pending
}
State::Waiting(w) => {
2022-09-22 06:05:40 +00:00
cell.set(State::Waiting(cx.waker().clone()));
w.wake();
Poll::Pending
}
2022-09-22 06:05:40 +00:00
State::Signaled(res) => Poll::Ready(res),
}
})
}
/// Future that completes when this Signal has been signaled.
pub fn wait(&self) -> impl Future<Output = T> + '_ {
poll_fn(move |cx| self.poll_wait(cx))
}
/// non-blocking method to check whether this signal has been signaled.
pub fn signaled(&self) -> bool {
2022-09-22 06:05:40 +00:00
self.state.lock(|cell| {
let state = cell.replace(State::None);
let res = matches!(state, State::Signaled(_));
cell.set(state);
res
})
}
}