Changeset 646 for soft/giet_vm/giet_boot/boot.c

Timestamp:

Jul 22, 2015, 1:07:28 PM (9 years ago)

Author:

alain

Message:

Introduce support for the CTX_ENTRY_ID slot in task context.

File:

• soft/giet_vm/giet_boot/boot.c (modified) (8 diffs)

soft/giet_vm/giet_boot/boot.c

@@ -1225 +1225 @@
         _set_mmu_ptpr( (unsigned int)(_ptabs_paddr[vspace_id][x][y] >> 13) );
 
+        // ctx_norun depends on the vspace active field
+        unsigned int ctx_norun = (vspace[vspace_id].active == 0);
+
         // loop on the tasks in vspace (task_id is the global index in mapping)
         for (task_id = vspace[vspace_id].task_offset;
@@ -1241 +1244 @@
             unsigned int ctx_ptab = _ptabs_vaddr[vspace_id][req_x][req_y];
 
-            // ctx_epc : Get the virtual address of the memory location containing
+            // ctx_entry : Get the virtual address of the memory location containing
             // the task entry point : the start_vector is stored by GCC in the 
             // seg_data segment, and we must wait the .elf loading to get 
             // the entry point value...
             vseg_id = vspace[vspace_id].start_vseg_id;     
-            unsigned int ctx_epc = vseg[vseg_id].vbase + (task[task_id].startid)*4;
+            unsigned int ctx_entry = vseg[vseg_id].vbase + (task[task_id].startid)*4;
 
             // ctx_sp :  Get the vseg containing the stack 
@@ -1266 +1269 @@
                     unsigned int ltid = psched->tasks;
 
-                    // update the "tasks" and "current" fields in scheduler:
+                    // update the "tasks" field in scheduler:
                     psched->tasks   = ltid + 1;
-                    psched->current = 0;
 
                     // initializes the task context 
@@ -1274 +1276 @@
                     psched->context[ltid][CTX_SR_ID]     = GIET_SR_INIT_VALUE;
                     psched->context[ltid][CTX_SP_ID]     = ctx_sp;
-                    psched->context[ltid][CTX_EPC_ID]    = ctx_epc;
+                    psched->context[ltid][CTX_ENTRY_ID]  = ctx_entry;
                     psched->context[ltid][CTX_PTPR_ID]   = ctx_ptpr;
                     psched->context[ltid][CTX_PTAB_ID]   = ctx_ptab;
@@ -1281 +1283 @@
                     psched->context[ltid][CTX_TRDID_ID]  = thread_id;
                     psched->context[ltid][CTX_VSID_ID]   = vspace_id;
-                    psched->context[ltid][CTX_NORUN_ID]  = 0;
+                    psched->context[ltid][CTX_NORUN_ID]  = ctx_norun;
 
                     psched->context[ltid][CTX_TTY_ID]    = 0xFFFFFFFF;
@@ -1300 +1302 @@
         " - ctx[SR]    = %x\n"
         " - ctx[SP]    = %x\n"
-        " - ctx[EPC]   = %x\n"
+        " - ctx[ENTRY] = %x\n"
         " - ctx[PTPR]  = %x\n"
         " - ctx[PTAB]  = %x\n"
         " - ctx[VSID]  = %d\n"
-        " - ctx[TRDID] = %d\n",
+        " - ctx[TRDID] = %d\n"
+        " - ctx[NORUN] = %x\n",
         task[task_id].name,
         vspace[vspace_id].name,
@@ -1311 +1314 @@
         psched->context[ltid][CTX_SR_ID],
         psched->context[ltid][CTX_SP_ID],
-        psched->context[ltid][CTX_EPC_ID],
+        psched->context[ltid][CTX_ENTRY_ID],
         psched->context[ltid][CTX_PTPR_ID],
         psched->context[ltid][CTX_PTAB_ID],
         psched->context[ltid][CTX_VSID_ID],
-        psched->context[ltid][CTX_TRDID_ID] );
+        psched->context[ltid][CTX_TRDID_ID],
+        psched->context[ltid][CTX_NORUN_ID] );
 #endif
                 } // end if FIT
@@ -1936 +1940 @@
     _set_sr( 0 );
 
-    // Each proocessor get kernel entry virtual address
+    // Each processor get kernel entry virtual address
     unsigned int kernel_entry = (unsigned int)&kernel_init_vbase;