aboutsummaryrefslogtreecommitdiff
path: root/book/en/src/by-example/software_tasks.md
diff options
context:
space:
mode:
authorHenrik Tjäder <henrik@tjaders.com>2023-02-01 01:15:56 +0100
committerHenrik Tjäder <henrik@tjaders.com>2023-03-01 00:33:40 +0100
commit63f3d784fe519d248c89b64006dbc13d83e07360 (patch)
tree8be6e44f20126fac674bf213eba29f81d56285bd /book/en/src/by-example/software_tasks.md
parent8d46fb9cf9f2b9cdd14844672ad840d777739cb2 (diff)
Revert accidental removal of editorial changes
Diffstat (limited to 'book/en/src/by-example/software_tasks.md')
-rw-r--r--book/en/src/by-example/software_tasks.md7
1 files changed, 2 insertions, 5 deletions
diff --git a/book/en/src/by-example/software_tasks.md b/book/en/src/by-example/software_tasks.md
index 2752707..828c3fd 100644
--- a/book/en/src/by-example/software_tasks.md
+++ b/book/en/src/by-example/software_tasks.md
@@ -1,7 +1,7 @@
# Software tasks & spawn
-The RTIC concept of a *software* task shares a lot with that of [hardware tasks](./hardware_tasks.md) with the core difference that a software task is not explicitly bound to a specific
-interrupt vector, but rather to a “dispatcher” interrupt vector running at the same priority as the software task.
+The RTIC concept of a software task shares a lot with that of [hardware tasks](./hardware_tasks.md) with the core difference that a software task is not explicitly bound to a specific
+interrupt vector, but rather bound to a “dispatcher” interrupt vector running at the intended priority of the software task (see below).
Similarly to *hardware* tasks, the `#[task]` attribute used on a function declare it as a task. The absence of a `binds = InterruptName` argument to the attribute declares the function as a *software task*.
@@ -94,6 +94,3 @@ $ cargo run --target thumbv7m-none-eabi --example zero-prio-task
---
Application side safety: Technically, the RTIC framework ensures that `poll` is never executed on any *software* task with *completed* future, thus adhering to the soundness rules of async Rust.
-
-
-