Changeset 232 for soft/giet_vm/xml/xml_parser.c

Timestamp:

Mar 5, 2013, 4:00:09 PM (12 years ago)

Author:

meunier

Message:

Ajout du malloc dans le Giet.

File:

• soft/giet_vm/xml/xml_parser.c (modified) (8 diffs)

soft/giet_vm/xml/xml_parser.c

@@ -109 +109 @@
 unsigned int cluster_y            = 0;
 unsigned int cluster_x            = 0; 
-unsigned int nb_proc_max          = 0; // max number of processors per cluster 
+unsigned int nb_proc_max          = 0; // max number of processors per cluste 
+
+unsigned int nb_tasks_max         = 0; // max number of tasks (for all vspaces)
 unsigned int nb_timer_channel_max = 0; // max number of user timer
 unsigned int nb_dma_channel_max   = 0;
@@ -350 +352 @@
             printf("      stackid   = %d\n", index);
 #endif
-            task[task_index]->vobjlocid = index;
+            task[task_index]->stack_vobjid = index;
         }
         else {
@@ -363 +365 @@
         exit(1);
     }
+
+    ////////// get heap attribute
+    str = getStringValue(reader, "heapname", &ok);
+    if (ok) {
+        int index = getVobjLocId(vspace_index, str, vobj_loc_index);
+        if (index >= 0) {
+#if XML_PARSER_DEBUG
+            printf("      heapname = %s\n", str);
+            printf("      heapid   = %d\n", index);
+#endif
+            task[task_index]->heap_vobjid = index;
+        }
+        else {
+            printf("[XML ERROR] illegal or missing <heapname> for task (%d,%d)\n", vspace_index, task_loc_index);
+            exit(1);
+        }
+    }  
+    else {
+        task[task_index]->heap_vobjid = -1;
+    }
+
 
     ////////// get startid  attribute
@@ -715 +738 @@
     char * str;
     unsigned int ok;
+    unsigned int nb_task_vspace = 0;
 
     vobj_loc_index = 0;
@@ -782 +806 @@
         else if (strcmp(tag, "task") == 0) {
             taskNode(reader);
+            nb_task_vspace++;
         }
         else if (strcmp(tag, "#text")    == 0) { }
@@ -818 +843 @@
             }
 
+            nb_tasks_max += nb_task_vspace;
             vspace_index++;
             return;
@@ -1934 +1960 @@
             printf("      vobj_index   = %d\n", vobj_id);
 #endif
-            cp_port[i]->vobjlocid = vobj_id;
+            cp_port[i]->mwmr_vobjid = vobj_id;
 
             assert((vobj[ vspace[vspace_id]->vobj_offset + vobj_id]->type == VOBJ_TYPE_MWMR)
@@ -1990 +2016 @@
     def_int_write(fdout, "NB_IOCS"      , nb_ioc_channel);
     def_int_write(fdout, "NB_NICS"      , nb_nic_channel);
+    def_int_write(fdout, "NB_TASKS"     , nb_tasks_max);
 
     file_write(fdout, "\n");