Changeset 337 for trunk/hal

Timestamp:

Aug 7, 2017, 12:50:17 PM (7 years ago)

Author:

alain

Message:

Introduce the delayed context switch if current thread has a lock.

Location:

trunk/hal

Files:

• generic/hal_context.h (modified) (1 diff)
• tsar_mips32/core/hal_interrupt.c (modified) (2 diffs)
• tsar_mips32/drivers/soclib_pic.c (modified) (1 diff)

trunk/hal/generic/hal_context.h

@@ -31 +31 @@
 // and hal_fpu_context_t, defined in hal_context.c file, that are accessed with generic
 // void* pointers stored in the thread descriptor.
-// - the "hal_context_t" structure is used to store the CPU registers values that
-//   have not been saved in the kernel stack by the interrupt handler.
-// - the "hal_fpu_context_t" structure is used to save the FPU registers when required.
+// - the "hal_context_t" struct is used for the CPU registers values at context switch.
+// - the "hal_fpu_context_t" struct is used for the FPU registers when required.
 //////////////////////////////////////////////////////////////////////////////////////////
 

trunk/hal/tsar_mips32/core/hal_interrupt.c

@@ -35 +35 @@
                                reg_t    * regs_tbl ) 
 {
-    irq_dmsg("\n[INFO] %s : enter at cycle %d\n", __FUNCTION__ , hal_time_stamp() );
+    irq_dmsg("\n[INFO] %s : enter / core[%x,%d] / cycle %d\n",
+    __FUNCTION__ , local_cxy , this->core->lid , hal_time_stamp() );
 
         // update user time     
@@ -43 +44 @@
     soclib_pic_irq_handler();
            
-    // handle pending signals for interrupted thread
-    thread_signals_handle( this );
-
         // update kernel time
         thread_kernel_time_update( this );
 
-    irq_dmsg("\n[INFO] %s : exit at cycle %d\n", __FUNCTION__ , hal_time_stamp() );
+    irq_dmsg("\n[INFO] %s : exit / core[%x,%d] / cycle %d\n",
+    __FUNCTION__ , local_cxy , this->core->lid , hal_time_stamp() );
 }

trunk/hal/tsar_mips32/drivers/soclib_pic.c

@@ -139 +139 @@
             assert( (index == core->lid) , __FUNCTION__ , "illegal IPI index" );
 
-            // acknowledge WTI
+            // read mailbox content to acknowledge WTI,
             uint32_t * base = soclib_pic_xcu_base();
             ack = base[(XCU_WTI_REG << 5) | core->lid];
-
+            
             // check RPC FIFO,  and activate or create a RPC thread
-            // it there is a pending RPC request
-            rpc_check();
+            // condition is always true, but we must use the ack value
+            if( ack + 1 ) rpc_check();
         }
         else                                    // it is an external device