support scaling, but not beyond WCET

1 files changed, 5 insertions, 2 deletions

diff --git a/bin/rtspin.beta.c b/bin/rtspin.beta.c
index 9dbe845..852b421 100644
--- a/bin/rtspin.beta.c
+++ b/bin/rtspin.beta.c
@@ -256,8 +256,11 @@ int main(int argc, char** argv)
 
         do {
                 beta_sample = gsl_ran_beta(beta_rng, alpha, beta);
-                /* convert to seconds and scale */
-                exec_time = wcet * beta_sample * 0.000000001 * scale;
+                exec_time = wcet * beta_sample * scale;
+                if (exec_time > wcet)
+                        exec_time = wcet;
+                /* convert to seconds */
+                exec_time = exec_time * 0.000000001;
         } while(job(exec_time, start + duration));
 
         ret = task_mode(BACKGROUND_TASK);