From a7d18bb6f081e1520af7eeed4e3a633aafc81124 Mon Sep 17 00:00:00 2001
From: rsc <rsc>
Date: Wed, 8 Aug 2007 08:38:38 +0000
Subject: [PATCH] comment tweaks; more informative process list

---
 proc.c | 20 +++++++++++++++++---
 1 file changed, 17 insertions(+), 3 deletions(-)

diff --git a/proc.c b/proc.c
index 62c0b29..c7b6c85 100644
--- a/proc.c
+++ b/proc.c
@@ -163,7 +163,7 @@ copyproc(struct proc *p)
 //  - choose a process to run
 //  - longjmp to start running that process
 //  - eventually that process transfers control back
-//      via longjmp back to the top of scheduler.
+//      via longjmp back to the scheduler.
 void
 scheduler(void)
 {
@@ -229,7 +229,7 @@ yield(void)
 }
 
 // A fork child's very first scheduling by scheduler()
-// will longjmp here. "return" to user space.
+// will longjmp here.  "Return" to user space.
 void
 forkret(void)
 {
@@ -390,6 +390,7 @@ proc_wait(void)
           p->state = UNUSED;
           p->pid = 0;
           p->ppid = 0;
+          p->name[0] = 0;
           release(&proc_table_lock);
           return pid;
         }
@@ -414,14 +415,27 @@ proc_wait(void)
 void
 procdump(void)
 {
+  static char *states[] = {
+    "unused",
+    "embryo",
+    "sleep ",
+    "runble",
+    "run   ",
+    "zombie"
+  };
   int i;
   struct proc *p;
+  char *state;
   
   for(i = 0; i < NPROC; i++) {
     p = &proc[i];
     if(p->state == UNUSED)
       continue;
-    cprintf("%d %d %p\n", p->pid, p->state);
+    if(p->state < 0 || p->state > ZOMBIE)
+      state = "???";
+    else
+      state = states[p->state];
+    cprintf("%d %s %s\n", p->pid, state, p->name);
   }
 }