Changeset 14291

Timestamp:

Sep 20, 2010, 12:05:26 PM (14 years ago)

Author:

R. Matthew Emerson

Message:

In describe_memfault(), use new function describe_siginfo() to
show the resason for the fault.

In describe_info(), add a comment describing why it's a no-op
for Windows, FreeBSD, and Darwin.

File:

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

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

@@ -292 +292 @@
 }
 
+void
+describe_siginfo(siginfo_t *info)
+{
+#if defined(WINDOWS) || defined(FREEBSD) || defined(DARWIN)
+  /*
+   * It's not surprising that Windows doesn't have this signal stuff.
+   * It is somewhat surprising that FreeBSD 6.x lacks the si_code
+   * constants.  (Subsequent FreeBSD versions define them, though.)
+   *
+   * On Darwin, recall that we handle exceptions at the Mach level,
+   * and build a "fake" signal context ourselves.  We don't try very
+   * hard to translate the Mach exception information to Unix-style
+   * information, so avoid printing out possibly-misleading garbage.
+   * (bsd/dev/i386/unix_signal.c from the xnu sources is where that
+   * happens for Mac OS X's own Mach-exception-to-Unix-signal
+   * translation.
+   */
+#else
+  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
+}
 
 void
@@ -304 +353 @@
           dsisr & (1<<27) ? "protected" : "unmapped",
           addr);
-#elif defined(WINDOWS) || defined(FREEBSD)
-  /*
-   * It's not surprising that Windows doesn't have this signal stuff.
-   * It is somewhat surprising that FreeBSD 6.x lacks the si_code
-   * constants.  (Subsequent FreeBSD versions define them, though.)
-   */
 #else
   if (info) {
     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);
-        }
-      }
-    }
+    describe_siginfo(info);
   }
 #endif