diff options
Diffstat (limited to 'docs/src/jitter.dox')
| -rw-r--r-- | docs/src/jitter.dox | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/src/jitter.dox b/docs/src/jitter.dox index d0215abb2..bff39bed6 100644 --- a/docs/src/jitter.dox +++ b/docs/src/jitter.dox @@ -55,6 +55,7 @@ int -> busy [label="Not Ready"];
busy -> busy [label="Still Busy\n(added latency)"];
busy -> served [label="Finally Ready"];
+ }
* @enddot
*
* In this scenario the jitter (busy state) is represented by the sum of:
@@ -85,6 +86,7 @@ busy -> busy [label="Higher priority Threads\n(added latency)"];
busy -> thread [label="Highest Priority"];
served -> thread [label="Highest Priority (minimum latency)"];
+ }
* @enddot
*
* In this scenario all the jitter sources previously discussed are also
|