Make sure an exited task does not get stuck in a timer queue

1 files changed, 14 insertions, 0 deletions

diff --git a/embassy-executor/src/raw/mod.rs b/embassy-executor/src/raw/mod.rs
index 2feaab155..b825fa6c2 100644
--- a/embassy-executor/src/raw/mod.rs
+++ b/embassy-executor/src/raw/mod.rs
@@ -192,7 +192,17 @@ impl<F: Future + 'static> TaskStorage<F> {
         match future.poll(&mut cx) {
             Poll::Ready(_) => {
                 this.future.drop_in_place();
+
+                // Mark this task to be timer queued, to prevent re-queueing it.
+                this.raw.state.timer_enqueue();
+
+                // Now mark the task as not spawned, so that
+                // - it can be spawned again once it has been removed from the timer queue
+                // - it can not be timer-queued again
                 this.raw.state.despawn();
+
+                // Schedule the task by hand in the past, so it runs immediately.
+                unsafe { _embassy_time_schedule_wake(0, &waker) }
             }
             Poll::Pending => {}
         }
@@ -211,6 +221,10 @@ impl<F: Future + 'static> TaskStorage<F> {
     }
 }
 
+extern "Rust" {
+    fn _embassy_time_schedule_wake(at: u64, waker: &core::task::Waker);
+}
+
 /// An uninitialized [`TaskStorage`].
 pub struct AvailableTask<F: Future + 'static> {
     task: &'static TaskStorage<F>,