Changeset 645

Timestamp:

Jul 22, 2015, 1:03:20 PM (9 years ago)

Author:

alain

Message:

Introduce the "active" field in vspace.

Location:

soft/giet_vm/giet_xml

Files:

• mapping_info.h (modified) (1 diff)
• xml_driver.c (modified) (1 diff)
• xml_parser.c (modified) (2 diffs)

soft/giet_vm/giet_xml/mapping_info.h

@@ -186 +186 @@
     unsigned int    vseg_offset;     // global index of first vseg in vspace 
     unsigned int    task_offset;     // global index of first task in vspace
+    unsigned int    active;          // always active if non zero
 } mapping_vspace_t;
 

soft/giet_vm/giet_xml/xml_driver.c

@@ -309 +309 @@
     {
         unsigned int vseg_id = vspace[vspace_id].start_vseg_id;
-        fprintf(fpout, "        <vspace name = \"%s\" ", vspace[vspace_id].name); 
-        fprintf(fpout, " startname = \"%s\" >\n", vseg[vseg_id].name); 
+        fprintf(fpout, "        <vspace name=\"%s\"", vspace[vspace_id].name); 
+        fprintf(fpout, " startname=\"%s\"", vseg[vseg_id].name); 
+        fprintf(fpout, " active=\"%d\" >\n", vspace[vspace_id].active); 
 
         //////////////////// vsegs //////////////////////////////////////////////

soft/giet_vm/giet_xml/xml_parser.c

@@ -722 +722 @@
     }
 
+    ////////// get active attribute (optional / default is 0)
+    unsigned int value = getIntValue(reader, "active", &ok);
+    if (ok) vspace[vspace_index]->active = value;
+    else    vspace[vspace_index]->active = 0;
+    
     ////////// set vseg_offset and task_offset attributes
     vspace[vspace_index]->vseg_offset = vseg_index;
@@ -776 +781 @@
 printf("      vseg_offset = %d\n", vspace[vspace_index]->vseg_offset );
 printf("      task_offset = %d\n", vspace[vspace_index]->task_offset );
-printf("      startname   = %s\n", start_name);
-printf("      start_id    = %d\n", index);
+printf("      start_id    = %d\n", vspace[vspace_index]->start_vseg_id );
+printf("      active      = %x\n", vspace[vspace_index]->active );
 printf("  end vspace %d\n\n", vspace_index);
 #endif