-
Notifications
You must be signed in to change notification settings - Fork 0
/
conf_gastask.c
108 lines (95 loc) · 2.31 KB
/
conf_gastask.c
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
#include "gastask.h"
static void
parse_genetic(FILE *fp)
{
char buf[1024];
while (fgets(buf, 1024, fp)) {
if (buf[0] == '#')
continue;
if (buf[0] == '\n' || buf[0] == '*') {
fseek(fp, -1 * strlen(buf), SEEK_CUR);
return;
}
if (sscanf(buf, "%u %u %lf %lf", &max_gen, &n_pops, &cutoff, &penalty) != 4) {
FATAL(2, "cannot load configuration: invalid genetic parameters: %s", trim(buf));
}
}
}
static void
parse_cpufreq(FILE *fp)
{
char buf[1024];
while (fgets(buf, 1024, fp)) {
double wcet_scale, power_active, power_idle;
if (buf[0] == '#')
continue;
if (buf[0] == '\n' || buf[0] == '*') {
fseek(fp, -1 * strlen(buf), SEEK_CUR);
return;
}
if (sscanf(buf, "%lf %lf %lf", &wcet_scale, &power_active, &power_idle) != 3) {
FATAL(2, "cannot load configuration: invalid CPU frequency format: %s", trim(buf));
}
if (wcet_scale < 0 || wcet_scale > 1) {
FATAL(2, "invalid cpu frequency wcet scale: %s", trim(buf));
}
if (power_active < 0 || power_idle < 0) {
FATAL(2, "invalid cpu frequency power: %s", trim(buf));
}
add_cpufreq(wcet_scale, power_active, power_idle);
}
}
static void
parse_task(FILE *fp)
{
char buf[1024];
while (fgets(buf, 1024, fp)) {
unsigned wcet, period, memreq;
double mem_active_ratio;
if (buf[0] == '#')
continue;
if (buf[0] == '\n' || buf[0] == '*') {
fseek(fp, -1 * strlen(buf), SEEK_CUR);
return;
}
if (sscanf(buf, "%u %u %u %lf", &wcet, &period, &memreq, &mem_active_ratio) != 4) {
FATAL(2, "cannot load configuration: invalid task format: %s", trim(buf));
}
if (wcet >= period) {
FATAL(2, "wcet is larger or equal than period: %s", trim(buf));
}
add_task(wcet, period, memreq, mem_active_ratio);
}
}
void
parse_conf(FILE *fp)
{
char buf[1024];
while (fgets(buf, 1024, fp)) {
if (buf[0] == '\n' || buf[0] == '#')
continue;
switch (check_section(buf)) {
case SECT_GENETIC:
parse_genetic(fp);
break;
case SECT_GENTASK:
skip_section(fp);
break;
case SECT_CPUFREQ:
parse_cpufreq(fp);
break;
case SECT_MEM:
parse_mem(fp);
break;
case SECT_TASK:
if (n_cpufreqs == 0) {
FATAL(2, "cpu frequency section should be defined ahead of task section");
}
parse_task(fp);
break;
default:
errmsg("unknown section: %s", trim(buf));
FATAL(2, "cannot load configuration");
}
}
}