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

Timestamp:

Aug 7, 2015, 5:42:06 PM (9 years ago)

Author:

guerin

Message:

kernel: defer task kill to _ctx_switch()

Introduce SIG slot in task context.
Add release functions for tty, tim and nic in sys_handler.
Process signals in _ctx_switch().

File:

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

soft/giet_vm/giet_boot/boot.c

@@ -1083 +1083 @@
         psched->context[IDLE_TASK_INDEX][CTX_VSID_ID]  = 0;
         psched->context[IDLE_TASK_INDEX][CTX_NORUN_ID] = 0;
+        psched->context[IDLE_TASK_INDEX][CTX_SIG_ID]   = 0;
     }
 
@@ -1285 +1286 @@
                     psched->context[ltid][CTX_VSID_ID]   = vspace_id;
                     psched->context[ltid][CTX_NORUN_ID]  = ctx_norun;
+                    psched->context[ltid][CTX_SIG_ID]    = 0;
 
                     psched->context[ltid][CTX_TTY_ID]    = 0xFFFFFFFF;
@@ -1308 +1310 @@
         " - ctx[VSID]  = %d\n"
         " - ctx[TRDID] = %d\n"
-        " - ctx[NORUN] = %x\n",
+        " - ctx[NORUN] = %x\n"
+        " - ctx[SIG]   = %x\n",
         task[task_id].name,
         vspace[vspace_id].name,
@@ -1320 +1323 @@
         psched->context[ltid][CTX_VSID_ID],
         psched->context[ltid][CTX_TRDID_ID],
-        psched->context[ltid][CTX_NORUN_ID] );
+        psched->context[ltid][CTX_NORUN_ID],
+        psched->context[ltid][CTX_SIG_ID] );
 #endif
                 } // end if FIT