diff options
Diffstat (limited to 'litmus.h')
-rw-r--r-- | litmus.h | 21 |
1 files changed, 11 insertions, 10 deletions
@@ -11,16 +11,17 @@ typedef int (*rt_fn_t)(void*); | |||
11 | 11 | ||
12 | /* Litmus scheduling policies */ | 12 | /* Litmus scheduling policies */ |
13 | typedef enum { | 13 | typedef enum { |
14 | SCHED_LINUX = 0, | 14 | SCHED_LINUX = 0, |
15 | SCHED_PFAIR = 1, | 15 | SCHED_PFAIR = 1, |
16 | SCHED_PFAIR_STAGGER = 2, | 16 | SCHED_PFAIR_STAGGER = 2, |
17 | SCHED_PART_EDF = 3, | 17 | SCHED_PART_EDF = 3, |
18 | SCHED_PART_EEVDF = 4, | 18 | SCHED_PART_EEVDF = 4, |
19 | SCHED_GLOBAL_EDF = 5, | 19 | SCHED_GLOBAL_EDF = 5, |
20 | SCHED_PFAIR_DESYNC = 6, | 20 | SCHED_PFAIR_DESYNC = 6, |
21 | SCHED_GLOBAL_EDF_NP = 7, | 21 | SCHED_GLOBAL_EDF_NP = 7, |
22 | SCHED_CUSTOM = 8, | 22 | SCHED_CUSTOM = 8, |
23 | SCHED_EDF_HSB = 9, | 23 | SCHED_EDF_HSB = 9, |
24 | SCHED_GSN_EDF = 10 | ||
24 | } spolicy; | 25 | } spolicy; |
25 | 26 | ||
26 | /* different types of clients */ | 27 | /* different types of clients */ |