Changeset 438 for trunk/user

Timestamp:

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

Author:

alain

Message:

Fix a bug in scheduler related to RPC blocking.

File:

• trunk/user/init/init.c (modified) (3 diffs)

trunk/user/init/init.c

@@ -23 +23 @@
 int main()
 {
-    int     i;
-    int     ret_fork;      // fork return value  
-    int     ret_exec;      // fork return value  
-    int     rcv_pid;       // pid received from the wait syscall
-    int     status;        // used by the wait syscall
-    char    string[64];
+    int           i;
+    int           delay;
+    int           ret_fork;      // fork return value  
+    int           ret_exec;      // exec return value  
+    int           rcv_pid;       // pid received from the wait syscall
+    int           status;        // used by the wait syscall
+    char          string[64];    // log messages on kernel TXT0
 
     // check number of TXT channels
@@ -66 +67 @@
              snprintf( string , 64 , "INIT created KSH[%d] / pid = %x", i , ret_fork ); 
              display_string( string );
+
+             // INIT wait a fixed delay between two forks
+             for( delay = 0 ; delay < 50000 ; delay++ ) asm volatile( "nop" );
         }
     } 
 
-// display processes and threads in clusters 0 & 1 
+// INIT display processes and threads in clusters 0 & 1 
 display_cluster_processes( 0 );
 display_sched( 0 , 0 );
@@ -128 +132 @@
                 display_string( string );
             }
-        }  // end KSH kill handling
-    }
+        } // end KSH kill handling
+
+// INIT wait a fixed delay 
+for( delay = 0 ; delay < 50000 ; delay++ ) asm volatile( "nop" );
+
+// INIT display processes and threads in clusters 0 & 1 
+display_cluster_processes( 0 );
+display_sched( 0 , 0 );
+display_cluster_processes( 1 );
+display_sched( 1 , 0 );
+
+    }  // end while waiting KSH[i] termination
 
 } // end main()