Changeset 457 for trunk/kernel/kern/chdev.c

Timestamp:

Aug 2, 2018, 11:47:13 AM (6 years ago)

Author:

alain

Message:

This version modifies the exec syscall and fixes a large number of small bugs.
The version number has been updated (0.1)

File:

• trunk/kernel/kern/chdev.c (modified) (6 diffs)

trunk/kernel/kern/chdev.c

@@ -23 +23 @@
 
 #include <kernel_config.h>
-#include <hal_types.h>
+#include <hal_kernel_types.h>
 #include <hal_special.h>
 #include <hal_remote.h>
@@ -127 +127 @@
     xptr_t     server_xp;     // extended pointer on server thread
     core_t   * core_ptr;      // local pointer on core running the server thread
-    uint32_t   lid;           // core running the server thread local index
+    uint32_t   server_lid;    // core running the server thread local index
     xptr_t     lock_xp;       // extended pointer on lock protecting the chdev queue
-    uint32_t   different;     // non zero if server thread core != client thread core
     uint32_t   save_sr;       // for critical section
 
@@ -154 +153 @@
 
     // get server core local index
-    lid = hal_remote_lw( XPTR( chdev_cxy , &core_ptr->lid ) );
+    server_lid = hal_remote_lw( XPTR( chdev_cxy , &core_ptr->lid ) );
 
 #if (DEBUG_CHDEV_CMD_RX || DEBUG_CHDEV_CMD_TX)
@@ -210 +209 @@
 #endif
 
+#if (DEBUG_CHDEV_CMD_RX & 1)
+if( (is_rx) && (DEBUG_CHDEV_CMD_RX < rx_cycle) )
+printk("\n[DBG] in %s : client thread %x blocked\n", __FUNCTION__, this );
+#endif
+
     // unblock server thread if required
     if( hal_remote_lw( blocked_xp ) & THREAD_BLOCKED_IDLE )
@@ -216 +220 @@
 #if (DEBUG_CHDEV_CMD_TX & 1)
 if( (is_rx == 0) && (DEBUG_CHDEV_CMD_TX < tx_cycle) )
-{
-printk("\n[DBG] in %s : server thread %x unblocked\n", __FUNCTION__, server_ptr );
-chdev_queue_display( chdev_xp );
-}
+printk("\n[DBG] in %s : TX server thread %x unblocked\n", __FUNCTION__, server_ptr );
+#endif
+
+#if (DEBUG_CHDEV_CMD_RX & 1)
+if( (is_rx) && (DEBUG_CHDEV_CMD_RX < rx_cycle) )
+printk("\n[DBG] in %s : RX server thread %x unblocked\n", __FUNCTION__, server_ptr );
 #endif
 
@@ -227 +233 @@
 #if (DEBUG_CHDEV_CMD_TX & 1)
 if( (is_rx == 0)  && (DEBUG_CHDEV_CMD_TX < tx_cycle) )
-{
 printk("\n[DBG] in %s : thread %x registered write request in chdev\n", __FUNCTION__, this );
-chdev_queue_display( chdev_xp );
-}
+#endif
+ 
+#if (DEBUG_CHDEV_CMD_RX & 1)
+if( (is_rx)  && (DEBUG_CHDEV_CMD_RX < rx_cycle) )
+printk("\n[DBG] in %s : thread %x registered read request in chdev\n", __FUNCTION__, this );
 #endif
  
     // send IPI to core running the server thread when server != client
-    different = (lid != this->core->lid) || (local_cxy != chdev_cxy);
-    if( different )
-    {
-        dev_pic_send_ipi( chdev_cxy , lid ); 
-    
+    if( (server_lid != this->core->lid) || (local_cxy != chdev_cxy) )
+    {
+        dev_pic_send_ipi( chdev_cxy , server_lid ); 
+
 #if (DEBUG_CHDEV_CMD_TX & 1)
 if( (is_rx == 0)  && (DEBUG_CHDEV_CMD_TX < tx_cycle) )
-printk("\n[DBG] in %s : client thread %x sent IPI to server thread %x\n",
+printk("\n[DBG] in %s : client thread %x sent IPI to TX server thread %x\n",
+__FUNCTION__, this, server_ptr );
+#endif
+
+#if (DEBUG_CHDEV_CMD_RX & 1)
+if( (is_rx)  && (DEBUG_CHDEV_CMD_RX < rx_cycle) )
+printk("\n[DBG] in %s : client thread %x sent IPI to RX server thread %x\n",
 __FUNCTION__, this, server_ptr );
 #endif