RTSpin.beta scaled properly now.

1 files changed, 7 insertions, 5 deletions

diff --git a/bin/rtspin.beta.c b/bin/rtspin.beta.c
index f7f9e0e..13fd365 100644
--- a/bin/rtspin.beta.c
+++ b/bin/rtspin.beta.c
@@ -20,7 +20,7 @@ static void usage(char *error) {
         fprintf(stderr, "Error: %s\n", error);
         fprintf(stderr,
                 "Usage:\n"
-                "       rt_spin [COMMON-OPTS] WCET PERIOD DURATION\n"
+                "       rt_spin [COMMON-OPTS] LVL_C_TIME WCET PERIOD DURATION\n"
                 "       rt_spin -l\n"
                 "\n"
                 "COMMON-OPTS = [-w] [-p PARTITION] [-c CLASS] [-s SCALE]\n"
@@ -127,6 +127,7 @@ int main(int argc, char** argv)
         int ret;
         lt_t wcet;
         lt_t period;
+        lt_t lvl_c_time;
         int migrate = 0;
         int cpu = 0;
         int opt;
@@ -197,11 +198,12 @@ int main(int argc, char** argv)
                 return 0;
         }
 
-        if (argc - optind < 3)
+        if (argc - optind < 4)
                 usage("Arguments missing.");
 
-        wcet            = atoi(argv[optind + 0]);
-        period          = atoi(argv[optind + 1]);
+        lvl_c_time      = atoi(argv[optind + 0]);
+        wcet            = atoi(argv[optind + 1]);
+        period          = atoi(argv[optind + 2]);
 
         if (seed < 1)
                 usage("Seed < 1 not allowed.");
@@ -256,7 +258,7 @@ int main(int argc, char** argv)
 
         do {
                 beta_sample = gsl_ran_beta(beta_rng, alpha, beta);
-                exec_time = wcet * beta_sample * scale;
+                exec_time = lvl_c_time * 10.0 * beta_sample * scale;
                 /* convert to seconds */
                 exec_time = exec_time * 0.000000001;
         } while(job(exec_time, start + duration));