diff options
author | Glenn Elliott <gelliott@cs.unc.edu> | 2011-01-31 18:15:09 -0500 |
---|---|---|
committer | Glenn Elliott <gelliott@cs.unc.edu> | 2011-01-31 18:15:09 -0500 |
commit | 2f66b10f4c64185f5045427a85d10f6a51f4ce39 (patch) | |
tree | 27d7dacd04df0c3e7e9aa5fd238e96c94f578d06 | |
parent | 5d7319d7be09f5f690bdc228ea38693a98c25aa7 (diff) |
For waveform jobs, report to litmus a wcet of averagedwip-aedzl-final
min/max of waveform.
-rw-r--r-- | bin/rtspin.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/rtspin.c b/bin/rtspin.c index b53f8a7..2837bce 100644 --- a/bin/rtspin.c +++ b/bin/rtspin.c | |||
@@ -171,6 +171,7 @@ typedef double(*wave_func)(int, struct wave_data*); | |||
171 | 171 | ||
172 | struct wave_data | 172 | struct wave_data |
173 | { | 173 | { |
174 | double avg_wcet_ms; | ||
174 | double min_wcet_ms; | 175 | double min_wcet_ms; |
175 | double max_wcet_ms; | 176 | double max_wcet_ms; |
176 | double amplitude; | 177 | double amplitude; |
@@ -426,6 +427,10 @@ int main(int argc, char** argv) | |||
426 | { | 427 | { |
427 | wave.extrema_delay = 0; | 428 | wave.extrema_delay = 0; |
428 | } | 429 | } |
430 | |||
431 | wave.avg_wcet_ms = (wave.min_wcet_ms + wave.max_wcet_ms)/2.0; | ||
432 | /* assume min/max average out evenly. */ | ||
433 | wcet = wave.avg_wcet_ms * __NS_PER_MS; | ||
429 | } | 434 | } |
430 | 435 | ||
431 | if (migrate) { | 436 | if (migrate) { |