diff options
| author | diondokter <[email protected]> | 2025-08-29 14:36:17 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2025-09-11 14:45:27 +0200 |
| commit | 52d178560501a464dba67da89a1570ae9a2cf66c (patch) | |
| tree | 285b11fe4f91a77789f649377e431414e43f7ac2 /embassy-executor/Cargo.toml | |
| parent | d6d4df1c768f8ae43ad1339b74d351f4cbad0386 (diff) | |
Introduce metadata-deadline and let the EDF scheduler use it
Diffstat (limited to 'embassy-executor/Cargo.toml')
| -rw-r--r-- | embassy-executor/Cargo.toml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/embassy-executor/Cargo.toml b/embassy-executor/Cargo.toml index 290e67bce..2de36d22d 100644 --- a/embassy-executor/Cargo.toml +++ b/embassy-executor/Cargo.toml | |||
| @@ -118,6 +118,8 @@ arch-spin = ["_arch"] | |||
| 118 | 118 | ||
| 119 | ## Enable the `name` field in task metadata. | 119 | ## Enable the `name` field in task metadata. |
| 120 | metadata-name = ["embassy-executor-macros/metadata-name"] | 120 | metadata-name = ["embassy-executor-macros/metadata-name"] |
| 121 | ## Enable the `deadline` field in task metadata. | ||
| 122 | metadata-deadline = [] | ||
| 121 | 123 | ||
| 122 | #! ### Executor | 124 | #! ### Executor |
| 123 | 125 | ||
| @@ -133,4 +135,4 @@ _any_trace = [] | |||
| 133 | 135 | ||
| 134 | ## Enable "Earliest Deadline First" Scheduler, using soft-realtime "deadlines" to prioritize | 136 | ## Enable "Earliest Deadline First" Scheduler, using soft-realtime "deadlines" to prioritize |
| 135 | ## tasks based on the remaining time before their deadline. Adds some overhead. | 137 | ## tasks based on the remaining time before their deadline. Adds some overhead. |
| 136 | edf-scheduler = ["dep:embassy-time-driver"] | 138 | edf-scheduler = ["dep:embassy-time-driver", "metadata-deadline"] |