1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
|
#include <unistd.h>
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <signal.h>
#include <sys/mman.h>
#include <sched.h> /* for cpu sets */
#include "litmus.h"
#include "internal.h"
#define LP(name) {name ## _SEM, #name}
static struct {
int id;
const char* name;
} protocol[] = {
LP(FMLP),
LP(SRP)
};
#define NUM_PROTOS (sizeof(protocol)/sizeof(protocol[0]))
int lock_protocol_for_name(const char* name)
{
int i;
for (i = 0; i < NUM_PROTOS; i++)
if (strcmp(name, protocol[i].name) == 0)
return protocol[i].id;
return -1;
}
const char* name_for_lock_protocol(int id)
{
int i;
for (i = 0; i < NUM_PROTOS; i++)
if (protocol[i].id == id)
return protocol[i].name;
return "<UNKNOWN>";
}
void show_rt_param(struct rt_task* tp)
{
printf("rt params:\n\t"
"exec_cost:\t%llu\n\tperiod:\t\t%llu\n\tcpu:\t%d\n",
tp->exec_cost, tp->period, tp->cpu);
}
task_class_t str2class(const char* str)
{
if (!strcmp(str, "hrt"))
return RT_CLASS_HARD;
else if (!strcmp(str, "srt"))
return RT_CLASS_SOFT;
else if (!strcmp(str, "be"))
return RT_CLASS_BEST_EFFORT;
else
return -1;
}
#define NS_PER_MS 1000000
/* only for best-effort execution: migrate to target_cpu */
int be_migrate_to(int target_cpu)
{
cpu_set_t cpu_set;
CPU_ZERO(&cpu_set);
CPU_SET(target_cpu, &cpu_set);
return sched_setaffinity(0, sizeof(cpu_set_t), &cpu_set);
}
int sporadic_task(lt_t e, lt_t p, lt_t phase, int split,
int cpu, unsigned int priority, task_class_t cls,
budget_policy_t budget_policy, int set_cpu_set)
{
return sporadic_task_ns(e * NS_PER_MS, p * NS_PER_MS, phase * NS_PER_MS,
split, cpu, priority, cls, budget_policy,
set_cpu_set);
}
int sporadic_task_ns(lt_t e, lt_t p, lt_t phase, int split,
int cpu, unsigned int priority, task_class_t cls,
budget_policy_t budget_policy, int set_cpu_set)
{
struct rt_task param;
int ret;
/* Zero out first --- this is helpful when we add plugin-specific
* parameters during development.
*/
memset(¶m, 0, sizeof(param));
param.exec_cost = e;
param.period = p;
param.split = split;
param.cpu = cpu;
param.priority = priority;
param.cls = cls;
param.phase = phase;
param.budget_policy = budget_policy;
if (set_cpu_set) {
ret = be_migrate_to(cpu);
check("migrate to cpu");
}
return set_rt_task_param(gettid(), ¶m);
}
int init_kernel_iface(void);
int init_litmus(void)
{
int ret, ret2;
ret = mlockall(MCL_CURRENT | MCL_FUTURE);
check("mlockall()");
ret2 = init_rt_thread();
return (ret == 0) && (ret2 == 0) ? 0 : -1;
}
int init_rt_thread(void)
{
int ret;
ret = init_kernel_iface();
check("kernel <-> user space interface initialization");
return ret;
}
void exit_litmus(void)
{
/* nothing to do in current version */
}
|
