diff options
Diffstat (limited to 'docs/src')
| -rw-r--r-- | docs/src/goals.dox | 4 | ||||
| -rw-r--r-- | docs/src/jitter.dox | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/docs/src/goals.dox b/docs/src/goals.dox index 3a2209f0c..13e764802 100644 --- a/docs/src/goals.dox +++ b/docs/src/goals.dox @@ -64,8 +64,8 @@ * can report memory exhausted.
*
* <h3>Very simple APIs</h3>
- * Every API should have the parameters you would expect for that function, no
- * more no less. Each API does a single thing with no options.
+ * Each API should have the parameters you would expect for that function and
+ * do just one thing with no options.
*
* <h3>Fast and compact</h3>
* Note, first "fast" then "compact", the focus is on speed and execution
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
|