Changeset 435 for trunk/user/ksh

Timestamp:

Feb 20, 2018, 5:32:17 PM (7 years ago)

Author:

alain

Message:

Fix a bad bug in scheduler...

File:

• trunk/user/ksh/ksh.c (modified) (4 diffs)

trunk/user/ksh/ksh.c

@@ -484 +484 @@
     unsigned int  lid;
     unsigned int  pid;
+    unsigned int  txt_id;
 
     if( strcmp( argv[1] , "vmm" ) == 0 )
@@ -526 +527 @@
             cxy = atoi(argv[2]);
 
-        if( display_process( cxy ) )
+        if( display_cluster_processes( cxy ) )
         {
             printf("  error: illegal argument cxy = %x\n", cxy );
         }
     }
+    else if( strcmp( argv[1] , "txt" ) == 0 )
+    {
+        if( argc != 3 )
+        {
+                    printf("  usage: display txt txt_id\n");
+                    return;
+            }
+
+            txt_id = atoi(argv[2]);
+
+        if( display_txt_processes( txt_id ) )
+        {
+            printf("  error: illegal argument txt_id = %x\n", txt_id );
+        }
+    }
     else if( strcmp( argv[1] , "vfs" ) == 0 )
     {
@@ -553 +569 @@
     else
     {
-        printf("  usage display (vmm/sched/process/vfs/chdev) [cxy] [lid]\n");
+        printf("  usage: display (vmm/sched/process/vfs/chdev/txt) [arg2] [arg3]\n");
     }
 }
@@ -563 +579 @@
 ksh_cmd_t cmd[] =
 {
-        { "cat",     "display file content",                cmd_cat     },
-        { "cd",      "change current directory",            cmd_cd      },
-        { "cp",      "replicate a file in file system",     cmd_cp      },
-    { "fg",      "put a process in foreground",         cmd_fg      },
-    { "display", "display vmm/sched/process/vfs/chdev", cmd_display },
-        { "load",    "load an user application",            cmd_load    },
-        { "help",    "list available commands",             cmd_help    },
-        { "kill",    "kill an application (all threads)",   cmd_kill    },
-        { "log",     "list registered commands",            cmd_log     },
-        { "ls",      "list directory entries",              cmd_ls      },
-        { "mkdir",   "create a new directory",              cmd_mkdir   },
-        { "mv",      "move a file in file system",          cmd_mv      },
-        { "pwd",     "print current working directory",     cmd_pwd     },
-        { "rm",      "remove a file from file system",      cmd_rm      },
-        { "rmdir",   "remove a directory from file system", cmd_rmdir   },
-        { NULL,     NULL,                                                                  NULL         }
+        { "cat",     "display file content",                            cmd_cat     },
+        { "cd",      "change current directory",                        cmd_cd      },
+        { "cp",      "replicate a file in file system",                 cmd_cp      },
+    { "fg",      "put a process in foreground",                     cmd_fg      },
+    { "display", "display vmm/sched/process/vfs/chdev/txt",         cmd_display },
+        { "load",    "load an user application",                        cmd_load    },
+        { "help",    "list available commands",                         cmd_help    },
+        { "kill",    "kill an application (all threads)",               cmd_kill    },
+        { "log",     "list registered commands",                        cmd_log     },
+        { "ls",      "list directory entries",                          cmd_ls      },
+        { "mkdir",   "create a new directory",                          cmd_mkdir   },
+        { "mv",      "move a file in file system",                      cmd_mv      },
+        { "pwd",     "print current working directory",                 cmd_pwd     },
+        { "rm",      "remove a file from file system",                  cmd_rm      },
+        { "rmdir",   "remove a directory from file system",             cmd_rmdir   },
+        { NULL,      NULL,                                                                              NULL        }
 };