Changeset 564 for trunk/kernel/kern/rpc.h

Timestamp:

Oct 4, 2018, 11:47:36 PM (6 years ago)

Author:

alain

Message:

Complete restructuration of kernel locks.

File:

• trunk/kernel/kern/rpc.h (modified) (3 diffs)

trunk/kernel/kern/rpc.h

@@ -29 +29 @@
 #include <hal_atomic.h>
 #include <bits.h>
-#include <spinlock.h>
 #include <vseg.h>
 #include <remote_fifo.h>
@@ -150 +149 @@
 
 /***********************************************************************************
- * This function is the entry point for RPC handling on the server cluster.
- * It is executed by the core receiving the IPI sent by the client thread.
- * - If the RPC FIFO is empty, it deschedules.
- * - If the RPC FIFO is not empty, it checks if it exist a non-blocked RPC thread
- *   in the cluster, creates a new one if required, and deschedule to allow
- *   the RPC thead to execute.
- **********************************************************************************/
-void rpc_check( void );
-
-/***********************************************************************************
- * This function contains the loop to execute all pending RPCs on the server side.
- * It is called by the rpc_thread_func() function with irq disabled, and after
- * RPC_FIFO ownership acquisition.
- ***********************************************************************************
- * @ rpc_fifo  : pointer on the local RPC fifo
- **********************************************************************************/
-void rpc_execute_all( remote_fifo_t * rpc_fifo );
-
-/***********************************************************************************
- * This function contains the infinite loop executed by a RPC thread.
+ * This function contains the infinite loop executed by a RPC thread,
+ * to handle all pending RPCs registered in the RPC fifo attached to a given core.
  **********************************************************************************/
 void rpc_thread_func( void );
@@ -177 +158 @@
  **********************************************************************************/
 void __attribute__((noinline)) rpc_undefined( xptr_t xp __attribute__ ((unused)) );
-