diff options
Diffstat (limited to 'book')
| -rw-r--r-- | book/en/src/by-example/resources.md | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/book/en/src/by-example/resources.md b/book/en/src/by-example/resources.md index 9d90fbe..c34efc9 100644 --- a/book/en/src/by-example/resources.md +++ b/book/en/src/by-example/resources.md @@ -136,3 +136,15 @@ any kind of lock. $ cargo run --example only-shared-access {{#include ../../../../ci/expected/only-shared-access.run}} ``` + +## Lock-free resource access of mutable resources + +There exists two other options dealing with resources + +* `#[lock_free]`: there might be several tasks with the same priority + accessing the resource without critical section. Since tasks with the + same priority never can preempt another task on the same priority + this is safe. +* `#[task_local]`: there must be only one task using this resource, + similar to a task local resource, but (optionally) set-up by init. + |