Changeset 450 for trunk/kernel/kern/rpc.c

Timestamp:

Jun 29, 2018, 10:44:14 AM (6 years ago)

Author:

alain

Message:

Fix a bug in function sched_handle_signal():
When the deleted user thread is the last executed thread,
the sched->u_last field must be updated to point on another user thread.

File:

• trunk/kernel/kern/rpc.c (modified) (2 diffs)

trunk/kernel/kern/rpc.c

@@ -77 +77 @@
     &rpc_mapper_get_page_server,        // 25
     &rpc_vmm_create_vseg_server,        // 26
-    &rpc_sched_display_server,          // 27
+    &rpc_undefined,                     // 27   unused slot
     &rpc_vmm_set_cow_server,            // 28
     &rpc_vmm_display_server,            // 29
@@ -2063 +2063 @@
 
 /////////////////////////////////////////////////////////////////////////////////////////
-// [27]          Marshaling functions attached to RPC_SCHED_DISPLAY (blocking)
-/////////////////////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////
-void rpc_sched_display_client( cxy_t              cxy,
-                               lid_t              lid)
-{
-    assert( (cxy != local_cxy) , __FUNCTION__ , "target cluster is not remote\n");
-
-    // initialise RPC descriptor header 
-    rpc_desc_t  rpc;
-    rpc.index    = RPC_SCHED_DISPLAY;
-    rpc.blocking = true;
-    rpc.responses = 1;
-
-    // set input arguments in RPC descriptor 
-    rpc.args[0] = (uint64_t)lid;
-
-    // register RPC request in remote RPC fifo
-    rpc_send( cxy , &rpc );
-
-}
-
-//////////////////////////////////////////
-void rpc_sched_display_server( xptr_t xp )
-{
-    // get client cluster identifier and pointer on RPC descriptor
-    cxy_t        cxy  = GET_CXY( xp );
-    rpc_desc_t * desc = GET_PTR( xp );
-
-    // get input arguments from client RPC descriptor
-    lid_t lid = (lid_t)hal_remote_lwd( XPTR(cxy , &desc->args[0]));
-    
-    // call local kernel function
-    sched_display( lid );
-
-}
+// [27]         undefined slot
+/////////////////////////////////////////////////////////////////////////////////////////
 
 /////////////////////////////////////////////////////////////////////////////////////////