aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGlenn Elliott <gelliott@cs.unc.edu>2011-01-31 18:15:09 -0500
committerGlenn Elliott <gelliott@cs.unc.edu>2011-01-31 18:15:09 -0500
commit2f66b10f4c64185f5045427a85d10f6a51f4ce39 (patch)
tree27d7dacd04df0c3e7e9aa5fd238e96c94f578d06
parent5d7319d7be09f5f690bdc228ea38693a98c25aa7 (diff)
For waveform jobs, report to litmus a wcet of averagedwip-aedzl-final
min/max of waveform.
-rw-r--r--bin/rtspin.c5
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
172struct wave_data 172struct 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) {