Changeset 13867

Timestamp:

Jun 21, 2010, 12:24:08 PM (14 years ago)

Author:

R. Matthew Emerson

Message:

From trunk:

• new kernel debugger command "M" to show lisp memory areas; if in batch mode, run it before aborting
• when we get a surprise memory fault, try to show the faulting address

Location:

branches/qres/ccl

Files:

• . (modified) (1 prop)
• lisp-kernel/lisp-debug.c (modified) (8 diffs)
• lisp-kernel/x86-exceptions.c (modified) (2 diffs)

branches/qres/ccl/lisp-kernel/lisp-debug.c

@@ -300 +300 @@
           dsisr & (1<<27) ? "protected" : "unmapped",
           addr);
+#elif defined(WINDOWS)
+#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
 }
@@ -505 +538 @@
 #endif
 
+char *
+area_code_name(int code)
+{
+  switch (code) {
+    case AREA_VOID: return "void";
+    case AREA_CSTACK: return "cstack";
+    case AREA_VSTACK: return "vstack";
+    case AREA_TSTACK: return "tstack";
+    case AREA_READONLY: return "readonly";
+    case AREA_WATCHED: return "watched";
+#if 0
+    /* not in qres branch yet */
+    case AREA_STATIC_CONS: return "static cons";
+#endif
+    case AREA_MANAGED_STATIC: return "managed static";
+    case AREA_STATIC: return "static";
+    case AREA_DYNAMIC: return "dynamic";
+    default: return "unknown";
+  }
+}
+
+debug_command_return
+debug_memory_areas(ExceptionInformation *xp, siginfo_t *info, int arg)
+{
+  int i;
+  area *a, *header = all_areas;
+  char label[100];
+
+  fprintf(dbgout, "Lisp memory areas:\n");
+  fprintf(dbgout, "%20s %20s %20s\n", "code", "low", "high");
+  for (a = header->succ; a != header; a = a->succ) {
+    snprintf(label, sizeof(label), "%s (%d)", area_code_name(a->code),
+             a->code >> fixnumshift);
+    fprintf(dbgout, "%20s %20p %20p\n", label, a->low, a->high);
+  }
+  return debug_continue;
+}
+
 debug_command_return
 debug_lisp_registers(ExceptionInformation *xp, siginfo_t *info, int arg)
@@ -610 +681 @@
     break;
   }
+#else
+  switch (arg) {
+  case SIGSEGV:
+  case SIGBUS:
+    describe_memfault(xp, info);
+    break;
+  default:
+    break;
+  }
 #endif
   return debug_continue;
@@ -995 +1075 @@
    NULL,
    'A'},
+#endif
   {debug_identify_exception,
    "Describe the current exception in greater detail",
@@ -1001 +1082 @@
    NULL,
    'D'},
-#endif
   {debug_show_registers, 
    "Show raw GPR/SPR register values", 
@@ -1032 +1112 @@
    NULL,
    'T'},
+  {debug_memory_areas,
+   "Show memory areas",
+   0,
+   NULL,
+   'M'},
   {debug_win,
    "Exit from this debugger, asserting that any exception was handled",
@@ -1191 +1276 @@
       debug_show_fpu(xp, info, 0);
     }
+    debug_memory_areas(xp, info, 0);
     debug_backtrace(xp, info, 0);
     abort();
@@ -1246 +1332 @@
   va_end(args);
   lisp_Debugger(xp, NULL, debug_entry_bug, true, s);
-
 }
 

branches/qres/ccl/lisp-kernel/x86-exceptions.c

@@ -1549 +1549 @@
 #if 1
   if (tcr->valence != TCR_STATE_LISP) {
-    FBug(context, "exception in foreign context");
+    lisp_Debugger(context, info, signum, true, "exception in foreign context");
   }
 #endif
@@ -1583 +1583 @@
 #if 1
   if (tcr->valence != TCR_STATE_LISP) {
-    FBug(context, "exception in foreign context");
+    lisp_Debugger(context, info, signum, true, "exception in foreign context");
   }
 #endif