diff options
| author | Namhoon Kim <namhoonk@ludwig.cs.unc.edu> | 2013-11-25 17:23:23 -0500 |
|---|---|---|
| committer | Namhoon Kim <namhoonk@ludwig.cs.unc.edu> | 2013-11-25 17:23:23 -0500 |
| commit | 52006dedc0a2ba4d8a1901e8940eb80f8c02033e (patch) | |
| tree | 8560e8b25ad03f59ffecb7b624e36da0147f5133 /include/litmus.h | |
| parent | f4d43d7b7d23c6445f099c28e156f0cffdaae000 (diff) | |
First draft of C-FL-split factor supportwip-pgm-split
1) added -n option in rtspin to specify split factor
Diffstat (limited to 'include/litmus.h')
| -rw-r--r-- | include/litmus.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/litmus.h b/include/litmus.h index dde5469..ad72eb7 100644 --- a/include/litmus.h +++ b/include/litmus.h | |||
| @@ -96,9 +96,9 @@ typedef int (*rt_fn_t)(void*); | |||
| 96 | * Partitioned scheduling: cluster = desired partition, cluster_size = 1 | 96 | * Partitioned scheduling: cluster = desired partition, cluster_size = 1 |
| 97 | * Global scheduling: cluster = 0, cluster_size = 0 | 97 | * Global scheduling: cluster = 0, cluster_size = 0 |
| 98 | */ | 98 | */ |
| 99 | int create_rt_task(rt_fn_t rt_prog, void *arg, int cluster, int cluster_size, | 99 | int create_rt_task(rt_fn_t rt_prog, void *arg, int split, int cluster, int cluster_size, |
| 100 | lt_t wcet, lt_t period, unsigned int prio); | 100 | lt_t wcet, lt_t period, unsigned int prio); |
| 101 | int __create_rt_task(rt_fn_t rt_prog, void *arg, int cluster, int cluster_size, | 101 | int __create_rt_task(rt_fn_t rt_prog, void *arg, int split, int cluster, int cluster_size, |
| 102 | lt_t wcet, lt_t period, unsigned int prio, task_class_t cls); | 102 | lt_t wcet, lt_t period, unsigned int prio, task_class_t cls); |
| 103 | 103 | ||
| 104 | /* per-task modes */ | 104 | /* per-task modes */ |