<div dir="ltr">I would appreciate someone double-checking that I translated the formulas<div>correctly.</div><div><br></div><div>Thanks.</div><div><br></div><div>--joel</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Mar 10, 2017 at 3:29 PM, Joel Sherrill <span dir="ltr"><<a href="mailto:joel@rtems.org" target="_blank">joel@rtems.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">---<br>
c-user/rate_monotonic_manager.<wbr>rst | 14 ++++++--------<br>
1 file changed, 6 insertions(+), 8 deletions(-)<br>
<br>
diff --git a/c-user/rate_monotonic_<wbr>manager.rst b/c-user/rate_monotonic_<wbr>manager.rst<br>
index 05eb59f..1309a88 100644<br>
--- a/c-user/rate_monotonic_<wbr>manager.rst<br>
+++ b/c-user/rate_monotonic_<wbr>manager.rst<br>
@@ -267,21 +267,19 @@ Processor Utilization Rule<br>
<br>
The Processor Utilization Rule requires that processor utilization be<br>
calculated based upon the period and execution time of each task. The fraction<br>
-of processor time spent executing task index is ``Time(index) /<br>
-Period(index)``. The processor utilization can be calculated as follows:<br>
+of processor time spent executing task index is ``Time(i) / Period(i)``.<br>
+The processor utilization can be calculated as follows:<br>
<br>
-.. code-block:: c<br>
+.. math::<br>
<br>
- Utilization = 0<br>
- for index = 1 to maximum_tasks<br>
- Utilization = Utilization + (Time(index)/Period(index))<br>
+ Utilization = \sum_{i=1}^{maximumTasks} Time_i/Period_i<br>
<br>
To ensure schedulability even under transient overload, the processor<br>
utilization must adhere to the following rule:<br>
<br>
-.. code-block:: c<br>
+.. math::<br>
<br>
- Utilization = maximum_tasks * (2**(1/maximum_tasks) - 1)<br>
+ maximumUtilization = maximumTasks * (2^{\frac{1}{maximumTasks}} - 1)<br>
<br>
As the number of tasks increases, the above formula approaches ln(2) for a<br>
worst-case utilization factor of approximately 0.693. Many tasks sets can be<br>
<span class="HOEnZb"><font color="#888888">--<br>
1.8.3.1<br>
<br>
</font></span></blockquote></div><br></div>