Changeset 199 for soft/giet_vm/sys/drivers.c

Timestamp:

Aug 9, 2012, 2:38:06 PM (12 years ago)

Author:

alain

Message:

Introducing the "idle" to improve the exit mechanism.

File:

• soft/giet_vm/sys/drivers.c (modified) (10 diffs)

soft/giet_vm/sys/drivers.c

@@ -162 +162 @@
 {
     unsigned int buffer     = value;
-    unsigned int timer_id   = _get_current_context_slot(CTX_TIMER_ID);
+    unsigned int task_id    = _get_current_task_id();
+    unsigned int timer_id   = _get_context_slot(task_id, CTX_TIMER_ID);
     unsigned int cluster_id = timer_id / (NB_PROCS_MAX + NB_TIMERS_MAX);
     unsigned int local_id   = timer_id % (NB_PROCS_MAX + NB_TIMERS_MAX);
@@ -190 +191 @@
                           unsigned int* buffer )
 {
-    unsigned int timer_id   = _get_current_context_slot(CTX_TIMER_ID);
+    unsigned int task_id    = _get_current_task_id();
+    unsigned int timer_id   = _get_context_slot(task_id, CTX_TIMER_ID);
     unsigned int cluster_id = timer_id / (NB_PROCS_MAX + NB_TIMERS_MAX);
     unsigned int local_id   = timer_id % (NB_PROCS_MAX + NB_TIMERS_MAX);
@@ -232 +234 @@
 //      _tty_error()
 ////////////////////////////////////////////////////////////////////////////////
-void _tty_error()
-{
-    unsigned int task_id = _get_current_task_id();
+void _tty_error( unsigned int task_id )
+{
     unsigned int proc_id = _procid();
 
@@ -259 +260 @@
     unsigned int        nwritten;
 
-    unsigned int        tty_id = _get_current_context_slot(CTX_TTY_ID);
+    unsigned int task_id  = _get_current_task_id();
+    unsigned int tty_id   = _get_context_slot(task_id, CTX_TTY_ID);
+
     if ( tty_id >= NB_TTYS )
     {
-        _tty_error();
+        _tty_error( task_id );
         return 0;
     }
@@ -291 +294 @@
                             unsigned int        length)
 {
-    unsigned int        tty_id = _get_current_context_slot(CTX_TTY_ID);
+    unsigned int task_id  = _get_current_task_id();
+    unsigned int tty_id   = _get_context_slot(task_id, CTX_TTY_ID);
 
     if ( tty_id >= NB_TTYS )
     {
-        _tty_error();
+        _tty_error( task_id );
         return 0;
     }
@@ -320 +324 @@
                         unsigned int    length)
 {
-    unsigned int        tty_id = _get_current_context_slot(CTX_TTY_ID);
+    unsigned int task_id  = _get_current_task_id();
+    unsigned int tty_id   = _get_context_slot(task_id, CTX_TTY_ID);
+
     if ( tty_id >= NB_TTYS )
     {
-        _tty_error();
+        _tty_error( task_id );
         return 0;
     }
@@ -544 +550 @@
 
     // get user space page table virtual address
-    unsigned int user_pt_vbase = _get_current_context_slot(CTX_PTAB_ID);
+    unsigned int task_id       = _get_current_task_id();
+    unsigned int user_pt_vbase = _get_context_slot( task_id, CTX_PTAB_ID );
     
     user_vpn_min = user_vaddr >> 12;
@@ -815 +822 @@
 
     // get DMA channel and compute DMA vbase address
-    unsigned int        dma_id     = _get_current_context_slot(CTX_FBDMA_ID);
+    unsigned int        task_id    = _get_current_task_id();
+    unsigned int        dma_id     = _get_context_slot( task_id, CTX_FBDMA_ID );
     unsigned int    cluster_id = dma_id / NB_DMAS_MAX;
     unsigned int    loc_id     = dma_id % NB_DMAS_MAX;
@@ -830 +838 @@
 
     // get user space page table virtual address
-    unsigned int        user_ptab = _get_current_context_slot(CTX_PTAB_ID);
+    unsigned int        user_ptab = _get_context_slot( task_id, CTX_PTAB_ID );
 
     // compute frame buffer pbase address
@@ -985 +993 @@
 unsigned int _fb_completed()
 {
-    unsigned int dma_id = _get_current_context_slot(CTX_FBDMA_ID);
+    unsigned int task_id = _get_current_task_id();
+    unsigned int dma_id  = _get_context_slot( task_id, CTX_FBDMA_ID );
 
     // busy waiting with a pseudo random delay between bus access