Go to most recent revision | Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1254 | giacomo | 1 | #include "kernel/kern.h" |
2 | #include "fsf_server.h" |
||
3 | #include "fsf_contract.h" |
||
4 | #include "func.h" |
||
5 | |||
6 | extern struct loader_contract loader_contract_list[]; |
||
7 | extern int total_loader_contract; |
||
8 | |||
9 | void fsfinit() |
||
10 | { |
||
11 | |||
12 | struct loader_contract *c; |
||
13 | fsf_contract_parameters_t contract; |
||
14 | fsf_server_id_t server; |
||
15 | int i; |
||
16 | long long bw; |
||
17 | |||
18 | for (i=0;i<total_loader_contract;i++) { |
||
19 | |||
20 | c = &loader_contract_list[i]; |
||
21 | |||
22 | fsf_initialize_contract(&contract); |
||
23 | |||
24 | fsf_set_contract_basic_parameters(&contract,&c->cmin,&c->tmax,&c->cmax,&c->tmin,c->workload); |
||
25 | |||
26 | if (c->local_scheduler != PAR_POSIX) { |
||
27 | |||
28 | switch (c->local_scheduler) { |
||
29 | case PAR_EDF: |
||
30 | fsf_set_local_scheduler_parameter(&contract,FSF_SCHEDULER_EDF); |
||
31 | break; |
||
32 | case PAR_RM: |
||
33 | fsf_set_local_scheduler_parameter(&contract,FSF_SCHEDULER_RM); |
||
34 | break; |
||
35 | } |
||
36 | |||
37 | } |
||
38 | |||
39 | fsf_negotiate_contract(&contract,&server); |
||
40 | c->server = server; |
||
41 | bw = (long long)(MAX_BANDWIDTH) * TIMESPEC2USEC(&c->cmin) / TIMESPEC2USEC(&c->tmax); |
||
42 | cprintf("FSF CONTRACT %d SERVER %d MIN BW %d.%03d\n", c->number, c->server, |
||
43 | (int)(bw * 100 / MAX_BANDWIDTH), |
||
44 | (int)(bw * 100000 / MAX_BANDWIDTH % 1000)); |
||
45 | |||
46 | } |
||
47 | |||
48 | } |