document/embbed-rust
2
0
Fork 0
mirror of https://github.com/nkbai/book.git synced 2026-09-06 06:24:52 +08:00
Code Issues Packages Projects Releases Wiki Activity

concurrency: update RTFM description and link to documentation

Browse Source
This commit is contained in:
Jorge Aparicio
2018-11-05 01:03:19 +01:00
parent e31407284c
commit cee9f35b03
1 changed files with 10 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/concurrency/concurrency.md
View File

@@ -519,17 +519,20 @@ we can do?
## RTFM
One alternative is the [RTFM framework], short for Real Time For the Masses. It
uses interrupt priorities to statically ensure that shared resources are always
accessed safely, without requiring the overhead of always entering critical
sections and using reference counting (as in `RefCell`). This has a number of
advantages such as guaranteeing no deadlocks and giving extremely low time and
memory overhead.
enforces static priorities and tracks accesses to `static mut` variables
("resources") to statically ensure that shared resources are always accessed
safely, without requiring the overhead of always entering critical sections and
using reference counting (as in `RefCell`). This has a number of advantages such
as guaranteeing no deadlocks and giving extremely low time and memory overhead.
[RTFM framework]: https://github.com/japaric/cortex-m-rtfm
Check out [the documentation] for more information!
The framework also includes other features like message passing, which reduces
the need for explicit shared state, and the ability to schedule tasks to run at
a given time, which can be used to implement periodic tasks. Check out [the
documentation] for more information!
[the documentation]: https://japaric.github.io/cortex-m-rtfm/cortex_m_rtfm/
[the documentation]: https://japaric.github.io/cortex-m-rtfm/book/
## Real Time Operating Systems