diff options
| author | Joel Sherrill <joel@rtems.org> | 2023-01-10 16:33:57 -0600 |
|---|---|---|
| committer | Joel Sherrill <joel@rtems.org> | 2023-01-13 08:44:26 -0600 |
| commit | f48f79dcad2b984621b493b1dd0ea360bef17202 (patch) | |
| tree | 235acff32b9b0203375f40fd8ffad999bc3cabce | |
| parent | riscv: Resurrect RISCV_ENABLE_HTIF_SUPPORT (diff) | |
| download | rtems-docs-f48f79dcad2b984621b493b1dd0ea360bef17202.tar.bz2 | |
c-user/rate-monotonic/background.rst: Correct logically inverted statement
Also corrected a spot of formatting.
Closes #4781.
| -rw-r--r-- | c-user/rate-monotonic/background.rst | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/c-user/rate-monotonic/background.rst b/c-user/rate-monotonic/background.rst index c81af4e..af54591 100644 --- a/c-user/rate-monotonic/background.rst +++ b/c-user/rate-monotonic/background.rst @@ -222,8 +222,9 @@ assumptions: - The execution time for each task without preemption or interruption is constant and does not vary. -- Any non-periodic tasks in the system are special. These tasks displace - periodic tasks while executing and do not have hard, critical deadlines. +- Any non-periodic tasks in the system are special. These tasks should not + displace periodic tasks while executing and do not have hard, critical + deadlines. Once the basic schedulability analysis is understood, some of the above assumptions can be relaxed and the side-effects accounted for. @@ -290,9 +291,9 @@ by the Processor Utilization Rule, they can still be guaranteed to meet all their deadlines by application of the First Deadline Rule. This rule can be stated as follows: -For a given set of independent periodic tasks, if each task meets its first -deadline when all tasks are started at the same time, then the deadlines will -always be met for any combination of start times. + For a given set of independent periodic tasks, if each task meets its first + deadline when all tasks are started at the same time, then the + deadlines will always be met for any combination of start times. A key point with this rule is that ALL periodic tasks are assumed to start at the exact same instant in time. Although this assumption may seem to be |