Add EDF-os versions of rtspin and rt_launch

3 files changed, 408 insertions, 0 deletions

diff --git a/SConstruct b/SConstruct
index 3b7aa6c..617948d 100644
--- a/SConstruct
+++ b/SConstruct
@@ -209,7 +209,9 @@ mtrt.Program('base_mt_task', 'bin/base_mt_task.c')
 rt.Program('rt_launch', ['bin/rt_launch.c', 'bin/common.c'])
 rt.Program('rtspin', ['bin/rtspin.c', 'bin/common.c'])
 rt.Program('rtspin_edffm', ['bin/rtspin_edffm.c', 'bin/common.c'])
+rt.Program('rtspin_edfos', ['bin/rtspin_edfos.c', 'bin/common.c'])
 rt.Program('rt_launch_edffm', ['bin/rt_launch_edffm.c', 'bin/common.c'])
+rt.Program('rt_launch_edfos', ['bin/rt_launch_edfos.c', 'bin/common.c'])
 rt.Program('rtspin_npsf', ['bin/rtspin_npsf.c', 'bin/common.c'])
 rt.Program('npsf_add_server', ['bin/npsf_add_server.c', 'bin/common.c'])
 rt.Program('rt_launch_npsf', ['bin/rt_launch_npsf.c', 'bin/common.c'])
diff --git a/bin/rt_launch_edfos.c b/bin/rt_launch_edfos.c
new file mode 100644
index 0000000..43ebee5
--- /dev/null
+++ b/bin/rt_launch_edfos.c
@@ -0,0 +1,138 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+#include <unistd.h>
+#include <limits.h>
+#include <signal.h>
+
+#include "litmus.h"
+#include "common.h"
+
+typedef struct {
+        int  wait;
+        char * exec_path;
+        char ** argv;
+} startup_info_t;
+
+
+int launch(void *task_info_p) {
+        startup_info_t *info = (startup_info_t*) task_info_p;
+        int ret;
+        if (info->wait) {
+                ret = wait_for_ts_release();
+                if (ret != 0)
+                        perror("wait_for_ts_release()");
+        }
+        ret = execvp(info->exec_path, info->argv);
+        perror("execv failed");
+        return ret;
+}
+
+void usage(char *error) {
+        fprintf(stderr, "%s\nUsage: rt_launch [-w][-v][-p cpu][-c hrt | srt | be] wcet period"
+                        " fracnum1 fracden1 cpu1 fracnum2 fracden2 cpu2 program [arg1 arg2 ...]\n"
+                        "\t-w\tSynchronous release\n"
+                        "\t-v\tVerbose\n"
+                        "\t-p\tcpu (or initial cpu)\n"
+                        "\t-c\tClass\n"
+                        "\twcet, period in ms\n"
+                        "\tprogram to be launched\n",
+                        error);
+        exit(1);
+}
+
+
+#define OPTSTR "p:c:vw"
+
+int main(int argc, char** argv) 
+{
+        int ret;
+        lt_t wcet;
+        lt_t period;
+        /* [num,den] */
+        lt_t fracs[NR_CPUS][2];
+        int migrate = 0;
+        int cpu = 0;
+        int opt;
+        int verbose = 0;
+        int wait = 0;
+        int i;
+        startup_info_t info;
+        task_class_t class = RT_CLASS_HARD;
+
+        for (i = 0; i < NR_CPUS; i++) {
+                fracs[i][0] = 0;
+                fracs[i][1] = 0;
+        }
+
+        while ((opt = getopt(argc, argv, OPTSTR)) != -1) {
+                switch (opt) {
+                case 'w':
+                        wait = 1;
+                        break;
+                case 'v':
+                        verbose = 1;
+                        break;
+                case 'p':
+                        cpu = atoi(optarg);
+                        fracs[cpu][0] = 1;
+                        fracs[cpu][1] = 1;
+                        migrate = 1;
+                        break;
+                case 'c':
+                        class = str2class(optarg);
+                        if (class == -1)
+                                usage("Unknown task class.");
+                        break;
+                case ':':
+                        usage("Argument missing.");
+                        break;
+                case '?':
+                default:
+                        usage("Bad argument.");
+                        break;
+                }
+        }
+
+        signal(SIGUSR1, SIG_IGN);
+
+        if ((argc - (optind + 2)) % 3 != 0)
+                usage("Arguments missing.");
+        wcet   = ms2lt(atoi(argv[optind + 0]));
+        period = ms2lt(atoi(argv[optind + 1]));
+
+        for (i = optind + 1; i < argc; i+= 3) {
+                cpu = atoi(argv[i+2]);
+                fracs[cpu][0] = atoi(argv[i]);
+                fracs[cpu][1] = atoi(argv[i+1]);
+        }
+        if (wcet <= 0)
+        usage("The worst-case execution time must be a "
+              "positive number.");
+        if (period <= 0)
+                usage("The period must be a positive number.");
+        if (wcet > period) {
+                usage("The worst-case execution time must not "
+                      "exceed the period.");
+        }
+        info.exec_path = argv[optind + 8];
+        info.argv      = argv + optind + 8;
+        info.wait      = wait;
+        if (migrate) {
+                ret = be_migrate_to(cpu);
+                if (ret < 0)
+                        bail_out("could not migrate to target partition");
+        }
+        /* create in src/task.c a new wrapper for the __launch_rt_task
+         * which takes the fraction and the cpus */
+        ret = __create_rt_task_edfos(launch, &info, wcet, period, fracs,
+                        class);
+
+
+        if (ret < 0)
+                bail_out("could not create rt child process");
+        else if (verbose)
+                printf("%d\n", ret);
+
+        return 0;
+}
diff --git a/bin/rtspin_edfos.c b/bin/rtspin_edfos.c
new file mode 100644
index 0000000..e39a8c0
--- /dev/null
+++ b/bin/rtspin_edfos.c
@@ -0,0 +1,268 @@
+#include <sys/time.h>
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <unistd.h>
+#include <time.h>
+
+
+#include "litmus.h"
+#include "common.h"
+
+
+static double cputime()
+{
+        struct timespec ts;
+        int err;
+        err = clock_gettime(CLOCK_THREAD_CPUTIME_ID, &ts);
+        if (err != 0)
+                perror("clock_gettime");
+        return (ts.tv_sec + 1E-9 * ts.tv_nsec);
+}
+
+static double wctime()
+{
+        struct timeval tv;
+        gettimeofday(&tv, NULL);
+        return (tv.tv_sec + 1E-6 * tv.tv_usec);
+}
+
+void usage(char *error) {
+        fprintf(stderr, "Error: %s\n", error);
+        fprintf(stderr,
+                "Usage: rt_spin [-w] [-p PARTITION] [-c CLASS] WCET PERIOD DURATION fracnum1 fracden1 cpu1 fracnum2 fracden2 cpu2\n"
+                "       rt_spin -l\n");
+        exit(1);
+}
+
+#define NUMS 4096
+static int num[NUMS];
+static double loop_length = 1.0;
+static char* progname;
+
+static int loop_once(void)
+{
+        int i, j = 0;
+        for (i = 0; i < NUMS; i++)
+                j += num[i]++;
+        return j;
+}
+
+static int loop_for(double exec_time)
+{
+        double t = 0;
+        int tmp = 0;
+/*      while (t + loop_length < exec_time) {
+                tmp += loop_once();
+                t += loop_length;
+        }
+*/
+        double start = cputime();
+        double now = cputime();
+        while (now + loop_length < start + exec_time) {
+                tmp += loop_once();
+                t += loop_length;
+                now = cputime();
+        }
+
+        return tmp;
+}
+
+static void fine_tune(double interval)
+{
+        double start, end, delta;
+
+        start = wctime();
+        loop_for(interval);
+        end = wctime();
+        delta = (end - start - interval) / interval;
+        if (delta != 0)
+                loop_length = loop_length / (1 - delta);
+}
+
+static void configure_loop(void)
+{
+        double start;
+
+        /* prime cache */
+        loop_once();
+        loop_once();
+        loop_once();
+
+        /* measure */
+        start = wctime();
+        loop_once(); /* hope we didn't get preempted  */
+        loop_length = wctime();
+        loop_length -= start;
+
+        /* fine tune */
+        fine_tune(0.1);
+        fine_tune(0.1);
+        fine_tune(0.1);
+}
+
+static void show_loop_length(void)
+{
+        printf("%s/%d: loop_length=%f (%ldus)\n",
+               progname, getpid(), loop_length,
+               (long) (loop_length * 1000000));
+}
+
+static void debug_delay_loop(void)
+{
+        double start, end, delay;
+        show_loop_length();
+        while (1) {
+                for (delay = 0.5; delay > 0.01; delay -= 0.01) {
+                        start = wctime();
+                        loop_for(delay);
+                        end = wctime();
+                        printf("%6.4fs: looped for %10.8fs, delta=%11.8fs, error=%7.4f%%\n",
+                               delay,
+                               end - start,
+                               end - start - delay,
+                               100 * (end - start - delay) / delay);
+                }
+        }
+}
+
+static int job(double exec_time)
+{
+        loop_for(exec_time);
+        sleep_next_period();
+        return 0;
+}
+
+#define OPTSTR "p:c:wld:v"
+
+int main(int argc, char** argv)
+{
+        int ret;
+        lt_t wcet;
+        lt_t period;
+        /* [num,den] */
+        lt_t fracs[NR_CPUS][2];
+        double wcet_ms, period_ms;
+        int migrate = 0;
+        int cpu = 0;
+        int opt;
+        int wait = 0;
+        int test_loop = 0;
+        int skip_config = 0;
+        int verbose = 0;
+        int i;
+        double duration, start;
+        task_class_t class = RT_CLASS_HARD;
+
+        progname = argv[0];
+
+        for (i = 0; i < NR_CPUS; i++) {
+                fracs[i][0] = 0;
+                fracs[i][1] = 1;
+        }
+
+        while ((opt = getopt(argc, argv, OPTSTR)) != -1) {
+                switch (opt) {
+                case 'w':
+                        wait = 1;
+                        break;
+                case 'p':
+                        cpu = atoi(optarg);
+                        fracs[cpu][0] = 1;
+                        fracs[cpu][1] = 1;
+                        migrate = 1;
+                        break;
+                case 'c':
+                        class = str2class(optarg);
+                        if (class == -1)
+                                usage("Unknown task class.");
+                        break;
+                case 'l':
+                        test_loop = 1;
+                        break;
+                case 'd':
+                        /* manually configure delay per loop iteration
+                         * unit: microseconds */
+                        loop_length = atof(optarg) / 1000000;
+                        skip_config = 1;
+                        break;
+                case 'v':
+                        verbose = 1;
+                        break;
+                case ':':
+                        usage("Argument missing.");
+                        break;
+                case '?':
+                default:
+                        usage("Bad argument.");
+                        break;
+                }
+        }
+
+
+        if (!skip_config)
+                configure_loop();
+
+        if (test_loop) {
+                debug_delay_loop();
+                return 0;
+        }
+
+        if ((argc - (optind + 3)) % 3 != 0)
+                usage("Arguments missing.");
+        wcet_ms   = atof(argv[optind + 0]);
+        period_ms = atof(argv[optind + 1]);
+        duration  = atof(argv[optind + 2]);
+        /* frac num, den = 0 means fixed task */
+        for (i = optind + 3; i < argc; i += 3) {
+                cpu = atof(argv[i]);
+                fracs[cpu][0] = argv[i+1];
+                fracs[cpu][1] = argv[i+2];
+        }
+        wcet   = wcet_ms * __NS_PER_MS;
+        period = period_ms * __NS_PER_MS;
+        if (wcet <= 0)
+                usage("The worst-case execution time must be a "
+                      "positive number.");
+        if (period <= 0)
+                usage("The period must be a positive number.");
+        if (wcet > period) {
+                usage("The worst-case execution time must not "
+                      "exceed the period.");
+        }
+
+        if (migrate) {
+                ret = be_migrate_to(cpu);
+                if (ret < 0)
+                        bail_out("could not migrate to target partition");
+        }
+
+        ret = sporadic_task_ns_edfos(wcet, period, 0, fracs, class,
+                                NO_ENFORCEMENT);
+
+        if (ret < 0)
+                bail_out("could not setup rt task params");
+
+        if (verbose)
+                show_loop_length();
+
+        init_litmus();
+
+        ret = task_mode(LITMUS_RT_TASK);
+        if (ret != 0)
+                bail_out("could not become RT task");
+
+        if (wait) {
+                ret = wait_for_ts_release();
+                if (ret != 0)
+                        bail_out("wait_for_ts_release()");
+        }
+
+        start = wctime();
+
+        while (start + duration > wctime()) {
+                job(wcet_ms * 0.0009); /* 90% wcet, in seconds */
+        }
+
+        return 0;
+}