diff options
| author | Dániel Buga <[email protected]> | 2024-11-26 00:20:34 +0100 |
|---|---|---|
| committer | Dániel Buga <[email protected]> | 2024-12-17 16:52:13 +0100 |
| commit | c6ca46c82529e014aaceb218ad88978c50f0db07 (patch) | |
| tree | ed976c45f41a34e6b7ba59aaa047dfc6adc00728 /embassy-executor/src/raw/mod.rs | |
| parent | 2853308d8f7b845a9255bd7f68911a5214f17ca1 (diff) | |
Set RUN_QUEUED unconditionally
Diffstat (limited to 'embassy-executor/src/raw/mod.rs')
| -rw-r--r-- | embassy-executor/src/raw/mod.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/embassy-executor/src/raw/mod.rs b/embassy-executor/src/raw/mod.rs index 0ac569946..6503b556f 100644 --- a/embassy-executor/src/raw/mod.rs +++ b/embassy-executor/src/raw/mod.rs | |||
| @@ -52,7 +52,7 @@ use super::SpawnToken; | |||
| 52 | /// ```text | 52 | /// ```text |
| 53 | /// ┌────────────┐ ┌────────────────────────┐ | 53 | /// ┌────────────┐ ┌────────────────────────┐ |
| 54 | /// ┌─►│Not spawned │◄─6┤Not spawned|Run enqueued│ | 54 | /// ┌─►│Not spawned │◄─6┤Not spawned|Run enqueued│ |
| 55 | /// │ │ �� │ │ | 55 | /// │ │ ��7��►�� │ |
| 56 | /// │ └─────┬──────┘ └──────▲─────────────────┘ | 56 | /// │ └─────┬──────┘ └──────▲─────────────────┘ |
| 57 | /// │ 1 │ | 57 | /// │ 1 │ |
| 58 | /// │ │ ┌────────────┘ | 58 | /// │ │ ┌────────────┘ |
| @@ -76,6 +76,7 @@ use super::SpawnToken; | |||
| 76 | /// - 4: Task exits - `TaskStorage::poll -> Poll::Ready` | 76 | /// - 4: Task exits - `TaskStorage::poll -> Poll::Ready` |
| 77 | /// - 5: A run-queued task exits - `TaskStorage::poll -> Poll::Ready` | 77 | /// - 5: A run-queued task exits - `TaskStorage::poll -> Poll::Ready` |
| 78 | /// - 6: Task is dequeued and then ignored via `State::run_dequeue` | 78 | /// - 6: Task is dequeued and then ignored via `State::run_dequeue` |
| 79 | /// - 7: A task is waken when it is not spawned - `wake_task -> State::run_enqueue` | ||
| 79 | pub(crate) struct TaskHeader { | 80 | pub(crate) struct TaskHeader { |
| 80 | pub(crate) state: State, | 81 | pub(crate) state: State, |
| 81 | pub(crate) run_queue_item: RunQueueItem, | 82 | pub(crate) run_queue_item: RunQueueItem, |
