Changeset 440 for soft/giet_vm/giet_kernel/ctx_handler.c

Timestamp:

Nov 3, 2014, 11:03:55 AM (10 years ago)

Author:

alain

Message:

Introducing dynamic allocation of peripheral channels (NIC, TTY, CMA, TIM)
Intoducing a kernel function for all system calls: No more direct call
to the peripheral drivers.

File:

• soft/giet_vm/giet_kernel/ctx_handler.c (modified) (4 diffs)

soft/giet_vm/giet_kernel/ctx_handler.c

@@ -6 +6 @@
 //////////////////////////////////////////////////////////////////////////////////
 
+#include <ctx_handler.h>
 #include <giet_config.h>
-#include <tim_driver.h>
+#include <utils.h>
+#include <kernel_utils.h>
 #include <xcu_driver.h>
-#include <tty_driver.h>
-#include <utils.h>
-#include <ctx_handler.h>
-#include <mapping_info.h>
-#include <sys_handler.h>
 
+////////// defined in giet_kernel/switch.s file /////////
 extern void _task_switch(unsigned int *, unsigned int *);
 
-/////////////////////////////////////////////////////////////////////////////////
-// This function performs a context switch between the running task
-// and  another task, using a round-robin sheduling policy between all
-// tasks allocated to a given processor (static allocation).
-// It selects the next runable task to resume execution. 
-// If the only runable task is the current task, return without context switch.
-// If there is no runable task, the scheduler switch to the default "idle" task.
-/////////////////////////////////////////////////////////////////////////////////
-// Implementation note
-// The return address contained in $31 is saved in the current task context
-// (in the ctx[31] slot), and the function actually returns to the address
-// contained in the ctx[31] slot of the next task context.
-/////////////////////////////////////////////////////////////////////////////////
+//////////////////
 void _ctx_switch() 
 {
@@ -98 +84 @@
 } //end _ctx_switch()
 
-/////////////////////////////////////////////////////////////////////////////////////
-// This function is executed as the"idle" task when no other task can be executed 
-/////////////////////////////////////////////////////////////////////////////////////
+/////////////////
 void _idle_task() 
 {
@@ -107 +91 @@
     unsigned int x          = cluster_xy >> Y_WIDTH;
     unsigned int y          = cluster_xy & ((1<<Y_WIDTH)-1);
-    unsigned int lpid       = gpid & ((1<<P_WIDTH)-1);
+    unsigned int p          = gpid & ((1<<P_WIDTH)-1);
 
     while(1)
@@ -126 +110 @@
 
         // warning message
-        _printf("\n[GIET WARNING] Processor[%d,%d,%d] still idle at cycle %d\n",
-                x, y, lpid, _get_proctime() );
+        _puts("\n[GIET WARNING] Processor[");
+        _putd( x );
+        _puts(",");
+        _putd( y );
+        _puts(",");
+        _putd( p );
+        _puts("] still idle at cycle ");
+        _putd( _get_proctime() );
+        _puts("\n");
     }
 } // end ctx_idle()
 
 
-/////////////////////////////////////////////////////////////////////////////////
-// The address of this function is used to initialise the return address
-// in the "idle" task context.
-/////////////////////////////////////////////////////////////////////////////////
+////////////////
 void _ctx_eret() 
 {