Changeset 438 for trunk/kernel/kern/do_syscall.c

Timestamp:

Apr 4, 2018, 2:49:02 PM (5 years ago)

Author:

alain

Message:

Fix a bug in scheduler related to RPC blocking.

File:

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

trunk/kernel/kern/do_syscall.c

@@ -173 +173 @@
         int  error = 0;
         
+    assert( (this == CURRENT_THREAD), __FUNCTION__,
+    "wrong <this> argument\n" );
+
     // update user time 
         thread_user_time_update( this );
@@ -194 +197 @@
 
     // check kernel stack overflow
-    assert( (this->signature == THREAD_SIGNATURE), __FUNCTION__, "kernel stack overflow\n" );
+    assert( (CURRENT_THREAD->signature == THREAD_SIGNATURE), __FUNCTION__, 
+    "kernel stack overflow after for thread %x in cluster %x\n", CURRENT_THREAD, local_cxy );
 
     // update kernel time