Skip to content

Commit

Permalink
Explicitly mark Spawned state
Browse files Browse the repository at this point in the history
  • Loading branch information
bugadani committed Dec 9, 2024
1 parent 9db9a66 commit cd6d6df
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions embassy-executor/src/raw/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -56,16 +56,16 @@ use super::SpawnToken;
///
/// ```text
/// ┌────────────┐ ┌────────────────────────┐ ┌──────────────────────────┐
/// ┌─►│Not spawned │◄12┤Not spawned|Run enqueued│◄11Not spawned|Timer enqueued│◄───┐
/// ┌─►│Not spawned │◄12┤Not spawned|Run enqueued│◄11Not spawned|Timer enqueued│◄───┐
/// │ │ │ │ │ │ │ │
/// │ └─────┬──────┘ └───────────▲────────────┘ └──────────────────────────┘ │
/// │ 1 │ │
/// │ │ ┌─────────────────┘ │
/// │ │ 13 │
/// │ ┌─────▼────┴─┐ ───────────────────────────┐ │
/// │ │Run enqueued├7────────────────────────────────►│Run enqueued|Timer enqueued│ │
/// │ │ │◄────────────────────────────────8┤ │ │
/// │ └─────┬▲───▲─┘ ───────────▲───────────────┘ │
/// │ ┌─────▼────┴─────────┌───────────────────────────────────┐ │
/// │ │Spawned|Run enqueued├7────────────────►│Spawned|Run enqueued|Timer enqueued│ │
/// │ │ │◄────────────────8┤ │ │
/// │ └─────┬▲───▲─────────└───────────────────▲───────────────┘ │
/// │ 2│ └─────────────────────────────────────┐ │ │
/// │ │3 6 9 │
/// │ ┌─────▼┴─────┐ ┌┴──────────┴──────────┐ │
Expand Down

0 comments on commit cd6d6df

Please sign in to comment.