Changeset 349

Timestamp:

Jun 29, 2014, 12:39:48 PM (10 years ago)

Author:

alain

Message:

Introducing a new attribute "local" in the mapping_vseg_t structure,
to support distributed page tables, kernel code and user code:
A "local" vseg is only mapped in the local page table
(The local page table is the page table stored in the same cluster
as the vseg itself).

Location:

soft/giet_vm/giet_xml

Files:

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

soft/giet_vm/giet_xml/mapping_info.h

@@ -210 +210 @@
     char            mapped;          // mapped if non zero
     char            ident;           // identity mapping if non zero
-    char            rsvd0;           // reserved 
-    char            rsvd1;           // reserved
+    char            local;           // only mapped in the local PTAB
+    char            reserved;        // reserved
 } mapping_vseg_t;
 

soft/giet_vm/giet_xml/xml_driver.c

@@ -361 +361 @@
         fprintf(fpout, " psegname=\"%s\"", pseg[pseg_id].name);
         if( vseg[vseg_id].ident ) fprintf(fpout, " ident=\"1\"");
+        if( vseg[vseg_id].local ) fprintf(fpout, " local=\"1\"");
         fprintf(fpout, " >\n");
 
@@ -409 +410 @@
             fprintf(fpout, " psegname=\"%s\"", pseg[pseg_id].name);
             if( vseg[vseg_id].ident ) fprintf(fpout, " ident=\"1\"");
+            if( vseg[vseg_id].local ) fprintf(fpout, " local=\"1\"");
             fprintf(fpout, " >\n");
 

soft/giet_vm/giet_xml/xml_parser.c

@@ -960 +960 @@
     }
 
+    ////////// get local attribute (optional : 0 if missing)
+    value = getIntValue(reader, "local", &ok);
+    if (ok) 
+    {
+#if XML_PARSER_DEBUG
+printf("      local       = %d\n", value);
+#endif
+        vseg[vseg_index]->local = value;
+    }  
+    else 
+    {
+        vseg[vseg_index]->local = 0;
+    }
+
     /////////// get vbase attribute
     value = getIntValue(reader, "vbase", &ok);