Changeset 13766

Timestamp:

Jun 1, 2010, 5:43:25 PM (9 years ago)

Author:

rme

Message:

Make debug_identify_exception() do a little something on non-PPC
systems; enable "D" kernel debugger command.

In describe_memfault(), decode the siginfo_t arg in an attempt to provide
something quasi-informative for non-PPC systems.

When in batch mode, show the lisp memory areas before aborting.

File:

• trunk/source/lisp-kernel/lisp-debug.c (modified) (5 diffs)

trunk/source/lisp-kernel/lisp-debug.c

@@ -300 +300 @@
           dsisr & (1<<27) ? "protected" : "unmapped",
           addr);
+#else
+  fprintf(dbgout, "received signal %d; faulting address: %p\n",
+          info->si_signo, info->si_addr);
+  if (info->si_code > 0) {
+    if (info->si_signo == SIGSEGV) {
+      switch (info->si_code) {
+      case SEGV_MAPERR:
+        fprintf(dbgout, "address not mapped to object\n");
+        break;
+      case SEGV_ACCERR:
+        fprintf(dbgout, "invalid permissions for mapped object\n");
+        break;
+      default:
+        fprintf(dbgout, "unexpected si_code value: %d\n", info->si_code);
+        break;
+      }
+    } else if (info->si_signo == SIGBUS) {
+      switch (info->si_code) {
+      case BUS_ADRALN:
+        fprintf(dbgout, "invalid address alignment\n");
+        break;
+      case BUS_ADRERR:
+        fprintf(dbgout, "non-existent physical address");
+        break;
+      case BUS_OBJERR:
+        fprintf(dbgout, "object-specific hardware error");
+        break;
+      default:
+        fprintf(dbgout, "unexpected si_code value: %d\n", info->si_code);
+      }
+    }
+  }
 #endif
 }
@@ -645 +677 @@
     break;
   }
+#else
+  switch (arg) {
+  case SIGSEGV:
+  case SIGBUS:
+    describe_memfault(xp, info);
+    break;
+  default:
+    break;
+  }
 #endif
   return debug_continue;
@@ -1034 +1075 @@
    NULL,
    'A'},
+#endif
   {debug_identify_exception,
    "Describe the current exception in greater detail",
@@ -1040 +1082 @@
    NULL,
    'D'},
-#endif
   {debug_show_registers, 
    "Show raw GPR/SPR register values", 
@@ -1235 +1276 @@
       debug_show_fpu(xp, info, 0);
     }
+    debug_memory_areas(xp, info, 0);
     debug_backtrace(xp, info, 0);