diff options
| author | Mac Mollison <mollison@cs.unc.edu> | 2010-11-03 18:48:42 -0400 |
|---|---|---|
| committer | Mac Mollison <mollison@cs.unc.edu> | 2010-11-03 18:49:17 -0400 |
| commit | dc76d9b4db47afd82f7dd87a996a014d4d934da3 (patch) | |
| tree | 9b299b466b3fc98e5cbd6d599ebe2b7bf4dfe30b /include | |
| parent | f96fd2faac2baed4d5d1d1b8ea124714e5cbce56 (diff) | |
| parent | 866221a5efb5e4a44633ce8b12e2f76bbc48164b (diff) | |
Merge branch 'wip-mcrit-mac' into wip-mc
Conflicts:
bin/rtspin.c
This patch provides necessary changes to liblitmus for the mixed criticality
plugin.
Diffstat (limited to 'include')
| -rw-r--r-- | include/litmus.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/include/litmus.h b/include/litmus.h index b798c92..632b9e1 100644 --- a/include/litmus.h +++ b/include/litmus.h | |||
| @@ -38,6 +38,7 @@ int sporadic_task( | |||
| 38 | int sporadic_task_ns( | 38 | int sporadic_task_ns( |
| 39 | lt_t e, lt_t p, lt_t phase, | 39 | lt_t e, lt_t p, lt_t phase, |
| 40 | int cpu, task_class_t cls, | 40 | int cpu, task_class_t cls, |
| 41 | crit_level_t crit, | ||
| 41 | budget_policy_t budget_policy, int set_cpu_set); | 42 | budget_policy_t budget_policy, int set_cpu_set); |
| 42 | 43 | ||
| 43 | /* budget enforcement off by default in these macros */ | 44 | /* budget enforcement off by default in these macros */ |
| @@ -83,7 +84,7 @@ typedef int (*rt_fn_t)(void*); | |||
| 83 | 84 | ||
| 84 | /* These two functions configure the RT task to use enforced exe budgets */ | 85 | /* These two functions configure the RT task to use enforced exe budgets */ |
| 85 | int create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, int period); | 86 | int create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, int period); |
| 86 | int __create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, | 87 | int __create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, crit_level_t crit, int wcet, |
| 87 | int period, task_class_t cls); | 88 | int period, task_class_t cls); |
| 88 | 89 | ||
| 89 | /* per-task modes */ | 90 | /* per-task modes */ |
| @@ -95,6 +96,7 @@ int task_mode(int target_mode); | |||
| 95 | 96 | ||
| 96 | void show_rt_param(struct rt_task* tp); | 97 | void show_rt_param(struct rt_task* tp); |
| 97 | task_class_t str2class(const char* str); | 98 | task_class_t str2class(const char* str); |
| 99 | crit_level_t str2crit(const char* str); | ||
| 98 | 100 | ||
| 99 | /* non-preemptive section support */ | 101 | /* non-preemptive section support */ |
| 100 | void enter_np(void); | 102 | void enter_np(void); |
