Fix race in enqueuing expired tasks.

2020-12-30 04:12:48 +01:00 · 2020-12-30 04:12:48 +01:00 · a02d0a378e
commit a02d0a378e
parent bb6f25d010
1 changed files with 2 additions and 1 deletions
--- a/embassy/src/executor/mod.rs
+++ b/embassy/src/executor/mod.rs
@ -216,7 +216,8 @@ impl Executor {
        unsafe {
            if self.alarm.is_some() {
                self.timer_queue.dequeue_expired(Instant::now(), |p| {
-                    self.enqueue(p);
+                    let header = &*p;
+                    header.enqueue();
                });
            }