mirror of
https://github.com/rtic-rs/rtic.git
synced 2024-11-23 20:22:51 +01:00
rtic-channel: Add testing, fix bugs
This commit is contained in:
parent
48ac310036
commit
94b00df2c7
3 changed files with 172 additions and 15 deletions
|
@ -9,6 +9,9 @@ edition = "2021"
|
||||||
heapless = "0.7"
|
heapless = "0.7"
|
||||||
critical-section = "1"
|
critical-section = "1"
|
||||||
|
|
||||||
|
[dev-dependencies]
|
||||||
|
tokio = { version = "1", features = ["rt", "macros", "time"] }
|
||||||
|
|
||||||
|
|
||||||
[features]
|
[features]
|
||||||
default = []
|
default = []
|
||||||
|
|
|
@ -10,6 +10,7 @@ use core::{
|
||||||
mem::MaybeUninit,
|
mem::MaybeUninit,
|
||||||
pin::Pin,
|
pin::Pin,
|
||||||
ptr,
|
ptr,
|
||||||
|
sync::atomic::{fence, Ordering},
|
||||||
task::{Poll, Waker},
|
task::{Poll, Waker},
|
||||||
};
|
};
|
||||||
use heapless::Deque;
|
use heapless::Deque;
|
||||||
|
@ -40,6 +41,9 @@ pub struct Channel<T, const N: usize> {
|
||||||
num_senders: UnsafeCell<usize>,
|
num_senders: UnsafeCell<usize>,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
unsafe impl<T, const N: usize> Send for Channel<T, N> {}
|
||||||
|
unsafe impl<T, const N: usize> Sync for Channel<T, N> {}
|
||||||
|
|
||||||
struct UnsafeAccess<'a, const N: usize> {
|
struct UnsafeAccess<'a, const N: usize> {
|
||||||
freeq: &'a mut Deque<u8, N>,
|
freeq: &'a mut Deque<u8, N>,
|
||||||
readyq: &'a mut Deque<u8, N>,
|
readyq: &'a mut Deque<u8, N>,
|
||||||
|
@ -129,6 +133,21 @@ pub struct Sender<'a, T, const N: usize>(&'a Channel<T, N>);
|
||||||
|
|
||||||
unsafe impl<'a, T, const N: usize> Send for Sender<'a, T, N> {}
|
unsafe impl<'a, T, const N: usize> Send for Sender<'a, T, N> {}
|
||||||
|
|
||||||
|
/// This is needed to make the async closure in `send` accept that we "share"
|
||||||
|
/// the link possible between threads.
|
||||||
|
#[derive(Clone)]
|
||||||
|
struct LinkPtr(*mut Option<wait_queue::Link<Waker>>);
|
||||||
|
|
||||||
|
impl LinkPtr {
|
||||||
|
/// This will dereference the pointer stored within and give out an `&mut`.
|
||||||
|
unsafe fn get(&self) -> &mut Option<wait_queue::Link<Waker>> {
|
||||||
|
&mut *self.0
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl Send for LinkPtr {}
|
||||||
|
unsafe impl Sync for LinkPtr {}
|
||||||
|
|
||||||
impl<'a, T, const N: usize> core::fmt::Debug for Sender<'a, T, N> {
|
impl<'a, T, const N: usize> core::fmt::Debug for Sender<'a, T, N> {
|
||||||
fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
|
fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
|
||||||
write!(f, "Sender")
|
write!(f, "Sender")
|
||||||
|
@ -147,7 +166,12 @@ impl<'a, T, const N: usize> Sender<'a, T, N> {
|
||||||
}
|
}
|
||||||
|
|
||||||
// Write the value into the ready queue.
|
// Write the value into the ready queue.
|
||||||
critical_section::with(|cs| unsafe { self.0.access(cs).readyq.push_back_unchecked(idx) });
|
critical_section::with(|cs| {
|
||||||
|
debug_assert!(!self.0.access(cs).readyq.is_full());
|
||||||
|
unsafe { self.0.access(cs).readyq.push_back_unchecked(idx) }
|
||||||
|
});
|
||||||
|
|
||||||
|
fence(Ordering::SeqCst);
|
||||||
|
|
||||||
// If there is a receiver waker, wake it.
|
// If there is a receiver waker, wake it.
|
||||||
self.0.receiver_waker.wake();
|
self.0.receiver_waker.wake();
|
||||||
|
@ -176,18 +200,17 @@ impl<'a, T, const N: usize> Sender<'a, T, N> {
|
||||||
/// Send a value. If there is no place left in the queue this will wait until there is.
|
/// Send a value. If there is no place left in the queue this will wait until there is.
|
||||||
/// If the receiver does not exist this will return an error.
|
/// If the receiver does not exist this will return an error.
|
||||||
pub async fn send(&mut self, val: T) -> Result<(), NoReceiver<T>> {
|
pub async fn send(&mut self, val: T) -> Result<(), NoReceiver<T>> {
|
||||||
if self.is_closed() {}
|
|
||||||
|
|
||||||
let mut link_ptr: Option<wait_queue::Link<Waker>> = None;
|
let mut link_ptr: Option<wait_queue::Link<Waker>> = None;
|
||||||
|
|
||||||
// Make this future `Drop`-safe, also shadow the original definition so we can't abuse it.
|
// Make this future `Drop`-safe, also shadow the original definition so we can't abuse it.
|
||||||
let link_ptr = &mut link_ptr as *mut Option<wait_queue::Link<Waker>>;
|
let link_ptr = LinkPtr(&mut link_ptr as *mut Option<wait_queue::Link<Waker>>);
|
||||||
|
|
||||||
|
let link_ptr2 = link_ptr.clone();
|
||||||
let dropper = OnDrop::new(|| {
|
let dropper = OnDrop::new(|| {
|
||||||
// SAFETY: We only run this closure and dereference the pointer if we have
|
// SAFETY: We only run this closure and dereference the pointer if we have
|
||||||
// exited the `poll_fn` below in the `drop(dropper)` call. The other dereference
|
// exited the `poll_fn` below in the `drop(dropper)` call. The other dereference
|
||||||
// of this pointer is in the `poll_fn`.
|
// of this pointer is in the `poll_fn`.
|
||||||
if let Some(link) = unsafe { &mut *link_ptr } {
|
if let Some(link) = unsafe { link_ptr2.get() } {
|
||||||
link.remove_from_list(&self.0.wait_queue);
|
link.remove_from_list(&self.0.wait_queue);
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
|
@ -199,11 +222,19 @@ impl<'a, T, const N: usize> Sender<'a, T, N> {
|
||||||
|
|
||||||
// Do all this in one critical section, else there can be race conditions
|
// Do all this in one critical section, else there can be race conditions
|
||||||
let queue_idx = critical_section::with(|cs| {
|
let queue_idx = critical_section::with(|cs| {
|
||||||
if !self.0.wait_queue.is_empty() || self.0.access(cs).freeq.is_empty() {
|
let wq_empty = self.0.wait_queue.is_empty();
|
||||||
|
let fq_empty = self.0.access(cs).freeq.is_empty();
|
||||||
|
if !wq_empty || fq_empty {
|
||||||
// SAFETY: This pointer is only dereferenced here and on drop of the future
|
// SAFETY: This pointer is only dereferenced here and on drop of the future
|
||||||
// which happens outside this `poll_fn`'s stack frame.
|
// which happens outside this `poll_fn`'s stack frame.
|
||||||
let link = unsafe { &mut *link_ptr };
|
let link = unsafe { link_ptr.get() };
|
||||||
if link.is_none() {
|
if let Some(link) = link {
|
||||||
|
if !link.is_poped() {
|
||||||
|
return None;
|
||||||
|
} else {
|
||||||
|
// Fall through to dequeue
|
||||||
|
}
|
||||||
|
} else {
|
||||||
// Place the link in the wait queue on first run.
|
// Place the link in the wait queue on first run.
|
||||||
let link_ref = link.insert(wait_queue::Link::new(cx.waker().clone()));
|
let link_ref = link.insert(wait_queue::Link::new(cx.waker().clone()));
|
||||||
|
|
||||||
|
@ -212,11 +243,12 @@ impl<'a, T, const N: usize> Sender<'a, T, N> {
|
||||||
self.0
|
self.0
|
||||||
.wait_queue
|
.wait_queue
|
||||||
.push(unsafe { Pin::new_unchecked(link_ref) });
|
.push(unsafe { Pin::new_unchecked(link_ref) });
|
||||||
}
|
|
||||||
|
|
||||||
return None;
|
return None;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
debug_assert!(!self.0.access(cs).freeq.is_empty());
|
||||||
// Get index as the queue is guaranteed not empty and the wait queue is empty
|
// Get index as the queue is guaranteed not empty and the wait queue is empty
|
||||||
let idx = unsafe { self.0.access(cs).freeq.pop_front_unchecked() };
|
let idx = unsafe { self.0.access(cs).freeq.pop_front_unchecked() };
|
||||||
|
|
||||||
|
@ -319,7 +351,12 @@ impl<'a, T, const N: usize> Receiver<'a, T, N> {
|
||||||
let r = unsafe { ptr::read(self.0.slots.get_unchecked(rs as usize).get() as *const T) };
|
let r = unsafe { ptr::read(self.0.slots.get_unchecked(rs as usize).get() as *const T) };
|
||||||
|
|
||||||
// Return the index to the free queue after we've read the value.
|
// Return the index to the free queue after we've read the value.
|
||||||
critical_section::with(|cs| unsafe { self.0.access(cs).freeq.push_back_unchecked(rs) });
|
critical_section::with(|cs| {
|
||||||
|
debug_assert!(!self.0.access(cs).freeq.is_full());
|
||||||
|
unsafe { self.0.access(cs).freeq.push_back_unchecked(rs) }
|
||||||
|
});
|
||||||
|
|
||||||
|
fence(Ordering::SeqCst);
|
||||||
|
|
||||||
// If someone is waiting in the WaiterQueue, wake the first one up.
|
// If someone is waiting in the WaiterQueue, wake the first one up.
|
||||||
if let Some(wait_head) = self.0.wait_queue.pop() {
|
if let Some(wait_head) = self.0.wait_queue.pop() {
|
||||||
|
@ -363,7 +400,7 @@ impl<'a, T, const N: usize> Receiver<'a, T, N> {
|
||||||
|
|
||||||
/// Is the queue full.
|
/// Is the queue full.
|
||||||
pub fn is_full(&self) -> bool {
|
pub fn is_full(&self) -> bool {
|
||||||
critical_section::with(|cs| self.0.access(cs).readyq.is_empty())
|
critical_section::with(|cs| self.0.access(cs).readyq.is_full())
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Is the queue empty.
|
/// Is the queue empty.
|
||||||
|
@ -412,6 +449,113 @@ extern crate std;
|
||||||
|
|
||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
mod tests {
|
mod tests {
|
||||||
|
use super::*;
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
fn channel() {}
|
fn empty() {
|
||||||
|
let (mut s, mut r) = make_channel!(u32, 10);
|
||||||
|
|
||||||
|
assert!(s.is_empty());
|
||||||
|
assert!(r.is_empty());
|
||||||
|
|
||||||
|
s.try_send(1).unwrap();
|
||||||
|
|
||||||
|
assert!(!s.is_empty());
|
||||||
|
assert!(!r.is_empty());
|
||||||
|
|
||||||
|
r.try_recv().unwrap();
|
||||||
|
|
||||||
|
assert!(s.is_empty());
|
||||||
|
assert!(r.is_empty());
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn full() {
|
||||||
|
let (mut s, mut r) = make_channel!(u32, 3);
|
||||||
|
|
||||||
|
for _ in 0..3 {
|
||||||
|
assert!(!s.is_full());
|
||||||
|
assert!(!r.is_full());
|
||||||
|
|
||||||
|
s.try_send(1).unwrap();
|
||||||
|
}
|
||||||
|
|
||||||
|
assert!(s.is_full());
|
||||||
|
assert!(r.is_full());
|
||||||
|
|
||||||
|
for _ in 0..3 {
|
||||||
|
r.try_recv().unwrap();
|
||||||
|
|
||||||
|
assert!(!s.is_full());
|
||||||
|
assert!(!r.is_full());
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn send_recieve() {
|
||||||
|
let (mut s, mut r) = make_channel!(u32, 10);
|
||||||
|
|
||||||
|
for i in 0..10 {
|
||||||
|
s.try_send(i).unwrap();
|
||||||
|
}
|
||||||
|
|
||||||
|
assert_eq!(s.try_send(11), Err(11));
|
||||||
|
|
||||||
|
for i in 0..10 {
|
||||||
|
assert_eq!(r.try_recv().unwrap(), i);
|
||||||
|
}
|
||||||
|
|
||||||
|
assert_eq!(r.try_recv(), None);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn closed_recv() {
|
||||||
|
let (s, mut r) = make_channel!(u32, 10);
|
||||||
|
|
||||||
|
drop(s);
|
||||||
|
|
||||||
|
assert!(r.is_closed());
|
||||||
|
|
||||||
|
assert_eq!(r.try_recv(), None);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn closed_sender() {
|
||||||
|
let (mut s, r) = make_channel!(u32, 10);
|
||||||
|
|
||||||
|
drop(r);
|
||||||
|
|
||||||
|
assert!(s.is_closed());
|
||||||
|
|
||||||
|
assert_eq!(s.try_send(11), Ok(()));
|
||||||
|
}
|
||||||
|
|
||||||
|
#[tokio::test]
|
||||||
|
async fn stress_channel() {
|
||||||
|
const NUM_RUNS: usize = 1_000;
|
||||||
|
const QUEUE_SIZE: usize = 10;
|
||||||
|
|
||||||
|
let (s, mut r) = make_channel!(u32, QUEUE_SIZE);
|
||||||
|
let mut v = std::vec::Vec::new();
|
||||||
|
|
||||||
|
for i in 0..NUM_RUNS {
|
||||||
|
let mut s = s.clone();
|
||||||
|
|
||||||
|
v.push(tokio::spawn(async move {
|
||||||
|
s.send(i as _).await.unwrap();
|
||||||
|
}));
|
||||||
|
}
|
||||||
|
|
||||||
|
let mut map = std::collections::BTreeSet::new();
|
||||||
|
|
||||||
|
for _ in 0..NUM_RUNS {
|
||||||
|
map.insert(r.recv().await.unwrap());
|
||||||
|
}
|
||||||
|
|
||||||
|
assert_eq!(map.len(), NUM_RUNS);
|
||||||
|
|
||||||
|
for v in v {
|
||||||
|
v.await.unwrap();
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -3,7 +3,7 @@
|
||||||
use core::marker::PhantomPinned;
|
use core::marker::PhantomPinned;
|
||||||
use core::pin::Pin;
|
use core::pin::Pin;
|
||||||
use core::ptr::null_mut;
|
use core::ptr::null_mut;
|
||||||
use core::sync::atomic::{AtomicPtr, Ordering};
|
use core::sync::atomic::{AtomicBool, AtomicPtr, Ordering};
|
||||||
use core::task::Waker;
|
use core::task::Waker;
|
||||||
use critical_section as cs;
|
use critical_section as cs;
|
||||||
|
|
||||||
|
@ -57,6 +57,7 @@ impl<T: Clone> LinkedList<T> {
|
||||||
// Clear the pointers in the node.
|
// Clear the pointers in the node.
|
||||||
head_ref.next.store(null_mut(), Self::R);
|
head_ref.next.store(null_mut(), Self::R);
|
||||||
head_ref.prev.store(null_mut(), Self::R);
|
head_ref.prev.store(null_mut(), Self::R);
|
||||||
|
head_ref.is_poped.store(true, Self::R);
|
||||||
|
|
||||||
return Some(head_val);
|
return Some(head_val);
|
||||||
}
|
}
|
||||||
|
@ -100,9 +101,12 @@ pub struct Link<T> {
|
||||||
pub(crate) val: T,
|
pub(crate) val: T,
|
||||||
next: AtomicPtr<Link<T>>,
|
next: AtomicPtr<Link<T>>,
|
||||||
prev: AtomicPtr<Link<T>>,
|
prev: AtomicPtr<Link<T>>,
|
||||||
|
is_poped: AtomicBool,
|
||||||
_up: PhantomPinned,
|
_up: PhantomPinned,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
unsafe impl<T> Send for Link<T> {}
|
||||||
|
|
||||||
impl<T: Clone> Link<T> {
|
impl<T: Clone> Link<T> {
|
||||||
const R: Ordering = Ordering::Relaxed;
|
const R: Ordering = Ordering::Relaxed;
|
||||||
|
|
||||||
|
@ -112,10 +116,15 @@ impl<T: Clone> Link<T> {
|
||||||
val,
|
val,
|
||||||
next: AtomicPtr::new(null_mut()),
|
next: AtomicPtr::new(null_mut()),
|
||||||
prev: AtomicPtr::new(null_mut()),
|
prev: AtomicPtr::new(null_mut()),
|
||||||
|
is_poped: AtomicBool::new(false),
|
||||||
_up: PhantomPinned,
|
_up: PhantomPinned,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
pub fn is_poped(&self) -> bool {
|
||||||
|
self.is_poped.load(Self::R)
|
||||||
|
}
|
||||||
|
|
||||||
pub fn remove_from_list(&mut self, list: &LinkedList<T>) {
|
pub fn remove_from_list(&mut self, list: &LinkedList<T>) {
|
||||||
cs::with(|_| {
|
cs::with(|_| {
|
||||||
// Make sure all previous writes are visible
|
// Make sure all previous writes are visible
|
||||||
|
@ -123,6 +132,7 @@ impl<T: Clone> Link<T> {
|
||||||
|
|
||||||
let prev = self.prev.load(Self::R);
|
let prev = self.prev.load(Self::R);
|
||||||
let next = self.next.load(Self::R);
|
let next = self.next.load(Self::R);
|
||||||
|
self.is_poped.store(true, Self::R);
|
||||||
|
|
||||||
match unsafe { (prev.as_ref(), next.as_ref()) } {
|
match unsafe { (prev.as_ref(), next.as_ref()) } {
|
||||||
(None, None) => {
|
(None, None) => {
|
||||||
|
@ -217,7 +227,7 @@ mod tests {
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
fn linked_list() {
|
fn linked_list() {
|
||||||
let mut wq = LinkedList::<u32>::new();
|
let wq = LinkedList::<u32>::new();
|
||||||
|
|
||||||
let mut i1 = Link::new(10);
|
let mut i1 = Link::new(10);
|
||||||
let mut i2 = Link::new(11);
|
let mut i2 = Link::new(11);
|
||||||
|
|
Loading…
Reference in a new issue