Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : MUTEX_UNLOCK is invisible for MC
[simgrid.git] / src / surf / workstation_clm03.cpp
1 /* Copyright (c) 2013-2014. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 #include "workstation_clm03.hpp"
8 #include "vm_workstation_interface.hpp"
9 #include "cpu_cas01.hpp"
10 #include "simgrid/sg_config.h"
11
12 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(surf_workstation);
13
14 /*************
15  * CallBacks *
16  *************/
17
18 /*********
19  * Model *
20  *********/
21
22 void surf_workstation_model_init_current_default(void)
23 {
24   surf_workstation_model = new WorkstationCLM03Model();
25   xbt_cfg_setdefault_boolean(_sg_cfg_set, "network/crosstraffic", "yes");
26   surf_cpu_model_init_Cas01();
27   surf_network_model_init_LegrandVelho();
28   surf_workstation_model->p_cpuModel = surf_cpu_model_pm;
29
30   ModelPtr model = surf_workstation_model;
31   xbt_dynar_push(model_list, &model);
32   xbt_dynar_push(model_list_invoke, &model);
33   sg_platf_host_add_cb(workstation_parse_init);
34 }
35
36 void surf_workstation_model_init_compound()
37 {
38
39   xbt_assert(surf_cpu_model_pm, "No CPU model defined yet!");
40   xbt_assert(surf_network_model, "No network model defined yet!");
41   surf_workstation_model = new WorkstationCLM03Model();
42
43   ModelPtr model = surf_workstation_model;
44   xbt_dynar_push(model_list, &model);
45   xbt_dynar_push(model_list_invoke, &model);
46   sg_platf_host_add_cb(workstation_parse_init);
47 }
48
49 WorkstationCLM03Model::WorkstationCLM03Model()
50  : WorkstationModel("Workstation")
51 {
52 }
53
54 WorkstationCLM03Model::~WorkstationCLM03Model()
55 {}
56
57 WorkstationPtr WorkstationCLM03Model::createWorkstation(const char *name){
58   WorkstationPtr workstation = new WorkstationCLM03(surf_workstation_model, name, NULL,
59                   (xbt_dynar_t)xbt_lib_get_or_null(storage_lib, name, ROUTING_STORAGE_HOST_LEVEL),
60                   (RoutingEdgePtr)xbt_lib_get_or_null(host_lib, name, ROUTING_HOST_LEVEL),
61                   static_cast<CpuPtr>(xbt_lib_get_or_null(host_lib, name, SURF_CPU_LEVEL)));
62   XBT_DEBUG("Create workstation %s with %ld mounted disks", name, xbt_dynar_length(workstation->p_storage));
63   xbt_lib_set(host_lib, name, SURF_WKS_LEVEL, workstation);
64   return workstation;
65 }
66
67 double WorkstationCLM03Model::shareResources(double now){
68   adjustWeightOfDummyCpuActions();
69
70   double min_by_cpu = p_cpuModel->shareResources(now);
71   double min_by_net = (strcmp(surf_network_model->getName(), "network NS3")) ? surf_network_model->shareResources(now) : -1;
72   double min_by_sto = -1;
73   if (p_cpuModel == surf_cpu_model_pm)
74         min_by_sto = surf_storage_model->shareResources(now);
75
76   XBT_DEBUG("model %p, %s min_by_cpu %f, %s min_by_net %f, %s min_by_sto %f",
77       this, surf_cpu_model_pm->getName(), min_by_cpu,
78             surf_network_model->getName(), min_by_net,
79             surf_storage_model->getName(), min_by_sto);
80
81   double res = max(max(min_by_cpu, min_by_net), min_by_sto);
82   if (min_by_cpu >= 0.0 && min_by_cpu < res)
83         res = min_by_cpu;
84   if (min_by_net >= 0.0 && min_by_net < res)
85         res = min_by_net;
86   if (min_by_sto >= 0.0 && min_by_sto < res)
87         res = min_by_sto;
88   return res;
89 }
90
91 void WorkstationCLM03Model::updateActionsState(double /*now*/, double /*delta*/){
92   return;
93 }
94
95 ActionPtr WorkstationCLM03Model::executeParallelTask(int workstation_nb,
96                                         void **workstation_list,
97                                         double *computation_amount,
98                                         double *communication_amount,
99                                         double rate){
100 #define cost_or_zero(array,pos) ((array)?(array)[pos]:0.0)
101   ActionPtr action =NULL;
102   if ((workstation_nb == 1)
103       && (cost_or_zero(communication_amount, 0) == 0.0)){
104     action = ((WorkstationCLM03Ptr)workstation_list[0])->execute(computation_amount[0]);
105   } else if ((workstation_nb == 1)
106            && (cost_or_zero(computation_amount, 0) == 0.0)) {
107     action = communicate((WorkstationCLM03Ptr)workstation_list[0],
108         (WorkstationCLM03Ptr)workstation_list[0],communication_amount[0], rate);
109   } else if ((workstation_nb == 2)
110              && (cost_or_zero(computation_amount, 0) == 0.0)
111              && (cost_or_zero(computation_amount, 1) == 0.0)) {
112     int i,nb = 0;
113     double value = 0.0;
114
115     for (i = 0; i < workstation_nb * workstation_nb; i++) {
116       if (cost_or_zero(communication_amount, i) > 0.0) {
117         nb++;
118         value = cost_or_zero(communication_amount, i);
119       }
120     }
121     if (nb == 1){
122       action = communicate((WorkstationCLM03Ptr)workstation_list[0],
123           (WorkstationCLM03Ptr)workstation_list[1],value, rate);
124     }
125   } else
126     THROW_UNIMPLEMENTED;      /* This model does not implement parallel tasks */
127 #undef cost_or_zero
128   xbt_free((WorkstationCLM03Ptr)workstation_list);
129   return action;
130 }
131
132 ActionPtr WorkstationCLM03Model::communicate(WorkstationPtr src, WorkstationPtr dst, double size, double rate){
133   return surf_network_model->communicate(src->p_netElm, dst->p_netElm, size, rate);
134 }
135
136
137
138 /************
139  * Resource *
140  ************/
141 WorkstationCLM03::WorkstationCLM03(WorkstationModelPtr model, const char* name, xbt_dict_t properties, xbt_dynar_t storage, RoutingEdgePtr netElm, CpuPtr cpu)
142   : Workstation(model, name, properties, storage, netElm, cpu) {}
143
144 bool WorkstationCLM03::isUsed(){
145   THROW_IMPOSSIBLE;             /* This model does not implement parallel tasks */
146   return -1;
147 }
148
149 void WorkstationCLM03::updateState(tmgr_trace_event_t /*event_type*/, double /*value*/, double /*date*/){
150   THROW_IMPOSSIBLE;             /* This model does not implement parallel tasks */
151 }
152
153 ActionPtr WorkstationCLM03::execute(double size) {
154   return p_cpu->execute(size);
155 }
156
157 ActionPtr WorkstationCLM03::sleep(double duration) {
158   return p_cpu->sleep(duration);
159 }
160
161 e_surf_resource_state_t WorkstationCLM03::getState() {
162   return p_cpu->getState();
163 }
164
165 /**********
166  * Action *
167  **********/