]> rtime.felk.cvut.cz Git - frescor/fna.git/blobdiff - src_frescan/frescan_bwres_analysis.c
add debugging message
[frescor/fna.git] / src_frescan / frescan_bwres_analysis.c
index e55b835691370d7beafaf3e0735217489528f0e7..b2a6196752ca42dc0331be91091093736f816e84 100644 (file)
 #include "frescan_debug.h"
 
 /**
- * frescan_sa_init() - init the scenario
+ * frescan_bwres_sa_init() - init the scenario
  *
  * Initialize the vres list and copy the initialization parameters
  */
 
-int frescan_sa_init(frescan_sa_scenario_t *scenario,
-                    const frescan_sa_init_params_t *params)
+int frescan_bwres_sa_init(frescan_bwres_sa_scenario_t          *scenario,
+                          const frescan_bwres_sa_init_params_t *params)
 {
         int ret;
         frsh_sa_scenario_init_data_t fsa_scenario_init_data;
@@ -93,15 +93,19 @@ int frescan_sa_init(frescan_sa_scenario_t *scenario,
         INIT_LIST_HEAD(&scenario->vres_head.list);
         scenario->init_params = *params;
 
-        ret = freelist_init(&scenario->fsa_id_freelist,
+        ret = freelist_init(&scenario->fsa_vres_global_id_freelist,
                             FRESCAN_MX_NODES*FRESCAN_MX_IDS);
         if (ret != 0) return ret;
 
-        fsa_scenario_init_data.min_priority = 1;
-        fsa_scenario_init_data.max_priority = 15;
+        fsa_scenario_init_data.min_priority = params->min_prio;
+        fsa_scenario_init_data.max_priority = params->max_prio;
         fsa_scenario_init_data.ovhd_data.np =
                         frsh_rel_time_to_sa_time(frsh_usec_to_rel_time(0));
 
+        DEBUG(FRESCAN_BWRES_SA_ENABLE_DEBUG,
+              "init the scenario min_prio:%d max_prio:%d\n",
+              params->min_prio, params->max_prio);
+
         ret = frsh_sa_scenario_init(&scenario->fsa_scenario,
                                     &fsa_scenario_init_data);
         if (ret != 0) return -1;
@@ -110,25 +114,28 @@ int frescan_sa_init(frescan_sa_scenario_t *scenario,
 }
 
 /**
- * frescan_sa_add_contract() - add a contract to the scenario
+ * frescan_bwres_sa_add_contract() - add a contract to the scenario
  *
  * create the corresponding vres structure and set its values, and add the
  * vres to the vres list
  */
 
-int frescan_sa_add_contract(frescan_sa_scenario_t *scenario,
-                            frescan_ss_t          ss,
-                            frescan_node_t        node,
-                            const frsh_contract_t *contract)
+int frescan_bwres_sa_add_contract(frescan_bwres_sa_scenario_t *scenario,
+                                  frescan_ss_t          ss,
+                                  frescan_node_t        node,
+                                  const frsh_contract_t *contract)
 {
         int ret;
-        frescan_sa_vres_t *sa_vres = &scenario->vres_pool[node][ss];
+        frescan_bwres_vres_t *sa_vres = &scenario->vres_pool[node][ss];
 
         sa_vres->contract = *contract;
         sa_vres->node     = node;
         sa_vres->ss       = ss;
+        sa_vres->old_c    = 0;
+        sa_vres->old_t    = 0;
+        sa_vres->old_p    = 0;
 
-        ret = freelist_alloc(&scenario->fsa_id_freelist);
+        ret = freelist_alloc(&scenario->fsa_vres_global_id_freelist);
         if (ret < 0) return -1;
 
         sa_vres->fsa_vres_global_id = (frsh_sa_vres_id_t)ret;
@@ -136,6 +143,22 @@ int frescan_sa_add_contract(frescan_sa_scenario_t *scenario,
         list_add_tail(&sa_vres->list,
                       &scenario->vres_head.list);
 
+        DEBUG(FRESCAN_BWRES_SA_ENABLE_DEBUG,
+              "add contract, node:%d ss:%d globalid:%d\n",
+              node, ss, sa_vres->fsa_vres_global_id);
+
+        DEBUG(FRESCAN_BWRES_SA_ENABLE_DEBUG,
+              "contract bmin=(%u,%u) tmax=(%u,%u) bmax=(%u,%u) tmin=(%u,%u) prio=%u\n",
+              contract->budget_min.tv_sec,
+              contract->budget_min.tv_nsec,
+              contract->period_max.tv_sec,
+              contract->period_max.tv_nsec,
+              contract->budget_max.tv_sec,
+              contract->budget_max.tv_nsec,
+              contract->period_min.tv_sec,
+              contract->period_min.tv_nsec,
+              contract->preemption_level);
+
         ret = frsh_sa_scenario_add_vres(&scenario->fsa_scenario,
                                         &sa_vres->contract,
                                         sa_vres->fsa_vres_global_id);
@@ -145,17 +168,17 @@ int frescan_sa_add_contract(frescan_sa_scenario_t *scenario,
 }
 
 /**
- * frescan_sa_update_contract() - update a contract in the scenario
+ * frescan_bwres_sa_update_contract() - update a contract in the scenario
  */
 
-int frescan_sa_update_contract(frescan_sa_scenario_t  *scenario,
-                               frescan_ss_t           ss,
-                               frescan_node_t         node,
-                               const frsh_contract_t  *contract,
-                               frsh_contract_t        *old_contract)
+int frescan_bwres_sa_update_contract(frescan_bwres_sa_scenario_t  *scenario,
+                                     frescan_ss_t           ss,
+                                     frescan_node_t         node,
+                                     const frsh_contract_t  *contract,
+                                     frsh_contract_t        *old_contract)
 {
         int ret;
-        frescan_sa_vres_t *sa_vres = &scenario->vres_pool[node][ss];
+        frescan_bwres_vres_t *sa_vres = &scenario->vres_pool[node][ss];
 
         if (old_contract != NULL) {
                 *old_contract = sa_vres->contract;
@@ -163,6 +186,10 @@ int frescan_sa_update_contract(frescan_sa_scenario_t  *scenario,
 
         sa_vres->contract = *contract;
 
+        DEBUG(FRESCAN_BWRES_SA_ENABLE_DEBUG,
+              "update contract node:%d ss:%d globalid:%d\n",
+              node, ss, sa_vres->fsa_vres_global_id);
+
         ret = frsh_sa_scenario_modify_vres(&scenario->fsa_scenario,
                                            sa_vres->fsa_vres_global_id,
                                            &sa_vres->contract);
@@ -172,21 +199,30 @@ int frescan_sa_update_contract(frescan_sa_scenario_t  *scenario,
 }
 
 /**
- * frescan_sa_remove_contract() - remove a contract from the scenario
+ * frescan_bwres_sa_remove_contract() - remove a contract from the scenario
  */
 
-int frescan_sa_remove_contract(frescan_sa_scenario_t *scenario,
-                               frescan_ss_t          ss,
-                               frescan_node_t        node)
+int frescan_bwres_sa_remove_contract(frescan_bwres_sa_scenario_t *scenario,
+                                     frescan_ss_t                ss,
+                                     frescan_node_t              node,
+                                     frsh_contract_t             *contract)
 {
         int ret;
-        frescan_sa_vres_t *sa_vres = &scenario->vres_pool[node][ss];
+        frescan_bwres_vres_t *sa_vres = &scenario->vres_pool[node][ss];
+
+        if (contract != NULL) {
+                *contract = sa_vres->contract;
+        }
+
+        DEBUG(FRESCAN_BWRES_SA_ENABLE_DEBUG,
+              "remove contract, node:%d ss:%d globalid:%d\n",
+              node, ss, sa_vres->fsa_vres_global_id);
 
         ret = frsh_sa_scenario_del_vres(&scenario->fsa_scenario,
                                         sa_vres->fsa_vres_global_id);
         if (ret != 0) return -1;
 
-        ret = freelist_free(&scenario->fsa_id_freelist,
+        ret = freelist_free(&scenario->fsa_vres_global_id_freelist,
                             sa_vres->fsa_vres_global_id);
         if (ret < 0) return -1;
 
@@ -196,35 +232,44 @@ int frescan_sa_remove_contract(frescan_sa_scenario_t *scenario,
 }
 
 /**
- * frescan_sa_sched_test() - perform a scheduling test on the scenario
+ * frescan_bwres_sa_sched_test() - perform a scheduling test on the scenario
  *
  */
 
-int frescan_sa_sched_test(frescan_sa_scenario_t *scenario,
-                          bool *is_schedulable)
+int frescan_bwres_sa_sched_test(frescan_bwres_sa_scenario_t *scenario,
+                                bool                        *is_schedulable)
 {
         int ret;
 
+        DEBUG(FRESCAN_BWRES_SA_ENABLE_DEBUG, "init the fsa scenario\n");
+
         ret = frsh_sa_init_analysis(&scenario->fsa_scenario);
         if (ret != 0) return -1;
 
         ret = frsh_sa_assign_priorities(&scenario->fsa_scenario);
         if (ret != 0) return -1;
 
+        DEBUG(FRESCAN_BWRES_SA_ENABLE_DEBUG, "do scheduling test\n");
+
         ret = frsh_sa_sched_test(&scenario->fsa_scenario, is_schedulable);
         if (ret != 0) return -1;
 
+        DEBUG(FRESCAN_BWRES_SA_ENABLE_DEBUG, "%s\n",
+              (*is_schedulable) ? "OK" : "FAILED");
+
         return 0;
 }
 
 /**
- * frescan_sa_spare_capacity() - distribute the spare capacity
+ * frescan_bwres_sa_spare_capacity() - distribute the spare capacity
  */
 
-int frescan_sa_spare_capacity(frescan_sa_scenario_t *scenario)
+int frescan_bwres_sa_spare_capacity(frescan_bwres_sa_scenario_t *scenario)
 {
         int ret;
 
+        DEBUG(FRESCAN_BWRES_SA_ENABLE_DEBUG, "distribute sc\n");
+
         ret = frsh_sa_distribute_spare(&scenario->fsa_scenario);
         if (ret != 0) return -1;