mirror/rtic
1
0
Fork 0
mirror of https://github.com/rtic-rs/rtic.git synced 2024-11-23 20:22:51 +01:00
Code Issues Projects Releases Packages Wiki Activity

fix link

Browse source
This commit is contained in:
Jorge Aparicio 2019-08-21 10:28:07 +02:00
parent 07b2b4d830
commit 009ca9a0be
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
book/en/src/internals/critical-sections.md
View file

@ -13,7 +13,7 @@ the task. While a task is within this critical section all the other tasks that
may request the resource are *not allowed to start*. may request the resource are *not allowed to start*.
How high must the dynamic priority be to ensure mutual exclusion on a particular How high must the dynamic priority be to ensure mutual exclusion on a particular
resource? The [ceiling analysis](ceiling-analysis.html) is in charge of resource? The [ceiling analysis](ceilings.html) is in charge of
answering that question and will be discussed in the next section. This section answering that question and will be discussed in the next section. This section
will focus on the implementation of the critical section. will focus on the implementation of the critical section.