aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Jorge Aparicio <jorge@japaric.io> 2019-04-16 16:39:51 +0200
committerGravatar Jorge Aparicio <jorge@japaric.io> 2019-04-21 18:00:22 +0200
commitc4bad51deb75efc033431be513e264c3247b64cb (patch)
tree27e5a4c7e7437ff15ea59be43b761e0149092372
parent77def324548e204d3a36a4e89eb528904c381158 (diff)
downloadrtic-c4bad51deb75efc033431be513e264c3247b64cb.tar.gz
rtic-c4bad51deb75efc033431be513e264c3247b64cb.tar.zst
rtic-c4bad51deb75efc033431be513e264c3247b64cb.zip
note that late resources must be Send
-rw-r--r--book/en/src/by-example/types-send-sync.md5
1 files changed, 5 insertions, 0 deletions
diff --git a/book/en/src/by-example/types-send-sync.md b/book/en/src/by-example/types-send-sync.md
index da53cf96..8ec62e65 100644
--- a/book/en/src/by-example/types-send-sync.md
+++ b/book/en/src/by-example/types-send-sync.md
@@ -39,6 +39,11 @@ The example below shows where a type that doesn't implement `Send` can be used.
{{#include ../../../../examples/not-send.rs}}
```
+It's important to note that late initialization of resources is effectively a
+send operation where the initial value is sent from `idle`, which has the lowest
+priority of `0`, to a task with will run with a priority greater than or equal
+to `1`. Thus all late resources need to implement the `Send` trait.
+
## `Sync`
Similarly, [`Sync`] is a marker trait for "types for which it is safe to share