diff options
author | Glenn Elliott <gelliott@cs.unc.edu> | 2012-09-08 10:26:00 -0400 |
---|---|---|
committer | Glenn Elliott <gelliott@cs.unc.edu> | 2012-09-08 10:26:00 -0400 |
commit | d3c32e91e3fce2a57083a734efae6d9de06ec02f (patch) | |
tree | 3db0224f6e9dba633c380556171d27bbafcb1776 | |
parent | 077aaecac31331b65442275843932314049a2ceb (diff) |
Fixed type-os and clarified text in litmus/Kconfig
-rw-r--r-- | litmus/Kconfig | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig index 48ff3e3c657c..f2dbfb396883 100644 --- a/litmus/Kconfig +++ b/litmus/Kconfig | |||
@@ -89,7 +89,7 @@ choice | |||
89 | config EDF_TIE_BREAK_LATENESS | 89 | config EDF_TIE_BREAK_LATENESS |
90 | bool "Lateness-based Tie Break" | 90 | bool "Lateness-based Tie Break" |
91 | help | 91 | help |
92 | Break ties between to jobs, A and B, based upon the lateness of their | 92 | Break ties between two jobs, A and B, based upon the lateness of their |
93 | prior jobs. The job with the greatest lateness has priority. Note that | 93 | prior jobs. The job with the greatest lateness has priority. Note that |
94 | lateness has a negative value if the prior job finished before its | 94 | lateness has a negative value if the prior job finished before its |
95 | deadline. | 95 | deadline. |
@@ -97,8 +97,8 @@ choice | |||
97 | config EDF_TIE_BREAK_LATENESS_NORM | 97 | config EDF_TIE_BREAK_LATENESS_NORM |
98 | bool "Normalized Lateness-based Tie Break" | 98 | bool "Normalized Lateness-based Tie Break" |
99 | help | 99 | help |
100 | Break ties between to jobs, A and B, based upon the lateness, normalized | 100 | Break ties between two jobs, A and B, based upon the lateness, normalized |
101 | by relative deadline, their prior jobs. The job with the greatest | 101 | by relative deadline, of their prior jobs. The job with the greatest |
102 | normalized lateness has priority. Note that lateness has a negative value | 102 | normalized lateness has priority. Note that lateness has a negative value |
103 | if the prior job finished before its deadline. | 103 | if the prior job finished before its deadline. |
104 | 104 | ||
@@ -116,9 +116,9 @@ choice | |||
116 | config EDF_PID_TIE_BREAK | 116 | config EDF_PID_TIE_BREAK |
117 | bool "PID-based Tie Breaks" | 117 | bool "PID-based Tie Breaks" |
118 | help | 118 | help |
119 | Break ties based upon OS-assigned process IDs. Use this option if | 119 | Break ties based upon OS-assigned thread IDs. Use this option if |
120 | required by algorithm's real-time analysis or per-task response-time | 120 | required by algorithm's real-time analysis or per-task response-time |
121 | jitter must be minimized in overload conditions. | 121 | jitter must be minimized. |
122 | 122 | ||
123 | NOTES: | 123 | NOTES: |
124 | * This tie-breaking method was default in Litmus 2012.2 and before. | 124 | * This tie-breaking method was default in Litmus 2012.2 and before. |