Changeset 939 for trunk/platforms/tsar_generic_leti/arch.py

Timestamp:

Feb 8, 2015, 9:46:25 PM (9 years ago)

Author:

alain

Message:

Introduce the distributed kernel heap vsegs.

File:

• trunk/platforms/tsar_generic_leti/arch.py (modified) (5 diffs)

trunk/platforms/tsar_generic_leti/arch.py

@@ -132 +132 @@
 
     boot_data_vbase      = 0x000D0000      # ident
-    boot_data_size       = 0x000C0000      # 768 Kbytes
-
-    boot_stack_vbase     = 0x00190000      # ident
-    boot_stack_size      = 0x00070000      # 448 Kbytes
+    boot_data_size       = 0x000B0000      # 704 Kbytes
+
+    boot_stack_vbase     = 0x00180000      # ident
+    boot_stack_size      = 0x00080000      # 512 Kbytes
 
     ### define ramdisk vseg / must be identity mapping in cluster[0][0]
@@ -172 +172 @@
 
     mapping = Mapping( name           = platform_name,
-                       p_type         = platform_type,
                        x_size         = x_size,
                        y_size         = y_size,
@@ -265 +264 @@
 
     ### global vsegs for preloader & boot_loader are mapped in cluster[0][0]
-    ### we want to pack those 5 vsegs in the same big page
     ### => same flags CXW_ / identity mapping / non local / big page
 
@@ -342 +340 @@
                                local = False, big = True )
 
-    ### global vsegs kernel_sched : non local / small pages
-    ### allocated in all clusters containing processors
-    ### different content => name & vbase indexed by (x,y)
-    for x in xrange( x_size ):
-        for y in xrange( y_size - 1 ):
-            offset = ((x << y_width) + y) * kernel_ptab_size
-
-            mapping.addGlobal( 'seg_kernel_sched_%d_%d' %(x,y), 
-                               kernel_sched_vbase + offset , kernel_sched_size,
-                               'C_W_', vtype = 'SCHED', x = x, y = y, pseg = 'RAM',
-                               local = False, big = False )
-
     ### global vsegs kernel_heap_x_y : non local / big pages
     ### distributed in all clusters containing processors
@@ -413 +399 @@
                                mmc_base + offset, mmc_size,
                                '__W_', vtype = 'PERI' , x = x , y = y , pseg = 'MMC',
+                               local = False, big = False )
+
+    ### global vsegs kernel_sched : non local / small pages
+    ### allocated in all clusters containing processors
+    ### different content => name & vbase indexed by (x,y)
+    for x in xrange( x_size ):
+        for y in xrange( y_size - 1 ):
+            offset = ((x << y_width) + y) * kernel_ptab_size
+
+            mapping.addGlobal( 'seg_kernel_sched_%d_%d' %(x,y), 
+                               kernel_sched_vbase + offset , kernel_sched_size,
+                               'C_W_', vtype = 'SCHED', x = x, y = y, pseg = 'RAM',
                                local = False, big = False )