*
*/
-#include "frescan_bwres_mode_change.h"
+#include <misc/linux_list.h>
+#include <stdbool.h>
+
#include "frescan_data.h"
#include "frescan_servers.h"
#include "frescan_bwres_messages.h"
-#include <misc/linux_list.h>
-
+#include "frescan_bwres_mode_change.h"
+#include "frescan_debug.h"
+#include "frescan_config.h"
-int frescan_bwres_budget_change(frescan_request_data_t *req_data,
- frescan_node_t node,
- frescan_sa_mode_change_type_t mode_change_type);
+static int frescan_bwres_send_mc_messages
+ (frescan_network_t net,
+ frescan_bwres_mode_change_type_t mode_change_type,
+ frescan_ss_group_t *ss_to_cancel);
/**
- * frescan_bwres_mode_change_protocol() - performs the mode change
- *
- * Follow the mode change protocol described in the paper.
- *
+ * frescan_bwres_mode_change_protocol() - performs the mode change protocol
*/
-int frescan_bwres_mode_change_protocol(frescan_request_data_t *req_data)
+int frescan_bwres_mode_change_protocol(frescan_bwres_request_data_t *req_data)
{
- int ret, i;
+ int ret;
frescan_node_t node;
- frescan_sa_vres_t *vres;
+ frescan_bwres_vres_t *vres;
frsh_sa_vres_data_t *sa_vres_data;
frsh_sa_time_t max_period_in_budget_dec;
frsh_sa_time_t max_period_in_budget_inc;
struct timespec start_timestamp, next_activation;
+ DEBUG(FRESCAN_BWRES_MC_ENABLE_DEBUG, "START MODE CHANGE PROTOCOL\n");
+
for(node=0; node<FRESCAN_MX_NODES; node++) {
- INIT_LIST_HEAD(&the_networks[req_data->net].
- mode_change_budget_inc_list_head[node]);
+ INIT_LIST_HEAD(&frescan_data[req_data->net].
+ mode_change_list[node]);
- INIT_LIST_HEAD(&the_networks[req_data->net].
- mode_change_budget_dec_list_head[node]);
+ frescan_data[req_data->net].mode_change_type[node] = 0;
}
max_period_in_budget_dec = (frsh_sa_time_t)0;
max_period_in_budget_inc = (frsh_sa_time_t)0;
+ DEBUG(FRESCAN_BWRES_MC_ENABLE_DEBUG, "1.- adding vres to mc list\n");
+
list_for_each_entry
(vres,
- &the_networks[req_data->net].scenario.vres_head.list,
+ &frescan_data[req_data->net].scenario.vres_head.list,
list)
{
- sa_vres_data = &the_networks[req_data->net].
+ sa_vres_data = &frescan_data[req_data->net].
scenario.fsa_scenario.sa_vres_alloc
[vres->fsa_vres_global_id];
-
vres->mode_change_type = 0;
- if (sa_vres_data->c > vres->old_c) {
- vres->mode_change_type |= FRESCAN_SA_BUDGET_INC;
+ if ((vres->old_c == 0) &&
+ (vres->old_t == 0) &&
+ (vres->old_p == 0)) {
+ //new vres (transmitted in the reply message)
+ vres->old_c = sa_vres_data->c;
+ vres->old_t = sa_vres_data->t;
+ vres->old_p = sa_vres_data->p;
+ continue;
+ }
+ if (sa_vres_data->c > vres->old_c) {
+ vres->mode_change_type |= FRESCAN_BWRES_MC_BUDGET_INC;
if (sa_vres_data->t > max_period_in_budget_inc) {
max_period_in_budget_inc = sa_vres_data->t;
}
-
- list_add_tail
- (&(vres->mode_change_list),
- &(the_networks[req_data->net].
- mode_change_budget_inc_list_head[vres->node]));
- } else {
- vres->mode_change_type |= FRESCAN_SA_BUDGET_DEC;
-
+ } else if (sa_vres_data->c < vres->old_c) {
+ vres->mode_change_type |= FRESCAN_BWRES_MC_BUDGET_DEC;
if (sa_vres_data->t > max_period_in_budget_dec) {
max_period_in_budget_dec = sa_vres_data->t;
}
-
- list_add_tail
- (&(vres->mode_change_list),
- &(the_networks[req_data->net].
- mode_change_budget_dec_list_head[vres->node]));
}
if (sa_vres_data->t > vres->old_t) {
- vres->mode_change_type |= FRESCAN_SA_PERIOD_INC;
- } else {
- vres->mode_change_type |= FRESCAN_SA_PERIOD_DEC;
+ vres->mode_change_type |= FRESCAN_BWRES_MC_PERIOD_INC;
+ } else if (sa_vres_data->t < vres->old_t) {
+ vres->mode_change_type |= FRESCAN_BWRES_MC_PERIOD_DEC;
}
if (sa_vres_data->p > vres->old_p) {
- vres->mode_change_type |= FRESCAN_SA_PRIO_INC;
- } else {
- vres->mode_change_type |= FRESCAN_SA_PRIO_DEC;
+ vres->mode_change_type |= FRESCAN_BWRES_MC_PRIO_INC;
+ } else if (sa_vres_data->p < vres->old_p) {
+ vres->mode_change_type |= FRESCAN_BWRES_MC_PRIO_DEC;
}
+ if (vres->mode_change_type == 0) continue;
+
vres->old_c = sa_vres_data->c;
vres->old_t = sa_vres_data->t;
vres->old_p = sa_vres_data->p;
- }
- // 1.- mode change for B- members
- for(i=(FRESCAN_MX_NODES-1); i>=0; i--) {
- ret = frescan_bwres_budget_change(req_data,
- (frescan_node_t)i,
- FRESCAN_SA_BUDGET_DEC);
- if (ret != 0) return -1;
+ list_add_tail(&(vres->mode_change_list),
+ &(frescan_data[req_data->net].
+ mode_change_list[vres->node]));
+
+ frescan_data[req_data->net].mode_change_type[vres->node] |=
+ vres->mode_change_type;
+
+ DEBUG(FRESCAN_BWRES_MC_ENABLE_DEBUG,
+ "vres:%u node:%u ss:%u mc_type:0x%X\n",
+ vres->fsa_vres_global_id, vres->node,
+ vres->ss, vres->mode_change_type);
}
- // 2.- wait the time needed to keep schedulability
- ret = clock_gettime(CLOCK_MONOTONIC,
- &start_timestamp);
+ DEBUG(FRESCAN_BWRES_MC_ENABLE_DEBUG, "2.- Budget decrease\n");
+
+ ret = frescan_bwres_send_mc_messages(req_data->net,
+ FRESCAN_BWRES_MC_BUDGET_DEC,
+ req_data->ss_to_cancel);
+ if (ret != 0) return -1;
+
+ ret = frescan_bwres_mode_change_local(req_data->net,
+ FRESCAN_BWRES_MC_BUDGET_DEC,
+ req_data->ss_to_cancel);
+ if (ret != 0) return -1;
+
+ DEBUG(FRESCAN_BWRES_MC_ENABLE_DEBUG, "3.- Wait max_period\n");
+
+ ret = clock_gettime(CLOCK_MONOTONIC, &start_timestamp);
if (ret != 0) return -1;
add_timespec(next_activation,
incr_timespec(next_activation, start_timestamp);
- ret = clock_nanosleep(CLOCK_MONOTONIC,
- TIMER_ABSTIME,
- &next_activation,
- NULL);
+ ret = clock_nanosleep(CLOCK_MONOTONIC, TIMER_ABSTIME,
+ &next_activation, NULL);
+ if (ret != 0) return -1;
+
+ DEBUG(FRESCAN_BWRES_MC_ENABLE_DEBUG, "4.- Budget increase\n");
+
+ ret = frescan_bwres_send_mc_messages(req_data->net,
+ FRESCAN_BWRES_MC_BUDGET_INC,
+ NULL);
if (ret != 0) return -1;
- // 3-. mode change for B+ members
- for(i=(FRESCAN_MX_NODES-1); i>=0; i--) {
- ret = frescan_bwres_budget_change(req_data,
- (frescan_node_t)i,
- FRESCAN_SA_BUDGET_INC);
+ ret = frescan_bwres_mode_change_local(req_data->net,
+ FRESCAN_BWRES_MC_BUDGET_INC,
+ NULL);
+ if (ret != 0) return -1;
+
+ return 0;
+}
+
+/**
+ * frescan_bwres_send_mc_messages()
+ *
+ * This function is executed at the master node to send mode change
+ * messages to the slaves
+ */
+
+static int frescan_bwres_send_mc_messages
+ (frescan_network_t net,
+ frescan_bwres_mode_change_type_t mode_change_type,
+ frescan_ss_group_t *ss_to_cancel)
+{
+ int ret;
+ frescan_node_t node;
+ frescan_bwres_request_data_t tmp_req_data;
+
+ tmp_req_data.net = net;
+ tmp_req_data.type = FRESCAN_BWRES_REQ_MC;
+ tmp_req_data.mode_change_type = mode_change_type;
+
+ for(node=0; node<FRESCAN_MX_NODES; node++) {
+ if (node == FRESCAN_BWRES_MASTER_NODE) continue;
+
+ if ((frescan_data[net].mode_change_type[node] &
+ mode_change_type) != mode_change_type) continue;
+
+ DEBUG(FRESCAN_BWRES_MC_ENABLE_DEBUG,
+ "send MC message to node:%u\n", node);
+
+ tmp_req_data.request_node = node;
+ tmp_req_data.ss_to_cancel = ss_to_cancel;
+
+ ret = frescan_messages_send_request(&tmp_req_data);
if (ret != 0) return -1;
}
return 0;
}
-int frescan_bwres_budget_change
- (frescan_request_data_t *req_data,
- frescan_node_t node,
- frescan_sa_mode_change_type_t mode_change_type)
+/**
+ * frescan_bwres_mode_change_local()
+ *
+ * This function updates local vres. When a slave receives a change mode
+ * message to change the values of any vres this function is called.
+ */
+
+int frescan_bwres_mode_change_local
+ (frescan_network_t net,
+ frescan_bwres_mode_change_type_t mode_change_type,
+ frescan_ss_group_t *ss_to_cancel)
{
- int ret;
+ int ret, i;
frescan_server_params_t server_params;
- frescan_sa_vres_t *vres;
- frescan_request_data_t tmp_req_data;
+ frescan_bwres_vres_t *vres;
struct timespec start_timestamp, next_activation;
- struct list_head *the_mode_change_list;
- frescan_node_t me = the_networks[req_data->net].local_node;
-
- if (mode_change_type == FRESCAN_SA_BUDGET_INC) {
- the_mode_change_list = &the_networks[req_data->net].
- mode_change_budget_inc_list_head[node];
- } else {
- the_mode_change_list = &the_networks[req_data->net].
- mode_change_budget_dec_list_head[node];
- }
+ frescan_node_t me = frescan_data[net].local_node;
- list_for_each_entry(vres, the_mode_change_list, mode_change_list)
+ list_for_each_entry(vres,
+ &frescan_data[net].mode_change_list[me],
+ mode_change_list)
{
+ if ((vres->mode_change_type & mode_change_type) !=
+ mode_change_type) continue;
+
server_params.budget = frsh_rel_time_to_usec(
frsh_sa_time_to_rel_time(vres->old_c)) /
FRESCAN_FRAME_TX_TIME_US;
server_params.period = frsh_sa_time_to_rel_time(vres->old_t);
server_params.prio = vres->old_p;
- if (node == me) {
- if (mode_change_type == FRESCAN_SA_BUDGET_INC) {
- ret = frescan_servers_update(req_data->net,
- &server_params,
- vres->ss);
- if (ret != 0) return ret;
- } else {
- ret = frescan_servers_set_perceived
- (req_data->net, &server_params, vres->ss);
- if (ret != 0) return ret;
- }
+ if (mode_change_type == FRESCAN_BWRES_MC_BUDGET_INC) {
+ DEBUG(FRESCAN_BWRES_MC_ENABLE_DEBUG,
+ "commit ss:%u\n", vres->ss);
+ ret = frescan_servers_update(net,
+ &server_params,
+ vres->ss);
+ if (ret != 0) return ret;
} else {
- if ((node == req_data->request_node) &&
- (vres->ss == req_data->ss)) {
- // External: send reply to reneg
- req_data->type = FRESCAN_REP_NEG;
- req_data->final_values = server_params;
-
- ret = frescan_messages_send_request(req_data);
- if (ret != 0) return -1;
- } else {
- // External: send SC change update
- tmp_req_data.net = req_data->net;
- tmp_req_data.request_node = node;
-
- if (mode_change_type == FRESCAN_SA_BUDGET_INC) {
- tmp_req_data.type =
- FRESCAN_REP_INC_BUDGET;
- } else {
- tmp_req_data.type =
- FRESCAN_REP_DEC_BUDGET;
- }
-
- ret = frescan_messages_send_request
- (&tmp_req_data);
- if (ret != 0) return -1;
- }
+ DEBUG(FRESCAN_BWRES_MC_ENABLE_DEBUG,
+ "set perceived ss:%u\n", vres->ss);
+ ret = frescan_servers_set_perceived(net,
+ &server_params,
+ vres->ss);
+ if (ret != 0) return ret;
+ }
+ }
+
+ if (mode_change_type == FRESCAN_BWRES_MC_BUDGET_INC) return 0;
+
+ // for ss cancelled set the perceived capacity to cero
+ if (ss_to_cancel != NULL) {
+ for(i=0; i<ss_to_cancel->size; i++) {
+ server_params.budget = 0;
+ server_params.period = frsh_usec_to_rel_time(0);
+ server_params.prio = 0;
+ ret = frescan_servers_set_perceived
+ (net,
+ &server_params,
+ ss_to_cancel->ss[i]);
+ if (ret != 0) return ret;
}
}
- if (mode_change_type == FRESCAN_SA_BUDGET_INC) return 0;
+ ret = clock_gettime(CLOCK_MONOTONIC, &start_timestamp);
+ if (ret != 0) return -1;
+
+ list_for_each_entry(vres,
+ &frescan_data[net].mode_change_list[me],
+ mode_change_list)
+ {
+ if ((vres->mode_change_type & mode_change_type) !=
+ mode_change_type) continue;
+
+ DEBUG(FRESCAN_BWRES_MC_ENABLE_DEBUG,
+ "wait ss:%u period\n", vres->ss);
+
+ add_timespec(next_activation, start_timestamp,
+ frsh_rel_time_to_timespec(
+ frsh_sa_time_to_rel_time(vres->old_t)));
- if (node == me) {
- ret = clock_gettime(CLOCK_MONOTONIC, &start_timestamp);
+ ret = clock_nanosleep(CLOCK_MONOTONIC, TIMER_ABSTIME,
+ &next_activation, NULL);
if (ret != 0) return -1;
- list_for_each_entry
- (vres, the_mode_change_list, mode_change_list)
- {
- add_timespec(next_activation,
- start_timestamp,
- frsh_rel_time_to_timespec
- (frsh_sa_time_to_rel_time
- (vres->old_t)));
-
- ret = clock_nanosleep(CLOCK_MONOTONIC,
- TIMER_ABSTIME,
- &next_activation,
- NULL);
- if (ret != 0) return -1;
+ DEBUG(FRESCAN_BWRES_MC_ENABLE_DEBUG,
+ "commit ss:%u\n", vres->ss);
+
+ ret = frescan_servers_commit_perceived(net, vres->ss);
+ if (ret != 0) return ret;
+ }
- ret = frescan_servers_commit_perceived(req_data->net,
- vres->ss);
+ if (ss_to_cancel != NULL) {
+ for(i=0; i<ss_to_cancel->size; i++) {
+ ret = frescan_servers_destroy
+ (net, ss_to_cancel->ss[i]);
if (ret != 0) return ret;
}
}