Another one :(

Author: datdenkikniet

rtic-sync/checkpoint.json

@@ -0,0 +1 @@
+{"preemption_bound":null,"pos":0,"branches":{"entries":[{"Schedule":{"preemptions":0,"initial_active":0,"threads":["Active","Disabled","Disabled","Disabled","Disabled"],"prev":null,"exploring":true}},{"Schedule":{"preemptions":0,"initial_active":0,"threads":["Active","Disabled","Disabled","Disabled","Disabled"],"prev":{"index":0,"_p":null},"exploring":true}},{"Load":{"values":[0,0,0,0,0,0,0],"pos":0,"len":1,"exploring":true}},{"Schedule":{"preemptions":0,"initial_active":0,"threads":["Active","Disabled","Disabled","Disabled","Disabled"],"prev":{"index":1,"_p":null},"exploring":true}},{"Schedule":{"preemptions":0,"initial_active":0,"threads":["Active","Disabled","Disabled","Disabled","Disabled"],"prev":{"index":3,"_p":null},"exploring":true}},{"Schedule":{"preemptions":0,"initial_active":0,"threads":["Active","Disabled","Disabled","Disabled","Disabled"],"prev":{"index":4,"_p":null},"exploring":true}},{"Schedule":{"preemptions":0,"initial_active":0,"threads":["Active","Disabled","Disabled","Disabled","Disabled"],"prev":{"index":5,"_p":null},"exploring":true}},{"Schedule":{"preemptions":0,"initial_active":0,"threads":["Active","Pending","Skip","Disabled","Disabled"],"prev":{"index":6,"_p":null},"exploring":true}},{"Schedule":{"preemptions":0,"initial_active":0,"threads":["Visited","Active","Pending","Disabled","Disabled"],"prev":{"index":7,"_p":null},"exploring":true}},{"Schedule":{"preemptions":1,"initial_active":1,"threads":["Pending","Active","Skip","Disabled","Disabled"],"prev":{"index":8,"_p":null},"exploring":true}},{"Schedule":{"preemptions":1,"initial_active":1,"threads":["Disabled","Active","Skip","Disabled","Disabled"],"prev":{"index":9,"_p":null},"exploring":true}},{"Load":{"values":[0,0,0,0,0,0,0],"pos":0,"len":1,"exploring":true}},{"Schedule":{"preemptions":1,"initial_active":1,"threads":["Disabled","Active","Skip","Disabled","Disabled"],"prev":{"index":10,"_p":null},"exploring":true}},{"Load":{"values":[0,0,0,0,0,0,0],"pos":0,"len":1,"exploring":true}},{"Schedule":{"preemptions":1,"initial_active":1,"threads":["Disabled","Active","Skip","Disabled","Disabled"],"prev":{"index":12,"_p":null},"exploring":true}},{"Schedule":{"preemptions":1,"initial_active":1,"threads":["Disabled","Active","Pending","Disabled","Disabled"],"prev":{"index":14,"_p":null},"exploring":true}},{"Schedule":{"preemptions":1,"initial_active":1,"threads":["Active","Visited","Pending","Disabled","Disabled"],"prev":{"index":15,"_p":null},"exploring":true}},{"Schedule":{"preemptions":2,"initial_active":0,"threads":["Active","Disabled","Skip","Disabled","Disabled"],"prev":{"index":16,"_p":null},"exploring":true}},{"Load":{"values":[1,0,0,0,0,0,0],"pos":0,"len":1,"exploring":true}},{"Schedule":{"preemptions":2,"initial_active":0,"threads":["Active","Disabled","Skip","Disabled","Disabled"],"prev":{"index":17,"_p":null},"exploring":true}},{"Load":{"values":[0,0,0,0,0,0,0],"pos":0,"len":1,"exploring":true}},{"Schedule":{"preemptions":2,"initial_active":0,"threads":["Active","Disabled","Pending","Disabled","Disabled"],"prev":{"index":19,"_p":null},"exploring":true}},{"Schedule":{"preemptions":2,"initial_active":0,"threads":["Active","Disabled","Skip","Disabled","Disabled"],"prev":{"index":21,"_p":null},"exploring":true}},{"Load":{"values":[1,0,0,0,0,0,0],"pos":0,"len":1,"exploring":true}},{"Schedule":{"preemptions":2,"initial_active":0,"threads":["Active","Disabled","Skip","Disabled","Disabled"],"prev":{"index":22,"_p":null},"exploring":true}},{"Schedule":{"preemptions":2,"initial_active":0,"threads":["Active","Disabled","Skip","Disabled","Disabled"],"prev":{"index":24,"_p":null},"exploring":true}},{"Load":{"values":[0,0,0,0,0,0,0],"pos":0,"len":1,"exploring":true}},{"Schedule":{"preemptions":2,"initial_active":0,"threads":["Active","Disabled","Skip","Disabled","Disabled"],"prev":{"index":25,"_p":null},"exploring":true}},{"Schedule":{"preemptions":2,"initial_active":0,"threads":["Active","Disabled","Skip","Disabled","Disabled"],"prev":{"index":27,"_p":null},"exploring":true}},{"Schedule":{"preemptions":2,"initial_active":0,"threads":["Active","Disabled","Skip","Disabled","Disabled"],"prev":{"index":28,"_p":null},"exploring":true}},{"Schedule":{"preemptions":2,"initial_active":0,"threads":["Active","Pending","Skip","Disabled","Disabled"],"prev":{"index":29,"_p":null},"exploring":true}},{"Schedule":{"preemptions":2,"initial_active":0,"threads":["Active","Pending","Skip","Disabled","Disabled"],"prev":{"index":30,"_p":null},"exploring":true}},{"Schedule":{"preemptions":2,"initial_active":0,"threads":["Visited","Active","Pending","Disabled","Disabled"],"prev":{"index":31,"_p":null},"exploring":true}},{"Schedule":{"preemptions":3,"initial_active":1,"threads":["Disabled","Active","Skip","Disabled","Disabled"],"prev":{"index":32,"_p":null},"exploring":true}},{"Load":{"values":[2,0,0,0,0,0,0],"pos":0,"len":1,"exploring":true}},{"Schedule":{"preemptions":3,"initial_active":1,"threads":["Visited","Visited","Active","Disabled","Disabled"],"prev":{"index":33,"_p":null},"exploring":true}},{"Schedule":{"preemptions":4,"initial_active":2,"threads":["Skip","Skip","Active","Disabled","Disabled"],"prev":{"index":35,"_p":null},"exploring":true}},{"Load":{"values":[0,1,2,0,0,0,0],"pos":0,"len":3,"exploring":true}},{"Schedule":{"preemptions":4,"initial_active":2,"threads":["Visited","Active","Visited","Disabled","Disabled"],"prev":{"index":36,"_p":null},"exploring":true}},{"Schedule":{"preemptions":5,"initial_active":1,"threads":["Disabled","Active","Disabled","Disabled","Disabled"],"prev":{"index":38,"_p":null},"exploring":true}},{"Load":{"values":[1,0,0,0,0,0,0],"pos":0,"len":1,"exploring":true}},{"Schedule":{"preemptions":5,"initial_active":1,"threads":["Disabled","Active","Disabled","Disabled","Disabled"],"prev":{"index":39,"_p":null},"exploring":true}},{"Load":{"values":[1,0,0,0,0,0,0],"pos":0,"len":1,"exploring":true}},{"Schedule":{"preemptions":5,"initial_active":1,"threads":["Disabled","Active","Disabled","Disabled","Disabled"],"prev":{"index":41,"_p":null},"exploring":true}},{"Schedule":{"preemptions":5,"initial_active":1,"threads":["Disabled","Active","Disabled","Disabled","Disabled"],"prev":{"index":43,"_p":null},"exploring":true}},{"Load":{"values":[2,0,0,0,0,0,0],"pos":0,"len":1,"exploring":true}},{"Schedule":{"preemptions":5,"initial_active":1,"threads":["Visited","Visited","Active","Disabled","Disabled"],"prev":{"index":44,"_p":null},"exploring":true}},{"Schedule":{"preemptions":6,"initial_active":2,"threads":["Active","Pending","Visited","Disabled","Disabled"],"prev":{"index":46,"_p":null},"exploring":true}},{"Schedule":{"preemptions":7,"initial_active":0,"threads":["Visited","Visited","Active","Disabled","Disabled"],"prev":{"index":47,"_p":null},"exploring":true}},{"Schedule":{"preemptions":8,"initial_active":2,"threads":["Visited","Active","Visited","Disabled","Disabled"],"prev":{"index":48,"_p":null},"exploring":true}},{"Schedule":{"preemptions":9,"initial_active":1,"threads":["Pending","Active","Pending","Disabled","Disabled"],"prev":{"index":49,"_p":null},"exploring":true}},{"Schedule":{"preemptions":9,"initial_active":1,"threads":["Pending","Active","Pending","Disabled","Disabled"],"prev":{"index":50,"_p":null},"exploring":true}},{"Schedule":{"preemptions":9,"initial_active":1,"threads":["Pending","Active","Skip","Disabled","Disabled"],"prev":{"index":51,"_p":null},"exploring":true}},{"Schedule":{"preemptions":9,"initial_active":null,"threads":["Visited","Disabled","Active","Disabled","Disabled"],"prev":{"index":52,"_p":null},"exploring":true}},{"Schedule":{"preemptions":9,"initial_active":2,"threads":["Active","Disabled","Visited","Disabled","Disabled"],"prev":{"index":53,"_p":null},"exploring":true}}]},"exploring":true,"skipping":false,"exploring_on_start":true}

rtic-sync/src/channel.rs

@@ -323,12 +323,12 @@ impl<T, const N: usize> Sender<'_, T, N> {
         });
 
         let idx = poll_fn(|cx| {
-            if self.is_closed() {
-                return Poll::Ready(Err(()));
-            }
-
             //  Do all this in one critical section, else there can be race conditions
-            let queue_idx = critical_section::with(|cs| {
+            critical_section::with(|cs| {
+                if self.is_closed() {
+                    return Poll::Ready(Err(()));
+                }
+
                 let wq_empty = self.0.wait_queue.is_empty();
                 let fq_empty = unsafe {
                     // SAFETY: the closure does not call `freeq`
@@ -341,7 +341,7 @@ impl<T, const N: usize> Sender<'_, T, N> {
                     let link = unsafe { link_ptr.get() };
                     if let Some(link) = link {
                         if !link.is_popped() {
-                            return None;
+                            return Poll::Pending;
                         } else {
                             // Fall through to dequeue
                         }
@@ -357,7 +357,7 @@ impl<T, const N: usize> Sender<'_, T, N> {
                         // `link_ptr` lives until the end of the stack frame.
                         unsafe { self.0.wait_queue.push(Pin::new_unchecked(link_ref)) };
 
-                        return None;
+                        return Poll::Pending;
                     }
                 }
 
@@ -369,15 +369,8 @@ impl<T, const N: usize> Sender<'_, T, N> {
                 // Get index as the queue is guaranteed not empty and the wait queue is empty
                 let idx = unsafe { self.0.freeq(cs, |q| q.pop_front_unchecked()) };
 
-                Some(idx)
-            });
-
-            if let Some(idx) = queue_idx {
-                // Return the index
                 Poll::Ready(Ok(idx))
-            } else {
-                Poll::Pending
-            }
+            })
         })
         .await;
 
@@ -513,6 +506,7 @@ impl<T, const N: usize> Receiver<'_, T, N> {
 
                 // If someone is waiting in the WaiterQueue, wake the first one up.
                 if let Some(wait_head) = self.0.wait_queue.pop() {
+                    assert!(unsafe { !self.0.freeq(cs, |q| q.is_empty()) });
                     wait_head.wake();
                 }
 
@@ -625,23 +619,29 @@ mod loom_tests {
 
         loom::model(|| {
             let (mut spam_tx_send, mut spam_tx_recv) = make_loom_channel!([u8; 20], 1);
+            let mut cloned = spam_tx_send.clone();
 
             spam_tx_send.try_send([1; 20]).unwrap();
 
-            let handle = thread::spawn(move || {
-                spam_tx_send.try_send([1; 20]).ok();
-
+            let handle1 = thread::spawn(move || {
                 let future = std::pin::pin!(spam_tx_send.send([1; 20]));
                 let mut future = Cassette::new(future);
                 if future.poll_on().is_none() {
                     future.poll_on();
                 }
             });
 
+            let handle2 = thread::spawn(move || {
+                cloned.try_send([1; 20]).ok();
+            });
+
             spam_tx_recv.try_recv().ok();
             spam_tx_recv.try_recv().ok();
 
-            handle.join().unwrap();
+            drop(spam_tx_recv);
+
+            handle1.join().unwrap();
+            handle2.join().unwrap();
         });
     }
 }