Changeset 642

Timestamp:

Jul 22, 2015, 12:53:44 PM (9 years ago)

Author:

alain

Message:

Introduce the "active" field in vspace.
When this field is set the application is directly started by the kernel_init.

File:

• soft/giet_vm/giet_python/mapping.py (modified) (5 diffs)

soft/giet_vm/giet_python/mapping.py

@@ -365 +365 @@
     def addVspace( self,
                    name,                # vspace name
-                   startname ):         # name of vseg containing start_vector
+                   startname,           # name of vseg containing start_vector
+                   active = False ):    # default value is not active at boot
 
         # add one vspace into mapping
-        vspace = Vspace( name, startname )
+        vspace = Vspace( name, startname, active )
         self.vspaces.append( vspace )
         vspace.index = self.total_vspaces
@@ -1917 +1918 @@
     def __init__( self,
                   name,
-                  startname ):
+                  startname,
+                  active ):
 
         self.index     = 0              # global index ( set by addVspace() )
         self.name      = name           # vspace name
         self.startname = startname      # name of vseg containing the start_vector
+        self.active    = active         # active at boot if true
         self.vsegs     = []
         self.tasks     = []
@@ -1930 +1933 @@
     def xml( self ):   # xml for one vspace
 
-        s =  '        <vspace name="%s" startname="%s" >\n' % ( self.name, self.startname )
+        s =  '        <vspace name="%s" startname="%s" active="%d" >\n' \
+                            %(self.name , self.startname , self.active)
         for vseg in self.vsegs: s += vseg.xml()
         for task in self.tasks: s += task.xml()
@@ -1976 +1980 @@
         byte_stream += mapping.int2bytes(4, first_vseg_id)     # global index
         byte_stream += mapping.int2bytes(4, first_task_id)     # global index
+        byte_stream += mapping.int2bytes(4, self.active)       # always active if non zero
 
         if ( verbose ):
@@ -1983 +1988 @@
             print 'vseg_id    = %d' %  first_vseg_id
             print 'task_id    = %d' %  first_task_id
+            print 'active     = %d' %  self.active
 
         return byte_stream