Subversion Repositories shark

#include "kernel/kern.h"
#include "fsf_server.h"
#include "fsf_contract.h"

void fsfinit()
{

  struct timespec period1 = {0,10000000};  //30%
  struct timespec period2 = {0,30000000}; //20%
  struct timespec period3 = {0,30000000}; //10%
  struct timespec budget1 = {0,3000000};
  struct timespec budget2 = {0,6000000};
  struct timespec budget3 = {0,3000000};

  fsf_server_id_t server1 = -1;
  fsf_server_id_t server2 = -1;
  fsf_server_id_t server3 = -1;
  fsf_server_id_t server4 = -1;

  fsf_contract_parameters_t contract;

  int bw;

  fsf_initialize_contract(&contract);

  fsf_set_contract_basic_parameters(&contract,&budget1,&period1,NULL,NULL,FSF_DEFAULT_WORKLOAD);
  fsf_negotiate_contract(&contract,&server1);
  bw = MAX_BANDWIDTH / TIMESPEC2USEC(&period1) * TIMESPEC2USEC(&budget1);
  cprintf("FSF SERVER LEVEL %d BW %d.%03d\n",server1, (int)( (long long)bw * 100 / MAX_BANDWIDTH),
             (int)( (long long)bw * 100000 / MAX_BANDWIDTH % 1000));
 
  fsf_set_contract_basic_parameters(&contract,&budget2,&period2,NULL,NULL,FSF_DEFAULT_WORKLOAD);
  fsf_negotiate_contract(&contract,&server2);
  bw = MAX_BANDWIDTH / TIMESPEC2USEC(&period2) * TIMESPEC2USEC(&budget2);
  cprintf("FSF SERVER LEVEL %d BW %d.%03d\n",server2, (int)( (long long)bw * 100 / MAX_BANDWIDTH),
             (int)( (long long)bw * 100000 / MAX_BANDWIDTH % 1000));  

  fsf_set_contract_basic_parameters(&contract,&budget3,&period3,NULL,NULL,FSF_DEFAULT_WORKLOAD);  
  fsf_negotiate_contract(&contract,&server3);
  bw = MAX_BANDWIDTH / TIMESPEC2USEC(&period3) * TIMESPEC2USEC(&budget3);
  cprintf("FSF SERVER LEVEL %d BW %d.%03d\n",server3, (int)( (long long)bw * 100 / MAX_BANDWIDTH),
             (int)( (long long)bw * 100000 / MAX_BANDWIDTH % 1000));
 
  fsf_set_contract_basic_parameters(&contract,&budget2,&period2,NULL,NULL,FSF_DEFAULT_WORKLOAD);
  fsf_set_local_scheduler_parameter(&contract, FSF_SCHEDULER_EDF);
  fsf_negotiate_contract(&contract,&server4);
  bw = MAX_BANDWIDTH / TIMESPEC2USEC(&period2) * TIMESPEC2USEC(&budget2);
  cprintf("FSF SERVER LEVEL %d BW %d.%03d\n",server4, (int)( (long long)bw * 100 / MAX_BANDWIDTH),
             (int)( (long long)bw * 100000 / MAX_BANDWIDTH % 1000));

}