2 #include "simdag/simdag.h"
4 #include "xbt/sysdep.h"
7 /* Creates a workstation and registers it in SD.
9 SD_workstation_t __SD_workstation_create(void *surf_workstation, void *data) {
11 xbt_assert0(surf_workstation != NULL, "surf_workstation is NULL !");
13 SD_workstation_data_t sd_data = xbt_new0(s_SD_workstation_data_t, 1); /* workstation private data */
14 sd_data->surf_workstation = surf_workstation;
16 SD_workstation_t workstation = xbt_new0(s_SD_workstation_t, 1);
17 workstation->data = data; /* user data */
18 workstation->sd_data = sd_data; /* private data */
20 const char *name = SD_workstation_get_name(workstation);
21 xbt_dict_set(sd_global->workstations, name, workstation, __SD_workstation_destroy); /* add the workstation to the dictionary */
27 /* Returns a workstation given its name, or NULL if there is no such workstation.
29 SD_workstation_t SD_workstation_get_by_name(const char *name) {
32 xbt_assert0(name != NULL, "Invalid parameter");
34 return xbt_dict_get_or_null(sd_global->workstations, name);
37 /* Returns a NULL-terminated array of existing workstations.
39 SD_workstation_t* SD_workstation_get_list(void) {
42 SD_workstation_t* array = xbt_new0(SD_workstation_t, sd_global->workstation_count + 1);
44 xbt_dict_cursor_t cursor;
49 xbt_dict_foreach(sd_global->workstations,cursor,key,data) {
50 array[i++] = (SD_workstation_t) data;
57 /* Returns the number or workstations.
59 int SD_workstation_get_number(void) {
61 return sd_global->workstation_count;
64 /* Sets the data of a workstation. The new data can be NULL. The old data should have been freed first if it was not NULL.
66 void SD_workstation_set_data(SD_workstation_t workstation, void *data) {
68 xbt_assert0(workstation != NULL, "Invalid parameter");
69 workstation->data = data;
72 /* Returns the data of a workstation. The user data can be NULL.
74 void* SD_workstation_get_data(SD_workstation_t workstation) {
76 xbt_assert0(workstation != NULL, "Invalid parameter");
77 return workstation->data;
80 /* Returns the name of a workstation.
82 const char* SD_workstation_get_name(SD_workstation_t workstation) {
84 xbt_assert0(workstation != NULL, "Invalid parameter");
85 return surf_workstation_resource->common_public->get_resource_name(workstation->sd_data->surf_workstation);
88 SD_link_t* SD_workstation_route_get_list(SD_workstation_t src, SD_workstation_t dst) {
94 int SD_workstation_route_get_size(SD_workstation_t src, SD_workstation_t dst) {
100 /* Returns the total power of a workstation.
102 double SD_workstation_get_power(SD_workstation_t workstation) {
104 xbt_assert0(workstation != NULL, "Invalid parameter");
105 return surf_workstation_resource->extension_public->get_speed(workstation->sd_data->surf_workstation, 1.0);
108 /* Returns the proportion of available power in a workstation (normally a number between 0 and 1).
110 double SD_workstation_get_available_power(SD_workstation_t workstation) {
112 xbt_assert0(workstation != NULL, "Invalid parameter");
113 return surf_workstation_resource->extension_public->get_available_speed(workstation->sd_data->surf_workstation);
116 /* Destroys a workstation. The user data (if any) should have been destroyed first.
118 void __SD_workstation_destroy(void *workstation) {
120 xbt_assert0(workstation != NULL, "Invalid parameter");
122 if (((SD_workstation_t) workstation)->sd_data != NULL) {
123 xbt_free(((SD_workstation_t) workstation)->sd_data);
128 xbt_free(workstation);