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) { |
