aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjoern Brandenburg <bbb@mpi-sws.org>2014-07-17 07:54:11 -0400
committerBjoern Brandenburg <bbb@mpi-sws.org>2014-07-21 08:53:53 -0400
commit99ca08e2bd92b7957c9a22a8ec6ecad4d7f4afd3 (patch)
tree6c28c8fd4cfe54b45d9c937f58113a5ed94167ad
parent16a3f28dde0eccb4b58999d2a74a5a802dc53233 (diff)
Add reservation configuration types to rt_param.h
-rw-r--r--include/litmus/polling_reservations.h5
-rw-r--r--include/litmus/rt_param.h41
2 files changed, 41 insertions, 5 deletions
diff --git a/include/litmus/polling_reservations.h b/include/litmus/polling_reservations.h
index 9958a92b8aeb..15910ed7ef8b 100644
--- a/include/litmus/polling_reservations.h
+++ b/include/litmus/polling_reservations.h
@@ -16,11 +16,6 @@ struct polling_reservation {
16void polling_reservation_init(struct polling_reservation *pres, int use_edf_prio, 16void polling_reservation_init(struct polling_reservation *pres, int use_edf_prio,
17 int use_periodic_polling, lt_t budget, lt_t period, lt_t deadline, lt_t offset); 17 int use_periodic_polling, lt_t budget, lt_t period, lt_t deadline, lt_t offset);
18 18
19struct lt_interval {
20 lt_t start;
21 lt_t end;
22};
23
24struct table_driven_reservation { 19struct table_driven_reservation {
25 /* extend basic reservation */ 20 /* extend basic reservation */
26 struct reservation res; 21 struct reservation res;
diff --git a/include/litmus/rt_param.h b/include/litmus/rt_param.h
index 060b5d745213..b252cc108a2f 100644
--- a/include/litmus/rt_param.h
+++ b/include/litmus/rt_param.h
@@ -62,6 +62,7 @@ typedef enum {
62#define LITMUS_MAX_PRIORITY 512 62#define LITMUS_MAX_PRIORITY 512
63#define LITMUS_HIGHEST_PRIORITY 1 63#define LITMUS_HIGHEST_PRIORITY 1
64#define LITMUS_LOWEST_PRIORITY (LITMUS_MAX_PRIORITY - 1) 64#define LITMUS_LOWEST_PRIORITY (LITMUS_MAX_PRIORITY - 1)
65#define LITMUS_NO_PRIORITY UINT_MAX
65 66
66/* Provide generic comparison macros for userspace, 67/* Provide generic comparison macros for userspace,
67 * in case that we change this later. */ 68 * in case that we change this later. */
@@ -71,6 +72,46 @@ typedef enum {
71 ((p) >= LITMUS_HIGHEST_PRIORITY && \ 72 ((p) >= LITMUS_HIGHEST_PRIORITY && \
72 (p) <= LITMUS_LOWEST_PRIORITY) 73 (p) <= LITMUS_LOWEST_PRIORITY)
73 74
75/* reservation support */
76
77typedef enum {
78 PERIODIC_POLLING,
79 SPORADIC_POLLING,
80 TABLE_DRIVEN,
81} reservation_type_t;
82
83struct lt_interval {
84 lt_t start;
85 lt_t end;
86};
87
88#ifndef __KERNEL__
89#define __user
90#endif
91
92struct reservation_config {
93 unsigned int id;
94 unsigned int priority;
95 int cpu;
96
97 union {
98 struct {
99 lt_t period;
100 lt_t budget;
101 lt_t relative_deadline;
102 lt_t offset;
103 } polling_params;
104
105 struct {
106 lt_t major_cycle_length;
107 unsigned int num_intervals;
108 struct lt_interval __user *intervals;
109 } table_driven_params;
110 };
111};
112
113/* regular sporadic task support */
114
74struct rt_task { 115struct rt_task {
75 lt_t exec_cost; 116 lt_t exec_cost;
76 lt_t period; 117 lt_t period;